@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