Fabrice Chevalier

According to our database, Fabrice Chevalier authored at least 14 papers between 2005 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Automata and Logics over Signals.

Fabrice Chevalier, Deepak D'Souza, Raj Mohan Matteplackel, Pavithra Prabhakar

Proceedings of the Modern Applications of Automata Theory., 2012

2010

On the expressiveness of TPTL and MTL.

Patricia Bouyer, Fabrice Chevalier, Nicolas Markey

Inf. Comput., 2010

O-Minimal Hybrid Reachability Games

Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier

Log. Methods Comput. Sci., 2010

2009

Automata and logics over finitely varying functions.

Fabrice Chevalier, Deepak D'Souza, M. Raj Mohan, Pavithra Prabhakar

Ann. Pure Appl. Log., 2009

Weighted o-minimal hybrid systems.

Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier

Ann. Pure Appl. Log., 2009

2007

Logiques pour les systèmes temporisés : contrôle et expressivité. (Logics for timed systems : control and expressivity).

Fabrice Chevalier

PhD thesis, 2007

Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata!

Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007

Counter-Free Input-Determined Timed Automata.

Fabrice Chevalier, Deepak D'Souza, Pavithra Prabhakar

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

2006

On the Control of Timed and Hybrid Systems.

Patricia Bouyer, Fabrice Chevalier

Bull. EATCS, 2006

Control in o-minimal Hybrid Systems.

Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier

Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006

On Continuous Timed Automata with Input-Determined Guards.

Fabrice Chevalier, Deepak D'Souza, Pavithra Prabhakar

Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006

Controller Synthesis for MTL Specifications.

Patricia Bouyer, Laura Bozzelli, Fabrice Chevalier

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2005

On Conciseness of Extensions of Timed Automata.

Patricia Bouyer, Fabrice Chevalier

J. Autom. Lang. Comb., 2005

Fault Diagnosis Using Timed Automata.

Patricia Bouyer, Fabrice Chevalier, Deepak D'Souza

Proceedings of the Foundations of Software Science and Computational Structures, 2005