# Fabrice Chevalier

According to our database

Collaborative distances:

^{1}, Fabrice Chevalier authored at least 15 papers between 2005 and 2012.Collaborative distances:

## 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