Emmanuel Sifakis

发表

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

Emmanuel Sifakis, E. Sifakis, 2013 .

Towards efficient and secure shared memory applications

Emmanuel Sifakis, 2013 .

A cross-layer approach to energy balancing in wireless sensor networks

Daniele Puccinelli, Martin Haenggi, Emmanuel Sifakis, 2006 .

Verification of an AFDX Infrastructure Using Simulations and Probabilities

Axel Legay, Benoît Delahaye, Marius Bozga, 2010, RV.

Dynamic Information-Flow Analysis for Multi-threaded Applications

Laurent Mounier, Emmanuel Sifakis, L. Mounier, 2012, ISoLA.

Predictive Taint Analysis for Extended Testing of Parallel Executions

Laurent Mounier, Emmanuel Sifakis, 2013, Haifa Verification Conference.

Routing Protocols for Wireless Networked Sensing and Control Systems

Emmanuel Sifakis, 2006 .

Offline taint prediction for multi-threaded applications.

Laurent Mounier, Emmanuel Sifakis, 2013 .

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

Laurent Mounier, Emmanuel Sifakis, 2012, Tech. Sci. Informatiques.