Jérémy Dubreil

According to our database, Jérémy Dubreil authored at least 10 papers between 2009 and 2025.

Collaborative distances:

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

2025

Compositional Static Callgraph Reachability Analysis for WhatsApp Android App Health.

Ákos Hajdu, Roman Lee, Gavin Weng, Nilesh Agrawal, Jérémy Dubreil

Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2025

2015

Moving Fast with Software Verification.

Cristiano Calcagno, Dino Distefano, Jérémy Dubreil, Dominik Gabi, Pieter Hooimeijer, Martino Luca, Peter W. O'Hearn, Irene Papakonstantinou, Jim Purbrick, Dulma Rodriguez

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2013

Detecting Data Races on OpenCL Kernels with Symbolic Execution.

Dino Distefano, Jérémy Dubreil

CoRR, 2013

2012

Synthesis of opaque systems with static and dynamic masks.

Franck Cassez, Jérémy Dubreil, Hervé Marchand

Formal Methods Syst. Des., 2012

2010

Supervisory Control for Opacity.

Jérémy Dubreil, Philippe Darondeau, Hervé Marchand

IEEE Trans. Autom. Control., 2010

Supervisory control for modal specifications of services.

Philippe Darondeau, Jérémy Dubreil, Hervé Marchand

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

2009

Monitoring and Supervisory Control for Opacity Properties. (Vérification et Synthèse de Contrôleur pour des Propriétés de Confidentialité).

Jérémy Dubreil

PhD thesis, 2009

Automatic Testing of Access Control for Security Properties.

Hervé Marchand, Jérémy Dubreil, Thierry Jéron

Proceedings of the Testing of Software and Communication Systems, 2009

Monitoring confidentiality by diagnosis techniques.

Jérémy Dubreil, Thierry Jéron, Hervé Marchand

Proceedings of the 10th European Control Conference, 2009

Dynamic Observers for the Synthesis of Opaque Systems.

Franck Cassez, Jérémy Dubreil, Hervé Marchand

Proceedings of the Automated Technology for Verification and Analysis, 2009