Publications of Nicolas Markey

Load the BibTeX file

Academic Journals

  1. 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. details Hal : Hyper Archive en ligne doi
  2. P. Bouyer, N. Markey, M. Randour, K. Larsen, S. Laursen. Average-energy games. Acta Informatica, 55(2):91-127, March 2018. details Hal : Hyper Archive en ligne doi pdf
  3. P. Bouyer, N. Markey, O. Sankur. Robust Reachability in Timed Automata: Game-Based Approach. Journal of Theoretical Computer Science (TCS), 563:43-74, 2015. details Hal : Hyper Archive en ligne doi pdf
  4. Ocan Sankur, Patricia Bouyer, Nicolas Markey. Shrinking timed automata. Information and Computation, 234(0):107-132, 2014. details pdf

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. details Hal : Hyper Archive en ligne doi pdf
  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. details Hal : Hyper Archive en ligne doi pdf

International Conferences

  1. 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. details Hal : Hyper Archive en ligne pdf
  2. 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. details doi pdf
  3. 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. details Hal : Hyper Archive en ligne doi pdf
  4. 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. details Hal : Hyper Archive en ligne doi pdf
  5. 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. details Hal : Hyper Archive en ligne doi pdf
  6. P. Gardy, P. Bouyer, N. Markey. Dependences in Strategy Logic. In STACS 2018, Volume 34, Pages 35-36, Caen, France, February 2018. details Hal : Hyper Archive en ligne doi pdf
  7. 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. details Hal : Hyper Archive en ligne doi pdf
  8. N. Markey. Temporal Logics for Multi-Agent Systems. In MFCS 2017 - 42nd International Symposium on Mathematical Foundations of Computer Science, Aalborg, Denmark, August 2017. details Hal : Hyper Archive en ligne doi pdf
  9. 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. details Hal : Hyper Archive en ligne doi pdf
  10. 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. details doi pdf
  11. 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. details doi pdf
  12. 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. details doi pdf
  13. 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. details doi pdf
  14. 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. details doi pdf
  15. 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. details doi pdf
  16. 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. details doi pdf
  17. 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. details doi pdf

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