


default search action
Nicolas Markey
Person information
- affiliation: University of Rennes, France
- affiliation: ENS Cachan, Paris, France
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c92]Léo Henry
, Thierry Jéron, Nicolas Markey, Victor Roussanaly:
Distributed Monitoring of Timed Properties. RV 2024: 243-261 - [i30]Ocan Sankur, Thierry Jéron, Nicolas Markey, David Mentré, Reiya Noguchi:
Online Test Synthesis From Requirements: Enhancing Reinforcement Learning with Game Theory. CoRR abs/2407.18994 (2024) - [i29]Léo Henry, Thierry Jéron, Nicolas Markey, Victor Roussanaly:
Distributed Monitoring of Timed Properties. CoRR abs/2410.00465 (2024) - [i28]François Laroussinie, Nicolas Markey:
Arbitrary-arity Tree Automata and QCTL. CoRR abs/2410.18799 (2024) - 2023
- [j34]Nathalie Bertrand, Hugo Francon, Nicolas Markey:
Synchronizing words under LTL constraints. Inf. Process. Lett. 182: 106392 (2023) - [j33]Patricia Bouyer
, Orna Kupferman
, Nicolas Markey
, Bastien Maubert
, Aniello Murano
, Giuseppe Perelli
:
Reasoning about Quality and Fuzziness of Strategic Behaviors. ACM Trans. Comput. Log. 24(3): 21:1-21:38 (2023) - [c91]Nicolas Markey:
Computing the Price of Anarchy in Atomic Network Congestion Games (Invited Talk). FORMATS 2023: 3-12 - [i27]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:
Games on Graphs. CoRR abs/2305.10546 (2023) - 2022
- [j32]Léo Henry
, Thierry Jéron, Nicolas Markey:
Control strategies for off-line testing of timed systems. Formal Methods Syst. Des. 60(2): 147-194 (2022) - [j31]Loïc Hélouët
, Nicolas Markey, Ritam Raha
:
Reachability games with relaxed energy constraints. Inf. Comput. 285(Part): 104806 (2022) - [c90]Reiya Noguchi, Ocan Sankur, Thierry Jéron, Nicolas Markey, David Mentré:
Repairing Real-Time Requirements. ATVA 2022: 371-387 - [c89]Aline Goeminne, Nicolas Markey, Ocan Sankur:
Non-blind Strategies in Timed Network Congestion Games. FORMATS 2022: 183-199 - [c88]Nathalie Bertrand, Nicolas Markey, Suman Sadhukhan, Ocan Sankur:
Semilinear Representations for Series-Parallel Atomic Congestion Games. FSTTCS 2022: 32:1-32:20 - [c87]Nathalie Bertrand, Nicolas Markey, Ocan Sankur, Nicolas Waldburger
:
Parameterized Safety Verification of Round-Based Shared-Memory Systems. ICALP 2022: 113:1-113:20 - [c86]Thomas Guyet
, Nicolas Markey:
Logical Forms of Chronicles. TIME 2022: 7:1-7:15 - [i26]Nathalie Bertrand, Nicolas Markey, Ocan Sankur, Nicolas Waldburger:
Parameterized safety verification of round-based shared-memory systems. CoRR abs/2204.11670 (2022) - [i25]Aline Goeminne, Nicolas Markey, Ocan Sankur:
Non-Blind Strategies in Timed Network Congestion Games. CoRR abs/2207.01537 (2022) - 2021
- [j30]Giovanni Bacci
, Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen
, Nicolas Markey, Pierre-Alain Reynier:
Optimal and robust controller synthesis using energy timed automata with uncertainty. Formal Aspects Comput. 33(1): 3-25 (2021) - [j29]Patricia Bouyer, Léo Henry
, Samy Jaziri, Thierry Jéron, Nicolas Markey:
Diagnosing timed automata using timed markings. Int. J. Softw. Tools Technol. Transf. 23(2): 229-253 (2021) - 2020
- [j28]Étienne André, Didier Lime, Nicolas Markey:
Language Preservation Problems in Parametric Timed Automata. Log. Methods Comput. Sci. 16(1) (2020) - [j27]Patrick Gardy, Patricia Bouyer, Nicolas Markey
:
Dependences in Strategy Logic. Theory Comput. Syst. 64(3): 467-507 (2020) - [c85]Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano
, Giuseppe Perelli:
Reasoning About Quality and Fuzziness of Strategic Behaviours. ECAI 2020: 2887-2888 - [c84]Emily Clement
, Thierry Jéron
, Nicolas Markey
, David Mentré
:
Computing Maximally-Permissive Strategies in Acyclic Timed Automata. FORMATS 2020: 111-126 - [c83]Léo Henry
, Thierry Jéron
, Nicolas Markey
:
Active Learning of Timed Automata with Unobservable Resets. FORMATS 2020: 144-160 - [c82]Thierry Jéron
, Nicolas Markey
, David Mentré
, Reiya Noguchi, Ocan Sankur
:
Incremental Methods for Checking Real-Time Consistency. FORMATS 2020: 249-264 - [c81]Nathalie Bertrand
, Nicolas Markey
, Suman Sadhukhan, Ocan Sankur
:
Dynamic Network Congestion Games. FSTTCS 2020: 40:1-40:16 - [i24]Thierry Jéron, Nicolas Markey, David Mentré, Reiya Noguchi, Ocan Sankur
:
Incremental methods for checking real-time consistency. CoRR abs/2007.01014 (2020) - [i23]Léo Henry, Nicolas Markey, Thierry Jéron:
Active learning of timed automata with unobservable resets. CoRR abs/2007.01637 (2020) - [i22]Emily Clement, Thierry Jéron, Nicolas Markey, David Mentré:
Computing maximally-permissive strategies in acyclic timed automata. CoRR abs/2007.01815 (2020) - [i21]Nathalie Bertrand, Nicolas Markey, Suman Sadhukhan, Ocan Sankur:
Dynamic network congestion games. CoRR abs/2009.13632 (2020)
2010 – 2019
- 2019
- [c80]Victor Roussanaly, Ocan Sankur, Nicolas Markey:
Abstraction Refinement Algorithms for Timed Automata. CAV (1) 2019: 22-40 - [c79]Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano
, Giuseppe Perelli:
Reasoning about Quality and Fuzziness of Strategic Behaviours. IJCAI 2019: 1588-1594 - [c78]Loïc Hélouët, Nicolas Markey, Ritam Raha
:
Reachability Games with Relaxed Energy Constraints. GandALF 2019: 17-33 - [i20]Victor Roussanaly, Ocan Sankur, Nicolas Markey:
Abstraction Refinement Algorithms for Timed Automata. CoRR abs/1905.07365 (2019) - [i19]Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli:
Reasoning about Quality and Fuzziness of Strategic Behaviours. CoRR abs/1905.11537 (2019) - 2018
- [j26]Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen
, Simon Laursen:
Average-energy games. Acta Informatica 55(2): 91-127 (2018) - [j25]Adrien Le Coënt, Laurent Fribourg, Nicolas Markey
, Florian De Vuyst, Ludovic Chamoin:
Compositional synthesis of state-dependent switching control. Theor. Comput. Sci. 750: 53-68 (2018) - [c77]Giovanni Bacci
, Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen
, Nicolas Markey, Pierre-Alain Reynier:
Optimal and Robust Controller Synthesis - Using Energy Timed Automata with Uncertainty. FM 2018: 203-221 - [c76]Patricia Bouyer, Samy Jaziri, Nicolas Markey:
Efficient Timed Diagnosis Using Automata with Timed Domains. RV 2018: 205-221 - [c75]Léo Henry
, Thierry Jéron
, Nicolas Markey
:
Control Strategies for Off-Line Testing of Timed Systems. SPIN 2018: 171-189 - [c74]Patrick Gardy, Patricia Bouyer, Nicolas Markey:
Dependences in Strategy Logic. STACS 2018: 34:1-34:15 - [c73]A. R. Balasubramanian
, Nathalie Bertrand
, Nicolas Markey:
Parameterized Verification of Synchronization in Constrained Reconfigurable Broadcast Networks. TACAS (2) 2018: 38-54 - [c72]Patricia Bouyer, Mauricio González, Nicolas Markey, Mickael Randour:
Multi-weighted Markov Decision Processes with Reachability Objectives. GandALF 2018: 250-264 - [p2]Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen
, Nicolas Markey
, Joël Ouaknine, James Worrell
:
Model Checking Real-Time Systems. Handbook of Model Checking 2018: 1001-1046 - [i18]A. R. Balasubramanian, Nathalie Bertrand, Nicolas Markey:
Parameterized verification of synchronization in constrained reconfigurable broadcast networks. CoRR abs/1802.08469 (2018) - [i17]Léo Henry, Thierry Jéron, Nicolas Markey:
Control_strategies_for_off-line_testing_of_timed_systems. CoRR abs/1804.11234 (2018) - [i16]Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Pierre-Alain Reynier:
Optimal and Robust Controller Synthesis: using Energy Timed Automata with Uncertainty. CoRR abs/1805.00847 (2018) - [i15]Étienne André, Didier Lime, Nicolas Markey:
Language Preservation Problems in Parametric Timed Automata. CoRR abs/1807.07091 (2018) - 2017
- [j24]Patricia Bouyer, Nicolas Markey
, Steen Vester:
Nash equilibria in symmetric graph games with partial observation. Inf. Comput. 254: 238-258 (2017) - [j23]Patricia Bouyer, Nicolas Markey
, Nicolas Perrin, Philipp Schlehuber-Caissier:
Timed-automata abstraction of switched dynamical systems using control invariants. Real Time Syst. 53(3): 327-353 (2017) - [c71]Patricia Bouyer, François Laroussinie, Nicolas Markey
, Joël Ouaknine, James Worrell
:
Timed Temporal Logics. Models, Algorithms, Logics and Tools 2017: 211-230 - [c70]Patricia Bouyer, Samy Jaziri, Nicolas Markey
:
On the Determinization of Timed Systems. FORMATS 2017: 25-41 - [c69]Patricia Bouyer, Piotr Hofman, Nicolas Markey
, Mickael Randour, Martin Zimmermann
:
Bounding Average-Energy Games. FoSSaCS 2017: 179-195 - [c68]Nicolas Markey:
Temporal Logics for Multi-Agent Systems (Invited Talk). MFCS 2017: 84:1-84:3 - [i14]Patricia Bouyer-Decitre, Vincent Jugé, Nicolas Markey:
Courcelle's Theorem Made Dynamic. CoRR abs/1702.05183 (2017) - [i13]Patrick Gardy, Patricia Bouyer, Nicolas Markey:
Dependences in Strategy Logic. CoRR abs/1708.05849 (2017) - 2016
- [j22]Patricia Bouyer, Patrick Gardy, Nicolas Markey
:
On the semantics of Strategy Logic. Inf. Process. Lett. 116(2): 75-79 (2016) - [c67]Patricia Bouyer, Maximilien Colange
, Nicolas Markey
:
Symbolic Optimal Reachability in Weighted Timed Automata. CAV (1) 2016: 513-530 - [c66]Amélie David, François Laroussinie, Nicolas Markey:
On the Expressiveness of QCTL. CONCUR 2016: 28:1-28:15 - [c65]Patricia Bouyer, Nicolas Markey, Mickael Randour, Arnaud Sangnier
, Daniel Stan
:
Reachability in Networks of Register Protocols under Stochastic Schedulers. ICALP 2016: 106:1-106:14 - [c64]Adrien Le Coënt, Laurent Fribourg, Nicolas Markey
, Florian De Vuyst
, Ludovic Chamoin:
Distributed Synthesis of State-Dependent Switching Control. RP 2016: 119-133 - [c63]Patricia Bouyer, Nicolas Markey
, Daniel Stan
:
Stochastic Equilibria under Imprecise Deviations in Terminal-Reward Concurrent Games. GandALF 2016: 61-75 - [e3]Martin Fränzle, Nicolas Markey
:
Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings. Lecture Notes in Computer Science 9884, Springer 2016, ISBN 978-3-319-44877-0 [contents] - [e2]Thomas Brihaye, Benoît Delahaye
, Loïg Jezequel
, Nicolas Markey, Jirí Srba:
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. EPTCS 220, 2016 [contents] - [i12]Patricia Bouyer, Maximilien Colange, Nicolas Markey:
Symbolic Optimal Reachability in Weighted Timed Automata. CoRR abs/1602.00481 (2016) - [i11]Patricia Bouyer, Nicolas Markey, Mickael Randour, Arnaud Sangnier, Daniel Stan:
Reachability in Networks of Register Protocols under Stochastic Schedulers. CoRR abs/1602.05928 (2016) - [i10]Adrien Le Coënt, Laurent Fribourg, Nicolas Markey, Florian De Vuyst, Ludovic Chamoin:
Distributed Synthesis of State-Dependent Switching Control. CoRR abs/1604.01745 (2016) - [i9]Patricia Bouyer, Vincent Jugé, Nicolas Markey:
Dynamic Complexity of Parity Games with Bounded Tree-Width. CoRR abs/1610.00571 (2016) - [i8]Patricia Bouyer, Piotr Hofman, Nicolas Markey, Mickael Randour, Martin Zimmermann:
Bounding Average-energy Games. CoRR abs/1610.07858 (2016) - 2015
- [j21]Patricia Bouyer, Romain Brenguier, Nicolas Markey
, Michael Ummels:
Pure Nash Equilibria in Concurrent Deterministic Games. Log. Methods Comput. Sci. 11(2) (2015) - [j20]Patricia Bouyer, Erwin Fang, Nicolas Markey:
Permissive strategies in timed automata and games. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015) - [j19]François Laroussinie, Nicolas Markey
:
Augmenting ATL with strategy contexts. Inf. Comput. 245: 98-123 (2015) - [j18]Patricia Bouyer, Nicolas Markey
, Ocan Sankur:
Robust reachability in timed automata and games: A game-based approach. Theor. Comput. Sci. 563: 43-74 (2015) - [c62]Patricia Bouyer, Samy Jaziri, Nicolas Markey:
On the Value Problem in Weighted Timed Games. CONCUR 2015: 311-324 - [c61]Étienne André
, Nicolas Markey
:
Language Preservation Problems in Parametric Timed Automata. FORMATS 2015: 27-43 - [c60]Patricia Bouyer, Nicolas Markey
, Nicolas Perrin, Philipp Schlehuber-Caissier:
Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels. FORMATS 2015: 60-75 - [c59]Patricia Bouyer, Patrick Gardy, Nicolas Markey:
Weighted Strategy Logic with Boolean Goals Over One-Counter Games. FSTTCS 2015: 69-83 - [c58]Laurent Fribourg, Ulrich Kühne, Nicolas Markey:
Game-based Synthesis of Distributed Controllers for Sampled Switched Systems. SynCoP 2015: 48-62 - [c57]Patricia Bouyer, Nicolas Markey
, Mickael Randour, Kim Guldstrand Larsen
, Simon Laursen:
Average-energy games. GandALF 2015: 1-15 - [c56]François Laroussinie, Nicolas Markey
, Arnaud Sangnier
:
ATLsc with partial observation. GandALF 2015: 43-57 - [i7]Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen:
Average-energy games (full version). CoRR abs/1512.08106 (2015) - [i6]Krishnendu Chatterjee, Stéphane Lafortune, Nicolas Markey, Wolfgang Thomas:
Non-Zero-Sum-Games and Control (Dagstuhl Seminar 15061). Dagstuhl Reports 5(2): 1-25 (2015) - 2014
- [j17]François Laroussinie, Nicolas Markey
:
Quantified CTL: Expressiveness and Complexity. Log. Methods Comput. Sci. 10(4) (2014) - [j16]Ocan Sankur, Patricia Bouyer, Nicolas Markey
:
Shrinking timed automata. Inf. Comput. 234: 107-132 (2014) - [j15]Patricia Bouyer, Kim G. Larsen
, Nicolas Markey
:
Lower-bound-constrained runs in weighted timed automata. Perform. Evaluation 73: 91-109 (2014) - [c55]Patricia Bouyer, Patrick Gardy, Nicolas Markey
:
Quantitative Verification of Weighted Kripke Structures. ATVA 2014: 64-80 - [c54]Nicolas Markey
, Steen Vester:
Symmetry Reduction in Infinite Games with Finite Branching. ATVA 2014: 281-296 - [c53]Patricia Bouyer, Nicolas Markey
, Raj Mohan Matteplackel:
Averaging in LTL. CONCUR 2014: 266-280 - [c52]Laurent Doyen, Line Juhl, Kim Guldstrand Larsen
, Nicolas Markey, Mahsa Shirmohammadi:
Synchronizing Words for Weighted and Timed Automata. FSTTCS 2014: 121-132 - [c51]Patricia Bouyer, Nicolas Markey, Daniel Stan
:
Mixed Nash Equilibria in Concurrent Terminal-Reward Games. FSTTCS 2014: 351-363 - [c50]Youcheng Sun
, Giuseppe Lipari
, Romain Soulat, Laurent Fribourg, Nicolas Markey
:
Component-based analysis of hierarchical scheduling using linear hybrid automata. RTCSA 2014: 1-10 - [c49]Patricia Bouyer, Nicolas Markey
, Steen Vester:
Nash Equilibria in Symmetric Games with Partial Observation. SR 2014: 49-55 - [i5]Nicolas Markey:
Cassting: Synthesizing Complex Systems Using Non-Zero-Sum Games. ERCIM News 2014(97) (2014) - 2013
- [c48]Ocan Sankur, Patricia Bouyer, Nicolas Markey
, Pierre-Alain Reynier:
Robust Controller Synthesis in Timed Automata. CONCUR 2013: 546-560 - [c47]Patricia Bouyer, Nicolas Markey
, Ocan Sankur:
Robust Weighted Timed Automata and Games. FORMATS 2013: 31-46 - [c46]Patricia Bouyer, Nicolas Markey
, Ocan Sankur:
Robustness in Timed Automata. RP 2013: 1-18 - [c45]François Laroussinie, Nicolas Markey
:
Satisfiability of ATL with strategy contexts. GandALF 2013: 208-223 - [p1]Franck Cassez
, Nicolas Markey
:
Control of Timed Systems. Communicating Embedded Systems 2013: 67-105 - 2012
- [j14]Patricia Bouyer, Nicolas Markey
, Joël Ouaknine
, Philippe Schnoebelen, James Worrell
:
On termination and invariance for faulty channel machines. Formal Aspects Comput. 24(4-6): 595-607 (2012) - [c44]Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey
:
Quantified CTL: Expressiveness and Model Checking - (Extended Abstract). CONCUR 2012: 177-192 - [c43]Patricia Bouyer, Romain Brenguier, Nicolas Markey
, Michael Ummels:
Concurrent Games with Ordered Objectives. FoSSaCS 2012: 301-315 - [c42]Patricia Bouyer, Nicolas Markey
, Ocan Sankur:
Robust Reachability in Timed Automata: A Game-Based Approach. ICALP (2) 2012: 128-140 - [c41]Patricia Bouyer, Kim Guldstrand Larsen
, Nicolas Markey
:
Lower-Bound Constrained Runs in Weighted Timed Automata. QEST 2012: 128-137 - [c40]Diego V. Simões S., Henrique Viana, Nicolas Markey, José Antônio Fernandes de Macêdo:
Querying Trajectories through Model Checking based on Timed Automata. SBBD (Short Papers) 2012: 33-40 - 2011
- [j13]Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen
, Nicolas Markey
:
Quantitative analysis of real-time systems using priced timed automata. Commun. ACM 54(9): 78-87 (2011) - [c39]Patricia Bouyer, Nicolas Markey
, Jörg Olschewski, Michael Ummels:
Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited. ATVA 2011: 135-149 - [c38]Patricia Bouyer, Kim G. Larsen
, Nicolas Markey
, Ocan Sankur, Claus R. Thrane:
Timed Automata Can Always Be Made Implementable. CONCUR 2011: 76-91 - [c37]Patricia Bouyer, Nicolas Markey
, Ocan Sankur:
Robust Model-Checking of Timed Automata via Pumping in Channel Machines. FORMATS 2011: 97-112 - [c36]Ocan Sankur, Patricia Bouyer, Nicolas Markey:
Shrinking Timed Automata. FSTTCS 2011: 90-102 - [c35]Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels:
Nash Equilibria in Concurrent Games with Büchi Objectives. FSTTCS 2011: 375-386 - [c34]Nicolas Markey
:
Robustness in real-time systems. SIES 2011: 28-34 - [i4]Patricia Bouyer, Nicolas Markey, Jörg Olschewski, Michael Ummels:
Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited. CoRR abs/1102.3615 (2011) - 2010
- [j12]Thomas Brihaye, Marc Jungers
, Samson Lasaulce, Nicolas Markey, Ghassan Oreiby:
Using Model Checking for Analyzing Distributed Power Control Problems. EURASIP J. Wirel. Commun. Netw. 2010 (2010) - [j11]Patricia Bouyer, Fabrice Chevalier, Nicolas Markey
:
On the expressiveness of TPTL and MTL. Inf. Comput. 208(2): 97-116 (2010) - [c33]Patricia Bouyer, Romain Brenguier, Nicolas Markey
:
Nash Equilibria for Reachability Objectives in Multi-player Timed Games. CONCUR 2010: 192-206 - [c32]Patricia Bouyer, Romain Brenguier, Nicolas Markey
:
Computing Equilibria in Two-Player Timed Games via Turn-Based Finite Games. FORMATS 2010: 62-76 - [c31]Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey:
ATL with Strategy Contexts: Expressiveness and Model Checking. FSTTCS 2010: 120-132 - [c30]Paul Hunter
, Patricia Bouyer, Nicolas Markey, Joël Ouaknine
, James Worrell
:
Computing Rational Radical Sums in Uniform TC^0. FSTTCS 2010: 308-316 - [c29]Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen
, Nicolas Markey
:
Timed automata with observers under energy constraints. HSCC 2010: 61-70 - [e1]Nicolas Markey, Jef Wijsen:
TIME 2010 - 17th International Symposium on Temporal Representation and Reasoning, Paris, France, 6-8 September 2010. IEEE Computer Society 2010, ISBN 978-0-7695-4187-7 [contents]
2000 – 2009
- 2009
- [c28]Patricia Bouyer, Marie Duflot
, Nicolas Markey
, Gabriel Renault:
Measuring Permissivity in Finite Games. CONCUR 2009: 196-210 - [c27]Thomas Brihaye, Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey
:
ATL with Strategy Contexts and Bounded Memory. LFCS 2009: 92-106 - 2008
- [j10]Martin De Wulf, Laurent Doyen, Nicolas Markey
, Jean-François Raskin:
Robust safety of timed automata. Formal Methods Syst. Des. 33(1-3): 45-84 (2008) - [j9]Patricia Bouyer, Kim Guldstrand Larsen
, Nicolas Markey
:
Model Checking One-Clock Priced Timed Automata. Log. Methods Comput. Sci. 4(2) (2008) - [j8]François Laroussinie, Nicolas Markey
, Ghassan Oreiby:
On the Expressiveness and Complexity of ATL. Log. Methods Comput. Sci. 4(2) (2008) - [c26]Patricia Bouyer, Ulrich Fahrenberg, Kim Guldstrand Larsen
, Nicolas Markey
, Jirí Srba
:
Infinite Runs in Weighted Timed Automata with Energy Constraints. FORMATS 2008: 33-47 - [c25]Patricia Bouyer, Nicolas Markey
, Pierre-Alain Reynier:
Robust Analysis of Timed Automata via Channel Machines. FoSSaCS 2008: 157-171 - [c24]Patricia Bouyer, Nicolas Markey
, Joël Ouaknine
, James Worrell
:
On Expressiveness and Complexity in Real-Time Model Checking. ICALP (2) 2008: 124-135 - [c23]Nathalie Bertrand
, Patricia Bouyer, Thomas Brihaye, Nicolas Markey
:
Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics. QEST 2008: 55-64 - [c22]Patricia Bouyer, Nicolas Markey, Joël Ouaknine, Philippe Schnoebelen, James Worrell:
On Termination for Faulty Channel Machines. STACS 2008: 121-132 - [c21]Thomas Brihaye, Nicolas Markey
, Mohamed Ghannem, Lionel Rieg:
Good Friends are Hard to Find! TIME 2008: 32-40 - [i3]Patricia Bouyer, Nicolas Markey, Joël Ouaknine, Philippe Schnoebelen, James Worrell:
On Termination for Faulty Channel Machines. CoRR abs/0802.2839 (2008) - [i2]François Laroussinie, Nicolas Markey, Ghassan Oreiby:
On the Expressiveness and Complexity of ATL. CoRR abs/0804.2435 (2008) - [i1]Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey:
Model Checking One-clock Priced Timed Automata. CoRR abs/0805.1457 (2008) - 2007
- [c20]Thomas Brihaye, François Laroussinie, Nicolas Markey
, Ghassan Oreiby:
Timed Concurrent Game Structures. CONCUR 2007: 445-459 - [c19]Patricia Bouyer, Nicolas Markey
:
Costs Are Expensive! FORMATS 2007: 53-68 - [c18]Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey
:
Model-Checking One-Clock Priced Timed Automata. FoSSaCS 2007: 108-122 - [c17]François Laroussinie, Nicolas Markey
, Ghassan Oreiby:
On the Expressiveness and Complexity of ATL. FoSSaCS 2007: 243-257 - [c16]Patricia Bouyer, Nicolas Markey
, Joël Ouaknine
, James Worrell
:
The Cost of Punctuality. LICS 2007: 109-120 - 2006
- [j7]Nicolas Markey
, Philippe Schnoebelen:
Mu-calculus path checking. Inf. Process. Lett. 97(6): 225-230 (2006) - [j6]Patricia Bouyer, Thomas Brihaye, Nicolas Markey
:
Improved undecidability results on weighted timed automata. Inf. Process. Lett. 98(5): 188-194 (2006) - [j5]François Laroussinie, Nicolas Markey, Philippe Schnoebelen:
Efficient timed model checking for discrete-time systems. Theor. Comput. Sci. 353(1-3): 249-271 (2006) - [j4]Nicolas Markey
, Jean-François Raskin:
Model checking restricted sets of timed paths. Theor. Comput. Sci. 358(2-3): 273-292 (2006) - [c15]François Laroussinie, Nicolas Markey
, Ghassan Oreiby:
Model-Checking Timed. FORMATS 2006: 245-259 - [c14]Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey, Jacob Illum Rasmussen:
Almost Optimal Strategies in One Clock Priced Timed Games. FSTTCS 2006: 345-356 - [c13]Patricia Bouyer, Nicolas Markey
, Pierre-Alain Reynier:
Robust Model-Checking of Linear-Time Properties in Timed Automata. LATIN 2006: 238-249 - 2005
- [c12]Patricia Bouyer, Fabrice Chevalier, Nicolas Markey
:
On the Expressiveness of TPTL and MTL. FSTTCS 2005: 432-443 - 2004
- [j3]Nicolas Markey
:
Past is for free: on the complexity of verifying linear temporal properties with past. Acta Informatica 40(6-7): 431-458 (2004) - [j2]Nicolas Markey, Philippe Schnoebelen:
A PTIME-complete matching problem for SLP-compressed words. Inf. Process. Lett. 90(1): 3-6 (2004) - [c11]François Laroussinie, Nicolas Markey, Philippe Schnoebelen:
Model Checking Timed Automata with One or Two Clocks. CONCUR 2004: 387-401 - [c10]Nicolas Markey
, Jean-François Raskin:
Model Checking Restricted Sets of Timed Paths. CONCUR 2004: 432-447 - [c9]Nicolas Markey
, Philippe Schnoebelen:
Symbolic Model Checking for Simply-Timed Systems. FORMATS/FTRTFT 2004: 102-117 - [c8]Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin:
Robustness and Implementability of Timed Automata. FORMATS/FTRTFT 2004: 118-133 - [c7]Jennifer M. Davoren, Vaughan Coulthard, Nicolas Markey
, Thomas Moor:
Non-deterministic Temporal Logics for General Flow Systems. HSCC 2004: 280-295 - [c6]Nicolas Markey, Philippe Schnoebelen:
TSMV: A Symbolic Model Checker for Quantitative Analysis of Systems. QEST 2004: 330-331 - 2003
- [j1]Nicolas Markey:
Temporal logic with past is exponentially more succinct, Concurrency Column. Bull. EATCS 79: 122-128 (2003) - [c5]Nicolas Markey, Philippe Schnoebelen:
Model Checking a Path. CONCUR 2003: 248-262 - 2002
- [c4]François Laroussinie, Nicolas Markey
, Philippe Schnoebelen:
On Model Checking Durational Kripke Structures. FoSSaCS 2002: 264-279 - [c3]François Laroussinie, Nicolas Markey, Philippe Schnoebelen:
Temporal Logic with Forgettable Past. LICS 2002: 383-392 - [c2]Nicolas Markey
:
Past is for Free: on the Complexity of Verifying Linear Temporal Properties with Past. EXPRESS 2002: 87-104 - 2001
- [c1]François Laroussinie, Nicolas Markey
, Philippe Schnoebelen:
Model Checking CTL+ and FCTL is Hard. FoSSaCS 2001: 318-331
Coauthor Index
aka: Patricia Bouyer-Decitre
aka: Kim Guldstrand Larsen

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-05-03 00:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint