page_view

TSE paper accepted: Dalal Alrajeh, Jeff Kramer, Alessandra Russo, and Sebastián Uchitel. Elaborating requirements using model checking and inductive learning.

4/12 TSE paper accepted: Dalal Alrajeh, Jeff Kramer, Alessandra Russo, and Sebastián Uchitel. Elaborating requirements using model checking and inductive learning.

Undefined

Diego Garbervetsky gives an invited talk about quantitative memory analysis at BYTECODE'12 in ETAPS'12 in Tallinn, Estonia.

4/12 Diego Garbervetsky gives an invited talk about quantitative memory analysis at BYTECODE'12 in ETAPS'12 in Tallinn, Estonia.

Undefined

Dalal Alrajeh presents at ETAPS-FASE in Tallinn: Learning from vacuously satisfiable scenario-based specifications.

3/12 Dalal Alrajeh presents at ETAPS-FASE in Tallinn: Learning from vacuously satisfiable scenario-based specifications.

Undefined

Book chapter accepted: Guido de Caso, Victor Braberman, Diego Garbervetsky, and Sebastian Uchitel. Abstractions for validation in action.

2/12 Book chapter accepted: Guido de Caso, Victor Braberman, Diego Garbervetsky, and Sebastian Uchitel. Abstractions for validation in action. 

Undefined

Book chapter accepted: Maria T. Higuera-Toledano, Sergio Yovine, Diego Garbervetsky. Region-Based Memory Management: An Evaluation of Its Support in RTSJ .

2/12 Book chapter accepted: Maria T. Higuera-Toledano, Sergio Yovine, Diego Garbervetsky. Region-Based Memory Management: An Evaluation of Its Support in RTSJ . 

Undefined

TOSEM paper accepted: Nicolas D'Ippolito, Victor Braberman, Nir Piterman, and Sebastian Uchitel. Synthesising non- anomalous event-based controllers for liveness goals.

1/12 TOSEM paper accepted: Nicolas D'Ippolito, Victor Braberman, Nir Piterman, and Sebastian Uchitel. Synthesising non- anomalous event-based controllers for liveness goals. 

Undefined

Sebastian Uchitel is invited to be on the ICSE 2013 Program Committee, San Francisco, USA

1/12 Sebastian Uchitel is invited to be on the ICSE 2013 Program Committee, San Francisco, USA

Undefined

News

 

12/12 Philippe Clauss from INRIA-CAMUS visits us for the week.

Undefined

Pages