Jérémy Dubreil

Publication Activity (10 Years)

Years Active: 2009-2015
Publications (10 Years): 1

Top Topics

Computing Systems

Top Venues

Formal Methods Syst. Des.

University of Rennes 1, France (PHD)

Education History

University of Rennes 1, France

PHD

Publications

Cristiano Calcagno, Dino Distefano, Jérémy Dubreil, Dominik Gabi, Pieter Hooimeijer, Martino Luca, Peter W. O'Hearn, Irene Papakonstantinou, Jim Purbrick, Dulma Rodriguez
Moving Fast with Software Verification. NFM (2015)
Dino Distefano, Jérémy Dubreil
Detecting Data Races on OpenCL Kernels with Symbolic Execution. CoRR (2013)
Franck Cassez, Jérémy Dubreil, Hervé Marchand
Synthesis of opaque systems with static and dynamic masks. Formal Methods Syst. Des. 40 (1) (2012)
Jérémy Dubreil, Philippe Darondeau, Hervé Marchand
Supervisory Control for Opacity. IEEE Trans. Autom. Control. 55 (5) (2010)
Philippe Darondeau, Jérémy Dubreil, Hervé Marchand
Supervisory control for modal specifications of services. WODES (2010)
Hervé Marchand, Jérémy Dubreil, Thierry Jéron
Automatic Testing of Access Control for Security Properties. TestCom/FATES (2009)
Franck Cassez, Jérémy Dubreil, Hervé Marchand
Dynamic Observers for the Synthesis of Opaque Systems. ATVA (2009)
Jérémy Dubreil, Thierry Jéron, Hervé Marchand
Monitoring confidentiality by diagnosis techniques. ECC (2009)