
Selection by year

Selection by authors

Complete lists
Publications of Nicolas Markey
Load the BibTeX file
Academic Journals
 Nathalie Bertrand, Hugo Francon, Nicolas Markey. Synchronizing words under LTL constraints. Information Processing Letters, 182, August 2023.
 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):138, July 2023.
 L. Hélouet, N. Markey, R. Raha. Reachability games with relaxed energy constraints. Information and Computation, 285B, May 2022.
 L. Henry, T. Jéron, N. Markey. Control strategies for offline testing of timed systems. Formal Methods in System Design, April 2022.
 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):229253, April 2021.
 Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim Larsen, Nicolas Markey, PierreAlain Reynier. Optimal and robust controller synthesis using energy timed automata with uncertainty. Formal Aspects of Computing, 33(1):325, January 2021.
 P. Gardy, P. Bouyer, N. Markey. Dependences in Strategy Logic. Theory of Computing Systems, 64(3):467507, April 2020.
 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.
 A. Le Coent, L. Fribourg, N. Markey, F. De Vuyst, L. Chamoin. Compositional synthesis of statedependent switching control. Theoretical Computer Science, 750:5368, November 2018.
 P. Bouyer, N. Markey, M. Randour, K. Larsen, S. Laursen. Averageenergy games. Acta Informatica, 55(2):91127, March 2018.
 P. Bouyer, N. Markey, O. Sankur. Robust Reachability in Timed Automata: GameBased Approach. Journal of Theoretical Computer Science (TCS), 563:4374, 2015.
 Ocan Sankur, Patricia Bouyer, Nicolas Markey. Shrinking timed automata. Information and Computation, 234(0):107132, 2014.
Book Chapters
 P. Bouyer, u. Fahrenberg, K. Larsen, N. Markey, J. Ouaknine, J. Worrell. Model Checking RealTime Systems. In Handbook of model checking, pp. 10011046, April 2018.
 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. 211230, Lecture Notes in Computer Science, Springer, August 2017.
International Conferences
 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 312, Antwerp, Belgium, September 2023.
 N. Bertrand, N. Markey, S. Sadhukhan, O. Sankur. Semilinear Representations for SeriesParallel Atomic Congestion Games. In 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2022), Chennai, France, December 2022.
 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.
 R. Noguchi, O. Sankur, T. Jéron, N. Markey, D. Mentré. Repairing RealTime Requirements. In ATVA 2022  The 20th International Symposium on Automated Technology for Verification and Analysis, Beijing, China, October 2022.
 A. Goeminne, N. Markey, O. Sankur. Nonblind Strategies in Timed Network Congestion Games. In Formal Modeling and Analysis of Timed Systems. FORMATS 2022, Lecture Notes in Computer Science, Volume 13465, Pages 183199, Warsaw, Poland, September 2022.
 N. Bertrand, N. Markey, O. Sankur, N. Waldburger. Parameterized safety verification of roundbased sharedmemory systems. In ICALP 2022, Paris, France, July 2022.
 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.
 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 126, Vienna, Austria, September 2020.
 T. Jéron, N. Markey, D. Mentré, R. Noguchi, O. Sankur. Incremental methods for checking realtime consistency. In FORMATS 2020  18th International Conference on Formal Modeling and Analysis of Timed Systems, 18 pages, published in Formats 2020, Pages 118, Vienne, Austria, September 2020.
 E. Clement, T. Jéron, N. Markey, D. Mentré. Computing maximallypermissive strategies in acyclic timed automata. In FORMATS 2020  18th International Conference on Formal Modeling and Analysis of Timed Systems, Augmented version with proofs, Pages 133, Vienna, Austria, September 2020.
 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 1733, Bordeaux, France, September 2019.
 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 TwentyEighth International Joint Conference on Artificial Intelligence (IJCAI'19), Pages 15881594, Macao, France, August 2019.
 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 2240, New York, United States, July 2019.
 P. Bouyer, S. Jaziri, N. Markey. Efficient timed diagnosis using automata with timed domains. In RV 2018  18th International Conference on Runtime Verification, Pages 126, Limassol, Cyprus, November 2018.
 P. Bouyer, M. Gonzalez, N. Markey, M. Randour. Multiweighted Markov Decision Processes with Reachability Objectives. In Gandalf 2018  Ninth International Symposium on Games, Automata, Logics, and Formal Verification, Volume 277, Pages 250264, Sarrebruck, Germany, September 2018.
 G. Bacci, P. Bouyer, U. Fahrenberg, K. Larsen, N. Markey, PA. Reynier. Optimal and Robust Controller Synthesis. In FM 2018  International Symposium on Formal Methods, LNCS, Volume 10951, Pages 203221, Oxford, United Kingdom, July 2018.
 L. Henry, T. Jéron, N. Markey. Control strategies for offline testing of timed systems. In SPIN 2018  International Symposium on Model Checking Software, Pages 171189, Malaga, Spain, June 2018.
 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 3854, Thessaloniki, Greece, April 2018.
 P. Gardy, P. Bouyer, N. Markey. Dependences in Strategy Logic. In STACS 2018, Volume 34, Pages 3536, Caen, France, February 2018.
 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 2541, Berlin, Germany, September 2017.
 N. Markey. Temporal Logics for MultiAgent Systems. In MFCS 2017  42nd International Symposium on Mathematical Foundations of Computer Science, Aalborg, Denmark, August 2017.
 P. Bouyer, P. Hofman, N. Markey, M. Randour, M. Zimmermann. Bounding AverageEnergy Games. In FoSSaCS'17, Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structure (FoSSaCS'17), Volume 10203, Pages 179195, Uppsala, Sweden, April 2017.
 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 118, Uppsala, Sweden, September 2013.
 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 3146, Buenos Aires, Argentina, August 2013.
 Ocan Sankur, Patricia Bouyer, Nicolas Markey, PierreAlain 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 546560, Buenos Aires, Argentina, August 2013.
 Patricia Bouyer, Nicolas Markey, Ocan Sankur. Robust Reachability in Timed Automata: A Gamebased 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 128140, Warwick, UK, July 2012.
 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 90102, Mumbai, India, December 2011.
 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), JoostPieter Katoen, Barbara König (eds.), Lecture Notes in Computer Science, Volume 6901, Pages 7691, Aachen, Germany, September 2011.
 Patricia Bouyer, Nicolas Markey, Ocan Sankur. Robust ModelChecking 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 97112, Aalborg, Denmark, September 2011.
 N. Bertrand, P. Bouyer, Th. Brihaye, N. Markey. Quantitative ModelChecking of OneClock Timed Automata under Probabilistic Semantics. In Proceedings of the 5th International Conference on the Quantitative Evaluation of SysTems (QEST'08), Pages 5564, Saint Malo, France, September 2008.
National Conferences
 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 20022007, Projet Lagadic