Verification of an AFDX Infrastructure Using Simulations and Probabilities. - Ananda Basu; Saddek Bensalem; Marius Bozga; Benoît Delahaye; Axel Legay; Emmanuel Sifakis (RV, 2010)

Dynamic Information-Flow Analysis for Multi-threaded Applications. - Laurent Mounier; Emmanuel Sifakis (ISoLA (1), 2012)

Politiques de gestion de protections pour l'implémentation de sections critiques. - Emmanuel Sifakis; Laurent Mounier (Tech. Sci. Informatiques, 2012)

Predictive Taint Analysis for Extended Testing of Parallel Executions. - Emmanuel Sifakis; Laurent Mounier (Haifa Verification Conference, 2013)

Programmation efficace et sécurisé d'applications à mémoire partagée. (Towards efficient and secure shared memory applications). - Emmanuel Sifakis (2013)