Dynamic Observers for the Synthesis of Opaque Systems. - Franck Cassez; Jérémy Dubreil; Hervé Marchand (ATVA, 2009)

Monitoring confidentiality by diagnosis techniques. - Jérémy Dubreil; Thierry Jéron; Hervé Marchand (ECC, 2009)

Automatic Testing of Access Control for Security Properties. - Hervé Marchand; Jérémy Dubreil; Thierry Jéron (TestCom/FATES, 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 (2009)

Supervisory control for modal specifications of services. - Philippe Darondeau; Jérémy Dubreil; Hervé Marchand (WODES, 2010)

Supervisory Control for Opacity. - Jérémy Dubreil; Philippe Darondeau; Hervé Marchand (IEEE Trans. Autom. Control., 2010)

Synthesis of opaque systems with static and dynamic masks. - Franck Cassez; Jérémy Dubreil; Hervé Marchand (Formal Methods Syst. Des., 2012)

Detecting Data Races on OpenCL Kernels with Symbolic Execution. - Dino Distefano; Jérémy Dubreil (CoRR, 2013)

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 (NFM, 2015)

Compositional Static Callgraph Reachability Analysis for WhatsApp Android App Health. - Ákos Hajdu; Roman Lee; Gavin Weng; Nilesh Agrawal; Jérémy Dubreil (SOAP@PLDI, 2025)