×

zbMATH — the first resource for mathematics

Bouyer, Patricia

Compute Distance To:
Author ID: bouyer.patricia Recent zbMATH articles by "Bouyer, Patricia"
Published as: Bouyer, Patricia; Bouyer-Decitre, Patricia; Bouyer, P.
Homepage: http://www.lsv.fr/~bouyer/
External Links: MGP · ORCID · Wikidata · Google Scholar · dblp · IdRef · theses.fr
Documents Indexed: 109 Publications since 1999, including 2 Books
Biographic References: 1 Publication

Publications by Year

Citations contained in zbMATH Open

88 Publications have been cited 509 times in 288 Documents Cited by Year
Infinite runs in weighted timed automata with energy constraints. Zbl 1171.68524
Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim G.; Markey, Nicolas; Srba, Jiří
30
2008
Forward analysis of updatable timed automata. Zbl 1073.68041
Bouyer, Patricia
21
2004
Updatable timed automata. Zbl 1070.68063
Bouyer, Patricia; Dufourd, Catherine; Fleury, Emmanuel; Petit, Antoine
18
2004
Staying alive as cheaply as possible. Zbl 1135.93352
Bouyer, Patricia; Brinksma, Ed; Larsen, Kim G.
14
2004
On the optimal reachability problem of weighted timed automata. Zbl 1129.68039
Bouyer, Patricia; Brihaye, Thomas; Bruyère, Véronique; Raskin, Jean-François
13
2007
Improved undecidability results on weighted timed automata. Zbl 1187.68291
Bouyer, Patricia; Brihaye, Thomas; Markey, Nicolas
13
2006
The power of reachability testing for timed automata. Zbl 1023.68060
Aceto, Luca; Bouyer, Patricia; Burgueño, Augusto; Larsen, Kim G.
11
2003
Optimal infinite scheduling for multi-priced timed automata. Zbl 1133.68360
Bouyer, Patricia; Brinksma, Ed; Larsen, Kim G.
11
2008
On the expressiveness of TPTL and MTL. Zbl 1140.03303
Bouyer, Patricia; Chevalier, Fabrice; Markey, Nicolas
11
2005
Optimal strategies in priced timed game automata. Zbl 1117.68396
Bouyer, Patricia; Cassez, Franck; Fleury, Emmanuel; Larsen, Kim G.
11
2004
Pure Nash equilibria in concurrent deterministic games. Zbl 1320.91010
Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas; Ummels, Michael
11
2015
On expressiveness and complexity in real-time model checking. Zbl 1155.68426
Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Worrell, James
10
2008
A logical characterization of data languages. Zbl 1042.68544
Bouyer, Patricia
10
2002
Are timed automata updatable? Zbl 0974.68084
Bouyer, Patricia; Dufourd, Catherine; Fleury, Emmanuel; Petit, Antoine
10
2000
A Kleene/Büchli-like theorem of clock languages. Zbl 1031.68121
Bouyer, Patricia; Petit, Antoine
9
2002
Robust model-checking of linear-time properties in timed automata. Zbl 1145.68464
Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain
9
2006
When are timed automata determinizable? Zbl 1248.68284
Baier, Christel; Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas
9
2009
Robust analysis of timed automata via channel machines. Zbl 1138.68431
Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain
9
2008
Timed control with partial observability. Zbl 1278.68160
Bouyer, Patricia; D’Souza, Deepak; Madhusudan, P.; Petit, Antoine
9
2003
An algebraic approach to data languages and timed languages. Zbl 1028.68080
Bouyer, Patricia; Petit, Antoine; Thérien, Denis
8
2003
Static guard analysis in timed automata verification. Zbl 1031.68076
Behrmann, Gerd; Bouyer, Patricia; Fleury, Emmanuel; Larsen, Kim G.
8
2003
Model checking one-clock priced timed automata. Zbl 1149.68401
Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas
8
2008
Diagonal constraints in timed automata: Forward analysis of timed systems. Zbl 1175.68256
Bouyer, Patricia; Laroussinie, François; Reynier, Pierre-Alain
8
2005
An algebraic characterization of data and timed languages. Zbl 1006.68078
Bouyer, Patricia; Petit, Antoine; Thérien, Denis
8
2001
Timed Petri nets and timed automata: on the discriminating power of Zeno sequences. Zbl 1133.68383
Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain
7
2006
Lower and upper bounds in zone based abstractions of timed automata. Zbl 1126.68453
Behrmann, Gerd; Bouyer, Patricia; Larsen, Kim G.; Pelánek, Radek
7
2004
Fault diagnosis using timed automata. Zbl 1118.68374
Bouyer, Patricia; Chevalier, Fabrice; D’Souza, Deepak
7
2005
Timed unfoldings for networks of timed automata. Zbl 1161.68614
Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain
7
2006
Probabilistic and topological semantics for timed automata. Zbl 1135.68464
Baier, Christel; Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas; Größer, Marcus
7
2007
On the expressiveness of TPTL and MTL. Zbl 1209.03010
Bouyer, Patricia; Chevalier, Fabrice; Markey, Nicolas
7
2010
Decomposition and composition of timed automata. Zbl 0946.68094
Bouyer, Patricia; Petit, Antoine
7
1999
Measuring permissiveness in parity games: mean-payoff parity games revisited. Zbl 1348.68093
Bouyer, Patricia; Markey, Nicolas; Olschewski, Jörg; Ummels, Michael
7
2011
Average-energy games. Zbl 1390.68115
Bouyer, Patricia; Markey, Nicolas; Randour, Mickael; Larsen, Kim G.; Laursen, Simon
7
2018
Weighted timed automata: model-checking and games. Zbl 1273.68197
Bouyer, Patricia
7
2006
Timed automata with observers under energy constraints. Zbl 1361.68135
Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim G.; Markey, Nicolas
7
2010
On conciseness of extensions of timed automata. Zbl 1146.68384
Bouyer, Patricia; Chevalier, Fabrice
6
2005
Expressiveness of updatable timed automata. Zbl 0996.68121
Bouyer, P.; Dufourd, C.; Fleury, E.; Petit, A.
6
2000
Robust model-checking of timed automata via pumping in channel machines. Zbl 1348.68122
Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan
6
2011
Nash equilibria in concurrent games with Büchi objectives. Zbl 1246.68122
Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas; Ummels, Michael
6
2011
Model checking real-time systems. Zbl 1392.68235
Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim Guldstrand; Markey, Nicolas; Ouaknine, Joël; Worrell, James
6
2018
Timed automata can always be made implementable. Zbl 1343.68134
Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas; Sankur, Ocan; Thrane, Claus
6
2011
On termination and invariance for faulty channel machines. Zbl 1259.68142
Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Schnoebelen, Philippe; Worrell, James
6
2012
Untameable timed automata! Zbl 1035.68511
Bouyer, Patricia
5
2003
Timed Petri nets and timed automata: On the discriminating power of Zeno sequences. Zbl 1133.68053
Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain
5
2008
Undecidability results for timed automata with silent transitions. Zbl 1176.68099
Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain
5
2009
O-minimal hybrid reachability games. Zbl 1189.68070
Bouyer, Patricia; Brihaye, Thomas; Chevalier, Fabrice
5
2010
Concurrent games with ordered objectives. Zbl 1352.68177
Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas; Ummels, Michael
5
2012
Robustness in timed automata. Zbl 1407.68282
Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan
5
2013
Model-checking timed temporal logics. Zbl 1347.68218
Bouyer, Patricia
5
2009
Model-checking one-clock priced timed automata. Zbl 1149.68400
Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas
4
2007
Weighted o-minimal hybrid systems are more decidable than weighted timed automata! Zbl 1132.68466
Bouyer, Patricia; Brihaye, Thomas; Chevalier, Fabrice
4
2007
Costs are expensive! Zbl 1142.68045
Bouyer, Patricia; Markey, Nicolas
4
2007
Shrinking timed automata. Zbl 1246.68159
Sankur, Ocan; Bouyer, Patricia; Markey, Nicolas
4
2011
Robust reachability in timed automata: a game-based approach. Zbl 1367.68161
Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan
4
2012
Mixed Nash equilibria in concurrent terminal-reward games. Zbl 1360.91041
Bouyer, Patricia; Markey, Nicolas; Stan, Daniel
4
2014
Average-price and reachability-price games on hybrid automata with strong resets. Zbl 1171.68523
Bouyer, Patricia; Brihaye, Thomas; Jurdziński, Marcin; Lazić, Ranko; Rutkowski, Michał
3
2008
Almost optimal strategies in one clock priced timed games. Zbl 1177.68142
Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas; Rasmussen, Jacob Illum
3
2006
Robust controller synthesis in timed automata. Zbl 1390.68416
Sankur, Ocan; Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain
3
2013
Stochastic timed automata. Zbl 1448.68256
Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas; Menet, Quentin; Baier, Christel; Groesser, Marcus; Jurdzinski, Marcin
3
2014
Bounding average-energy games. Zbl 1392.68115
Bouyer, Patricia; Hofman, Piotr; Markey, Nicolas; Randour, Mickael; Zimmermann, Martin
3
2017
Controller synthesis for MTL specifications. Zbl 1151.68471
Bouyer, Patricia; Bozzelli, Laura; Chevalier, Fabrice
2
2006
Reachability in stochastic timed games. Zbl 1248.91014
Bouyer, Patricia; Forejt, Vojtěch
2
2009
Modal logics for timed control. Zbl 1134.68399
Bouyer, Patricia; Cassez, Franck; Laroussinie, François
2
2005
Measuring permissivity in finite games. Zbl 1254.91033
Bouyer, Patricia; Duflot, Marie; Markey, Nicolas; Renault, Gabriel
2
2009
Weighted o-minimal hybrid systems. Zbl 1219.68114
Bouyer, Patricia; Brihaye, Thomas; Chevalier, Fabrice
2
2009
Nash equilibria for reachability objectives in multi-player timed games. Zbl 1287.68123
Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas
2
2010
Timed modal logics for real-time systems. Specification, verification and control. Zbl 1216.68158
Bouyer, Patricia; Cassez, Franck; Laroussinie, François
2
2011
Averaging in LTL. Zbl 1417.68098
Bouyer, Patricia; Markey, Nicolas; Matteplackel, Raj Mohan
2
2014
On the semantics of strategy logic. Zbl 1346.68121
Bouyer, Patricia; Gardy, Patrick; Markey, Nicolas
2
2016
Formal modeling and analysis of timed systems. 4th international conference, FORMATS 2006, Paris, France, September 25–27, 2006. Proceedings. Zbl 1137.68001
Asarin, Eugene (ed.); Bouyer, Patricia (ed.)
1
2006
A new modality for almost everywhere properties in timed automata. Zbl 1134.68381
Bel Mokadem, Houda; Bérard, Béatrice; Bouyer, Patricia; Laroussinie, François
1
2005
Games on graphs with a public signal monitoring. Zbl 06904555
Bouyer, Patricia
1
2018
Symbolic optimal reachability in weighted timed automata. Zbl 1411.68052
Bouyer, Patricia; Colange, Maximilien; Markey, Nicolas
1
2016
Shrinking timed automata. Zbl 1285.68090
Sankur, Ocan; Bouyer, Patricia; Markey, Nicolas
1
2014
On the value problem in weighted timed games. Zbl 1374.68254
Bouyer, Patricia; Jaziri, Samy; Markey, Nicolas
1
2015
On termination for faulty channel machines. Zbl 1259.68120
Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Schnoebelen, Philippe; Worrell, James
1
2008
Analysing decisive stochastic processes. Zbl 1388.68202
Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas; Carlier, Pierre
1
2016
Reachability in networks of register protocols under stochastic schedulers. Zbl 1388.68195
Bouyer, Patricia; Markey, Nicolas; Randour, Mickael; Sangnier, Arnaud; Stan, Daniel
1
2016
Robust reachability in timed automata and games: a game-based approach. Zbl 1302.68153
Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan
1
2015
Synthesis of optimal strategies using HyTech. Zbl 1272.68228
Bouyer, Patricia; Cassez, Franck; Fleury, Emmanuel; Larsen, Kim G.
1
2005
Timed-automata abstraction of switched dynamical systems using control funnels. Zbl 1465.68136
Bouyer, Patricia; Markey, Nicolas; Perrin, Nicolas; Schlehuber-Caissier, Philipp
1
2015
Nash equilibria in symmetric graph games with partial observation. Zbl 1371.91021
Bouyer, Patricia; Markey, Nicolas; Vester, Steen
1
2017
Dynamic complexity of the Dyck reachability. Zbl 06720995
Bouyer, Patricia; Jugé, Vincent
1
2017
Weighted strategy logic with Boolean goals over one-counter games. Zbl 1366.68166
Bouyer, Patricia; Gardy, Patrick; Markey, Nicolas
1
2015
Compositional design of stochastic timed automata. Zbl 06605923
Bouyer, Patricia; Brihaye, Thomas; Carlier, Pierre; Menet, Quentin
1
2016
Stochastic timed games revisited. Zbl 1398.91054
Akshay, S.; Bouyer, Patricia; Krishna, Shankara Narayanan; Manasa, Lakshmi; Trivedi, Ashutosh
1
2016
Timed temporal logics. Zbl 1431.03032
Bouyer, Patricia; Laroussinie, François; Markey, Nicolas; Ouaknine, Joël; Worrell, James
1
2017
Reconfiguration and message losses in parameterized broadcast networks. Zbl 07327956
Bertrand, Nathalie; Bouyer, Patricia; Majumdar, Anirban
1
2021
Reconfiguration and message losses in parameterized broadcast networks. Zbl 07327956
Bertrand, Nathalie; Bouyer, Patricia; Majumdar, Anirban
1
2021
Average-energy games. Zbl 1390.68115
Bouyer, Patricia; Markey, Nicolas; Randour, Mickael; Larsen, Kim G.; Laursen, Simon
7
2018
Model checking real-time systems. Zbl 1392.68235
Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim Guldstrand; Markey, Nicolas; Ouaknine, Joël; Worrell, James
6
2018
Games on graphs with a public signal monitoring. Zbl 06904555
Bouyer, Patricia
1
2018
Bounding average-energy games. Zbl 1392.68115
Bouyer, Patricia; Hofman, Piotr; Markey, Nicolas; Randour, Mickael; Zimmermann, Martin
3
2017
Nash equilibria in symmetric graph games with partial observation. Zbl 1371.91021
Bouyer, Patricia; Markey, Nicolas; Vester, Steen
1
2017
Dynamic complexity of the Dyck reachability. Zbl 06720995
Bouyer, Patricia; Jugé, Vincent
1
2017
Timed temporal logics. Zbl 1431.03032
Bouyer, Patricia; Laroussinie, François; Markey, Nicolas; Ouaknine, Joël; Worrell, James
1
2017
On the semantics of strategy logic. Zbl 1346.68121
Bouyer, Patricia; Gardy, Patrick; Markey, Nicolas
2
2016
Symbolic optimal reachability in weighted timed automata. Zbl 1411.68052
Bouyer, Patricia; Colange, Maximilien; Markey, Nicolas
1
2016
Analysing decisive stochastic processes. Zbl 1388.68202
Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas; Carlier, Pierre
1
2016
Reachability in networks of register protocols under stochastic schedulers. Zbl 1388.68195
Bouyer, Patricia; Markey, Nicolas; Randour, Mickael; Sangnier, Arnaud; Stan, Daniel
1
2016
Compositional design of stochastic timed automata. Zbl 06605923
Bouyer, Patricia; Brihaye, Thomas; Carlier, Pierre; Menet, Quentin
1
2016
Stochastic timed games revisited. Zbl 1398.91054
Akshay, S.; Bouyer, Patricia; Krishna, Shankara Narayanan; Manasa, Lakshmi; Trivedi, Ashutosh
1
2016
Pure Nash equilibria in concurrent deterministic games. Zbl 1320.91010
Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas; Ummels, Michael
11
2015
On the value problem in weighted timed games. Zbl 1374.68254
Bouyer, Patricia; Jaziri, Samy; Markey, Nicolas
1
2015
Robust reachability in timed automata and games: a game-based approach. Zbl 1302.68153
Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan
1
2015
Timed-automata abstraction of switched dynamical systems using control funnels. Zbl 1465.68136
Bouyer, Patricia; Markey, Nicolas; Perrin, Nicolas; Schlehuber-Caissier, Philipp
1
2015
Weighted strategy logic with Boolean goals over one-counter games. Zbl 1366.68166
Bouyer, Patricia; Gardy, Patrick; Markey, Nicolas
1
2015
Mixed Nash equilibria in concurrent terminal-reward games. Zbl 1360.91041
Bouyer, Patricia; Markey, Nicolas; Stan, Daniel
4
2014
Stochastic timed automata. Zbl 1448.68256
Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas; Menet, Quentin; Baier, Christel; Groesser, Marcus; Jurdzinski, Marcin
3
2014
Averaging in LTL. Zbl 1417.68098
Bouyer, Patricia; Markey, Nicolas; Matteplackel, Raj Mohan
2
2014
Shrinking timed automata. Zbl 1285.68090
Sankur, Ocan; Bouyer, Patricia; Markey, Nicolas
1
2014
Robustness in timed automata. Zbl 1407.68282
Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan
5
2013
Robust controller synthesis in timed automata. Zbl 1390.68416
Sankur, Ocan; Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain
3
2013
On termination and invariance for faulty channel machines. Zbl 1259.68142
Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Schnoebelen, Philippe; Worrell, James
6
2012
Concurrent games with ordered objectives. Zbl 1352.68177
Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas; Ummels, Michael
5
2012
Robust reachability in timed automata: a game-based approach. Zbl 1367.68161
Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan
4
2012
Measuring permissiveness in parity games: mean-payoff parity games revisited. Zbl 1348.68093
Bouyer, Patricia; Markey, Nicolas; Olschewski, Jörg; Ummels, Michael
7
2011
Robust model-checking of timed automata via pumping in channel machines. Zbl 1348.68122
Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan
6
2011
Nash equilibria in concurrent games with Büchi objectives. Zbl 1246.68122
Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas; Ummels, Michael
6
2011
Timed automata can always be made implementable. Zbl 1343.68134
Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas; Sankur, Ocan; Thrane, Claus
6
2011
Shrinking timed automata. Zbl 1246.68159
Sankur, Ocan; Bouyer, Patricia; Markey, Nicolas
4
2011
Timed modal logics for real-time systems. Specification, verification and control. Zbl 1216.68158
Bouyer, Patricia; Cassez, Franck; Laroussinie, François
2
2011
On the expressiveness of TPTL and MTL. Zbl 1209.03010
Bouyer, Patricia; Chevalier, Fabrice; Markey, Nicolas
7
2010
Timed automata with observers under energy constraints. Zbl 1361.68135
Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim G.; Markey, Nicolas
7
2010
O-minimal hybrid reachability games. Zbl 1189.68070
Bouyer, Patricia; Brihaye, Thomas; Chevalier, Fabrice
5
2010
Nash equilibria for reachability objectives in multi-player timed games. Zbl 1287.68123
Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas
2
2010
When are timed automata determinizable? Zbl 1248.68284
Baier, Christel; Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas
9
2009
Undecidability results for timed automata with silent transitions. Zbl 1176.68099
Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain
5
2009
Model-checking timed temporal logics. Zbl 1347.68218
Bouyer, Patricia
5
2009
Reachability in stochastic timed games. Zbl 1248.91014
Bouyer, Patricia; Forejt, Vojtěch
2
2009
Measuring permissivity in finite games. Zbl 1254.91033
Bouyer, Patricia; Duflot, Marie; Markey, Nicolas; Renault, Gabriel
2
2009
Weighted o-minimal hybrid systems. Zbl 1219.68114
Bouyer, Patricia; Brihaye, Thomas; Chevalier, Fabrice
2
2009
Infinite runs in weighted timed automata with energy constraints. Zbl 1171.68524
Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim G.; Markey, Nicolas; Srba, Jiří
30
2008
Optimal infinite scheduling for multi-priced timed automata. Zbl 1133.68360
Bouyer, Patricia; Brinksma, Ed; Larsen, Kim G.
11
2008
On expressiveness and complexity in real-time model checking. Zbl 1155.68426
Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Worrell, James
10
2008
Robust analysis of timed automata via channel machines. Zbl 1138.68431
Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain
9
2008
Model checking one-clock priced timed automata. Zbl 1149.68401
Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas
8
2008
Timed Petri nets and timed automata: On the discriminating power of Zeno sequences. Zbl 1133.68053
Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain
5
2008
Average-price and reachability-price games on hybrid automata with strong resets. Zbl 1171.68523
Bouyer, Patricia; Brihaye, Thomas; Jurdziński, Marcin; Lazić, Ranko; Rutkowski, Michał
3
2008
On termination for faulty channel machines. Zbl 1259.68120
Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Schnoebelen, Philippe; Worrell, James
1
2008
On the optimal reachability problem of weighted timed automata. Zbl 1129.68039
Bouyer, Patricia; Brihaye, Thomas; Bruyère, Véronique; Raskin, Jean-François
13
2007
Probabilistic and topological semantics for timed automata. Zbl 1135.68464
Baier, Christel; Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas; Größer, Marcus
7
2007
Model-checking one-clock priced timed automata. Zbl 1149.68400
Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas
4
2007
Weighted o-minimal hybrid systems are more decidable than weighted timed automata! Zbl 1132.68466
Bouyer, Patricia; Brihaye, Thomas; Chevalier, Fabrice
4
2007
Costs are expensive! Zbl 1142.68045
Bouyer, Patricia; Markey, Nicolas
4
2007
Improved undecidability results on weighted timed automata. Zbl 1187.68291
Bouyer, Patricia; Brihaye, Thomas; Markey, Nicolas
13
2006
Robust model-checking of linear-time properties in timed automata. Zbl 1145.68464
Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain
9
2006
Timed Petri nets and timed automata: on the discriminating power of Zeno sequences. Zbl 1133.68383
Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain
7
2006
Timed unfoldings for networks of timed automata. Zbl 1161.68614
Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain
7
2006
Weighted timed automata: model-checking and games. Zbl 1273.68197
Bouyer, Patricia
7
2006
Almost optimal strategies in one clock priced timed games. Zbl 1177.68142
Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas; Rasmussen, Jacob Illum
3
2006
Controller synthesis for MTL specifications. Zbl 1151.68471
Bouyer, Patricia; Bozzelli, Laura; Chevalier, Fabrice
2
2006
Formal modeling and analysis of timed systems. 4th international conference, FORMATS 2006, Paris, France, September 25–27, 2006. Proceedings. Zbl 1137.68001
Asarin, Eugene; Bouyer, Patricia
1
2006
On the expressiveness of TPTL and MTL. Zbl 1140.03303
Bouyer, Patricia; Chevalier, Fabrice; Markey, Nicolas
11
2005
Diagonal constraints in timed automata: Forward analysis of timed systems. Zbl 1175.68256
Bouyer, Patricia; Laroussinie, François; Reynier, Pierre-Alain
8
2005
Fault diagnosis using timed automata. Zbl 1118.68374
Bouyer, Patricia; Chevalier, Fabrice; D’Souza, Deepak
7
2005
On conciseness of extensions of timed automata. Zbl 1146.68384
Bouyer, Patricia; Chevalier, Fabrice
6
2005
Modal logics for timed control. Zbl 1134.68399
Bouyer, Patricia; Cassez, Franck; Laroussinie, François
2
2005
A new modality for almost everywhere properties in timed automata. Zbl 1134.68381
Bel Mokadem, Houda; Bérard, Béatrice; Bouyer, Patricia; Laroussinie, François
1
2005
Synthesis of optimal strategies using HyTech. Zbl 1272.68228
Bouyer, Patricia; Cassez, Franck; Fleury, Emmanuel; Larsen, Kim G.
1
2005
Forward analysis of updatable timed automata. Zbl 1073.68041
Bouyer, Patricia
21
2004
Updatable timed automata. Zbl 1070.68063
Bouyer, Patricia; Dufourd, Catherine; Fleury, Emmanuel; Petit, Antoine
18
2004
Staying alive as cheaply as possible. Zbl 1135.93352
Bouyer, Patricia; Brinksma, Ed; Larsen, Kim G.
14
2004
Optimal strategies in priced timed game automata. Zbl 1117.68396
Bouyer, Patricia; Cassez, Franck; Fleury, Emmanuel; Larsen, Kim G.
11
2004
Lower and upper bounds in zone based abstractions of timed automata. Zbl 1126.68453
Behrmann, Gerd; Bouyer, Patricia; Larsen, Kim G.; Pelánek, Radek
7
2004
The power of reachability testing for timed automata. Zbl 1023.68060
Aceto, Luca; Bouyer, Patricia; Burgueño, Augusto; Larsen, Kim G.
11
2003
Timed control with partial observability. Zbl 1278.68160
Bouyer, Patricia; D’Souza, Deepak; Madhusudan, P.; Petit, Antoine
9
2003
An algebraic approach to data languages and timed languages. Zbl 1028.68080
Bouyer, Patricia; Petit, Antoine; Thérien, Denis
8
2003
Static guard analysis in timed automata verification. Zbl 1031.68076
Behrmann, Gerd; Bouyer, Patricia; Fleury, Emmanuel; Larsen, Kim G.
8
2003
Untameable timed automata! Zbl 1035.68511
Bouyer, Patricia
5
2003
A logical characterization of data languages. Zbl 1042.68544
Bouyer, Patricia
10
2002
A Kleene/Büchli-like theorem of clock languages. Zbl 1031.68121
Bouyer, Patricia; Petit, Antoine
9
2002
An algebraic characterization of data and timed languages. Zbl 1006.68078
Bouyer, Patricia; Petit, Antoine; Thérien, Denis
8
2001
Are timed automata updatable? Zbl 0974.68084
Bouyer, Patricia; Dufourd, Catherine; Fleury, Emmanuel; Petit, Antoine
10
2000
Expressiveness of updatable timed automata. Zbl 0996.68121
Bouyer, P.; Dufourd, C.; Fleury, E.; Petit, A.
6
2000
Decomposition and composition of timed automata. Zbl 0946.68094
Bouyer, Patricia; Petit, Antoine
7
1999
all top 5

