Contact information
Research Interests
Formal Methods for the analysis of security properties. Model-checking, Model-Based Testing, Supervisory Control and quantitative analysis for information flow properties. Modal Logic and Games for the design of secure systems.
Publications
PhD Thesis
Jérémy Dubreil, Monitoring and Supervisory Control for Opacity. PhD thesis, Université de Rennes 1, France, November 2009.Journal paper
J. Dubreil, P. Darondeau, and H. Marchand, Supervisory control for opacity, IEEE Transactions on Automatic Control, May 2010.Conferences and Workshop papers
P. Darondeau, J. Dubreil, and H. Marchand, Supervisory control for modal specifications of services, in Workshop on Discrete Event Systems, WODES'10, (Berlin, Germany), pp. 428-435, August 2010.F. Cassez, J. Dubreil, and H. Marchand, Dynamic observers for the synthesis of opaque systems, in 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09), (Macao SAR, China), October 2009.
J. Dubreil, T. Jéron, and H. Marchand, Monitoring confidentiality by diagnosis techniques, in Proceedings of the 10th European Control Conference (ECC'09), (Budapest, Hungary), August 2009.
Jérémy Dubreil, Opacity and abstractions, in Proceedings of the First International Workshop on Abstractions for Petri Nets and Other Models of Concurrency (APNOC'09), (Paris, France), June 2009.
J. Dubreil, P. Darondeau, and H. Marchand, Opacity Enforcing Control Synthesis, in Proceedings of the 9th International Workshop on Discrete Event Systems (WODES'08), (Göteborg, Sweden), p. 28–35, IEEE, May 2008.
J. Dubreil, T. Jéron, and H. Marchand, Construction de moniteurs pour la surveillance de propriétés de sécurité, in 6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR'07), (Lyon, France), October 2007.
Technical reports
P. Darondeau, J. Dubreil, and H. Marchand, Supervisory control for modal specifications of services, Tech. Rep. 7247, INRIA, April 2010.F. Cassez, J. Dubreil, and H. Marchand, Dynamic observers for the synthesis of opaque systems, Tech. Rep. 1930, IRISA, May 2009.
J. Dubreil, P. Darondeau, and H. Marchand, Supervisory control for opacity, Tech. Rep. 1921, IRISA, February 2009.
J. Dubreil, T. Jéron, and H. Marchand, Monitoring information flow by diagnosis techniques, Tech. Rep. 1901, IRISA, August 2008.
Jérémy Dubreil, Non-interference on symbolic transition system, Master's thesis, Uppsala University, February 2006.
bibtex file