page_view

Sebastian Uchitel gives keynote at 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, Newcastle, 2012

9/12 Sebastian Uchitel gives keynote at 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, Newcastle, 2012

Undefined

CSRD Journal paper: Sebastian Uchitel, et. al, Supporting incremental behaviour model elaboration.

9/12 CSRD Journal paper: Sebastian Uchitel, et. al, Supporting incremental behaviour model elaboration. 

Undefined

Sebastian Uchitel gives invited talk at NII Shonan Meeting on Engineering Autonomic Systems.

9/12 Sebastian Uchitel gives invited talk at NII Shonan Meeting on Engineering Autonomic Systems.

Undefined

TSE paper accepted: German Sibay, Victor Braberman, Jeff Kramer, and Sebastian Uchitel. Synthesising modal transition systems from triggered scenarios.

9/12 TSE paper accepted: German Sibay, Victor Braberman, Jeff Kramer, and Sebastian Uchitel. Synthesising modal transition systems from triggered scenarios.

Undefined

German Sibay presents at FM2012 in Paris: Distribution of modal transition systems.

8/12 German Sibay presents at FM2012 in Paris: Distribution of modal transition systems. 

Undefined

Diego Garbervetsky assists to Google's Faculty Summit in Mountain View, California, USA.

8/12 Diego Garbervetsky assists to Google's Faculty Summit in Mountain View, California, USA.

Undefined

Nicolás D'Ippolito presents at FM2012 in Paris: The modal transition system control problem.

8/12 Nicolás D'Ippolito presents at FM2012 in Paris: The modal transition system control problem.

Undefined

Grant awarded by UBACYT: “Especificación y análisis cuantitativo del uso de la memoria dinámica con foco en la escalabilidad y usabilidad”, Dr. Diego Garbervetsky.

7/12 Grant awarded by UBACYT: “Especificación y análisis cuantitativo del uso de la memoria dinámica con foco en la escalabilidad y usabilidad”, Dr. Diego Garbervetsky.

Undefined

SPE paper accepted: Guido de Caso, Diego Garbervetsky, Daniel Gorin. Integrated Program Verification Tools in Education.

7/12 SPE paper accepted: Guido de Caso, Diego Garbervetsky, Daniel Gorin. Integrated Program Verification Tools in Education.

Undefined

David Rosenblum visits us for the week.

7/12 David Rosenblum visits us for the week.

Undefined

Pages