Patricia Bouyer

206 papers A* 11A 8B 44C 1Misc 2Journal 84Unranked 51

Year	Rank	Type	Title / Venue / Authors
2025	B	`ed.`	36th International Conference on Concurrency Theory, CONCUR 2025, Aarhus, Denmark, August 26-29, 2025 CONCUR Patricia Bouyer, Jaco van de Pol
2025	J	`jnl`	Antichains for Concurrent Parameterized Games. CoRR Nathalie Bertrand, Patricia Bouyer, Gaëtan Staquet
2025	—	`conf`	Decisiveness for Countable MDPs and Insights for NPLCSs and POMDPs. Principles of Formal Quantitative Analysis Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Paulin Fournier, Pierre Vandenhove
2025	B	`conf`	Model-Checking Real-Time Systems: Revisiting the Alternating Automaton Route. FoSSaCS Patricia Bouyer, B. Srivathsan, Vaishnavi Vishwanath
2025	J	`jnl`	Model-checking real-time systems: revisiting the alternating automaton route. CoRR Patricia Bouyer, B. Srivathsan, Vaishnavi Vishwanath
2025	B	`conf`	On the Probabilistic and Statistical Verification of Infinite Markov Chains (Invited Talk). CSL Patricia Bouyer
2025	J	`jnl`	Reach together: How populations win repeated games. CoRR Nathalie Bertrand, Patricia Bouyer, Luc Lapointe, Corto Mascle
2025	J	`jnl`	Report on the 36th International Conference on Concurrency Theory (CONCUR 2025). ACM SIGLOG News Patricia Bouyer, Jaco van de Pol
2024	—	`conf`	Beyond Decisiveness of Infinite Markov Chains. FSTTCS Benoît Barbot, Patricia Bouyer, Serge Haddad
2024	J	`jnl`	Beyond Decisiveness of Infinite Markov Chains. CoRR Benoît Barbot, Patricia Bouyer, Serge Haddad
2024	B	`conf`	From Local to Global Optimality in Concurrent Parity Games. CSL Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
2024	J	`jnl`	Half-Positional Objectives Recognized by Deterministic Büchi Automata. Log. Methods Comput. Sci. Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove
2023	A	`ed.`	40th International Symposium on Theoretical Aspects of Computer Science, STACS 2023, Hamburg, Germany, March 7-9, 2023 STACS Petra Berenbrink, Patricia Bouyer, Anuj Dawar, Mamadou Moustapha Kanté
2023	—	`ed.`	43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2023, IIIT Hyderabad, Telangana, India, December 18-20, 2023 FSTTCS Patricia Bouyer, Srikanth Srinivasan
2023	J	`jnl`	Arena-Independent Finite-Memory Determinacy in Stochastic Games. Log. Methods Comput. Sci. Patricia Bouyer, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove
2023	J	`jnl`	Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs. TheoretiCS Patricia Bouyer, Mickael Randour, Pierre Vandenhove
2023	J	`jnl`	From Local To Global Optimality in Concurrent Parity Games. CoRR Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
2023	A*	`conf`	Half-Positional Objectives Recognized by Deterministic Büchi Automata (Extended Abstract). IJCAI Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove
2023	A*	`conf`	How to Play Optimally for Regular Objectives? ICALP Patricia Bouyer, Nathanaël Fijalkow, Mickael Randour, Pierre Vandenhove
2023	J	`jnl`	Reasoning about Quality and Fuzziness of Strategic Behaviors. ACM Trans. Comput. Log. Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
2023	J	`jnl`	Sub-game optimal strategies in concurrent games with prefix-independent objectives. CoRR Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
2023	B	`conf`	Subgame Optimal Strategies in Finite Concurrent Games with Prefix-Independent Objectives. FoSSaCS Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
2022	A	`conf`	Characterizing Omega-Regularity Through Finite-Memory Determinacy of Games on Infinite Graphs. STACS Patricia Bouyer, Mickael Randour, Pierre Vandenhove
2022	J	`jnl`	Decisiveness of stochastic systems and its application to hybrid models. Inf. Comput. Patricia Bouyer, Thomas Brihaye, Mickael Randour, Cédric Rivière, Pierre Vandenhove
2022	B	`conf`	Finite-Memory Strategies in Two-Player Infinite Games. CSL Patricia Bouyer, Stéphane Le Roux, Nathan Thomasset
2022	B	`ed.`	Foundations of Software Science and Computation Structures - 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings FoSSaCS Patricia Bouyer, Lutz Schröder
2022	J	`jnl`	Games Where You Can Play Optimally with Arena-Independent Finite Memory. Log. Methods Comput. Sci. Patricia Bouyer, Stéphane Le Roux, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove
2022	B	`conf`	Half-Positional Objectives Recognized by Deterministic Büchi Automata. CONCUR Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove
2022	J	`jnl`	Half-Positional Objectives Recognized by Deterministic Büchi Automata. CoRR Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove
2022	J	`jnl`	How to Play Optimally for Regular Objectives? CoRR Patricia Bouyer, Nathanaël Fijalkow, Mickael Randour, Pierre Vandenhove
2022	B	`conf`	Optimal Strategies in Concurrent Reachability Games. CSL Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
2022	—	`conf`	Playing (Almost-)Optimally in Concurrent Büchi and Co-Büchi Games. FSTTCS Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
2022	J	`jnl`	Playing (Almost-)Optimally in Concurrent Büchi and co-Büchi Games. CoRR Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
2022	J	`jnl`	Synthesis in presence of dynamic links. Inf. Comput. Béatrice Bérard, Benedikt Bollig, Patricia Bouyer, Matthias Függer, Nathalie Sznajder
2022	—	`conf`	The True Colors of Memory: A Tour of Chromatic-Memory Strategies in Zero-Sum Games on Graphs (Invited Talk). FSTTCS Patricia Bouyer, Mickael Randour, Pierre Vandenhove
2022	—	`conf`	Zone-Based Verification of Timed Automata: Extrapolations, Simulations and What Next? FORMATS Patricia Bouyer, Paul Gastin, Frédéric Herbreteau, Ocan Sankur, B. Srivathsan
2022	J	`jnl`	Zone-based verification of timed automata: extrapolations, simulations and what next? CoRR Patricia Bouyer, Paul Gastin, Frédéric Herbreteau, Ocan Sankur, B. Srivathsan
2021	B	`conf`	Arena-Independent Finite-Memory Determinacy in Stochastic Games. CONCUR Patricia Bouyer, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove
2021	J	`jnl`	Arena-Independent Finite-Memory Determinacy in Stochastic Games. CoRR Patricia Bouyer, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove
2021	J	`jnl`	Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs. CoRR Patricia Bouyer, Mickael Randour, Pierre Vandenhove
2021	J	`jnl`	Diagnosing timed automata using timed markings. Int. J. Softw. Tools Technol. Transf. Patricia Bouyer, Léo Henry, Samy Jaziri, Thierry Jéron, Nicolas Markey
2021	J	`jnl`	Finite-memory strategies in two-player infinite games. CoRR Patricia Bouyer, Stéphane Le Roux, Nathan Thomasset
2021	—	`conf`	From Local to Global Determinacy in Concurrent Graph Games. FSTTCS Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
2021	J	`jnl`	From local to global determinacy in concurrent graph games. CoRR Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
2021	J	`jnl`	Optimal and robust controller synthesis using energy timed automata with uncertainty. Formal Aspects Comput. Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Pierre-Alain Reynier
2021	J	`jnl`	Optimal strategies in concurrent reachability games. CoRR Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
2021	J	`jnl`	Reconfiguration and Message Losses in Parameterized Broadcast Networks. Log. Methods Comput. Sci. Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar
2021	—	`ch.`	Timed automata. Handbook of Automata Theory (II.) Patricia Bouyer
2020	J	`jnl`	Decisiveness of Stochastic Systems and its Application to Hybrid Models (Full Version). CoRR Patricia Bouyer, Thomas Brihaye, Mickael Randour, Cédric Rivière, Pierre Vandenhove
2020	—	`conf`	Decisiveness of Stochastic Systems and its Application to Hybrid Models. GandALF Patricia Bouyer, Thomas Brihaye, Mickael Randour, Cédric Rivière, Pierre Vandenhove
2020	J	`jnl`	Dependences in Strategy Logic. Theory Comput. Syst. Patrick Gardy, Patricia Bouyer, Nicolas Markey
2020	B	`conf`	Games Where You Can Play Optimally with Arena-Independent Finite Memory. CONCUR Patricia Bouyer, Stéphane Le Roux, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove
2020	J	`jnl`	Games Where You Can Play Optimally with Finite Memory. CoRR Patricia Bouyer, Stéphane Le Roux, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove
2020	J	`jnl`	Preface. Inf. Comput. Aniello Murano, Patricia Bouyer, Pierluigi San Pietro, Andrea Orlandini
2020	A	`conf`	Reasoning About Quality and Fuzziness of Strategic Behaviours. ECAI Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
2020	—	`conf`	Synthesis in Presence of Dynamic Links. GandALF Béatrice Bérard, Benedikt Bollig, Patricia Bouyer, Matthias Függer, Nathalie Sznajder
2020	—	`conf`	Synthesizing Safe Coalition Strategies. FSTTCS Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar
2020	J	`jnl`	Synthesizing safe coalition strategies. CoRR Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar
2020	J	`jnl`	Taming denumerable Markov decision processes with decisiveness. CoRR Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Paulin Fournier
2019	B	`conf`	A Note on Game Theory and Verification. ATVA Patricia Bouyer
2019	—	`conf`	Concurrent Parameterized Games. FSTTCS Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar
2019	B	`conf`	Identifiers in Registers - Describing Network Algorithms with Logic. FoSSaCS Benedikt Bollig, Patricia Bouyer, Fabian Reiter
2019	B	`conf`	Nash Equilibria in Games over Graphs Equipped with a Communication Mechanism. MFCS Patricia Bouyer, Nathan Thomasset
2019	J	`jnl`	Nash equilibria in games over graphs equipped with a communication mechanism. CoRR Patricia Bouyer, Nathan Thomasset
2019	C	`conf`	On the Computation of Nash Equilibria in Games on Graphs (Invited Talk). TIME Patricia Bouyer
2019	A*	`conf`	Reasoning about Quality and Fuzziness of Strategic Behaviours. IJCAI Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
2019	J	`jnl`	Reasoning about Quality and Fuzziness of Strategic Behaviours. CoRR Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
2019	B	`conf`	Reconfiguration and Message Losses in Parameterized Broadcast Networks. CONCUR Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar
2019	J	`jnl`	Reconfiguration and Message Losses in Parameterized Broadcast Networks. CoRR Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar
2018	J	`jnl`	Average-energy games. Acta Informatica Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen
2018	A	`conf`	Dependences in Strategy Logic. STACS Patrick Gardy, Patricia Bouyer, Nicolas Markey
2018	B	`conf`	Efficient Timed Diagnosis Using Automata with Timed Domains. RV Patricia Bouyer, Samy Jaziri, Nicolas Markey
2018	B	`conf`	Finite Bisimulations for Dynamical Systems with Overlapping Trajectories. CSL Béatrice Bérard, Patricia Bouyer, Vincent Jugé
2018	B	`conf`	Games on Graphs with a Public Signal Monitoring. FoSSaCS Patricia Bouyer
2018	J	`jnl`	Identifiers in Registers - Describing Network Algorithms with Logic. CoRR Benedikt Bollig, Patricia Bouyer, Fabian Reiter
2018	—	`ch.`	Model Checking Real-Time Systems. Handbook of Model Checking Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Joël Ouaknine, James Worrell
2018	—	`conf`	Multi-weighted Markov Decision Processes with Reachability Objectives. GandALF Patricia Bouyer, Mauricio González, Nicolas Markey, Mickael Randour
2018	B	`conf`	Optimal and Robust Controller Synthesis - Using Energy Timed Automata with Uncertainty. FM Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Pierre-Alain Reynier
2018	J	`jnl`	Optimal and Robust Controller Synthesis: using Energy Timed Automata with Uncertainty. CoRR Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Pierre-Alain Reynier
2018	J	`jnl`	When are stochastic transition systems tameable? J. Log. Algebraic Methods Program. Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Pierre Carlier
2017	B	`conf`	Bounding Average-Energy Games. FoSSaCS Patricia Bouyer, Piotr Hofman, Nicolas Markey, Mickael Randour, Martin Zimmermann
2017	J	`jnl`	Dependences in Strategy Logic. CoRR Patrick Gardy, Patricia Bouyer, Nicolas Markey
2017	B	`conf`	Dynamic Complexity of the Dyck Reachability. FoSSaCS Patricia Bouyer, Vincent Jugé
2017	J	`jnl`	Games on graphs with a public signal monitoring. CoRR Patricia Bouyer
2017	J	`jnl`	Nash equilibria in symmetric graph games with partial observation. Inf. Comput. Patricia Bouyer, Nicolas Markey, Steen Vester
2017	—	`conf`	On the Determinization of Timed Systems. FORMATS Patricia Bouyer, Samy Jaziri, Nicolas Markey
2017	—	`ed.`	Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September 2017. GandALF Patricia Bouyer, Andrea Orlandini, Pierluigi San Pietro
2017	—	`conf`	Timed Temporal Logics. Models, Algorithms, Logics and Tools Patricia Bouyer, François Laroussinie, Nicolas Markey, Joël Ouaknine, James Worrell
2017	J	`jnl`	Timed-automata abstraction of switched dynamical systems using control invariants. Real Time Syst. Patricia Bouyer, Nicolas Markey, Nicolas Perrin, Philipp Schlehuber-Caissier
2017	B	`conf`	Unbounded Product-Form Petri Nets. CONCUR Patricia Bouyer, Serge Haddad, Vincent Jugé
2017	J	`jnl`	Unbounded product-form Petri nets. CoRR Patricia Bouyer, Serge Haddad, Vincent Jugé
2017	J	`jnl`	When are Stochastic Transition Systems Tameable? CoRR Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Pierre Carlier
2016	A*	`conf`	Analysing Decisive Stochastic Processes. ICALP Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Pierre Carlier
2016	J	`jnl`	Bounding Average-energy Games. CoRR Patricia Bouyer, Piotr Hofman, Nicolas Markey, Mickael Randour, Martin Zimmermann
2016	Misc	`conf`	Compositional Design of Stochastic Timed Automata. CSR Patricia Bouyer, Thomas Brihaye, Pierre Carlier, Quentin Menet
2016	J	`jnl`	Dynamic Complexity of Parity Games with Bounded Tree-Width. CoRR Patricia Bouyer, Vincent Jugé, Nicolas Markey
2016	J	`jnl`	Dynamic Complexity of the Dyck Reachability. CoRR Patricia Bouyer, Vincent Jugé
2016	J	`jnl`	On the semantics of Strategy Logic. Inf. Process. Lett. Patricia Bouyer, Patrick Gardy, Nicolas Markey
2016	A*	`conf`	Reachability in Networks of Register Protocols under Stochastic Schedulers. ICALP Patricia Bouyer, Nicolas Markey, Mickael Randour, Arnaud Sangnier, Daniel Stan
2016	J	`jnl`	Reachability in Networks of Register Protocols under Stochastic Schedulers. CoRR Patricia Bouyer, Nicolas Markey, Mickael Randour, Arnaud Sangnier, Daniel Stan
2016	—	`conf`	Stochastic Equilibria under Imprecise Deviations in Terminal-Reward Concurrent Games. GandALF Patricia Bouyer, Nicolas Markey, Daniel Stan
2016	B	`conf`	Stochastic Timed Games Revisited. MFCS S. Akshay, Patricia Bouyer, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
2016	J	`jnl`	Stochastic Timed Games Revisited. CoRR S. Akshay, Patricia Bouyer, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
2016	—	`conf`	Symbolic Optimal Reachability in Weighted Timed Automata. CAV (1) Patricia Bouyer, Maximilien Colange, Nicolas Markey
2016	J	`jnl`	Symbolic Optimal Reachability in Weighted Timed Automata. CoRR Patricia Bouyer, Maximilien Colange, Nicolas Markey
2015	J	`jnl`	Average-energy games (full version). CoRR Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen
2015	—	`conf`	Average-energy games. GandALF Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim Guldstrand Larsen, Simon Laursen
2015	B	`conf`	On the Value Problem in Weighted Timed Games. CONCUR Patricia Bouyer, Samy Jaziri, Nicolas Markey
2015	—	`conf`	On the optimal reachability problem in weighted timed automata and games. NCMA Patricia Bouyer
2015	J	`jnl`	Permissive strategies in timed automata and games. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Patricia Bouyer, Erwin Fang, Nicolas Markey
2015	J	`jnl`	Pure Nash Equilibria in Concurrent Deterministic Games. Log. Methods Comput. Sci. Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels
2015	J	`jnl`	Robust reachability in timed automata and games: A game-based approach. Theor. Comput. Sci. Patricia Bouyer, Nicolas Markey, Ocan Sankur
2015	—	`conf`	Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels. FORMATS Patricia Bouyer, Nicolas Markey, Nicolas Perrin, Philipp Schlehuber-Caissier
2015	—	`conf`	Weighted Strategy Logic with Boolean Goals Over One-Counter Games. FSTTCS Patricia Bouyer, Patrick Gardy, Nicolas Markey
2014	B	`conf`	Averaging in LTL. CONCUR Patricia Bouyer, Nicolas Markey, Raj Mohan Matteplackel
2014	J	`jnl`	Lower-bound-constrained runs in weighted timed automata. Perform. Evaluation Patricia Bouyer, Kim G. Larsen, Nicolas Markey
2014	—	`conf`	Mixed Nash Equilibria in Concurrent Terminal-Reward Games. FSTTCS Patricia Bouyer, Nicolas Markey, Daniel Stan
2014	—	`conf`	Nash Equilibria in Symmetric Games with Partial Observation. SR Patricia Bouyer, Nicolas Markey, Steen Vester
2014	B	`conf`	Quantitative Verification of Weighted Kripke Structures. ATVA Patricia Bouyer, Patrick Gardy, Nicolas Markey
2014	J	`jnl`	Shrinking timed automata. Inf. Comput. Ocan Sankur, Patricia Bouyer, Nicolas Markey
2014	J	`jnl`	Stochastic Timed Automata. Log. Methods Comput. Sci. Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Quentin Menet, Christel Baier, Marcus Größer, Marcin Jurdzinski
2013	J	`jnl`	Emptiness and Universality Problems in Timed Automata with Positive Frequency. CoRR Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Amélie Stainer
2013	B	`conf`	Robust Controller Synthesis in Timed Automata. CONCUR Ocan Sankur, Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier
2013	—	`conf`	Robust Weighted Timed Automata and Games. FORMATS Patricia Bouyer, Nicolas Markey, Ocan Sankur
2013	—	`conf`	Robustness in Timed Automata. RP Patricia Bouyer, Nicolas Markey, Ocan Sankur
2012	—	`conf`	Almost-Sure Model-Checking of Reactive Timed Automata. QEST Patricia Bouyer, Thomas Brihaye, Marcin Jurdzinski, Quentin Menet
2012	B	`conf`	Concurrent Games with Ordered Objectives. FoSSaCS Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels
2012	—	`conf`	Lower-Bound Constrained Runs in Weighted Timed Automata. QEST Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey
2012	J	`jnl`	On termination and invariance for faulty channel machines. Formal Aspects Comput. Patricia Bouyer, Nicolas Markey, Joël Ouaknine, Philippe Schnoebelen, James Worrell
2012	—	`conf`	Robust Reachability in Timed Automata: A Game-Based Approach. ICALP (2) Patricia Bouyer, Nicolas Markey, Ocan Sankur
2011	—	`conf`	Emptiness and Universality Problems in Timed Automata with Positive Frequency. ICALP (2) Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Amélie Stainer
2011	J	`jnl`	Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited CoRR Patricia Bouyer, Nicolas Markey, Jörg Olschewski, Michael Ummels
2011	B	`conf`	Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited. ATVA Patricia Bouyer, Nicolas Markey, Jörg Olschewski, Michael Ummels
2011	—	`conf`	Nash Equilibria in Concurrent Games with Büchi Objectives. FSTTCS Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels
2011	J	`jnl`	Quantitative analysis of real-time systems using priced timed automata. Commun. ACM Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey
2011	—	`conf`	Robust Model-Checking of Timed Automata via Pumping in Channel Machines. FORMATS Patricia Bouyer, Nicolas Markey, Ocan Sankur
2011	—	`conf`	Shrinking Timed Automata. FSTTCS Ocan Sankur, Patricia Bouyer, Nicolas Markey
2011	B	`conf`	Timed Automata Can Always Be Made Implementable. CONCUR Patricia Bouyer, Kim G. Larsen, Nicolas Markey, Ocan Sankur, Claus R. Thrane
2011	J	`jnl`	Timed Modal Logics for Real-Time Systems - Specification, Verification and Control. J. Log. Lang. Inf. Patricia Bouyer, Franck Cassez, François Laroussinie
2010	—	`conf`	Computing Equilibria in Two-Player Timed Games FORMATS Patricia Bouyer, Romain Brenguier, Nicolas Markey
2010	—	`conf`	Computing Rational Radical Sums in Uniform TC^0. FSTTCS Paul Hunter, Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell
2010	B	`conf`	Nash Equilibria for Reachability Objectives in Multi-player Timed Games. CONCUR Patricia Bouyer, Romain Brenguier, Nicolas Markey
2010	J	`jnl`	O-Minimal Hybrid Reachability Games Log. Methods Comput. Sci. Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier
2010	J	`jnl`	On the expressiveness of TPTL and MTL. Inf. Comput. Patricia Bouyer, Fabrice Chevalier, Nicolas Markey
2010	—	`conf`	Timed automata with observers under energy constraints. HSCC Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey
2009	B	`conf`	Measuring Permissivity in Finite Games. CONCUR Patricia Bouyer, Marie Duflot, Nicolas Markey, Gabriel Renault
2009	—	`conf`	Reachability in Stochastic Timed Games. ICALP (2) Patricia Bouyer, Vojtech Forejt
2009	J	`jnl`	Undecidability Results for Timed Automata with Silent Transitions. Fundam. Informaticae Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier
2009	J	`jnl`	Weighted o-minimal hybrid systems. Ann. Pure Appl. Log. Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier
2009	—	`conf`	When Are Timed Automata Determinizable? ICALP (2) Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye
2008	A*	`conf`	Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata. LICS Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Größer
2008	—	`conf`	Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets. FORMATS Patricia Bouyer, Thomas Brihaye, Marcin Jurdzinski, Ranko Lazic, Michal Rutkowski
2008	—	`conf`	Infinite Runs in Weighted Timed Automata with Energy Constraints. FORMATS Patricia Bouyer, Ulrich Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Jirí Srba
2008	J	`jnl`	Model Checking One-Clock Priced Timed Automata. Log. Methods Comput. Sci. Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey
2008	J	`jnl`	Model Checking One-clock Priced Timed Automata CoRR Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey
2008	—	`conf`	On Expressiveness and Complexity in Real-Time Model Checking. ICALP (2) Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell
2008	J	`jnl`	On Termination for Faulty Channel Machines CoRR Patricia Bouyer, Nicolas Markey, Joël Ouaknine, Philippe Schnoebelen, James Worrell
2008	A	`conf`	On Termination for Faulty Channel Machines. STACS Patricia Bouyer, Nicolas Markey, Joël Ouaknine, Philippe Schnoebelen, James Worrell
2008	J	`jnl`	Optimal infinite scheduling for multi-priced timed automata. Formal Methods Syst. Des. Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen
2008	—	`conf`	Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics. QEST Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Nicolas Markey
2008	B	`conf`	Robust Analysis of Timed Automata via Channel Machines. FoSSaCS Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier
2008	J	`jnl`	Timed Petri nets and timed automata: On the discriminating power of zeno sequences. Inf. Comput. Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier
2007	—	`conf`	Costs Are Expensive! FORMATS Patricia Bouyer, Nicolas Markey
2007	B	`conf`	Model-Checking One-Clock Priced Timed Automata. FoSSaCS Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey
2007	—	`conf`	Model-checking Timed Temporal Logics. M4M Patricia Bouyer
2007	J	`jnl`	On the optimal reachability problem of weighted timed automata. Formal Methods Syst. Des. Patricia Bouyer, Thomas Brihaye, Véronique Bruyère, Jean-François Raskin
2007	—	`conf`	Probabilistic and Topological Semantics for Timed Automata. FSTTCS Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Größer
2007	A*	`conf`	The Cost of Punctuality. LICS Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell
2007	Misc	`conf`	Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata! LFCS Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier
2006	—	`conf`	Almost Optimal Strategies in One Clock Priced Timed Games. FSTTCS Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey, Jacob Illum Rasmussen
2006	A*	`conf`	Control in o-minimal Hybrid Systems. LICS Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier
2006	B	`conf`	Controller Synthesis for MTL Specifications. CONCUR Patricia Bouyer, Laura Bozzelli, Fabrice Chevalier
2006	—	`conf`	Extended Timed Automata and Time Petri Nets. ACSD Patricia Bouyer, Pierre-Alain Reynier, Serge Haddad
2006	—	`ed.`	Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings FORMATS Eugene Asarin, Patricia Bouyer
2006	J	`jnl`	Improved undecidability results on weighted timed automata. Inf. Process. Lett. Patricia Bouyer, Thomas Brihaye, Nicolas Markey
2006	J	`jnl`	Lower and upper bounds in zone-based abstractions of timed automata. Int. J. Softw. Tools Technol. Transf. Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek
2006	J	`jnl`	On the Control of Timed and Hybrid Systems. Bull. EATCS Patricia Bouyer, Fabrice Chevalier
2006	B	`conf`	Robust Model-Checking of Linear-Time Properties in Timed Automata. LATIN Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier
2006	—	`conf`	Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences. ICALP (2) Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier
2006	B	`conf`	Timed Temporal Logics for Abstracting Transient States. ATVA Houda Bel Mokadem, Béatrice Bérard, Patricia Bouyer, François Laroussinie
2006	B	`conf`	Timed Unfoldings for Networks of Timed Automata. ATVA Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier
2006	B	`conf`	Weighted Timed Automata: Model-Checking and Games. MFPS Patricia Bouyer
2005	B	`conf`	A New Modality for Almost Everywhere Properties in Timed Automata. CONCUR Houda Bel Mokadem, Béatrice Bérard, Patricia Bouyer, François Laroussinie
2005	—	`conf`	Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems. FORMATS Patricia Bouyer, François Laroussinie, Pierre-Alain Reynier
2005	B	`conf`	Fault Diagnosis Using Timed Automata. FoSSaCS Patricia Bouyer, Fabrice Chevalier, Deepak D'Souza
2005	B	`conf`	Modal Logics for Timed Control. CONCUR Patricia Bouyer, Franck Cassez, François Laroussinie
2005	J	`jnl`	On Conciseness of Extensions of Timed Automata. J. Autom. Lang. Comb. Patricia Bouyer, Fabrice Chevalier
2005	—	`conf`	On the Expressiveness of TPTL and MTL. FSTTCS Patricia Bouyer, Fabrice Chevalier, Nicolas Markey
2004	J	`jnl`	Forward Analysis of Updatable Timed Automata. Formal Methods Syst. Des. Patricia Bouyer
2004	A	`conf`	Lower and Upper Bounds in Zone Based Abstractions of Timed Automata. TACAS Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek
2004	—	`conf`	Optimal Strategies in Priced Timed Game Automata. FSTTCS Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen
2004	—	`conf`	Staying Alive as Cheaply as Possible. HSCC Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen
2004	—	`conf`	Synthesis of Optimal Strategies Using HyTech. GDV@CAV Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen
2004	J	`jnl`	Updatable timed automata. Theor. Comput. Sci. Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit
2003	J	`jnl`	An algebraic approach to data languages and timed languages. Inf. Comput. Patricia Bouyer, Antoine Petit, Denis Thérien
2003	A	`conf`	Static Guard Analysis in Timed Automata Verification. TACAS Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim Guldstrand Larsen
2003	J	`jnl`	The power of reachability testing for timed automata. Theor. Comput. Sci. Luca Aceto, Patricia Bouyer, Augusto Burgueño, Kim Guldstrand Larsen
2003	A*	`conf`	Timed Control with Partial Observability. CAV Patricia Bouyer, Deepak D'Souza, P. Madhusudan, Antoine Petit
2003	A	`conf`	Untameable Timed Automata! STACS Patricia Bouyer
2002	J	`jnl`	A Kleene/Büchi-like Theorem for Clock Languages. J. Autom. Lang. Comb. Patricia Bouyer, Antoine Petit
2002	J	`jnl`	A logical characterization of data languages. Inf. Process. Lett. Patricia Bouyer
2001	B	`conf`	An Algebraic Characterization of Data and Timed Languages. CONCUR Patricia Bouyer, Antoine Petit, Denis Thérien
2000	A*	`conf`	Are Timed Automata Updatable? CAV Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit
2000	B	`conf`	Expressiveness of Updatable Timed Automata. MFCS Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit
1999	A*	`conf`	Decomposition and Composition of Timed Automata. ICALP Patricia Bouyer, Antoine Petit
1998	—	`conf`	The Power of Reachability Testing for Timed Automata. FSTTCS Luca Aceto, Patricia Bouyer, Augusto Burgueño, Kim Guldstrand Larsen