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.
4/12 TSE paper accepted: Dalal Alrajeh, Jeff Kramer, Alessandra Russo, and Sebastián Uchitel. Elaborating requirements using model checking and inductive learning.
2/12 Book chapter accepted: Maria T. Higuera-Toledano, Sergio Yovine, Diego Garbervetsky. Region-Based Memory Management: An Evaluation of Its Support in RTSJ .
1/12 TOSEM paper accepted: Nicolas D'Ippolito, Victor Braberman, Nir Piterman, and Sebastian Uchitel. Synthesising non- anomalous event-based controllers for liveness goals.