People

Papers & Software

Seminar

Stages



INRIA

LIX

CNRS
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. Supertisorx kontrol 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