Mark Timmer
Orcid: 0000-0003-1088-1553Affiliations:
- University of Twente, Enschede, Netherlands
According to our database1,
Mark Timmer
authored at least 24 papers
between 2006 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2017
Proceedings of the Models, Algorithms, Logics and Tools, 2017
2016
2015
Sound statistical model checking for MDP using partial order and confluence reduction.
Int. J. Softw. Tools Technol. Transf., 2015
2014
A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time.
Theor. Comput. Sci., 2014
Log. Methods Comput. Sci., 2014
Proceedings of the Automated Technology for Verification and Analysis, 2014
2013
Proceedings of the Tests and Proofs - 7th International Conference, 2013
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013
Proceedings of the NASA Formal Methods, 2013
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013
2012
Theor. Comput. Sci., 2012
Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation
Proceedings of the Proceedings 7th Workshop on Model-Based Testing, 2012
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012
2011
Proceedings of the Software and Systems Safety - Specification and Verification, 2011
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011
Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011
2010
Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010
2009
Proceedings of the TASE 2009, 2009
Proceedings of the Automated Technology for Verification and Analysis, 2009
2006
Proceedings of the Fourth IEEE/IFIP Workshop on End-to-End Monitoring Techniques and Services, 2006