Cited by 452 Authors

29 Bouyer, Patricia
22 Larsen, Kim Guldstrand
18 Markey, Nicolas
12 Raskin, Jean-François
10 Brihaye, Thomas
10 Fahrenberg, Uli
9 Chatterjee, Krishnendu
9 Quaas, Karin
7 Legay, Axel
7 Rossi, Matteo A. C.
7 Worrell, James B.
6 Bersani, Marcello Maria
6 Doyen, Laurent
6 Henzinger, Thomas A.
6 Lime, Didier
6 Ouaknine, Joel O.
6 Srba, Jiří
5 Akshay, S.
5 Bérard, Béatrice
5 Bollig, Benedikt
5 Bruyère, Véronique
5 Demri, Stéphane P.
5 Droste, Manfred
5 Gastin, Paul
5 Gutierrez, Julian
5 Lanotte, Ruggero
5 Perelli, Giuseppe
5 Wooldridge, Michael J.
4 André, Étienne
4 Haddad, Serge
4 Kulkarni, Sandeep S.
4 Kwiatkowska, Marta Z.
4 Norman, Gethin
4 Otop, Jan
4 Perevoshchikov, Vitaly
4 Pietro, Pierluigi San
4 Reynier, Pierre-Alain
4 Reynolds, Mark Alexander
4 Roux, Olivier H.
4 Sangnier, Arnaud
4 Sankur, Ocan
4 Srivathsan, B
3 Abdulla, Parosh Aziz
3 Asarin, Eugene
3 Avni, Guy
3 Basset, Nicolas
3 Beneš, Nikola
3 Bertrand, Nathalie
3 Bezděk, Peter
3 Bonakdarpour, Borzoo
3 Cassez, Franck
3 Dima, Cătălin
3 Fränzle, Martin
3 French, Tim
3 Geeraerts, Gilles
3 Gomez, Rodolfo
3 Harrenstein, Paul
3 Hélouët, Loïc
3 Herbreteau, Frédéric
3 Juhl, Line
3 Krishna, Shankara Narayanan
3 Kupferman, Orna
3 Lazić, Ranko
3 Maggiolo-Schettini, Andrea
3 Mayr, Richard M.
3 Pandya, Paritosh K.
3 Petit, Antoine
3 Prabhakar, Pavithra
3 Prabhu, Vinayak S.
3 Randour, Mickael
3 Sproston, Jeremy
3 Traonouez, Louis-Marie
3 Tripakis, Stavros
3 Viswanathan, Mahesh
3 Walukiewicz, Igor
2 Abujarad, Fuad
2 Al-Bataineh, Omar
2 Azgomi, Mohammad Abdollahi
2 Babari, Parvaneh
2 Baier, Christel
2 Barnat, Jiří
2 Basin, David A.
2 Bresolin, Davide
2 Carlier, Pierre
2 Černá, Ivana
2 Chevalier, Fabrice
2 David, Alexandre
2 Deters, Morgan
2 Dufourd, Catherine
2 Dullerud, Geir E.
2 Figueira, Diego
2 Finkel, Alain
2 Genest, Blaise
2 Gentilini, Raffaella
2 Goeminne, Aline
2 Héam, Pierre-Cyrille
2 Hofman, Piotr
2 Jacobsen, Lasse
2 Jacobsen, Morten
2 Jain, Chinmay
...and 352 more Authors
all top 5

