
Selection by year

Selection by authors

Complete lists
Publications of Nicolas Markey
Load the BibTeX file
Academic Journals
 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
 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.
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