Publications related to HYMITATOR
2012
- Étienne André and Ulrich Kühne. Parametric Analysis of Hybrid Systems Using HyMITATOR. In Franco Mazzanti and Gianluca Trentanni (eds.), iFM’12, CNR and ISTI e-book, pages 16–19, June 2012.
[PDF | PDF (author version) | PDF (poster)] - Étienne André, Laurent Fribourg, Ulrich Kühne and Romain Soulat. IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems. In Dimitra Giannakopoulou and Dominique Méry (eds.), FM’12, LNCS 7436, Springer, pages 33–36, August 2012. Acceptance rate: 27%.
[PDF (author version) | BibTeX]
- Étienne André, Laurent Fribourg and Romain Soulat. Enhancing the Inverse Method with State Merging. In Alwyn Goodloe and Suzette Person (eds.), NFM’12, LNCS 7226, Springer, pages 100–105, April 2012. [BibTeX]
2011
- Laurent Fribourg and Ulrich Kühne. Parametric Verification and Test Coverage for Hybrid Automata Using the Inverse Method. In Giorgio Delzanno and Igor Potapov (eds.), RP’11, LNCS 6945, Springer, pages 191–204, 2011. [PDF (author version) | BibTeX]
2010
- Étienne André and Laurent Fribourg. Behavioral Cartography of Timed Automata. In Antonín Kučera and Igor Potapov (eds.), RP’10, LNCS 6227, Springer, pages 76–90, September 2010. [PDF (published version)
| PDF (author version) | BibTeX | Slides]
2009
- Étienne André, Thomas Chatain, Emmanuelle Encrenaz and Laurent Fribourg. An Inverse Method for Parametric Timed Automata. International Journal of Foundations of Computer Science 20(5), pages 819–836, 2009. [PDF (published version) | PDF (author version)
| BibTeX]
Research reports
2011
- Laurent Fribourg and Ulrich Kühne. Parametric Verification of Hybrid Automata Using the Inverse Method. Research report LSV-11-04, Laboratoire Spécification et Vérification, ENS Cachan, France, March 2011. 25 pages. [PDF | BibTeX]
