 |
|
|
|
| Papers |
|
Papers (co-)authored by Jérémy Dubreil
| [1] |
Franck Cassez, Jeremy Dubreil, and Hervé Marchand.
Synthesis of opaque systems with static and dynamic masks.
Formal Methods in System Design, 40(1):88-115, 2012. [ bib | http ] |
| [2] |
Jérémy Dubreil Franck Cassez and Hervé Marchand.
Synthesis of opaque systems with static and dynamic masks.
Technical report, INRIA, 2011.
Submitted to Formal Methods in System Design (FORM). [ bib ] |
| [3] |
Philippe Darondeau, Jérémy Dubreil, and Hervé Marchand.
Supervisory control for modal specifications of services.
In Workshop on Discrete Event Systems (WODES 2010), pages
428-435, Berlin, Germany, August 2010. [ bib | http ] |
| [4] |
Jérémy Dubreil, Philippe Darondeau, and Hervé Marchand.
Supervisory control for opacity.
IEEE Transactions on Automatic Control, May 2010. [ bib | http ] |
| [5] |
Philippe Darondeau, Jérémy Dubreil, and Hervé Marchand.
Supervisory control for modal specifications of services.
Research Report RR-7247, INRIA, April 2010. [ bib | http ] |
This file has been generated by bibtex2html 1.74
Back
Page maintainer: Catuscia Palamidessi