page_view

Diego Garbervetsky visits IMDEA Software, Spain.

6/12 Diego Garbervetsky visits IMDEA Software, Spain.

Undefined

Victor Braberman is appointed Coordinator of the Informatics and Communications Committee, Argentine National Science Agency.

6/12 Victor Braberman is appointed Coordinator of the Informatics and Communications Committee, Argentine National Science Agency.

Undefined

FM paper accepted: German Sibay, Victor Braberman, Jeff Kramer, and Sebastian Uchitel. Distribution of modal transition systems

5/12 FM paper accepted: German Sibay, Victor Braberman, Jeff Kramer, and Sebastian Uchitel. Distribution of modal transition systems. 

Undefined

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

Sebastian Uchitel presents at ICSE 2012 in Zurich: Generating obstacle conditions for requirements completeness.

5/12 Sebastian Uchitel presents at ICSE 2012 in Zurich: Generating obstacle conditions for requirements completeness.

Undefined

Dario Fischbein successfully defended his PhD thesis

5/12 Dario Fischbein successfully defended his PhD thesis.

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

Pages