Nicolas Markey
Orcid: 0000-0003-1977-7525Affiliations:
- University of Rennes, France
- ENS Cachan, Paris, France
According to our database1,
Nicolas Markey
authored at least 121 papers
between 2001 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
ACM Trans. Comput. Log., 2023
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2023
2022
Formal Methods Syst. Des., April, 2022
Proceedings of the 29th International Symposium on Temporal Representation and Reasoning, 2022
Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022
Proceedings of the 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2022
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022
Proceedings of the Automated Technology for Verification and Analysis, 2022
2021
Int. J. Softw. Tools Technol. Transf., 2021
Optimal and robust controller synthesis using energy timed automata with uncertainty.
Formal Aspects Comput., 2021
2020
Log. Methods Comput. Sci., 2020
Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020
2019
Proceedings of the Proceedings Tenth International Symposium on Games, 2019
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
2018
Proceedings of the Handbook of Model Checking., 2018
Theor. Comput. Sci., 2018
Proceedings of the Proceedings Ninth International Symposium on Games, 2018
Parameterized Verification of Synchronization in Constrained Reconfigurable Broadcast Networks.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018
Proceedings of the Runtime Verification - 18th International Conference, 2018
2017
Real Time Syst., 2017
Inf. Comput., 2017
Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017
Proceedings of the Foundations of Software Science and Computation Structures, 2017
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017
2016
Stochastic Equilibria under Imprecise Deviations in Terminal-Reward Concurrent Games.
Proceedings of the Seventh International Symposium on Games, 2016
Proceedings of the Reachability Problems - 10th International Workshop, 2016
Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016
Proceedings of the 27th International Conference on Concurrency Theory, 2016
Proceedings of the Computer Aided Verification - 28th International Conference, 2016
2015
Theor. Comput. Sci., 2015
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015
Proceedings of the Proceedings Sixth International Symposium on Games, 2015
Proceedings of the Proceedings Sixth International Symposium on Games, 2015
Log. Methods Comput. Sci., 2015
Proceedings of the 2nd International Workshop on Synthesis of Complex Parameters, 2015
Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015
Proceedings of the 26th International Conference on Concurrency Theory, 2015
2014
Proceedings of the Proceedings 2nd International Workshop on Strategic Reasoning, 2014
Proceedings of the 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, 2014
Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014
Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014
Proceedings of the Automated Technology for Verification and Analysis, 2014
Proceedings of the Automated Technology for Verification and Analysis, 2014
2013
Proceedings of the Proceedings Fourth International Symposium on Games, 2013
Proceedings of the Reachability Problems - 7th International Workshop, 2013
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013
2012
Formal Aspects Comput., 2012
Proceedings of the XXVII Simpósio Brasileiro de Banco de Dados, 2012
Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012
Proceedings of the Foundations of Software Science and Computational Structures, 2012
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012
2011
Commun. ACM, 2011
Proceedings of the Industrial Embedded Systems (SIES), 2011
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2011
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011
Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011
Proceedings of the Automated Technology for Verification and Analysis, 2011
2010
EURASIP J. Wirel. Commun. Netw., 2010
Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010
2009
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009
2008
Proceedings of the 15th International Symposium on Temporal Representation and Reasoning, 2008
Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics.
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008
Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008
Proceedings of the Foundations of Software Science and Computational Structures, 2008
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008
2007
Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007
Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007
2006
Inf. Process. Lett., 2006
Proceedings of the LATIN 2006: Theoretical Informatics, 2006
Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006
2004
Inf. Process. Lett., 2004
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004
Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004
Proceedings of the Formal Techniques, 2004
Proceedings of the Formal Techniques, 2004
Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004
2003
Temporal logic with past is exponentially more succinct, Concurrency Column.
Bull. EATCS, 2003
2002
Past is for Free: on the Complexity of Verifying Linear Temporal Properties with Past.
Proceedings of the 9th International Workshop on Expressiveness in Concurrency, 2002
Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002
Proceedings of the Foundations of Software Science and Computation Structures, 2002
2001
Proceedings of the Foundations of Software Science and Computation Structures, 2001