• Home
• People
• Publications

Publications of Nicolas Markey

Load the BibTeX file

Academic Journals

1. Nathalie Bertrand, Hugo Francon, Nicolas Markey. Synchronizing words under LTL constraints. Information Processing Letters, 182, August 2023.
2. Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli. Reasoning about Quality and Fuzziness of Strategic Behaviors. ACM Transactions on Computational Logic, 24(3):1-38, July 2023.
3. L. Hélouet, N. Markey, R. Raha. Reachability games with relaxed energy constraints. Information and Computation, 285B, May 2022.
4. L. Henry, T. Jéron, N. Markey. Control strategies for off-line testing of timed systems. Formal Methods in System Design, April 2022.
5. P. Bouyer, L. Henry, S. Jaziri, Th. Jéron, N. Markey. Diagnosing timed automata using timed markings. International Journal on Software Tools for Technology Transfer, 23(2):229-253, April 2021.
6. Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim Larsen, Nicolas Markey, Pierre-Alain Reynier. Optimal and robust controller synthesis using energy timed automata with uncertainty. Formal Aspects of Computing, 33(1):3-25, January 2021.
7. P. Gardy, P. Bouyer, N. Markey. Dependences in Strategy Logic. Theory of Computing Systems, 64(3):467-507, April 2020.
8. E. André, D. Lime, N. Markey. Language Preservation Problems in Parametric Timed Automata. Logical Methods in Computer Science, Extended version of the paper of the name published in the proceedings of FORMATS 2015, 16(1), January 2020.
9. A. Le Coent, L. Fribourg, N. Markey, F. De Vuyst, L. Chamoin. Compositional synthesis of state-dependent switching control. Theoretical Computer Science, 750:53-68, November 2018.
10. P. Bouyer, N. Markey, M. Randour, K. Larsen, S. Laursen. Average-energy games. Acta Informatica, 55(2):91-127, March 2018.
11. P. Bouyer, N. Markey, O. Sankur. Robust Reachability in Timed Automata: Game-Based Approach. Journal of Theoretical Computer Science (TCS), 563:43-74, 2015.
12. Ocan Sankur, Patricia Bouyer, Nicolas Markey. Shrinking timed automata. Information and Computation, 234(0):107-132, 2014.

Book Chapters

1. P. Bouyer, u. Fahrenberg, K. Larsen, N. Markey, J. Ouaknine, J. Worrell. Model Checking Real-Time Systems. In Handbook of model checking, pp. 1001-1046, April 2018.
2. P. Bouyer, F. Laroussinie, N. Markey, J. Ouaknine, J. Worrell. Timed temporal logics. In Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, Vol. 10460, pp. 211-230, Lecture Notes in Computer Science, Springer, August 2017.

International Conferences

