page_view

FM paper accepted: Nicolás D'Ippolito, Victor Braberman, Nir Piterman, and Sebastián Uchitel. The modal transition system control problem

5/12 FM paper accepted: Nicolás D'Ippolito, Victor Braberman, Nir Piterman, and Sebastián Uchitel. The modal transition system control problem. 

Undefined

Diego Garbervetsky co-chairs TOPI 2012, a satellite workshop at ICSE 2012 in Zurich

5/12 Diego Garbervetsky co-chairs TOPI 2012, a satellite workshop at ICSE 2012 in Zurich.

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

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