Fabrice Chevalier

According to our database1, Fabrice Chevalier authored at least 15 papers between 2005 and 2012.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2012
Automata and Logics over Signals.
Modern Applications of Automata Theory, 2012

2010
On the expressiveness of TPTL and MTL.
Inf. Comput., 2010

O-Minimal Hybrid Reachability Games
Logical Methods in Computer Science, 2010

2009
Automata and logics over finitely varying functions.
Ann. Pure Appl. Logic, 2009

Weighted o-minimal hybrid systems.
Ann. Pure Appl. Logic, 2009

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

Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata!
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007

Counter-Free Input-Determined Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

2006
On the Control of Timed and Hybrid Systems.
Bulletin of the EATCS, 2006

Control in o-minimal Hybrid Systems.
Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006

On Continuous Timed Automata with Input-Determined Guards.
Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006

Controller Synthesis for MTL Specifications.
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2005
On Conciseness of Extensions of Timed Automata.
Journal of Automata, Languages and Combinatorics, 2005

On the Expressiveness of TPTL and MTL.
Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005

Fault Diagnosis Using Timed Automata.
Proceedings of the Foundations of Software Science and Computational Structures, 2005


  Loading...