Fabrice Chevalier

15 papers A* 1B 2Misc 1Journal 6Unranked 3

Year	Rank	Type	Title / 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