A Two-Phase Static Analysis for Reliable Adaptation

Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta. A Two-Phase Static Analysis for Reliable Adaptation. In Dimitra Giannakopoulou, Gwen Salaün, editors, Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings. Volume 8702 of Lecture Notes in Computer Science, pages 347-362, Springer, 2014. [doi]

Authors

Pierpaolo Degano

This author has not been identified. Look up 'Pierpaolo Degano' in Google

Gian Luigi Ferrari

This author has not been identified. Look up 'Gian Luigi Ferrari' in Google

Letterio Galletta

This author has not been identified. Look up 'Letterio Galletta' in Google