Cited in 44 Serials

41 Theoretical Computer Science
25 Information and Computation
18 Formal Methods in System Design
11 Information Processing Letters
10 Formal Aspects of Computing
8 Acta Informatica
8 Logical Methods in Computer Science
7 Journal of Logical and Algebraic Methods in Programming
5 Journal of Computer and System Sciences
5 Real-Time Systems
5 The Journal of Logic and Algebraic Programming
4 Discrete Event Dynamic Systems
4 Distributed Computing
4 Theory of Computing Systems
4 ACM Transactions on Computational Logic
3 Artificial Intelligence
3 Algorithmica
3 International Journal of Foundations of Computer Science
3 Journal of Applied Non-Classical Logics
2 Programming and Computer Software
2 Nonlinear Analysis. Hybrid Systems
1 ACM Computing Surveys
1 International Journal of Control
1 Fuzzy Sets and Systems
1 Systems & Control Letters
1 Science of Computer Programming
1 Annals of Pure and Applied Logic
1 Journal of Automated Reasoning
1 Machine Learning
1 MSCS. Mathematical Structures in Computer Science
1 Journal of Logic, Language and Information
1 The Bulletin of Symbolic Logic
1 Annals of Mathematics and Artificial Intelligence
1 European Journal of Control
1 Discrete Dynamics in Nature and Society
1 International Journal of Applied Mathematics and Computer Science
1 Fundamenta Informaticae
1 Quantum Information Processing
1 Mathematics in Computer Science
1 RAIRO. Theoretical Informatics and Applications
1 Frontiers of Computer Science
1 Computer Science Review
1 ACM Transactions on Computation Theory
1 International Journal of Systems Science. Principles and Applications of Systems and Integration

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.