Fabrice Chevalier

15 papers A* 1B 2Misc 1Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2012 — ch.
Automata and Logics over Signals.
Modern Applications of Automata Theory
Fabrice Chevalier, Deepak D'Souza, Raj Mohan Matteplackel, Pavithra Prabhakar
2010 J jnl
O-Minimal Hybrid Reachability Games
Log. Methods Comput. Sci.
Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier
2010 J jnl
On the expressiveness of TPTL and MTL.
Inf. Comput.
Patricia Bouyer, Fabrice Chevalier, Nicolas Markey
2009 J jnl
Automata and logics over finitely varying functions.
Ann. Pure Appl. Log.
Fabrice Chevalier, Deepak D'Souza, M. Raj Mohan, Pavithra Prabhakar
2009 J jnl
Weighted o-minimal hybrid systems.
Ann. Pure Appl. Log.
Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier
2007 — conf
Counter-Free Input-Determined Timed Automata.
FORMATS
Fabrice Chevalier, Deepak D'Souza, Pavithra Prabhakar
2007 — —
Logiques pour les systèmes temporisés : contrôle et expressivité. (Logics for timed systems : control and expressivity).
Fabrice Chevalier
2007 Misc conf
Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata!
LFCS
Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier
2006 A* conf
Control in o-minimal Hybrid Systems.
LICS
Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier
2006 B conf
Controller Synthesis for MTL Specifications.
CONCUR
Patricia Bouyer, Laura Bozzelli, Fabrice Chevalier
2006 — conf
On Continuous Timed Automata with Input-Determined Guards.
FSTTCS
Fabrice Chevalier, Deepak D'Souza, Pavithra Prabhakar
2006 J jnl
On the Control of Timed and Hybrid Systems.
Bull. EATCS
Patricia Bouyer, Fabrice Chevalier
2005 B conf
Fault Diagnosis Using Timed Automata.
FoSSaCS
Patricia Bouyer, Fabrice Chevalier, Deepak D'Souza
2005 J jnl
On Conciseness of Extensions of Timed Automata.
J. Autom. Lang. Comb.
Patricia Bouyer, Fabrice Chevalier
2005 — conf
On the Expressiveness of TPTL and MTL.
FSTTCS
Patricia Bouyer, Fabrice Chevalier, Nicolas Markey