biblio.bib

@inproceedings{wodes08,
  author = {Jérémy Dubreil and Philippe Darondeau and Hervé Marchand},
  title = {{Opacity Enforcing Control Synthesis}},
  booktitle = {Proceedings of the 9th International Workshop on Discrete Event Systems (WODES'08)},
  year = {2008},
  pages = {28–35},
  address = {Göteborg, Sweden},
  month = {May},
  publisher = {IEEE},
  url = {http://www.lix.polytechnique.fr/~dubreil/publications/2008-Wodes-Opacity.pdf}
}

@techreport{PI-1921,
  author = {Jérémy Dubreil and Philippe Darondeau and Hervé Marchand},
  title = {Supervisory Control for Opacity},
  institution = {IRISA},
  year = {2009},
  number = {1921},
  month = {February},
  url = {http://www.lix.polytechnique.fr/~dubreil/publications/PI-1921.pdf}
}

@techreport{PI-1901,
  author = {Jérémy Dubreil and Thierry Jéron and Hervé Marchand},
  title = {Monitoring Information flow by Diagnosis Techniques},
  institution = {IRISA},
  year = {2008},
  number = {1901},
  month = {August},
  url = {http://www.lix.polytechnique.fr/~dubreil/publications/PI-1901.pdf}
}

@inproceedings{msr07,
  author = {Jérémy Dubreil and Thierry Jéron and Hervé Marchand},
  title = {Construction de moniteurs pour la surveillance de propriétés de sécurité},
  booktitle = {6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR'07)},
  year = {2007},
  address = {Lyon, France},
  month = {October},
  url = {http://www.lix.polytechnique.fr/~dubreil/publications/2007-MSR-Opacity.pdf}
}

@inproceedings{ecc09,
  author = {Jérémy Dubreil and Thierry Jéron and Hervé Marchand},
  title = {Monitoring Confidentiality by Diagnosis Techniques},
  booktitle = {Proceedings of the 10th European Control Conference (ECC'09)},
  address = {Budapest, Hungary},
  month = {August},
  year = {2009},
  url = {http://www.lix.polytechnique.fr/~dubreil/publications/2009-ecc-opacity.pdf}
}

@inproceedings{apnoc09,
  author = {Jérémy Dubreil},
  title = {Opacity and Abstractions},
  booktitle = {Proceedings of the First International Workshop on Abstractions for Petri Nets and Other Models of Concurrency (APNOC'09)},
  address = {Paris, France},
  month = {June},
  year = {2009},
  url = {http://www.lix.polytechnique.fr/~dubreil/publications/apnoc09.pdf}
}

@mastersthesis{uppsala-report,
  title = {Non-Interference on Symbolic Transition System},
  author = {Jérémy Dubreil},
  school = {Uppsala University},
  month = {February},
  year = {2006},
  url = {http://www.lix.polytechnique.fr/~dubreil/publications/masters-thesis.pdf}
}

@techreport{PI-1930,
  author = {Franck Cassez and Jérémy Dubreil and Hervé Marchand},
  title = {Dynamic Observers for the Synthesis of Opaque Systems},
  number = {1930},
  institution = {IRISA},
  month = {May},
  year = {2009},
  note = {Extended version of the paper of ATVA'09},
  url = {http://www.lix.polytechnique.fr/~dubreil/publications/PI-1930.pdf}
}

@inproceedings{atva09,
  author = {Franck Cassez and Jérémy Dubreil and Hervé Marchand},
  title = {Dynamic Observers for the Synthesis of Opaque Systems},
  booktitle = {7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09)},
  address = {Macao SAR, China},
  month = {October},
  year = {2009},
  url = {http://www.lix.polytechnique.fr/~dubreil/publications/atva09.pdf}
}

@phdthesis{DubreilPhD2009,
  title = {Monitoring and Supervisory Control for Opacity},
  author = {Jérémy Dubreil},
  school = {Université de Rennes 1},
  address = {France},
  month = {November},
  year = {2009},
  url = {http://www.lix.polytechnique.fr/~dubreil/publications/PhD-Dubreil.pdf}
}

@article{DubreilDM2010,
  author = {Jérémy Dubreil and Philippe Darondeau and Hervé Marchand},
  title = {Supervisory Control for Opacity},
  journal = {IEEE Transactions on Automatic Control},
  year = {2010},
  month = {May},
  url = {http://www.lix.polytechnique.fr/~dubreil/publications/2010-TAC.pdf}
}

@techreport{DarondeauDubMar2010,
  author = {Philippe Darondeau and Jérémy Dubreil and Hervé Marchand},
  title = {Supervisory Control for Modal Specifications of Services},
  number = {7247},
  institution = {INRIA},
  month = {April},
  year = {2010},
  url = {http://www.lix.polytechnique.fr/~dubreil/publications/RR-7247.pdf}
}

@inproceedings{DDM2010,
  author = {Phillipe Darondeau and Jérémy Dubreil and Hervé Marchand},
  title = {Supervisory Control for Modal Specifications of Services},
  booktitle = {Workshop on Discrete Event Systems, WODES'10},
  pages = {428--435},
  address = {Berlin, Germany},
  month = {August},
  year = {2010},
  url = {http://www.lix.polytechnique.fr/~dubreil/publications/2010-Wodes-Modal.pdf}
}

This file was generated by bibtex2html 1.95.