Selected publications by Fabrice Chevalier

Journals

BC06

Patricia Bouyer and Fabrice Chevalier.  On the Control of Timed and Hybrid Systems.  EATCS Bulletin 89, pages 79-96, 2006. ( PDF | PS | PS.GZ | BibTeX + Abstract )

BC05

Patricia Bouyer and Fabrice Chevalier.  On Conciseness of Extensions of Timed Automata.  Journal of Automata, Languages and Combinatorics 10(4), pages 393-405, 2005. ( PDF | PS | PS.GZ | BibTeX + Abstract )

Conferences

CDP07

Fabrice Chevalier, Deepak D'Souza and Pavithra Prabhakar.  Counter-free Input Determined Timed Automata.  In J.-F. Raskin and P. S. Thiagarajan (eds.), 10.1007/978-3-540-75454-1_8, LNCS 4763, pages 82-97. Springer. ( PDF | PS | PS.GZ | BibTeX + Abstract )

BBC07

Patricia Bouyer, Thomas Brihaye and Fabrice Chevalier.  Weighted O-Minimal Hybrid Systems are more Decidable than Weighted Timed Automata!  In S. N. Artemov and A. Nerode (eds.), 10.1007/978-3-540-72734-7_6, LNCS 4514, pages 69-83. Springer. ( PDF | PS | PS.GZ | BibTeX + Abstract )

CDP06

Fabrice Chevalier, Deepak D'Souza and Pavithra Prabhakar.  On continuous timed automata with input-determined guards.  In N. Garg and S. Arun-Kumar (eds.), 10.1007/11944836_34, LNCS 4337, pages 369-380. Springer. ( PDF | PS | PS.GZ | BibTeX + Abstract )

BBC06a

Patricia Bouyer, Laura Bozzelli and Fabrice Chevalier.  Controller Synthesis for MTL Specifications.  In C. Baier and H. Hermanns (eds.), 10.1007/11817949_30, LNCS 4137, pages 450-464. Springer. ( PDF | PS | PS.GZ | BibTeX + Abstract )

BBC06b

Patricia Bouyer, Thomas Brihaye and Fabrice Chevalier.  Control in o-Minimal Hybrid Systems.  In 10.1109/LICS.2006.22, pages 367-378. IEEE Computer Society Press. ( PDF | PS | PS.GZ | BibTeX + Abstract )

BCM05

Patricia Bouyer, Fabrice Chevalier and Nicolas Markey.  On the Expressiveness of TPTL and MTL.  In R. Ramanujam and S. Sen (eds.), 10.1007/11590156_35, LNCS 3821, pages 432-443. Springer. ( PDF | PS | PS.GZ | PDF (long version) | PS (long version) | PS.GZ (long version) | Slides | BibTeX + Abstract )

BCD05

Patricia Bouyer, Fabrice Chevalier and Deepak D'Souza.  Fault Diagnosis Using Timed Automata.  In V. Sassone (ed.), 10.1007/b106850, LNCS 3441, pages 219-233. Springer. ( PDF | PS | PS.GZ | BibTeX + Abstract )

Theses

Che07

Fabrice Chevalier.  Logiques pour les systèmes temporisés : contrôle et expressivité.  Thèse de doctorat, Laboratoire Spécification et Vérification, ENS Cachan, France, June 2007. ( PDF | PS | PS.GZ | Slides | BibTeX )

Other Publications

BCKT05

Patricia Bouyer, Fabrice Chevalier, Moez Krichen and Stavros Tripakis.  Observation partielle des systèmes temporisés.  In H. Alla and É. Rutten (eds.), Actes du 5ème Colloque sur la Modélisation des Systèmes Réactifs (MSR'05), Autrans, France, October 2005, pages 381-393. Hermès. Invited paper. ( PDF | PS | PS.GZ | BibTeX + Abstract )

Che04

Fabrice Chevalier.  Détection d'erreurs dans les systèmes temporisés.  Rapport de DEA, DEA Algorithmique, Paris, France, September 2004. 59 pages. ( PS | PS.GZ | BibTeX )

About LSV

• News
• People
• Research
• Seminars
• Teaching
• Contact

• École Normale Supérieure de Cachan
• Centre National de la Recherche Scientifique