1. Nicolas Markey. Computing the Price of Anarchy in Atomic Network Congestion Games (Invited Talk). In FORMATS 2023 - International Conference on Formal Modeling and Analysis of Timed Systems, Lecture Notes in Computer Science, Volume 14138, Pages 3-12, Antwerp, Belgium, September 2023.
2. N. Bertrand, N. Markey, S. Sadhukhan, O. Sankur. Semilinear Representations for Series-Parallel Atomic Congestion Games. In 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2022), Chennai, France, December 2022.
3. T. Guyet, N. Markey. Logical forms of chronicles. In TIME 2022 - 29th International Symposium on Temporal Representation and Reasoning, online, Heard & McDonald Islands, November 2022.
4. R. Noguchi, O. Sankur, T. Jéron, N. Markey, D. Mentré. Repairing Real-Time Requirements. In ATVA 2022 - The 20th International Symposium on Automated Technology for Verification and Analysis, Beijing, China, October 2022.
5. A. Goeminne, N. Markey, O. Sankur. Non-blind Strategies in Timed Network Congestion Games. In Formal Modeling and Analysis of Timed Systems. FORMATS 2022, Lecture Notes in Computer Science, Volume 13465, Pages 183-199, Warsaw, Poland, September 2022.
6. N. Bertrand, N. Markey, O. Sankur, N. Waldburger. Parameterized safety verification of round-based shared-memory systems. In ICALP 2022, Paris, France, July 2022.
7. N. Bertrand, N. Markey, S. Sadhukhan, O. Sankur. Dynamic network congestion games. In 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020), Goa, India, December 2020.
8. L. Henry, N. Markey, T. Jéron. Active learning of timed automata with unobservable resets. In FORMATS 2020 - 18th International Conference on Formal Modeling and Analysis of Timed Systems, Long version of the FORMATS2020 paper of same name, Pages 1-26, Vienna, Austria, September 2020.
9. T. Jéron, N. Markey, D. Mentré, R. Noguchi, O. Sankur. Incremental methods for checking real-time consistency. In FORMATS 2020 - 18th International Conference on Formal Modeling and Analysis of Timed Systems, 18 pages, published in Formats 2020, Pages 1-18, Vienne, Austria, September 2020.
10. E. Clement, T. Jéron, N. Markey, D. Mentré. Computing maximally-permissive strategies in acyclic timed automata. In FORMATS 2020 - 18th International Conference on Formal Modeling and Analysis of Timed Systems, Augmented version with proofs, Pages 1-33, Vienna, Austria, September 2020.
11. L. Hélouet, N. Markey, R. Raha. Reachability Games with Relaxed Energy Constraints. In GandALF 2019 - Tenth International Symposium on Games, Automata, Logics, and Formal Verification, EPTCS, Volume 305, Pages 17-33, Bordeaux, France, September 2019.
12. P. Bouyer, O. Kupferman, N. Markey, B. Maubert, A. Murano, G. Perelli. Reasoning about Quality and Fuzziness of Strategic Behaviours. In IJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI'19), Pages 1588-1594, Macao, France, August 2019.
13. Victor Roussanaly, Ocan Sankur, Nicolas Markey. Abstraction Refinement Algorithms for Timed Automata. In CAV 2019 - 31st International Conference on Computer Aided Verification, LNCS, Volume 11561, Pages 22-40, New York, United States, July 2019.
14. P. Bouyer, S. Jaziri, N. Markey. Efficient timed diagnosis using automata with timed domains. In RV 2018 - 18th International Conference on Runtime Verification, Pages 1-26, Limassol, Cyprus, November 2018.
15. P. Bouyer, M. Gonzalez, N. Markey, M. Randour. Multi-weighted Markov Decision Processes with Reachability Objectives. In Gandalf 2018 - Ninth International Symposium on Games, Automata, Logics, and Formal Verification, Volume 277, Pages 250-264, Sarrebruck, Germany, September 2018.
16. G. Bacci, P. Bouyer, U. Fahrenberg, K. Larsen, N. Markey, P-A. Reynier. Optimal and Robust Controller Synthesis. In FM 2018 - International Symposium on Formal Methods, LNCS, Volume 10951, Pages 203-221, Oxford, United Kingdom, July 2018.
17. L. Henry, T. Jéron, N. Markey. Control strategies for off-line testing of timed systems. In SPIN 2018 - International Symposium on Model Checking Software, Pages 171-189, Malaga, Spain, June 2018.
18. A.R. Balasubramanian, N. Bertrand, N. Markey. Parameterized verification of synchronization in constrained reconfigurable broadcast networks. In TACAS 2018 - International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Pages 38-54, Thessaloniki, Greece, April 2018.
19. P. Gardy, P. Bouyer, N. Markey. Dependences in Strategy Logic. In STACS 2018, Volume 34, Pages 35-36, Caen, France, February 2018.
20. P. Bouyer, S. Jaziri, N. Markey. On the determinization of timed systems. In FORMATS'17, Proceedings of the 15th International Conferences on Formal Modelling and Analysis of Timed Systems (FORMATS'17), Volume 10419, Pages 25-41, Berlin, Germany, September 2017.
21. N. Markey. Temporal Logics for Multi-Agent Systems. In MFCS 2017 - 42nd International Symposium on Mathematical Foundations of Computer Science, Aalborg, Denmark, August 2017.
22. P. Bouyer, P. Hofman, N. Markey, M. Randour, M. Zimmermann. Bounding Average-Energy Games. In FoSSaCS'17, Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structure (FoSSaCS'17), Volume 10203, Pages 179-195, Uppsala, Sweden, April 2017.
23. Patricia Bouyer, Nicolas Markey, Ocan Sankur. Robustness in timed automata. In Proceedings of the 7th Workshop on Reachability Problems in Computational Models (RP'13), Parosh Aziz Abdulla, Igor Potapov (eds.), Lecture Notes in Computer Science, Volume 8169, Pages 1-18, Uppsala, Sweden, September 2013.
24. Patricia Bouyer, Nicolas Markey, Ocan Sankur. Robust Weighted Timed Automata and Games. In Proceedings of the 11th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'13), V\'\ictor Braberman, Laurent Fribourg (eds.), Lecture Notes in Computer Science, Volume 8053, Pages 31-46, Buenos Aires, Argentina, August 2013.
25. Ocan Sankur, Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier. Robust Controller Synthesis in Timed Automata. In Proceedings of the 24th International Conference on Concurrency Theory (CONCUR'13), Pedro R. D'Argenio, Hern\'an Melgratti (eds.), Lecture Notes in Computer Science, Volume 8052, Pages 546-560, Buenos Aires, Argentina, August 2013.
26. Patricia Bouyer, Nicolas Markey, Ocan Sankur. Robust Reachability in Timed Automata: A Game-based Approach. In Proceedings of the 39th International Colloquium on Automata, Languages and Programming (ICALP'12) - Part II, Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer (eds.), Lecture Notes in Computer Science, Volume 7392, Pages 128-140, Warwick, UK, July 2012.
27. Ocan Sankur, Patricia Bouyer, Nicolas Markey. Shrinking Timed Automata. In Proceedings of the 31st Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'11), Supratik Chakraborty, Amit Kumar (eds.), Leibniz International Proceedings in Informatics, Pages 90-102, Mumbai, India, December 2011.
28. Patricia Bouyer, Kim G. Larsen, Nicolas Markey, Ocan Sankur, Claus Thrane. Timed automata can always be made implementable. In Proceedings of the 22nd International Conference on Concurrency Theory (CONCUR'11), Joost-Pieter Katoen, Barbara König (eds.), Lecture Notes in Computer Science, Volume 6901, Pages 76-91, Aachen, Germany, September 2011.
29. Patricia Bouyer, Nicolas Markey, Ocan Sankur. Robust Model-Checking of Timed Automata via Pumping in Channel Machines. In Proceedings of the 9th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'11), Uli Fahrenberg, Stavros Tripakis (eds.), Lecture Notes in Computer Science, Volume 6919, Pages 97-112, Aalborg, Denmark, September 2011.
30. N. Bertrand, P. Bouyer, Th. Brihaye, N. Markey. Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics. In Proceedings of the 5th International Conference on the Quantitative Evaluation of SysTems (QEST'08), Pages 55-64, Saint Malo, France, September 2008.

National Conferences

1. M. Gonzalez, P. Bouyer, S. Lasaulce, N. Markey. Optimisation en présence de contraintes en probabilité et processus markoviens contrôlés. In GRETSI 2019 - XXVIIème Colloque GRETSI Traitement du Signal & des Images, Lille, France, August 2019.

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic