page_view

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

Submitted by Anonymous (not verified) on 05/12

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

Undefined

Dario Fischbein successfully defended his PhD thesis

Submitted by Anonymous (not verified) on 05/12

5/12 Dario Fischbein successfully defended his PhD thesis.

Undefined

TOSEM paper accepted: Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, and Sebasti ´an Uchitel. Enabledness-based program abstractions for behaviour validation.

Submitted by Anonymous (not verified) on 05/12

5/12 TOSEM paper accepted: Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, and Sebastián Uchitel. Enabledness-based program abstractions for behaviour validation.

Undefined

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

Submitted by Anonymous (not verified) on 05/12

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

Submitted by Anonymous (not verified) on 05/12

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.

Submitted by Anonymous (not verified) on 04/12

4/12 Diego Garbervetsky gives an invited talk about quantitative memory analysis at BYTECODE'12 in ETAPS'12 in Tallinn, Estonia.

Undefined

TSE paper accepted: Dalal Alrajeh, Jeff Kramer, Alessandra Russo, and Sebastián Uchitel. Elaborating requirements using model checking and inductive learning.

Submitted by Anonymous (not verified) on 04/12

4/12 TSE paper accepted: Dalal Alrajeh, Jeff Kramer, Alessandra Russo, and Sebastián Uchitel. Elaborating requirements using model checking and inductive learning.

Undefined

Dalal Alrajeh presents at ETAPS-FASE in Tallinn: Learning from vacuously satisfiable scenario-based specifications.

Submitted by Anonymous (not verified) on 03/12

3/12 Dalal Alrajeh presents at ETAPS-FASE in Tallinn: Learning from vacuously satisfiable scenario-based specifications.

Undefined

Book chapter accepted: Guido de Caso, Victor Braberman, Diego Garbervetsky, and Sebastian Uchitel. Abstractions for validation in action.

Submitted by Anonymous (not verified) on 02/12

2/12 Book chapter accepted: Guido de Caso, Victor Braberman, Diego Garbervetsky, and Sebastian Uchitel. Abstractions for validation in action. 

Undefined

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

Pages