Folgen
Patricia Bouyer
Patricia Bouyer
LMF, Université Paris-Saclay, CNRS, ENS Paris-Saclay
Bestätigte E-Mail-Adresse bei lsv.fr - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Infinite runs in weighted timed automata with energy constraints
P Bouyer, U Fahrenberg, KG Larsen, N Markey, J Srba
Formal Modeling and Analysis of Timed Systems: 6th International Conference …, 2008
2382008
Forward analysis of updatable timed automata
P Bouyer
Formal Methods in System Design 24, 281-320, 2004
1462004
Fault diagnosis using timed automata
P Bouyer, F Chevalier, D D’Souza
Foundations of Software Science and Computational Structures: 8th …, 2005
1372005
Optimal strategies in priced timed game automata
P Bouyer, F Cassez, E Fleury, KG Larsen
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer …, 2005
1372005
Updatable timed automata
P Bouyer, C Dufourd, E Fleury, A Petit
Theoretical Computer Science 321 (2-3), 291-345, 2004
1372004
Lower and upper bounds in zone-based abstractions of timed automata
G Behrmann, P Bouyer, KG Larsen, R Pelánek
International Journal on Software Tools for Technology Transfer 8, 204-215, 2006
1212006
Are timed automata updatable?
P Bouyer, C Dufourd, E Fleury, A Petit
Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000
1172000
Untameable timed automata!
P Bouyer
STACS 2607, 620-631, 2003
1162003
Static guard analysis in timed automata verification
G Behrmann, P Bouyer, E Fleury, KG Larsen
Tools and Algorithms for the Construction and Analysis of Systems: 9th …, 2003
1102003
The power of reachability testing for timed automata
L Aceto, P Bouyer, A Burgueno, KG Larsen
Theoretical Computer Science 300 (1-3), 411-475, 2003
1082003
Timed control with partial observability
P Bouyer, D D’Souza, P Madhusudan, A Petit
Computer Aided Verification: 15th International Conference, CAV 2003 …, 2003
1052003
On the optimal reachability problem of weighted timed automata
P Bouyer, T Brihaye, V Bruyere, JF Raskin
Formal Methods in System Design 31 (2), 135-175, 2007
1042007
On the Expressiveness of TPTL and MTL
P Bouyer, F Chevalier, N Markey
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer …, 2005
992005
Optimal infinite scheduling for multi-priced timed automata
P Bouyer, E Brinksma, KG Larsen
Formal Methods in System Design 32, 3-23, 2008
972008
Improved undecidability results on weighted timed automata
P Bouyer, T Brihaye, N Markey
Information Processing Letters 98 (5), 188-194, 2006
932006
An algebraic approach to data languages and timed languages
P Bouyer, A Petit, D Thérien
Information and Computation 182 (2), 137-162, 2003
932003
A logical characterization of data languages
P Bouyer
Information Processing Letters 84 (2), 75-85, 2002
792002
Model-checking timed temporal logics
P Bouyer
Electronic notes in theoretical computer science 231, 323-341, 2009
772009
Staying alive as cheaply as possible
P Bouyer, E Brinksma, KG Larsen
Hybrid Systems: Computation and Control: 7th International Workshop, HSCC …, 2004
762004
Quantitative analysis of real-time systems using priced timed automata
P Bouyer, U Fahrenberg, KG Larsen, N Markey
Communications of the ACM 54 (9), 78-87, 2011
742011
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20