page_view

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

Submitted by Anonymous (not verified) on 02/12

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

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

Submitted by Anonymous (not verified) on 01/12

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

Undefined

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

Submitted by Anonymous (not verified) on 01/12

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

News

Submitted by dgarbervetsky on 11/11

 

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

Undefined

Pages