@InProceedings{dubreil-msr, 
	Author = {Dubreil, J. and Jéron, T. and Marchand, H.},
	Title = {Construction de moniteurs pour la surveillance de propriétés de sécurité},
	BookTitle = {6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs},
	Pages = {105--120},
	Address = {Lyon, France},
 	Month = {October},
	Year = {2007}
} 


@InProceedings{opacity2, 
	Author = {Dubreil, J. and Darondeau, Ph. and Marchand, H.},
	Title = {Opacity Enforcing Control Synthesis},
	BookTitle = {Workshop on Discrete Event Systems, WODES'08},
	Pages = {28--35},
	Address = {Gothenburg, Sweden},
 	Month = {March},
	Year = {2008}
} 


@TechReport{opacity, 
	Author = {Dubreil, J. and Jéron, T. and Marchand, H.},
	Title = {Monitoring Information flow by Diagnosis Techniques},
	Number = {1901},
	Institution = {IRISA},
	Month = {August},
	Year = {2008}
} 


@TechReport{PI-opacity, 
	Author = {Dubreil, J. and Darondeau, Ph. and Marchand, H.},
	Title = {Opacity Enforcing Control Synthesis},
	Number = {1887},
	Institution = {IRISA},
	Month = {March},
	Year = {2008}
} 


@Misc{politess-1, 
	Author = {Marchand, H. and Dubreil, J. and Jéron, T.},
	Title = {Automatic Test Generation for Security Property},
	Howpublished = {Delivrable, Politess Project},
	Year = {2008}
} 


@Misc{politess-3, 
	Author = {Dubreil, J. and Jéron, T. and Hélouët, L. and Marchand, H.},
	Title = {Evaluation des techniques de diagnostic pour la construction de détecteurs d'intrusions},
	Howpublished = {Delivrable, Politess Project},
	Year = {2008}
} 


@InProceedings{atva09, 
	Author = {Cassez, F. and Dubreil, J. and Marchand, H.},
	Title = {Dynamic Observers for the Synthesis of Opaque Systems},
	BookTitle = {7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09)},
	editor = {Liu, Z. and Ravn, A.P.},
	Volume = {	 5799},
	Pages = {352--367},
	Series = {LNCS},
	Publisher = {Springer-Verlag},
	Address = {Macao SAR, China},
 	Month = {October},
	Year = {2009}
} 


@TechReport{PI-1930, 
	Author = {Cassez, F. and Dubreil, J. and Marchand, H.},
	Title = {Dynamic Observers for the Synthesis of Opaque Systems},
	Number = {1930},
	Institution = {IRISA},
	Month = {May},
	Year = {2009}
} 


@InProceedings{apnoc09, 
	Author = {Dubreil, J.},
	Title = {Opacity and Abstraction},
	BookTitle = {Proceedings of the First International Workshop on Abstractions for Petri Nets and Other Models of Concurrency (APNOC'09)},
	Address = {Paris, France},
 	Month = {June},
	Year = {2009}
} 


@InProceedings{testcom09, 
	Author = {Marchand, H. and Dubreil, J. and Jéron, T.},
	Title = {Automatic Testing of Access Control for Security Properties},
	BookTitle = {TestCom'09},
	Volume = {	 5826},
	Pages = {113--128},
	Series = {LNCS},
	Publisher = {Springer-Verlag},
	Month = {November},
	Year = {2009}
} 


@InProceedings{sarssi09, 
	Author = {Marchand, H. and Dubreil, J. and Jéron, T.},
	Title = {Génération automatique de tests pour des propriétés de sécurité},
	BookTitle = {4ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information},
	Pages = {157--174},
	Month = {June},
	Year = {2009}
} 


@InProceedings{dubreil09a, 
	Author = {Dubreil, J. and Jéron, T. and Marchand, H.},
	Title = {Monitoring Confidentiality by Diagnosis Techniques},
	BookTitle = {European Control Conference},
	Pages = {2584--2590},
	Address = {Budapest, Hungary},
 	Month = {August},
	Year = {2009}
} 


@PhdThesis{dubreil-phd, 
	Author = {Dubreil, Jérémy},
	Title = {Monitoring and Supervisory Control for Opacity Properties},
	School = {Université de Rennes 1},
	Month = {November},
	Year = {2009}
} 


@TechReport{PI-1921, 
	Author = {Dubreil, J. and Darondeau, Ph. and Marchand, H.},
	Title = {Supervisory Control for Opacity},
	Number = {1921},
	Institution = {IRISA},
	Month = {February},
	Year = {2009}
} 


@InProceedings{wodes10-a, 
	Author = {Darondeau, Ph. and Dubreil, J. and Marchand, H.},
	Title = {Supervisory Control for Modal Specifications of Services},
	BookTitle = {Workshop on Discrete Event Systems, WODES'10},
	Pages = {428--435},
	Address = {Berlin, Germany},
 	Month = {August},
	Year = {2010}
} 


@TechReport{darondeau10a, 
	Author = {Darondeau, Ph. and Dubreil, J. and Marchand, H.},
	Title = {Supervisory Control for Modal Specifications of Services},
	Number = {7247},
	Institution = {INRIA},
	Month = {April},
	Year = {2010}
} 


@article{dubreil10, 
	Author = {Dubreil, J. and Darondeau, Ph. and Marchand, H.},
	Title = {Supervisory Control for Opacity},
	Journal = {IEEE Transactions on Automatic Control},
	Volume = {	 55},
	Number = {5},
	Pages = {1089--1100},
	Month = {May},
	Year = {2010}
} 


@article{FMSD12, 
	Author = {Cassez, F. and Dubreil, J. and Marchand, H.},
	Title = {Synthesis of Opaque Systems with Static and Dynamic Masks},
	Journal = {Formal Methods in System Design},
	Volume = {40},
	Number = {1},
	Pages = {88--115},
	Year = {2012}
} 


@TechReport{uppsala-report, 
	Author = {Dubreil, J.},
	Title = {Non-Interference on Symbolic Transition System},
	Institution = {Uppsala University},
	Month = {February},
	Year = {2006}
}