A Necessary and Sufficient Synchrony Condition for Solving Byzantine Consensus in Symmetric Networks. - Olivier Baldellon; Achour Mostéfaoui; Michel Raynal (ICDCN, 2011)

Distributed Monitoring of Temporal System Properties Using Petri Nets. - Olivier Baldellon; Jean-Charles Fabre; Matthieu Roy (SRDS, 2012)

Minotor: Monitoring Timing and Behavioral Properties for Dependable Distributed Systems. - Olivier Baldellon; Jean-Charles Fabre; Matthieu Roy (PRDC, 2013)

Run-Time Control to Increase Task Parallelism In Mixed-Critical Systems. - Angeliki Kritikakou; Claire Pagetti; Olivier Baldellon; Matthieu Roy; Christine Rochange (ECRTS, 2014)

Supervision en ligne de propriétés temporelles dans les systèmes distribués temps-réel. (Online monitoring of temporal properties in real-time distributed systems). - Olivier Baldellon (2014)