Patricia Bouyer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
70
Venues
18
Active years
1999–2026
Best venue rank
A*
Where they publish
Papers
70 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CONCUR | WinPop: Making Populations Win Together. | Nathalie Bertrand, Patricia Bouyer, Luc Lapointe, Corto Mascle |
| 2025 | CSL | On the Probabilistic and Statistical Verification of Infinite Markov Chains (Invited Talk). | Patricia Bouyer |
| 2025 | FOSSACS | Model-Checking Real-Time Systems: Revisiting the Alternating Automaton Route. | Patricia Bouyer, B. Srivathsan, Vaishnavi Vishwanath |
| 2024 | CSL | From Local to Global Optimality in Concurrent Parity Games. | Benjamin Bordais, Patricia Bouyer, Stphane Le Roux |
| 2023 | FOSSACS | Subgame Optimal Strategies in Finite Concurrent Games with Prefix-Independent Objectives. | Benjamin Bordais, Patricia Bouyer, Stphane Le Roux |
| 2023 | ICALP | How to Play Optimally for Regular Objectives? | Patricia Bouyer, Nathanal Fijalkow, Mickael Randour, Pierre Vandenhove |
| 2023 | IJCAI | Half-Positional Objectives Recognized by Deterministic Bchi Automata (Extended Abstract). | Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove |
| 2022 | CONCUR | Half-Positional Objectives Recognized by Deterministic Bchi Automata. | Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove |
| 2022 | CSL | Optimal Strategies in Concurrent Reachability Games. | Benjamin Bordais, Patricia Bouyer, Stphane Le Roux |
| 2022 | CSL | Finite-Memory Strategies in Two-Player Infinite Games. | Patricia Bouyer, Stphane Le Roux, Nathan Thomasset |
| 2022 | STACS | Characterizing Omega-Regularity Through Finite-Memory Determinacy of Games on Infinite Graphs. | Patricia Bouyer, Mickael Randour, Pierre Vandenhove |
| 2021 | CONCUR | Arena-Independent Finite-Memory Determinacy in Stochastic Games. | Patricia Bouyer, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove |
| 2020 | CONCUR | Games Where You Can Play Optimally with Arena-Independent Finite Memory. | Patricia Bouyer, Stphane Le Roux, Youssouf Oualhadj, Mickael Randour, Pierre Vandenhove |
| 2020 | ECAI | Reasoning About Quality and Fuzziness of Strategic Behaviours. | Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli |
| 2019 | ATVA | A Note on Game Theory and Verification. | Patricia Bouyer |
| 2019 | CONCUR | Reconfiguration and Message Losses in Parameterized Broadcast Networks. | Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar |
| 2019 | FOSSACS | Identifiers in Registers - Describing Network Algorithms with Logic. | Benedikt Bollig, Patricia Bouyer, Fabian Reiter |
| 2019 | IJCAI | Reasoning about Quality and Fuzziness of Strategic Behaviours. | Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli |
| 2019 | MFCS | Nash Equilibria in Games over Graphs Equipped with a Communication Mechanism. | Patricia Bouyer, Nathan Thomasset |
| 2019 | TIME | On the Computation of Nash Equilibria in Games on Graphs (Invited Talk). | Patricia Bouyer |
| 2018 | CSL | Finite Bisimulations for Dynamical Systems with Overlapping Trajectories. | Batrice Brard, Patricia Bouyer, Vincent Jug |
| 2018 | FM | Optimal and Robust Controller Synthesis - Using Energy Timed Automata with Uncertainty. | Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Pierre-Alain Reynier |
| 2018 | FOSSACS | Games on Graphs with a Public Signal Monitoring. | Patricia Bouyer |
| 2018 | STACS | Dependences in Strategy Logic. | Patrick Gardy, Patricia Bouyer, Nicolas Markey |
| 2018 | RV | Efficient Timed Diagnosis Using Automata with Timed Domains. | Patricia Bouyer, Samy Jaziri, Nicolas Markey |
| 2017 | CONCUR | Unbounded Product-Form Petri Nets. | Patricia Bouyer, Serge Haddad, Vincent Jug |
| 2017 | FOSSACS | Bounding Average-Energy Games. | Patricia Bouyer, Piotr Hofman, Nicolas Markey, Mickael Randour, Martin Zimmermann |
| 2017 | FOSSACS | Dynamic Complexity of the Dyck Reachability. | Patricia Bouyer, Vincent Jug |
| 2016 | CAV | Symbolic Optimal Reachability in Weighted Timed Automata. | Patricia Bouyer, Maximilien Colange, Nicolas Markey |
| 2016 | CSR | Compositional Design of Stochastic Timed Automata. | Patricia Bouyer, Thomas Brihaye, Pierre Carlier, Quentin Menet |
| 2016 | ICALP | Analysing Decisive Stochastic Processes. | Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Pierre Carlier |
| 2016 | ICALP | Reachability in Networks of Register Protocols under Stochastic Schedulers. | Patricia Bouyer, Nicolas Markey, Mickael Randour, Arnaud Sangnier, Daniel Stan |
| 2016 | MFCS | Stochastic Timed Games Revisited. | S. Akshay, Patricia Bouyer, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi |
| 2015 | CONCUR | On the Value Problem in Weighted Timed Games. | Patricia Bouyer, Samy Jaziri, Nicolas Markey |
| 2014 | ATVA | Quantitative Verification of Weighted Kripke Structures. | Patricia Bouyer, Patrick Gardy, Nicolas Markey |
| 2014 | CONCUR | Averaging in LTL. | Patricia Bouyer, Nicolas Markey, Raj Mohan Matteplackel |
| 2013 | CONCUR | Robust Controller Synthesis in Timed Automata. | Ocan Sankur, Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier |
| 2012 | FOSSACS | Concurrent Games with Ordered Objectives. | Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels |
| 2012 | ICALP | Robust Reachability in Timed Automata: A Game-Based Approach. | Patricia Bouyer, Nicolas Markey, Ocan Sankur |
| 2011 | ATVA | Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited. | Patricia Bouyer, Nicolas Markey, Jrg Olschewski, Michael Ummels |
| 2011 | CONCUR | Timed Automata Can Always Be Made Implementable. | Patricia Bouyer, Kim G. Larsen, Nicolas Markey, Ocan Sankur, Claus R. Thrane |
| 2011 | ICALP | Emptiness and Universality Problems in Timed Automata with Positive Frequency. | Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Amlie Stainer |
| 2010 | CONCUR | Nash Equilibria for Reachability Objectives in Multi-player Timed Games. | Patricia Bouyer, Romain Brenguier, Nicolas Markey |
| 2009 | CONCUR | Measuring Permissivity in Finite Games. | Patricia Bouyer, Marie Duflot, Nicolas Markey, Gabriel Renault |
| 2009 | ICALP | When Are Timed Automata Determinizable? | Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye |
| 2009 | ICALP | Reachability in Stochastic Timed Games. | Patricia Bouyer, Vojtech Forejt |
| 2008 | FOSSACS | Robust Analysis of Timed Automata via Channel Machines. | Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier |
| 2008 | ICALP | On Expressiveness and Complexity in Real-Time Model Checking. | Patricia Bouyer, Nicolas Markey, Jol Ouaknine, James Worrell |
| 2008 | LICS | Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata. | Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Grer |
| 2008 | STACS | On Termination for Faulty Channel Machines. | Patricia Bouyer, Nicolas Markey, Jol Ouaknine, Philippe Schnoebelen, James Worrell |
| 2007 | FOSSACS | Model-Checking One-Clock Priced Timed Automata. | Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey |
| 2007 | LFCS | Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata! | Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier |
| 2007 | LICS | The Cost of Punctuality. | Patricia Bouyer, Nicolas Markey, Jol Ouaknine, James Worrell |
| 2006 | ATVA | Timed Unfoldings for Networks of Timed Automata. | Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier |
| 2006 | ATVA | Timed Temporal Logics for Abstracting Transient States. | Houda Bel Mokadem, Batrice Brard, Patricia Bouyer, Franois Laroussinie |
| 2006 | CONCUR | Controller Synthesis for MTL Specifications. | Patricia Bouyer, Laura Bozzelli, Fabrice Chevalier |
| 2006 | ICALP | Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences. | Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier |
| 2006 | LATIN | Robust Model-Checking of Linear-Time Properties in Timed Automata. | Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier |
| 2006 | LICS | Control in o-minimal Hybrid Systems. | Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier |
| 2005 | CONCUR | Modal Logics for Timed Control. | Patricia Bouyer, Franck Cassez, Franois Laroussinie |
| 2005 | CONCUR | A New Modality for Almost Everywhere Properties in Timed Automata. | Houda Bel Mokadem, Batrice Brard, Patricia Bouyer, Franois Laroussinie |
| 2005 | FOSSACS | Fault Diagnosis Using Timed Automata. | Patricia Bouyer, Fabrice Chevalier, Deepak D'Souza |
| 2004 | TACAS | Lower and Upper Bounds in Zone Based Abstractions of Timed Automata. | Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelnek |
| 2003 | CAV | Timed Control with Partial Observability. | Patricia Bouyer, Deepak D'Souza, P. Madhusudan, Antoine Petit |
| 2003 | STACS | Untameable Timed Automata! | Patricia Bouyer |
| 2003 | TACAS | Static Guard Analysis in Timed Automata Verification. | Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim Guldstrand Larsen |
| 2001 | CONCUR | An Algebraic Characterization of Data and Timed Languages. | Patricia Bouyer, Antoine Petit, Denis Thrien |
| 2000 | CAV | Are Timed Automata Updatable? | Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit |
| 2000 | MFCS | Expressiveness of Updatable Timed Automata. | Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit |
| 1999 | ICALP | Decomposition and Composition of Timed Automata. | Patricia Bouyer, Antoine Petit |