Publications de Jeremy Dubreil

Articles de journaux

1. J. Dubreil, Ph. Darondeau, H. Marchand, Supervisory Control for Opacity, IEEE Transactions on Automatic Control (To appear), 2009. (détails)

Conferences internationales

1. H. Marchand, J. Dubreil, T. Jéron, Automatic Testing of Access Control for Security Properties, in TestCom'09, 2009. (détails)
2. F. Cassez, J. Dubreil, 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, Octobre 2009. (détails)
3. J. Dubreil, T. Jéron, H. Marchand, Monitoring Confidentiality by Diagnosis Techniques, in European Control Conference, Pages 2584-2590, Budapest, Hungary, Août 2009. (détails)
4. Jérémy Dubreil, Opacity and Abstraction, in Proceedings of the First International Workshop on Abstractions for Petri Nets and Other Models of Concurrency (APNOC'09), Paris, France, Juin 2009. (détails)
5. J. Dubreil, Ph. Darondeau, H. Marchand, Opacity Enforcing Control Synthesis, in Workshop on Discrete Event Systems, WODES'08, Gothenburg, Sweden, Mars 2008. (détails)

Conferences nationales

1. H. Marchand, J. Dubreil, T. Jéron, Génération automatique de tests pour des propriétés de sécurité, in 4ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information, Pages 157-174, Juin 2009. (détails)
2. J. Dubreil, T. Jéron, 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, Lyon, France, Octobre 2007. (détails)

Rapport de recherche

1. F. Cassez, J. Dubreil, H. Marchand, Dynamic Observers for the Synthesis of Opaque Systems, Rapport de recherche IRISA, No 1930, Mai 2009. (détails)
2. J. Dubreil, Ph. Darondeau, H. Marchand, Supervisory Control for Opacity, Rapport de recherche IRISA, No 1921, Février 2009. (détails)
3. J. Dubreil, T. Jéron, H. Marchand, Monitoring Information flow by Diagnosis Techniques, Rapport de recherche IRISA, No 1901, Août 2008. (détails)
4. J. Dubreil, Ph. Darondeau, H. Marchand, Opacity Enforcing Control Synthesis, Rapport de recherche IRISA, No 1887, Mars 2008. (détails)
5. J. Dubreil, Non-Interference on Symbolic Transition System, Master Thesis Uppsala University, Février 2006. (détails)

Divers

1. H. Marchand, J. Dubreil, T. Jéron, Automatic Test Generation for Security Property, Delivrable, Politess Project, 2008. (détails)
2. J. Dubreil, T. Jéron, L. Hélouët, H. Marchand, Evaluation des techniques de diagnostic pour la construction de détecteurs d'intrusions, Delivrable, Politess Project, 2008. (détails)

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.