Nicolas Markey
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
46
Venues
17
Active years
2001–2025
Best venue rank
A*
Where they publish
Papers
46 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CONCUR | Arbitrary-Arity Tree Automata for QCTL. | Franois Laroussinie, Nicolas Markey |
| 2024 | RV | Distributed Monitoring of Timed Properties. | Lo Henry, Thierry Jron, Nicolas Markey, Victor Roussanaly |
| 2022 | ATVA | Repairing Real-Time Requirements. | Reiya Noguchi, Ocan Sankur, Thierry Jron, Nicolas Markey, David Mentr |
| 2022 | ICALP | Parameterized Safety Verification of Round-Based Shared-Memory Systems. | Nathalie Bertrand, Nicolas Markey, Ocan Sankur, Nicolas Waldburger |
| 2022 | TIME | Logical Forms of Chronicles. | Thomas Guyet, Nicolas Markey |
| 2020 | ECAI | Reasoning About Quality and Fuzziness of Strategic Behaviours. | Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli |
| 2019 | CAV | Abstraction Refinement Algorithms for Timed Automata. | Victor Roussanaly, Ocan Sankur, Nicolas Markey |
| 2019 | IJCAI | Reasoning about Quality and Fuzziness of Strategic Behaviours. | Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli |
| 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 | 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 |
| 2018 | TACAS | Parameterized Verification of Synchronization in Constrained Reconfigurable Broadcast Networks. | A. R. Balasubramanian, Nathalie Bertrand, Nicolas Markey |
| 2017 | FOSSACS | Bounding Average-Energy Games. | Patricia Bouyer, Piotr Hofman, Nicolas Markey, Mickael Randour, Martin Zimmermann |
| 2017 | MFCS | Temporal Logics for Multi-Agent Systems (Invited Talk). | Nicolas Markey |
| 2016 | CAV | Symbolic Optimal Reachability in Weighted Timed Automata. | Patricia Bouyer, Maximilien Colange, Nicolas Markey |
| 2016 | CONCUR | On the Expressiveness of QCTL. | Amlie David, Franois Laroussinie, Nicolas Markey |
| 2016 | ICALP | Reachability in Networks of Register Protocols under Stochastic Schedulers. | Patricia Bouyer, Nicolas Markey, Mickael Randour, Arnaud Sangnier, Daniel Stan |
| 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 | ATVA | Symmetry Reduction in Infinite Games with Finite Branching. | Nicolas Markey, Steen Vester |
| 2014 | CONCUR | Averaging in LTL. | Patricia Bouyer, Nicolas Markey, Raj Mohan Matteplackel |
| 2014 | RTCSA | Component-based analysis of hierarchical scheduling using linear hybrid automata. | Youcheng Sun, Giuseppe Lipari, Romain Soulat, Laurent Fribourg, Nicolas Markey |
| 2013 | CONCUR | Robust Controller Synthesis in Timed Automata. | Ocan Sankur, Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier |
| 2012 | CONCUR | Quantified CTL: Expressiveness and Model Checking - (Extended Abstract). | Arnaud Da Costa Lopes, Franois Laroussinie, Nicolas Markey |
| 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 |
| 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 | LFCS | ATL with Strategy Contexts and Bounded Memory. | Thomas Brihaye, Arnaud Da Costa Lopes, Franois Laroussinie, Nicolas Markey |
| 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 | STACS | On Termination for Faulty Channel Machines. | Patricia Bouyer, Nicolas Markey, Jol Ouaknine, Philippe Schnoebelen, James Worrell |
| 2008 | TIME | Good Friends are Hard to Find! | Thomas Brihaye, Nicolas Markey, Mohamed Ghannem, Lionel Rieg |
| 2007 | CONCUR | Timed Concurrent Game Structures. | Thomas Brihaye, Franois Laroussinie, Nicolas Markey, Ghassan Oreiby |
| 2007 | FOSSACS | Model-Checking One-Clock Priced Timed Automata. | Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey |
| 2007 | FOSSACS | On the Expressiveness and Complexity of ATL. | Franois Laroussinie, Nicolas Markey, Ghassan Oreiby |
| 2007 | LICS | The Cost of Punctuality. | Patricia Bouyer, Nicolas Markey, Jol Ouaknine, James Worrell |
| 2006 | LATIN | Robust Model-Checking of Linear-Time Properties in Timed Automata. | Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier |
| 2004 | CONCUR | Model Checking Timed Automata with One or Two Clocks. | Franois Laroussinie, Nicolas Markey, Philippe Schnoebelen |
| 2004 | CONCUR | Model Checking Restricted Sets of Timed Paths. | Nicolas Markey, Jean-Franois Raskin |
| 2003 | CONCUR | Model Checking a Path. | Nicolas Markey, Philippe Schnoebelen |
| 2002 | FOSSACS | On Model Checking Durational Kripke Structures. | Franois Laroussinie, Nicolas Markey, Philippe Schnoebelen |
| 2002 | LICS | Temporal Logic with Forgettable Past. | Franois Laroussinie, Nicolas Markey, Philippe Schnoebelen |
| 2001 | FOSSACS | Model Checking CTL | Franois Laroussinie, Nicolas Markey, Philippe Schnoebelen |