Distributed Algorithms: Computability/Complexity/Dynamicity/Spatiality with algebraic topology tools, with UNAM/Matematicas/Mexico (S. Rajsbaum and A. Castañeda), IRIF/Paris (P. Fraigniaud), UCLA/Los Angeles (E. Gafni). Long-term collaboration
using different funding sources (FCS STAE/CNRS PICS/UNAM/...)
ANR BLANC Murphy(2011-2013): Dependability-focused Evaluation of Sensor Networks. LAAS leader.
INRIA ARC Serus(2011-2012): Software Engineering for Resilient Ubiquitous Systems. Participant.
EU NoE Resist(2006-2009): Resilience for survivability in IST. Mobile project leader.
EU FP6 ASSERT(2004-2007): Automated proof-based System and Software Engineering for Real-Time applications. LAAS leader.
EU FP6 PRIME(2004-2008): Privacy and Identity Management for Europe. Server-side and access control leader.
Tomas Robert (2005-2009), co-supervision with Jean-Charles Fabre. Thomas Robert worked on the on-line detection of temporal properties in real-time systems.
I was particularly involved in theoretical aspects of his work, including automated transformation
of properties into languages, and model transformation. Thomas Robert is associated professor in ENST/Paristech since 2009.
Olivier Baldellon (2010-2014), co-supervision with Jean-Charles Fabre). Olivier worked on the monitoring of
distributed temporal properties expressed as Petri Nets. Olivier Baldellon is associate
professor in Nice University.
Miruna Stoicescu (2010-2013), co-supervision with Jean-Charles Fabre. Miruna Stoicescu developed a framework to enable safe fine-grained
evolution of a system despite changes in the execution context. Miruna Stoicescu is
now with ESA (European Spatial Agency)
Moussa Traore (2011-2015), co-supervision with Marc-Olivier Killijian and Sébastien Gambs.
Moussa Traore developed and proved distributed algorithms to provide privacy-preserving
localization services without trusted central authorities.
Moussa Traore is now with Capgemini.
Hélène Martorell (2012-2014), co-supervision with Jean-Charles Fabre ( Renault Contract). Hélène Martorell developed a methodology to enable dynamic updates in the critical
embedded system AUTOSAR. Hélène Martorell is now with Continental.
Ludovic Pintard (2012-2015), co-supervision with Jean-Charles Fabre and Karama Kanoun (Valeo Contract). Ludovic Pintard developed a methodology to include
ISO 26262 requirements in a classical V-shaped development process used in the automotive industry.
The developed tool is now used in production, and Ludovic Pintard is now with Valeo R\&D.
Roberto Pasqua (2013-2016), co-supervision with Mohamed Kaaniche and Gilles Trédan. Roberto Pasqua worked on the SOUK (Social Observation of Human Kinetics)
platform to collect and analyze human motion in crowds, and used captured data to study
privacy risks on users and to evaluate algorithms for mobile systems.
Christophe Bertero (2016-2019), co-supervision with Jean-François Léon, Aerology Lab, Toulouse. Christophe Bertero is working on the development of the CLUE platform
for collecting mobility and air quality data using a network of bicycles.
Daniel Loche (2017-2020), co-supervision with Jean-Charles Fabre and Michaël Lauer (Renault contract). Daniel Loche is working on architectures to enable safe execution of mixed criticality systems on multicore platforms.
Jean Ibarz (2018-2021), co-supervision with Jean-Charles Fabre and Michaël Lauer (Continental contract). Jean Ibarz works on algorithms to enable safe and timely exchange of information
in distributed systems composed of mobile vehicles.
Fanny Dufossé (2013-2014) with Jérémie Guichet (LAAS). Fanny Dufossé worked on game theory and model checking; she is Research Scientist in INRIA Lille since 2014.
Angeliki Kritikakou (2013-2014) with Claire Pagetti (ONERA). Angeliki Kritikakou worked on efficient execution of mixed critical workloads on multicore architectures, and is associate professor in University of Rennes since 2014.