 | 2010 |
|---|
| 13 |       | Patricia Bouyer,
Fabrice Chevalier,
Nicolas Markey:
On the expressiveness of TPTL and MTL.
Inf. Comput. 208(2): 97-116 (2010) |
| 12 | | Patricia Bouyer,
Thomas Brihaye,
Fabrice Chevalier:
O-Minimal Hybrid Reachability Games
Logical Methods in Computer Science 6(1): (2010) |
| 2009 |
|---|
| 11 | | Patricia Bouyer,
Thomas Brihaye,
Fabrice Chevalier:
Weighted o-minimal hybrid systems.
Ann. Pure Appl. Logic 161(3): 268-288 (2009) |
| 10 | | Fabrice Chevalier,
Deepak D'Souza,
M. Raj Mohan,
Pavithra Prabhakar:
Automata and logics over finitely varying functions.
Ann. Pure Appl. Logic 161(3): 324-336 (2009) |
| 2007 |
|---|
| 9 | | Fabrice Chevalier,
Deepak D'Souza,
Pavithra Prabhakar:
Counter-Free Input-Determined Timed Automata.
FORMATS 2007: 82-97 |
| 8 | | Patricia Bouyer,
Thomas Brihaye,
Fabrice Chevalier:
Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata!
LFCS 2007: 69-83 |
| 2006 |
|---|
| 7 | | Patricia Bouyer,
Laura Bozzelli,
Fabrice Chevalier:
Controller Synthesis for MTL Specifications.
CONCUR 2006: 450-464 |
| 6 | | Fabrice Chevalier,
Deepak D'Souza,
Pavithra Prabhakar:
On Continuous Timed Automata with Input-Determined Guards.
FSTTCS 2006: 369-380 |
| 5 | | Patricia Bouyer,
Thomas Brihaye,
Fabrice Chevalier:
Control in o-minimal Hybrid Systems.
LICS 2006: 367-378 |
| 4 |  | Patricia Bouyer,
Fabrice Chevalier:
On the Control of Timed and Hybrid Systems.
Bulletin of the EATCS 89: 79-96 (2006) |
| 2005 |
|---|
| 3 | | Patricia Bouyer,
Fabrice Chevalier,
Nicolas Markey:
On the Expressiveness of TPTL and MTL.
FSTTCS 2005: 432-443 |
| 2 | | 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) |
Data released under the ODC-BY 1.0 license — See also our legal information page