Jérémy Dubreil

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

2 Franck Cassez, Jérémy Dubreil, Hervé Marchand: Dynamic Observers for the Synthesis of Opaque Systems. ATVA 2009: 352-367

1 Hervé Marchand, Jérémy Dubreil, Thierry Jéron: Automatic Testing of Access Control for Security Properties. TestCom/FATES 2009: 113-128

	2009
2		Franck Cassez, Jérémy Dubreil, Hervé Marchand: Dynamic Observers for the Synthesis of Opaque Systems. ATVA 2009: 352-367
1		Hervé Marchand, Jérémy Dubreil, Thierry Jéron: Automatic Testing of Access Control for Security Properties. TestCom/FATES 2009: 113-128

Coauthor Index