Emmanuel Sifakis

According to our database, Emmanuel Sifakis authored at least 5 papers between 2010 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

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

Emmanuel Sifakis

PhD thesis, 2013

Predictive Taint Analysis for Extended Testing of Parallel Executions.

Emmanuel Sifakis, Laurent Mounier

Proceedings of the Hardware and Software: Verification and Testing, 2013

2012

Politiques de gestion de protections pour l'implémentation de sections critiques.

Emmanuel Sifakis, Laurent Mounier

Tech. Sci. Informatiques, 2012

Dynamic Information-Flow Analysis for Multi-threaded Applications.

Laurent Mounier, Emmanuel Sifakis

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

2010

Verification of an AFDX Infrastructure Using Simulations and Probabilities.

Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay, Emmanuel Sifakis

Proceedings of the Runtime Verification - First International Conference, 2010