Search the dblp DataBase

Publications of Author

1. Patricia Bouyer, Laura Bozzelli, Fabrice Chevalier
   Controller Synthesis for MTL Specifications. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2006, pp:450-464 [Conf]
   
2. Patricia Bouyer, Fabrice Chevalier, Deepak D'Souza
   Fault Diagnosis Using Timed Automata. [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 2005, pp:219-233 [Conf]
   
3. Patricia Bouyer, Fabrice Chevalier, Nicolas Markey
   On the Expressiveness of TPTL and MTL. [Citation Graph (0, 0)][DBLP]
   FSTTCS, 2005, pp:432-443 [Conf]
   
4. Fabrice Chevalier, Deepak D'Souza, Pavithra Prabhakar
   On Continuous Timed Automata with Input-Determined Guards. [Citation Graph (0, 0)][DBLP]
   FSTTCS, 2006, pp:369-380 [Conf]
   
5. Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier
   Control in o-minimal Hybrid Systems. [Citation Graph (0, 0)][DBLP]
   LICS, 2006, pp:367-378 [Conf]
   
6. Fabrice Chevalier, Deepak D'Souza, Pavithra Prabhakar
   Counter-Free Input-Determined Timed Automata. [Citation Graph (0, 0)][DBLP]
   FORMATS, 2007, pp:82-97 [Conf]
   
7. Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier
   Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata! [Citation Graph (0, 0)][DBLP]
   LFCS, 2007, pp:69-83 [Conf]
   
8. 
   Automata and logics over finitely varying functions. [Citation Graph (, )][DBLP]
   
   
9. 
   Weighted o-minimal hybrid systems. [Citation Graph (, )][DBLP]
   
   
10. 
    O-Minimal Hybrid Reachability Games [Citation Graph (, )][DBLP]