Jérémy Dubreil

Statistics

Publications

Citations

458

H-Index

Active since

2008

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Centre Inria de l'Université de Rennes

École Polytechnique

Jérémy Dubreil is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer science, engineering, and data security.

Top concepts

EngineeringComputer ScienceData SecurityFormal MethodsFormal VerificationSystems EngineeringInformation SecurityData PrivacyVerificationAutomation

Publications per year

2008–2012

Publications

Supervisory Control for Opacity

Jérémy Dubreil, Philippe Darondeau, Hervé Marchand · IEEE Transactions on Automatic Control · 2010 · 192 citations · Full text

Engineering, Information Security, I Xmlns +13

Synthesis of opaque systems with static and dynamic masks

Franck Cassez, Jérémy Dubreil, Hervé Marchand · Formal Methods in System Design · 2012 · 150 citations · Full text

Geometric Modeling, Realistic Rendering, Natural Sciences +6

Opacity enforcing control synthesis

Jérémy Dubreil, Philippe Darondeau, Hervé Marchand · 2008 · 72 citations

Engineering, Reachability Problem, Information Security +20

Monitoring confidentiality by diagnosis techniques

Jérémy Dubreil, Thierry Jéron, Hervé Marchand · 2009 · 16 citations

Engineering, Information Security, Discrete Event Systems +19

Monitoring and Supervisory Control for Opacity Properties

Jérémy Dubreil · HAL (Le Centre pour la Communication Scientifique Directe) · 2009 · 15 citations · Full text

Opacity Violations, Engineering, Information Security +21

1–5 of 6