Edit Profile (opens in new tab) Bouyer, Patricia Compute Distance To: Compute Author ID: bouyer.patricia Published as: Bouyer, Patricia; Bouyer, P. Homepage: http://www.lsv.fr/~bouyer/ External Links: MGP · ORCID · Wikidata · Google Scholar · dblp · IdRef · theses.fr Documents Indexed: 113 Publications since 1999 3 Contributions as Editor Biographic References: 1 Publication Co-Authors: 80 Co-Authors with 108 Joint Publications 1,219 Co-Co-Authors all top 5 Co-Authors 8 single-authored 55 Markey, Nicolas 18 Larsen, Kim Guldstrand 14 Brihaye, Thomas 10 Reynier, Pierre-Alain 9 Chevalier, Fabrice 9 Petit, Antoine C. 9 Sankur, Ocan 7 Bertrand, Nathalie 7 Randour, Mickael 6 Fleury, Emmanuel 6 Laroussinie, François 6 Ouaknine, Joel O. 6 Worrell, James B. 5 Brenguier, Romain 5 Fahrenberg, Uli 5 Gardy, Patrick 5 Haddad, Serge 4 Cassez, Franck 4 Ummels, Michael 3 Baier, Christel 3 Bérard, Béatrice 3 Carlier, Pierre 3 Dufourd, Catherine 3 Stan, Daniel 2 Bacci, Giovanni 2 Behrmann, Gerd 2 Bel Mokadem, Houda 2 Bollig, Benedikt 2 Brinksma, Ed 2 D’Souza, Deepak 2 Größer, Marcus 2 Jaziri, Samy 2 Jugé, Vincent 2 Jurdziński, Marcin 2 Laursen, Simon 2 Menet, Quentin 2 Orlandini, Andrea 2 Perrin, Nicolas 2 Schlehuber-Caissier, Philipp 2 Schnoebelen, Philippe 2 Thérien, Denis 2 Vandenhove, Pierre 2 Vester, Steen 1 Aceto, Luca 1 Akshay, S. 1 Asarin, Eugene 1 Bozzelli, Laura 1 Bruyère, Véronique 1 Burgueño, Augusto 1 Colange, Maximilien 1 Duflot, Marie 1 Forejt, Vojtěch 1 Függer, Matthias 1 Gonzalez, Mauricio 1 Hofman, Piotr 1 Hunter, Paul 1 Krishna, Shankara Narayanan 1 Lazić, Ranko 1 Leroux, Stéphane 1 Madhusudan, Parthasarathy 1 Majumdar, Anirban 1 Manasa, Lakshmi 1 Matteplackel, Raj Mohan 1 Murano, Aniello 1 Olschewski, Jörg 1 Oualhadj, Youssouf 1 Pelánek, Radek 1 Raskin, Jean-François 1 Rasmussen, Jacob Illum 1 Reiter, Fabian 1 Renault, Gabriel 1 Rivière, Cédric 1 Rutkowski, Michał 1 Sangnier, Arnaud 1 Srba, Jiří 1 Stainer, Amélie 1 Sznajder, Nathalie 1 Thrane, Claus R. 1 Trivedi, Ashutosh 1 Zimmermann, Martín G. all top 5 Serials 6 Information and Computation 6 Logical Methods in Computer Science 3 Information Processing Letters 3 Theoretical Computer Science 3 Formal Methods in System Design 2 Formal Aspects of Computing 2 Journal of Automata, Languages and Combinatorics 1 Acta Informatica 1 Annals of Pure and Applied Logic 1 Real-Time Systems 1 Journal of Logic, Language and Information 1 Theory of Computing Systems 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 Fundamenta Informaticae 1 Lecture Notes in Computer Science 1 Journal of Logical and Algebraic Methods in Programming 1 Electronic Proceedings in Theoretical Computer Science (EPTCS) all top 5 Fields 111 Computer science (68-XX) 31 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 23 Mathematical logic and foundations (03-XX) 10 Systems theory; control (93-XX) 3 General and overarching topics; collections (00-XX) 3 Probability theory and stochastic processes (60-XX) 3 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 92 Publications have been cited 575 times in 329 Documents Cited by ▼ Year ▼ Infinite runs in weighted timed automata with energy constraints. Zbl 1171.68524Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim G.; Markey, Nicolas; Srba, Jiří 38 2008 Forward analysis of updatable timed automata. Zbl 1073.68041Bouyer, Patricia 21 2004 Updatable timed automata. Zbl 1070.68063Bouyer, Patricia; Dufourd, Catherine; Fleury, Emmanuel; Petit, Antoine 19 2004 On the optimal reachability problem of weighted timed automata. Zbl 1129.68039Bouyer, Patricia; Brihaye, Thomas; Bruyère, Véronique; Raskin, Jean-François 15 2007 Pure Nash equilibria in concurrent deterministic games. Zbl 1320.91010Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas; Ummels, Michael 14 2015 Staying alive as cheaply as possible. Zbl 1135.93352Bouyer, Patricia; Brinksma, Ed; Larsen, Kim G. 14 2004 Optimal infinite scheduling for multi-priced timed automata. Zbl 1133.68360Bouyer, Patricia; Brinksma, Ed; Larsen, Kim G. 13 2008 Improved undecidability results on weighted timed automata. Zbl 1187.68291Bouyer, Patricia; Brihaye, Thomas; Markey, Nicolas 13 2006 The power of reachability testing for timed automata. Zbl 1023.68060Aceto, Luca; Bouyer, Patricia; Burgueño, Augusto; Larsen, Kim G. 12 2003 Optimal strategies in priced timed game automata. Zbl 1117.68396Bouyer, Patricia; Cassez, Franck; Fleury, Emmanuel; Larsen, Kim G. 12 2004 On the expressiveness of TPTL and MTL. Zbl 1140.03303Bouyer, Patricia; Chevalier, Fabrice; Markey, Nicolas 12 2005 A logical characterization of data languages. Zbl 1042.68544Bouyer, Patricia 11 2002 A Kleene/Büchli-like theorem of clock languages. Zbl 1031.68121Bouyer, Patricia; Petit, Antoine 11 2002 Static guard analysis in timed automata verification. Zbl 1031.68076Behrmann, Gerd; Bouyer, Patricia; Fleury, Emmanuel; Larsen, Kim G. 11 2003 Are timed automata updatable? Zbl 0974.68084Bouyer, Patricia; Dufourd, Catherine; Fleury, Emmanuel; Petit, Antoine 10 2000 Model checking one-clock priced timed automata. Zbl 1149.68401Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas 10 2008 On expressiveness and complexity in real-time model checking. Zbl 1155.68426Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Worrell, James 10 2008 Timed automata with observers under energy constraints. Zbl 1361.68135Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim G.; Markey, Nicolas 10 2010 Average-energy games. Zbl 1390.68115Bouyer, Patricia; Markey, Nicolas; Randour, Mickael; Larsen, Kim G.; Laursen, Simon 9 2018 Diagonal constraints in timed automata: Forward analysis of timed systems. Zbl 1175.68256Bouyer, Patricia; Laroussinie, François; Reynier, Pierre-Alain 9 2005 When are timed automata determinizable? Zbl 1248.68284Baier, Christel; Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas 9 2009 Robust model-checking of linear-time properties in timed automata. Zbl 1145.68464Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain 9 2006 Timed control with partial observability. Zbl 1278.68160Bouyer, Patricia; D’Souza, Deepak; Madhusudan, P.; Petit, Antoine 9 2003 Robust analysis of timed automata via channel machines. Zbl 1138.68431Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain 9 2008 Lower and upper bounds in zone based abstractions of timed automata. Zbl 1126.68453Behrmann, Gerd; Bouyer, Patricia; Larsen, Kim G.; Pelánek, Radek 9 2004 Model checking real-time systems. Zbl 1392.68235Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim Guldstrand; Markey, Nicolas; Ouaknine, Joël; Worrell, James 8 2018 On the expressiveness of TPTL and MTL. Zbl 1209.03010Bouyer, Patricia; Chevalier, Fabrice; Markey, Nicolas 8 2010 An algebraic characterization of data and timed languages. Zbl 1006.68078Bouyer, Patricia; Petit, Antoine; Thérien, Denis 8 2001 An algebraic approach to data languages and timed languages. Zbl 1028.68080Bouyer, Patricia; Petit, Antoine; Thérien, Denis 8 2003 Fault diagnosis using timed automata. Zbl 1118.68374Bouyer, Patricia; Chevalier, Fabrice; D’Souza, Deepak 8 2005 Measuring permissiveness in parity games: mean-payoff parity games revisited. Zbl 1348.68093Bouyer, Patricia; Markey, Nicolas; Olschewski, Jörg; Ummels, Michael 8 2011 Decomposition and composition of timed automata. Zbl 0946.68094Bouyer, Patricia; Petit, Antoine 8 1999 Untameable timed automata! Zbl 1035.68511Bouyer, Patricia 7 2003 Weighted timed automata: model-checking and games. Zbl 1273.68197Bouyer, Patricia 7 2006 Timed unfoldings for networks of timed automata. Zbl 1161.68614Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain 7 2006 Nash equilibria in concurrent games with Büchi objectives. Zbl 1246.68122Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas; Ummels, Michael 7 2011 On conciseness of extensions of timed automata. Zbl 1146.68384Bouyer, Patricia; Chevalier, Fabrice 7 2005 Probabilistic and topological semantics for timed automata. Zbl 1135.68464Baier, Christel; Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas; Größer, Marcus 7 2007 Timed Petri nets and timed automata: on the discriminating power of Zeno sequences. Zbl 1133.68383Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain 7 2006 Expressiveness of updatable timed automata. Zbl 0996.68121Bouyer, P.; Dufourd, C.; Fleury, E.; Petit, A. 6 2000 Timed automata can always be made implementable. Zbl 1343.68134Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas; Sankur, Ocan; Thrane, Claus 6 2011 Robust model-checking of timed automata via pumping in channel machines. Zbl 1348.68122Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan 6 2011 On termination and invariance for faulty channel machines. Zbl 1259.68142Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Schnoebelen, Philippe; Worrell, James 6 2012 Mixed Nash equilibria in concurrent terminal-reward games. Zbl 1360.91041Bouyer, Patricia; Markey, Nicolas; Stan, Daniel 6 2014 Model-checking timed temporal logics. Zbl 1347.68218Bouyer, Patricia 5 2009 Concurrent games with ordered objectives. Zbl 1352.68177Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas; Ummels, Michael 5 2012 Undecidability results for timed automata with silent transitions. Zbl 1176.68099Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain 5 2009 Robustness in timed automata. Zbl 1407.68282Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan 5 2013 Averaging in LTL. Zbl 1417.68098Bouyer, Patricia; Markey, Nicolas; Matteplackel, Raj Mohan 5 2014 O-minimal hybrid reachability games. Zbl 1189.68070Bouyer, Patricia; Brihaye, Thomas; Chevalier, Fabrice 5 2010 Timed Petri nets and timed automata: On the discriminating power of Zeno sequences. Zbl 1133.68053Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain 5 2008 Stochastic timed automata. Zbl 1448.68256Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas; Menet, Quentin; Baier, Christel; Groesser, Marcus; Jurdzinski, Marcin 4 2014 Symbolic optimal reachability in weighted timed automata. Zbl 1411.68052Bouyer, Patricia; Colange, Maximilien; Markey, Nicolas 4 2016 Robust reachability in timed automata: a game-based approach. Zbl 1367.68161Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan 4 2012 Costs are expensive! Zbl 1142.68045Bouyer, Patricia; Markey, Nicolas 4 2007 Shrinking timed automata. Zbl 1246.68159Sankur, Ocan; Bouyer, Patricia; Markey, Nicolas 4 2011 Robust controller synthesis in timed automata. Zbl 1390.68416Sankur, Ocan; Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain 4 2013 Weighted o-minimal hybrid systems are more decidable than weighted timed automata! Zbl 1132.68466Bouyer, Patricia; Brihaye, Thomas; Chevalier, Fabrice 4 2007 Model-checking one-clock priced timed automata. Zbl 1149.68400Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas 4 2007 Bounding average-energy games. Zbl 1392.68115Bouyer, Patricia; Hofman, Piotr; Markey, Nicolas; Randour, Mickael; Zimmermann, Martin 4 2017 Timed modal logics for real-time systems. Specification, verification and control. Zbl 1216.68158Bouyer, Patricia; Cassez, Franck; Laroussinie, François 3 2011 Average-price and reachability-price games on hybrid automata with strong resets. Zbl 1171.68523Bouyer, Patricia; Brihaye, Thomas; Jurdziński, Marcin; Lazić, Ranko; Rutkowski, Michał 3 2008 Nash equilibria for reachability objectives in multi-player timed games. Zbl 1287.68123Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas 3 2010 Almost optimal strategies in one clock priced timed games. Zbl 1177.68142Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas; Rasmussen, Jacob Illum 3 2006 Robust reachability in timed automata and games: a game-based approach. Zbl 1302.68153Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan 2 2015 Reachability in networks of register protocols under stochastic schedulers. Zbl 1388.68195Bouyer, Patricia; Markey, Nicolas; Randour, Mickael; Sangnier, Arnaud; Stan, Daniel 2 2016 Modal logics for timed control. Zbl 1134.68399Bouyer, Patricia; Cassez, Franck; Laroussinie, François 2 2005 Weighted o-minimal hybrid systems. Zbl 1219.68114Bouyer, Patricia; Brihaye, Thomas; Chevalier, Fabrice 2 2009 Reachability in stochastic timed games. Zbl 1248.91014Bouyer, Patricia; Forejt, Vojtěch 2 2009 Timed-automata abstraction of switched dynamical systems using control funnels. Zbl 1465.68136Bouyer, Patricia; Markey, Nicolas; Perrin, Nicolas; Schlehuber-Caissier, Philipp 2 2015 On the semantics of strategy logic. Zbl 1346.68121Bouyer, Patricia; Gardy, Patrick; Markey, Nicolas 2 2016 Measuring permissivity in finite games. Zbl 1254.91033Bouyer, Patricia; Duflot, Marie; Markey, Nicolas; Renault, Gabriel 2 2009 Controller synthesis for MTL specifications. Zbl 1151.68471Bouyer, Patricia; Bozzelli, Laura; Chevalier, Fabrice 2 2006 Dynamic complexity of the Dyck reachability. Zbl 06720995Bouyer, Patricia; Jugé, Vincent 2 2017 Synthesis of optimal strategies using HyTech. Zbl 1272.68228Bouyer, Patricia; Cassez, Franck; Fleury, Emmanuel; Larsen, Kim G. 1 2005 Games on graphs with a public signal monitoring. Zbl 06904555Bouyer, Patricia 1 2018 Analysing decisive stochastic processes. Zbl 1388.68202Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas; Carlier, Pierre 1 2016 Stochastic timed games revisited. Zbl 1398.91054Akshay, S.; Bouyer, Patricia; Krishna, Shankara Narayanan; Manasa, Lakshmi; Trivedi, Ashutosh 1 2016 Shrinking timed automata. Zbl 1285.68090Sankur, Ocan; Bouyer, Patricia; Markey, Nicolas 1 2014 A new modality for almost everywhere properties in timed automata. Zbl 1134.68381Bel Mokadem, Houda; Bérard, Béatrice; Bouyer, Patricia; Laroussinie, François 1 2005 On termination for faulty channel machines. Zbl 1259.68120Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Schnoebelen, Philippe; Worrell, James 1 2008 Formal modeling and analysis of timed systems. 4th international conference, FORMATS 2006, Paris, France, September 25–27, 2006. Proceedings. Zbl 1137.68001 1 2006 Optimal and robust controller synthesis using energy timed automata with uncertainty. Zbl 1458.93072Bacci, Giovanni; Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim G.; Markey, Nicolas; Reynier, Pierre-Alain 1 2021 Compositional design of stochastic timed automata. Zbl 1475.68146Bouyer, Patricia; Brihaye, Thomas; Carlier, Pierre; Menet, Quentin 1 2016 When are stochastic transition systems tameable? Zbl 1394.68243Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas; Carlier, Pierre 1 2018 Nash equilibria in symmetric graph games with partial observation. Zbl 1371.91021Bouyer, Patricia; Markey, Nicolas; Vester, Steen 1 2017 Weighted strategy logic with Boolean goals over one-counter games. Zbl 1366.68166Bouyer, Patricia; Gardy, Patrick; Markey, Nicolas 1 2015 On the value problem in weighted timed games. Zbl 1374.68254Bouyer, Patricia; Jaziri, Samy; Markey, Nicolas 1 2015 On the determinization of timed systems. Zbl 06814288Bouyer, Patricia; Jaziri, Samy; Markey, Nicolas 1 2017 Timed temporal logics. Zbl 1431.03032Bouyer, Patricia; Laroussinie, François; Markey, Nicolas; Ouaknine, Joël; Worrell, James 1 2017 Reconfiguration and message losses in parameterized broadcast networks. Zbl 07327956Bertrand, Nathalie; Bouyer, Patricia; Majumdar, Anirban 1 2021 Decisiveness of stochastic systems and its application to hybrid models. Zbl 07455746Bouyer, Patricia; Brihaye, Thomas; Randour, Mickael; Rivière, Cédric; Vandenhove, Pierre 1 2020 Optimal and robust controller synthesis using energy timed automata with uncertainty. Zbl 1458.93072Bacci, Giovanni; Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim G.; Markey, Nicolas; Reynier, Pierre-Alain 1 2021 Reconfiguration and message losses in parameterized broadcast networks. Zbl 07327956Bertrand, Nathalie; Bouyer, Patricia; Majumdar, Anirban 1 2021 Decisiveness of stochastic systems and its application to hybrid models. Zbl 07455746Bouyer, Patricia; Brihaye, Thomas; Randour, Mickael; Rivière, Cédric; Vandenhove, Pierre 1 2020 Average-energy games. Zbl 1390.68115Bouyer, Patricia; Markey, Nicolas; Randour, Mickael; Larsen, Kim G.; Laursen, Simon 9 2018 Model checking real-time systems. Zbl 1392.68235Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim Guldstrand; Markey, Nicolas; Ouaknine, Joël; Worrell, James 8 2018 Games on graphs with a public signal monitoring. Zbl 06904555Bouyer, Patricia 1 2018 When are stochastic transition systems tameable? Zbl 1394.68243Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas; Carlier, Pierre 1 2018 Bounding average-energy games. Zbl 1392.68115Bouyer, Patricia; Hofman, Piotr; Markey, Nicolas; Randour, Mickael; Zimmermann, Martin 4 2017 Dynamic complexity of the Dyck reachability. Zbl 06720995Bouyer, Patricia; Jugé, Vincent 2 2017 Nash equilibria in symmetric graph games with partial observation. Zbl 1371.91021Bouyer, Patricia; Markey, Nicolas; Vester, Steen 1 2017 On the determinization of timed systems. Zbl 06814288Bouyer, Patricia; Jaziri, Samy; Markey, Nicolas 1 2017 Timed temporal logics. Zbl 1431.03032Bouyer, Patricia; Laroussinie, François; Markey, Nicolas; Ouaknine, Joël; Worrell, James 1 2017 Symbolic optimal reachability in weighted timed automata. Zbl 1411.68052Bouyer, Patricia; Colange, Maximilien; Markey, Nicolas 4 2016 Reachability in networks of register protocols under stochastic schedulers. Zbl 1388.68195Bouyer, Patricia; Markey, Nicolas; Randour, Mickael; Sangnier, Arnaud; Stan, Daniel 2 2016 On the semantics of strategy logic. Zbl 1346.68121Bouyer, Patricia; Gardy, Patrick; Markey, Nicolas 2 2016 Analysing decisive stochastic processes. Zbl 1388.68202Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas; Carlier, Pierre 1 2016 Stochastic timed games revisited. Zbl 1398.91054Akshay, S.; Bouyer, Patricia; Krishna, Shankara Narayanan; Manasa, Lakshmi; Trivedi, Ashutosh 1 2016 Compositional design of stochastic timed automata. Zbl 1475.68146Bouyer, Patricia; Brihaye, Thomas; Carlier, Pierre; Menet, Quentin 1 2016 Pure Nash equilibria in concurrent deterministic games. Zbl 1320.91010Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas; Ummels, Michael 14 2015 Robust reachability in timed automata and games: a game-based approach. Zbl 1302.68153Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan 2 2015 Timed-automata abstraction of switched dynamical systems using control funnels. Zbl 1465.68136Bouyer, Patricia; Markey, Nicolas; Perrin, Nicolas; Schlehuber-Caissier, Philipp 2 2015 Weighted strategy logic with Boolean goals over one-counter games. Zbl 1366.68166Bouyer, Patricia; Gardy, Patrick; Markey, Nicolas 1 2015 On the value problem in weighted timed games. Zbl 1374.68254Bouyer, Patricia; Jaziri, Samy; Markey, Nicolas 1 2015 Mixed Nash equilibria in concurrent terminal-reward games. Zbl 1360.91041Bouyer, Patricia; Markey, Nicolas; Stan, Daniel 6 2014 Averaging in LTL. Zbl 1417.68098Bouyer, Patricia; Markey, Nicolas; Matteplackel, Raj Mohan 5 2014 Stochastic timed automata. Zbl 1448.68256Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas; Menet, Quentin; Baier, Christel; Groesser, Marcus; Jurdzinski, Marcin 4 2014 Shrinking timed automata. Zbl 1285.68090Sankur, Ocan; Bouyer, Patricia; Markey, Nicolas 1 2014 Robustness in timed automata. Zbl 1407.68282Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan 5 2013 Robust controller synthesis in timed automata. Zbl 1390.68416Sankur, Ocan; Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain 4 2013 On termination and invariance for faulty channel machines. Zbl 1259.68142Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Schnoebelen, Philippe; Worrell, James 6 2012 Concurrent games with ordered objectives. Zbl 1352.68177Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas; Ummels, Michael 5 2012 Robust reachability in timed automata: a game-based approach. Zbl 1367.68161Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan 4 2012 Measuring permissiveness in parity games: mean-payoff parity games revisited. Zbl 1348.68093Bouyer, Patricia; Markey, Nicolas; Olschewski, Jörg; Ummels, Michael 8 2011 Nash equilibria in concurrent games with Büchi objectives. Zbl 1246.68122Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas; Ummels, Michael 7 2011 Timed automata can always be made implementable. Zbl 1343.68134Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas; Sankur, Ocan; Thrane, Claus 6 2011 Robust model-checking of timed automata via pumping in channel machines. Zbl 1348.68122Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan 6 2011 Shrinking timed automata. Zbl 1246.68159Sankur, Ocan; Bouyer, Patricia; Markey, Nicolas 4 2011 Timed modal logics for real-time systems. Specification, verification and control. Zbl 1216.68158Bouyer, Patricia; Cassez, Franck; Laroussinie, François 3 2011 Timed automata with observers under energy constraints. Zbl 1361.68135Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim G.; Markey, Nicolas 10 2010 On the expressiveness of TPTL and MTL. Zbl 1209.03010Bouyer, Patricia; Chevalier, Fabrice; Markey, Nicolas 8 2010 O-minimal hybrid reachability games. Zbl 1189.68070Bouyer, Patricia; Brihaye, Thomas; Chevalier, Fabrice 5 2010 Nash equilibria for reachability objectives in multi-player timed games. Zbl 1287.68123Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas 3 2010 When are timed automata determinizable? Zbl 1248.68284Baier, Christel; Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas 9 2009 Model-checking timed temporal logics. Zbl 1347.68218Bouyer, Patricia 5 2009 Undecidability results for timed automata with silent transitions. Zbl 1176.68099Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain 5 2009 Weighted o-minimal hybrid systems. Zbl 1219.68114Bouyer, Patricia; Brihaye, Thomas; Chevalier, Fabrice 2 2009 Reachability in stochastic timed games. Zbl 1248.91014Bouyer, Patricia; Forejt, Vojtěch 2 2009 Measuring permissivity in finite games. Zbl 1254.91033Bouyer, Patricia; Duflot, Marie; Markey, Nicolas; Renault, Gabriel 2 2009 Infinite runs in weighted timed automata with energy constraints. Zbl 1171.68524Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim G.; Markey, Nicolas; Srba, Jiří 38 2008 Optimal infinite scheduling for multi-priced timed automata. Zbl 1133.68360Bouyer, Patricia; Brinksma, Ed; Larsen, Kim G. 13 2008 Model checking one-clock priced timed automata. Zbl 1149.68401Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas 10 2008 On expressiveness and complexity in real-time model checking. Zbl 1155.68426Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Worrell, James 10 2008 Robust analysis of timed automata via channel machines. Zbl 1138.68431Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain 9 2008 Timed Petri nets and timed automata: On the discriminating power of Zeno sequences. Zbl 1133.68053Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain 5 2008 Average-price and reachability-price games on hybrid automata with strong resets. Zbl 1171.68523Bouyer, Patricia; Brihaye, Thomas; Jurdziński, Marcin; Lazić, Ranko; Rutkowski, Michał 3 2008 On termination for faulty channel machines. Zbl 1259.68120Bouyer, Patricia; Markey, Nicolas; Ouaknine, Joël; Schnoebelen, Philippe; Worrell, James 1 2008 On the optimal reachability problem of weighted timed automata. Zbl 1129.68039Bouyer, Patricia; Brihaye, Thomas; Bruyère, Véronique; Raskin, Jean-François 15 2007 Probabilistic and topological semantics for timed automata. Zbl 1135.68464Baier, Christel; Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas; Größer, Marcus 7 2007 Costs are expensive! Zbl 1142.68045Bouyer, Patricia; Markey, Nicolas 4 2007 Weighted o-minimal hybrid systems are more decidable than weighted timed automata! Zbl 1132.68466Bouyer, Patricia; Brihaye, Thomas; Chevalier, Fabrice 4 2007 Model-checking one-clock priced timed automata. Zbl 1149.68400Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas 4 2007 Improved undecidability results on weighted timed automata. Zbl 1187.68291Bouyer, Patricia; Brihaye, Thomas; Markey, Nicolas 13 2006 Robust model-checking of linear-time properties in timed automata. Zbl 1145.68464Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain 9 2006 Weighted timed automata: model-checking and games. Zbl 1273.68197Bouyer, Patricia 7 2006 Timed unfoldings for networks of timed automata. Zbl 1161.68614Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain 7 2006 Timed Petri nets and timed automata: on the discriminating power of Zeno sequences. Zbl 1133.68383Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain 7 2006 Almost optimal strategies in one clock priced timed games. Zbl 1177.68142Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas; Rasmussen, Jacob Illum 3 2006 Controller synthesis for MTL specifications. Zbl 1151.68471Bouyer, 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 1 2006 On the expressiveness of TPTL and MTL. Zbl 1140.03303Bouyer, Patricia; Chevalier, Fabrice; Markey, Nicolas 12 2005 Diagonal constraints in timed automata: Forward analysis of timed systems. Zbl 1175.68256Bouyer, Patricia; Laroussinie, François; Reynier, Pierre-Alain 9 2005 Fault diagnosis using timed automata. Zbl 1118.68374Bouyer, Patricia; Chevalier, Fabrice; D’Souza, Deepak 8 2005 On conciseness of extensions of timed automata. Zbl 1146.68384Bouyer, Patricia; Chevalier, Fabrice 7 2005 Modal logics for timed control. Zbl 1134.68399Bouyer, Patricia; Cassez, Franck; Laroussinie, François 2 2005 Synthesis of optimal strategies using HyTech. Zbl 1272.68228Bouyer, Patricia; Cassez, Franck; Fleury, Emmanuel; Larsen, Kim G. 1 2005 A new modality for almost everywhere properties in timed automata. Zbl 1134.68381Bel Mokadem, Houda; Bérard, Béatrice; Bouyer, Patricia; Laroussinie, François 1 2005 Forward analysis of updatable timed automata. Zbl 1073.68041Bouyer, Patricia 21 2004 Updatable timed automata. Zbl 1070.68063Bouyer, Patricia; Dufourd, Catherine; Fleury, Emmanuel; Petit, Antoine 19 2004 Staying alive as cheaply as possible. Zbl 1135.93352Bouyer, Patricia; Brinksma, Ed; Larsen, Kim G. 14 2004 Optimal strategies in priced timed game automata. Zbl 1117.68396Bouyer, Patricia; Cassez, Franck; Fleury, Emmanuel; Larsen, Kim G. 12 2004 Lower and upper bounds in zone based abstractions of timed automata. Zbl 1126.68453Behrmann, Gerd; Bouyer, Patricia; Larsen, Kim G.; Pelánek, Radek 9 2004 The power of reachability testing for timed automata. Zbl 1023.68060Aceto, Luca; Bouyer, Patricia; Burgueño, Augusto; Larsen, Kim G. 12 2003 Static guard analysis in timed automata verification. Zbl 1031.68076Behrmann, Gerd; Bouyer, Patricia; Fleury, Emmanuel; Larsen, Kim G. 11 2003 Timed control with partial observability. Zbl 1278.68160Bouyer, Patricia; D’Souza, Deepak; Madhusudan, P.; Petit, Antoine 9 2003 An algebraic approach to data languages and timed languages. Zbl 1028.68080Bouyer, Patricia; Petit, Antoine; Thérien, Denis 8 2003 Untameable timed automata! Zbl 1035.68511Bouyer, Patricia 7 2003 A logical characterization of data languages. Zbl 1042.68544Bouyer, Patricia 11 2002 A Kleene/Büchli-like theorem of clock languages. Zbl 1031.68121Bouyer, Patricia; Petit, Antoine 11 2002 An algebraic characterization of data and timed languages. Zbl 1006.68078Bouyer, Patricia; Petit, Antoine; Thérien, Denis 8 2001 Are timed automata updatable? Zbl 0974.68084Bouyer, Patricia; Dufourd, Catherine; Fleury, Emmanuel; Petit, Antoine 10 2000 Expressiveness of updatable timed automata. Zbl 0996.68121Bouyer, P.; Dufourd, C.; Fleury, E.; Petit, A. 6 2000 Decomposition and composition of timed automata. Zbl 0946.68094Bouyer, Patricia; Petit, Antoine 8 1999 all cited Publications top 5 cited Publications all top 5 Cited by 505 Authors 34 Bouyer, Patricia 25 Larsen, Kim Guldstrand 23 Markey, Nicolas 13 Brihaye, Thomas 13 Raskin, Jean-François 12 Fahrenberg, Uli 10 Chatterjee, Krishnendu 9 Quaas, Karin 8 Legay, Axel 8 Lime, Didier 8 Worrell, James B. 7 Droste, Manfred 7 Rossi, Matteo A. C. 6 Bersani, Marcello Maria 6 Bruyère, Véronique 6 Doyen, Laurent 6 Gutierrez, Julian 6 Henzinger, Thomas A. 6 Ouaknine, Joel O. 6 Perelli, Giuseppe 6 Randour, Mickael 6 Srba, Jiří 6 Wooldridge, Michael J. 5 Akshay, S. 5 André, Étienne 5 Bérard, Béatrice 5 Bollig, Benedikt 5 Demri, Stéphane P. 5 Gastin, Paul 5 Lanotte, Ruggero 5 Reynier, Pierre-Alain 5 Roux, Olivier H. 4 Fränzle, Martin 4 Goeminne, Aline 4 Haddad, Serge 4 Hélouët, Loïc 4 Herbreteau, Frédéric 4 Kulkarni, Sandeep S. 4 Kwiatkowska, Marta Z. 4 Mayr, Richard M. 4 Murano, Aniello 4 Norman, Gethin 4 Otop, Jan 4 Perevoshchikov, Vitaly 4 Pietro, Pierluigi San 4 Reynolds, Mark Alexander 4 Sangnier, Arnaud 4 Sankur, Ocan 4 Sproston, Jeremy 4 Srivathsan, Balaguru 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 Černá, Ivana 3 Dima, Cătălin 3 French, Tim 3 Geeraerts, Gilles 3 Gomez, Rodolfo 3 Harrenstein, Paul 3 Jéron, Thierry 3 Juhl, Line 3 Krishna, Shankara Narayanan 3 Kupferman, Orna 3 Lazić, Ranko 3 Leroux, Stéphane 3 Maggiolo-Schettini, Andrea 3 Pandya, Paritosh K. 3 Petit, Antoine C. 3 Prabhakar, Pavithra 3 Prabhu, Vinayak S. 3 Rubin, Sasha 3 Swaminathan, Mani 3 Traonouez, Louis-Marie 3 Tripakis, Stavros 3 Viswanathan, Mahesh 3 Walukiewicz, Igor 3 Zimmermann, Martín G. 2 Abujarad, Fuad 2 Al-Bataineh, Omar 2 Azgomi, Mohammad Abdollahi 2 Babari, Parvaneh 2 Bacci, Giovanni 2 Baier, Christel 2 Balasubramanian, A. R. 2 Barnat, Jiří 2 Basin, David A. 2 Benerecetti, Massimo 2 Bresolin, Davide 2 Carlier, Pierre 2 Chevalier, Fabrice 2 David, Alexandre 2 Deters, Morgan 2 Dufourd, Catherine 2 Dullerud, Geir E. ...and 405 more Authors all top 5 Cited in 44 Serials 41 Theoretical Computer Science 26 Information and Computation 19 Formal Methods in System Design 11 Information Processing Letters 10 Acta Informatica 10 Formal Aspects of Computing 10 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 Discrete Event Dynamic Systems 5 The Journal of Logic and Algebraic Programming 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 3 Fundamenta Informaticae 2 Programming and Computer Software 2 Nonlinear Analysis. Hybrid Systems 2 International Journal of Systems Science. Principles and Applications of Systems and Integration 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 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 all top 5 Cited in 17 Fields 302 Computer science (68-XX) 78 Mathematical logic and foundations (03-XX) 62 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 23 Systems theory; control (93-XX) 5 Operations research, mathematical programming (90-XX) 3 Combinatorics (05-XX) 3 Probability theory and stochastic processes (60-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Biology and other natural sciences (92-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Number theory (11-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Difference and functional equations (39-XX) 1 Quantum theory (81-XX) 1 Information and communication theory, circuits (94-XX) 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.