@COMMENT{{{This file has been generated by bib2bib 1.74}}
@COMMENT{{{Command line: ./bib2bib -c 'year>=1998 & year <= 2013' -c 'author: "dubreil"' papers.bib}}
@ARTICLE{cassez:hal-00662539, AUTHOR = {Cassez, Franck and Dubreil, Jeremy and Marchand, Herv{\'e}}, DOI = {10.1007/s10703-012-0141-9}, JOURNAL = {{Formal Methods in System Design}}, NUMBER = {1}, PAGES = {88-115}, PUBLISHER = {Springer}, TITLE = {{Synthesis of opaque systems with static and dynamic masks}}, URL = {http://hal.inria.fr/hal-00662539}, VOLUME = {40}, X-EDITORIAL-BOARD = {yes}, X-ID-HAL = {hal-00662539}, X-INTERNATIONAL-AUDIENCE = {yes}, YEAR = {2012} }
@TECHREPORT{Cassez:2011:TR, AUTHOR = {Franck Cassez, J\'er\'emy Dubreil and Herv\'e Marchand}, TITLE = {Synthesis of Opaque Systems with Static and Dynamic Masks.}, INSTITUTION = {INRIA}, NOTE = {Submitted to Formal Methods in System Design (FORM)}, YEAR = {2011} }
@INPROCEEDINGS{darondeau:2010:inria-00510013:1, ADDRESS = {Berlin, Germany}, AUTHOR = {Darondeau, Philippe and Dubreil, J{\'e}r{\'e}my and Marchand, Herv{\'e}}, BOOKTITLE = {Workshop on Discrete Event Systems (WODES 2010)}, DATE-ADDED = {2010-12-30 03:55:53 +0100}, DATE-MODIFIED = {2010-12-30 03:55:53 +0100}, MONTH = AUG, PAGES = {428-435}, TITLE = {Supervisory Control for Modal Specifications of Services}, URL = {http://hal.inria.fr/inria-00510013/en}, X-ID-HAL = {inria-00510013}, X-INTERNATIONAL-AUDIENCE = {yes}, X-PROCEEDINGS = {yes}, YEAR = {2010} }
@ARTICLE{DubreilDM2010, AUTHOR = {J{\'e}r{\'e}my Dubreil and Philippe Darondeau and Herv{\'e} Marchand}, DATE-ADDED = {2010-12-30 03:55:53 +0100}, DATE-MODIFIED = {2010-12-30 03:55:53 +0100}, JOURNAL = {IEEE Transactions on Automatic Control}, MONTH = {May}, TITLE = {Supervisory Control for Opacity}, URL = {http://hal.archives-ouvertes.fr/inria-00483891/en}, X-EDITORIAL-BOARD = {yes}, X-INTERNATIONAL-AUDIENCE = {yes}, YEAR = {2010} }
@TECHREPORT{darondeau:2010:inria-00472736:1, AUTHOR = {Darondeau, Philippe and Dubreil, J{\'e}r{\'e}my and Marchand, Herv{\'e}}, DATE-ADDED = {2010-12-30 03:55:53 +0100}, DATE-MODIFIED = {2010-12-30 03:55:53 +0100}, INSTITUTION = {INRIA}, MONTH = APR, NUMBER = {RR-7247}, TITLE = {Supervisory Control for Modal Specifications of Services}, TYPE = {Research Report}, URL = {http://hal.inria.fr/inria-00472736/en}, X-ID-HAL = {inria-00472736}, YEAR = {2010} }
This file has been generated by bibtex2html 1.74