Fabrice Chevalier

Publication Activity (10 Years)

Years Active: 2005-2010
Publications (10 Years): 0

École normale supérieure de Cachan, France (PHD)

Education History

École normale supérieure de Cachan, France

PHD

Publications

Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier
O-Minimal Hybrid Reachability Games Log. Methods Comput. Sci. 6 (1) (2010)
Patricia Bouyer, Fabrice Chevalier, Nicolas Markey
On the expressiveness of TPTL and MTL. Inf. Comput. 208 (2) (2010)
Fabrice Chevalier, Deepak D'Souza, M. Raj Mohan, Pavithra Prabhakar
Automata and logics over finitely varying functions. Ann. Pure Appl. Log. 161 (3) (2009)
Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier
Weighted o-minimal hybrid systems. Ann. Pure Appl. Log. 161 (3) (2009)
Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier
Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata! LFCS (2007)
Fabrice Chevalier, Deepak D'Souza, Pavithra Prabhakar
Counter-Free Input-Determined Timed Automata. FORMATS (2007)
Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier
Control in o-minimal Hybrid Systems. LICS (2006)
Fabrice Chevalier, Deepak D'Souza, Pavithra Prabhakar
On Continuous Timed Automata with Input-Determined Guards. FSTTCS (2006)
Patricia Bouyer, Laura Bozzelli, Fabrice Chevalier
Controller Synthesis for MTL Specifications. CONCUR (2006)
Patricia Bouyer, Fabrice Chevalier
On the Control of Timed and Hybrid Systems. Bull. EATCS 89 (2006)
Patricia Bouyer, Fabrice Chevalier, Nicolas Markey
On the Expressiveness of TPTL and MTL. FSTTCS (2005)
Patricia Bouyer, Fabrice Chevalier, Deepak D'Souza
Fault Diagnosis Using Timed Automata. FoSSaCS (2005)
Patricia Bouyer, Fabrice Chevalier
On Conciseness of Extensions of Timed Automata. J. Autom. Lang. Comb. 10 (4) (2005)

Fabrice Chevalier.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Fabrice Chevalier