Nicolas Markey

163 papers A* 5A 3B 31C 3Misc 1Journal 64Unranked 52

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Arbitrary-Arity Tree Automata for QCTL. CONCUR François Laroussinie, Nicolas Markey
2025	B	`conf`	Energy Transfer in Timed Cyclic Networks. Petri Nets Luca Paparazzo, Loïc Hélouët, Nicolas Markey
2024	J	`jnl`	Arbitrary-arity Tree Automata and QCTL. CoRR François Laroussinie, Nicolas Markey
2024	B	`conf`	Distributed Monitoring of Timed Properties. RV Léo Henry, Thierry Jéron, Nicolas Markey, Victor Roussanaly
2024	J	`jnl`	Distributed Monitoring of Timed Properties. CoRR Léo Henry, Thierry Jéron, Nicolas Markey, Victor Roussanaly
2024	J	`jnl`	Online Test Synthesis From Requirements: Enhancing Reinforcement Learning with Game Theory. CoRR Ocan Sankur, Thierry Jéron, Nicolas Markey, David Mentré, Reiya Noguchi
2023	—	`conf`	Computing the Price of Anarchy in Atomic Network Congestion Games (Invited Talk). FORMATS Nicolas Markey
2023	J	`jnl`	Games on Graphs. CoRR Nathanaël Fijalkow, Nathalie Bertrand, Patricia Bouyer-Decitre, Romain Brenguier, Arnaud Carayol, John Fearnley, Hugo Gimbert, Florian Horn, Rasmus Ibsen-Jensen, Nicolas Markey, Benjamin Monmege, Petr Novotný, Mickael Randour, Ocan Sankur, Sylvain Schmitz, Olivier Serre, Mateusz Skomra
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`	Synchronizing words under LTL constraints. Inf. Process. Lett. Nathalie Bertrand, Hugo Francon, Nicolas Markey
2022	J	`jnl`	Control strategies for off-line testing of timed systems. Formal Methods Syst. Des. Léo Henry, Thierry Jéron, Nicolas Markey
2022	C	`conf`	Logical Forms of Chronicles. TIME Thomas Guyet, Nicolas Markey
2022	J	`jnl`	Non-Blind Strategies in Timed Network Congestion Games. CoRR Aline Goeminne, Nicolas Markey, Ocan Sankur
2022	—	`conf`	Non-blind Strategies in Timed Network Congestion Games. FORMATS Aline Goeminne, Nicolas Markey, Ocan Sankur
2022	A*	`conf`	Parameterized Safety Verification of Round-Based Shared-Memory Systems. ICALP Nathalie Bertrand, Nicolas Markey, Ocan Sankur, Nicolas Waldburger
2022	J	`jnl`	Parameterized safety verification of round-based shared-memory systems. CoRR Nathalie Bertrand, Nicolas Markey, Ocan Sankur, Nicolas Waldburger
2022	J	`jnl`	Reachability games with relaxed energy constraints. Inf. Comput. Loïc Hélouët, Nicolas Markey, Ritam Raha
2022	B	`conf`	Repairing Real-Time Requirements. ATVA Reiya Noguchi, Ocan Sankur, Thierry Jéron, Nicolas Markey, David Mentré
2022	—	`conf`	Semilinear Representations for Series-Parallel Atomic Congestion Games. FSTTCS Nathalie Bertrand, Nicolas Markey, Suman Sadhukhan, Ocan Sankur
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`	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
2020	—	`conf`	Active Learning of Timed Automata with Unobservable Resets. FORMATS Léo Henry, Thierry Jéron, Nicolas Markey
2020	J	`jnl`	Active learning of timed automata with unobservable resets. CoRR Léo Henry, Nicolas Markey, Thierry Jéron
2020	—	`conf`	Computing Maximally-Permissive Strategies in Acyclic Timed Automata. FORMATS Emily Clement, Thierry Jéron, Nicolas Markey, David Mentré
2020	J	`jnl`	Computing maximally-permissive strategies in acyclic timed automata. CoRR Emily Clement, Thierry Jéron, Nicolas Markey, David Mentré
2020	J	`jnl`	Dependences in Strategy Logic. Theory Comput. Syst. Patrick Gardy, Patricia Bouyer, Nicolas Markey
2020	—	`conf`	Dynamic Network Congestion Games. FSTTCS Nathalie Bertrand, Nicolas Markey, Suman Sadhukhan, Ocan Sankur
2020	J	`jnl`	Dynamic network congestion games. CoRR Nathalie Bertrand, Nicolas Markey, Suman Sadhukhan, Ocan Sankur
2020	—	`conf`	Incremental Methods for Checking Real-Time Consistency. FORMATS Thierry Jéron, Nicolas Markey, David Mentré, Reiya Noguchi, Ocan Sankur
2020	J	`jnl`	Incremental methods for checking real-time consistency. CoRR Thierry Jéron, Nicolas Markey, David Mentré, Reiya Noguchi, Ocan Sankur
2020	J	`jnl`	Language Preservation Problems in Parametric Timed Automata. Log. Methods Comput. Sci. Étienne André, Didier Lime, Nicolas Markey
2020	A	`conf`	Reasoning About Quality and Fuzziness of Strategic Behaviours. ECAI Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
2019	—	`conf`	Abstraction Refinement Algorithms for Timed Automata. CAV (1) Victor Roussanaly, Ocan Sankur, Nicolas Markey
2019	J	`jnl`	Abstraction Refinement Algorithms for Timed Automata. CoRR Victor Roussanaly, Ocan Sankur, Nicolas Markey
2019	—	`conf`	Reachability Games with Relaxed Energy Constraints. GandALF Loïc Hélouët, Nicolas Markey, Ritam Raha
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
2018	J	`jnl`	Average-energy games. Acta Informatica Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen
2018	J	`jnl`	Compositional synthesis of state-dependent switching control. Theor. Comput. Sci. Adrien Le Coënt, Laurent Fribourg, Nicolas Markey, Florian De Vuyst, Ludovic Chamoin
2018	—	`conf`	Control Strategies for Off-Line Testing of Timed Systems. SPIN Léo Henry, Thierry Jéron, Nicolas Markey
2018	J	`jnl`	Control_strategies_for_off-line_testing_of_timed_systems. CoRR Léo Henry, Thierry Jéron, Nicolas Markey
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	J	`jnl`	Language Preservation Problems in Parametric Timed Automata. CoRR Étienne André, Didier Lime, Nicolas Markey
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	—	`conf`	Parameterized Verification of Synchronization in Constrained Reconfigurable Broadcast Networks. TACAS (2) A. R. Balasubramanian, Nathalie Bertrand, Nicolas Markey
2018	J	`jnl`	Parameterized verification of synchronization in constrained reconfigurable broadcast networks. CoRR A. R. Balasubramanian, Nathalie Bertrand, Nicolas Markey
2017	B	`conf`	Bounding Average-Energy Games. FoSSaCS Patricia Bouyer, Piotr Hofman, Nicolas Markey, Mickael Randour, Martin Zimmermann
2017	J	`jnl`	Courcelle's Theorem Made Dynamic. CoRR Patricia Bouyer-Decitre, Vincent Jugé, Nicolas Markey
2017	J	`jnl`	Dependences in Strategy Logic. CoRR Patrick Gardy, Patricia Bouyer, Nicolas Markey
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	B	`conf`	Temporal Logics for Multi-Agent Systems (Invited Talk). MFCS Nicolas Markey
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
2016	J	`jnl`	Bounding Average-energy Games. CoRR Patricia Bouyer, Piotr Hofman, Nicolas Markey, Mickael Randour, Martin Zimmermann
2016	—	`conf`	Distributed Synthesis of State-Dependent Switching Control. RP Adrien Le Coënt, Laurent Fribourg, Nicolas Markey, Florian De Vuyst, Ludovic Chamoin
2016	J	`jnl`	Distributed Synthesis of State-Dependent Switching Control. CoRR Adrien Le Coënt, Laurent Fribourg, Nicolas Markey, Florian De Vuyst, Ludovic Chamoin
2016	J	`jnl`	Dynamic Complexity of Parity Games with Bounded Tree-Width. CoRR Patricia Bouyer, Vincent Jugé, Nicolas Markey
2016	—	`ed.`	Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings FORMATS Martin Fränzle, Nicolas Markey
2016	B	`conf`	On the Expressiveness of QCTL. CONCUR Amélie David, François Laroussinie, Nicolas Markey
2016	J	`jnl`	On the semantics of Strategy Logic. Inf. Process. Lett. Patricia Bouyer, Patrick Gardy, Nicolas Markey
2016	—	`ed.`	Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters, Cassting/SynCoP 2016, Eindhoven, The Netherlands, April 2-3, 2016. Cassting/SynCoP Thomas Brihaye, Benoît Delahaye, Loïg Jezequel, Nicolas Markey, Jirí Srba
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	—	`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	—	`conf`	ATLsc with partial observation. GandALF François Laroussinie, Nicolas Markey, Arnaud Sangnier
2015	J	`jnl`	Augmenting ATL with strategy contexts. Inf. Comput. François Laroussinie, 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	—	`conf`	Game-based Synthesis of Distributed Controllers for Sampled Switched Systems. SynCoP Laurent Fribourg, Ulrich Kühne, Nicolas Markey
2015	—	`conf`	Language Preservation Problems in Parametric Timed Automata. FORMATS Étienne André, Nicolas Markey
2015	J	`jnl`	Non-Zero-Sum-Games and Control (Dagstuhl Seminar 15061). Dagstuhl Reports Krishnendu Chatterjee, Stéphane Lafortune, Nicolas Markey, Wolfgang Thomas
2015	B	`conf`	On the Value Problem in Weighted Timed Games. CONCUR Patricia Bouyer, Samy Jaziri, Nicolas Markey
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`	Cassting: Synthesizing Complex Systems Using Non-Zero-Sum Games. ERCIM News Nicolas Markey
2014	B	`conf`	Component-based analysis of hierarchical scheduling using linear hybrid automata. RTCSA Youcheng Sun, Giuseppe Lipari, Romain Soulat, Laurent Fribourg, Nicolas Markey
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	J	`jnl`	Quantified CTL: Expressiveness and Complexity. Log. Methods Comput. Sci. François Laroussinie, Nicolas Markey
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	B	`conf`	Symmetry Reduction in Infinite Games with Finite Branching. ATVA Nicolas Markey, Steen Vester
2014	—	`conf`	Synchronizing Words for Weighted and Timed Automata. FSTTCS Laurent Doyen, Line Juhl, Kim Guldstrand Larsen, Nicolas Markey, Mahsa Shirmohammadi
2013	—	`ch.`	Control of Timed Systems. Communicating Embedded Systems Franck Cassez, Nicolas Markey
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
2013	—	`conf`	Satisfiability of ATL with strategy contexts. GandALF François Laroussinie, Nicolas Markey
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	B	`conf`	Quantified CTL: Expressiveness and Model Checking - (Extended Abstract). CONCUR Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey
2012	—	`conf`	Querying Trajectories through Model Checking based on Timed Automata. SBBD (Short Papers) Diego V. Simões S., Henrique Viana, Nicolas Markey, José Antônio Fernandes de Macêdo
2012	—	`conf`	Robust Reachability in Timed Automata: A Game-Based Approach. ICALP (2) Patricia Bouyer, Nicolas Markey, Ocan Sankur
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`	Robustness in real-time systems. SIES Nicolas Markey
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
2010	—	`conf`	ATL with Strategy Contexts: Expressiveness and Model Checking. FSTTCS Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey
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`	On the expressiveness of TPTL and MTL. Inf. Comput. Patricia Bouyer, Fabrice Chevalier, Nicolas Markey
2010	C	`ed.`	TIME 2010 - 17th International Symposium on Temporal Representation and Reasoning, Paris, France, 6-8 September 2010 TIME Nicolas Markey, Jef Wijsen
2010	—	`conf`	Timed automata with observers under energy constraints. HSCC Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey
2010	J	`jnl`	Using Model Checking for Analyzing Distributed Power Control Problems. EURASIP J. Wirel. Commun. Netw. Thomas Brihaye, Marc Jungers, Samson Lasaulce, Nicolas Markey, Ghassan Oreiby
2009	Misc	`conf`	ATL with Strategy Contexts and Bounded Memory. LFCS Thomas Brihaye, Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey
2009	B	`conf`	Measuring Permissivity in Finite Games. CONCUR Patricia Bouyer, Marie Duflot, Nicolas Markey, Gabriel Renault
2008	C	`conf`	Good Friends are Hard to Find! TIME Thomas Brihaye, Nicolas Markey, Mohamed Ghannem, Lionel Rieg
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`	On the Expressiveness and Complexity of ATL CoRR François Laroussinie, Nicolas Markey, Ghassan Oreiby
2008	J	`jnl`	On the Expressiveness and Complexity of ATL. Log. Methods Comput. Sci. François Laroussinie, Nicolas Markey, Ghassan Oreiby
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`	Robust safety of timed automata. Formal Methods Syst. Des. Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin
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	B	`conf`	On the Expressiveness and Complexity of ATL. FoSSaCS François Laroussinie, Nicolas Markey, Ghassan Oreiby
2007	A*	`conf`	The Cost of Punctuality. LICS Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell
2007	B	`conf`	Timed Concurrent Game Structures. CONCUR Thomas Brihaye, François Laroussinie, Nicolas Markey, Ghassan Oreiby
2006	—	`conf`	Almost Optimal Strategies in One Clock Priced Timed Games. FSTTCS Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey, Jacob Illum Rasmussen
2006	J	`jnl`	Efficient timed model checking for discrete-time systems. Theor. Comput. Sci. François Laroussinie, Nicolas Markey, Philippe Schnoebelen
2006	J	`jnl`	Improved undecidability results on weighted timed automata. Inf. Process. Lett. Patricia Bouyer, Thomas Brihaye, Nicolas Markey
2006	J	`jnl`	Model checking restricted sets of timed paths. Theor. Comput. Sci. Nicolas Markey, Jean-François Raskin
2006	—	`conf`	Model-Checking Timed. FORMATS François Laroussinie, Nicolas Markey, Ghassan Oreiby
2006	J	`jnl`	Mu-calculus path checking. Inf. Process. Lett. Nicolas Markey, Philippe Schnoebelen
2006	B	`conf`	Robust Model-Checking of Linear-Time Properties in Timed Automata. LATIN Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier
2005	—	`conf`	On the Expressiveness of TPTL and MTL. FSTTCS Patricia Bouyer, Fabrice Chevalier, Nicolas Markey
2004	J	`jnl`	A PTIME-complete matching problem for SLP-compressed words. Inf. Process. Lett. Nicolas Markey, Philippe Schnoebelen
2004	B	`conf`	Model Checking Restricted Sets of Timed Paths. CONCUR Nicolas Markey, Jean-François Raskin
2004	B	`conf`	Model Checking Timed Automata with One or Two Clocks. CONCUR François Laroussinie, Nicolas Markey, Philippe Schnoebelen
2004	—	`conf`	Non-deterministic Temporal Logics for General Flow Systems. HSCC Jennifer M. Davoren, Vaughan Coulthard, Nicolas Markey, Thomas Moor
2004	J	`jnl`	Past is for free: on the complexity of verifying linear temporal properties with past. Acta Informatica Nicolas Markey
2004	—	`conf`	Robustness and Implementability of Timed Automata. FORMATS/FTRTFT Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin
2004	—	`conf`	Symbolic Model Checking for Simply-Timed Systems. FORMATS/FTRTFT Nicolas Markey, Philippe Schnoebelen
2004	—	`conf`	TSMV: A Symbolic Model Checker for Quantitative Analysis of Systems. QEST Nicolas Markey, Philippe Schnoebelen
2003	B	`conf`	Model Checking a Path. CONCUR Nicolas Markey, Philippe Schnoebelen
2003	J	`jnl`	Temporal logic with past is exponentially more succinct, Concurrency Column. Bull. EATCS Nicolas Markey
2002	B	`conf`	On Model Checking Durational Kripke Structures. FoSSaCS François Laroussinie, Nicolas Markey, Philippe Schnoebelen
2002	—	`conf`	Past is for Free: on the Complexity of Verifying Linear Temporal Properties with Past. EXPRESS Nicolas Markey
2002	A*	`conf`	Temporal Logic with Forgettable Past. LICS François Laroussinie, Nicolas Markey, Philippe Schnoebelen
2001	B	`conf`	Model Checking CTL FoSSaCS François Laroussinie, Nicolas Markey, Philippe Schnoebelen