Section: Overall Objectives

Highlights

Eric Madelaine defended his HDR: “Specification, Model Generation, and Verification of Distributed Applications” in September.

Best Paper Award :

[30] Flexible Adaptation Loop for Component-based SOA applications in 7th International Conference on Autonomic and Autonomous Systems (ICAS 2011).

C. Ruz, F. Baude, B. Sauvan.