Emmanuel Sifakis

Publication Activity (10 Years)

Years Active: 2010-2013
Publications (10 Years): 0

Top Topics

Computer Vision

Top Venues

Tech. Sci. Informatiques

Haifa Verification Conference

University of Grenoble, France (PHD)

Education History

University of Grenoble, France

PHD

Publications

Emmanuel Sifakis, Laurent Mounier
Predictive Taint Analysis for Extended Testing of Parallel Executions. Haifa Verification Conference (2013)
Emmanuel Sifakis, Laurent Mounier
Politiques de gestion de protections pour l'implémentation de sections critiques. Tech. Sci. Informatiques 31 (8-10) (2012)
Laurent Mounier, Emmanuel Sifakis
Dynamic Information-Flow Analysis for Multi-threaded Applications. ISoLA (1) (2012)
Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay, Emmanuel Sifakis
Verification of an AFDX Infrastructure Using Simulations and Probabilities. RV (2010)