[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

Diego Garbervetsky will be member of ISMM's PC

Diego Garbervetsky was invited to join the program committee for the 2014 ACM SIGPLAN International Symposium on Memory Management (ISMM 2014). The conference will be held on June 12 in Edinburgh, UK, co-located with PLDI 2014

Undefined

[Science of Computer Programming] Summary-based inference of quantitative bounds of live heap objects

Science of Computer Programming: Victor Braberman, Diego Garbervetsky, Samuel Hym, Sergio Yovine, "Summary-based inference of quantitative bounds of live heap objects", in press.

Undefined

Victor Braberman will be member of ICSE 2015 PC

Victor Braberman will be member of the Program Committee of ICSE 2015.

Undefined

Stéphane Ducasse from INRIA visits us

Dr. Stéphane Ducasse from INRIA Lille Nord Europe research center visits us.

http://stephane.ducasse.free.fr/

Undefined

Pages

Subscribe to LaFHIS RSS