page_view

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