Section: Overall Objectives

Highlights of the Year

Ludovic Henrio defended his HdR entitled: “Formal Models for Programming and Composing Correct Distributed Systems” in September 2012.

Best Paper Award :

[22] How to Build a Better Testbed: Lessons From a Decade of Network Experiments on Emulab in 8th International ICST Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities, Tridentcom.

F. Hermenier, R. Ricci.