2007 |
8 | EE | Fabrice Chevalier,
Deepak D'Souza,
Pavithra Prabhakar:
Counter-Free Input-Determined Timed Automata.
FORMATS 2007: 82-97 |
7 | EE | Patricia Bouyer,
Thomas Brihaye,
Fabrice Chevalier:
Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata!
LFCS 2007: 69-83 |
2006 |
6 | EE | Patricia Bouyer,
Laura Bozzelli,
Fabrice Chevalier:
Controller Synthesis for MTL Specifications.
CONCUR 2006: 450-464 |
5 | EE | Fabrice Chevalier,
Deepak D'Souza,
Pavithra Prabhakar:
On Continuous Timed Automata with Input-Determined Guards.
FSTTCS 2006: 369-380 |
4 | EE | Patricia Bouyer,
Thomas Brihaye,
Fabrice Chevalier:
Control in o-minimal Hybrid Systems.
LICS 2006: 367-378 |
2005 |
3 | EE | Patricia Bouyer,
Fabrice Chevalier,
Nicolas Markey:
On the Expressiveness of TPTL and MTL.
FSTTCS 2005: 432-443 |
2 | EE | Patricia Bouyer,
Fabrice Chevalier,
Deepak D'Souza:
Fault Diagnosis Using Timed Automata.
FoSSaCS 2005: 219-233 |
1 | | Patricia Bouyer,
Fabrice Chevalier:
On Conciseness of Extensions of Timed Automata.
Journal of Automata, Languages and Combinatorics 10(4): 393-405 (2005) |