[CACM '15] Automated Support for Diagnosis and Repair: Marrying Model Checking and Logic-based Learning

D. Alrajeh, J. Kramer, A. Russo, S. Uchitel: "Automated Support for Diagnosis and Repair: Marrying Model Checking and Logic-based Learning". Communications of the ACM, to appear.

Undefined

Diego Garbervetsky will be member of FM 2015 PC

Diego Garbervetsky will be member of the Program Committee of FM 2015.

Undefined

FACAS 2014 was a success!

We attend the Second Argentinian Workshop on Foundations for Automatic Construction and Analysis of Software, from 6 to 8 March in Oliveros, Santa Fe, organized by Nicolás D'Ippolito (LAFHIS member), Matías Lee (UNC) and Germán Regis (UNRC)

You can see the program and more info here.

Undefined

Rodrigo Castaño got a Fellowship at Microsoft Research

Under the "Latin American Fellowship Program at Microsoft Research in Redmond", Rodrigo Castaño has been selected as a new PhD Fellow, their most prestigious student award!
During Rodrigo’s internship at Microsoft Research, his mentor will be Dr. Shaz Qadeer , Principal Researcher, from the Research in Software Engineering (RISE) group.

Undefined

Diego Garbervetsky will be Publicity Chair of FSE 2014

Diego Garbervetsky will be Publicity Chair of FSE 2014

Undefined

[ICSE'14] Hope for the best, prepare for the worst: Multi-tier control for adaptive systems

Nicolas D’Ippolito, Victor Braberman, Jeff Kramer, Jeff Magee, Daniel Sykes, and Sebastian Uchitel. Hope for the best, prepare for the worst: Multi-tier control for adaptive systems. In ICSE - International Conference on Software Engineering, 2014.

Undefined

[ICSE'14] Automated goal operationalisation based on interpolation and sat solving

Renzo Degiovanni, Dalal Alrajeh, Nazareno Aguirre, and Sebastian Uchitel. Automated goal operationalisation based on interpolation and sat solving. In ICSE - International Conference on Software Engineering, 2014.

Undefined

[FM'14] Revisiting compatibility of input-output modal transition systems

Nenad Medvidovic Ivo Krka, Nicolas D’Ippolito and Sebastian Uchitel. Revisiting compatibility of input-output modal transition systems. In FM 2014 - Formal Methods, Lecture Notes in Computer Science. Springer, 2014.

Undefined

Pages

Subscribe to LaFHIS RSS