Mark Timmer

ORCID

Publication Activity (10 Years)

Years Active: 2006-2017
Publications (10 Years): 3

Top Venues

Theor. Comput. Sci.

CoRR

Int. J. Softw. Tools Technol. Transf.

MBT

University of Twente, Enschede, Netherlands (PHD)

Education History

University of Twente, Enschede, Netherlands

PHD

Publications

Ed Brinksma, Mariëlle I. A. Stoelinga, Mark Timmer
Testing Divergent Transition Systems. Models, Algorithms, Logics and Tools (2017)
Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga
Confluence reduction for Markov automata. Theor. Comput. Sci. 655 (2016)
Arnd Hartmanns, Mark Timmer
Sound statistical model checking for MDP using partial order and confluence reduction. Int. J. Softw. Tools Technol. Transf. 17 (4) (2015)
Henri Hansen, Mark Timmer
A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time. Theor. Comput. Sci. 538 (2014)
Dennis Guck, Mark Timmer, Hassan Hatefi, Enno Ruijters, Mariëlle Stoelinga
Modelling and Analysis of Markov Reward Automata. ATVA (2014)
Mark Timmer
Abstract of PhD Thesis. Bull. EATCS 112 (2014)
Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer
Analysis of Timed and Long-Run Objectives for Markov Automata. Log. Methods Comput. Sci. 10 (3) (2014)
Willem Gerrit Johan Stokkink, Mark Timmer, Mariëlle Stoelinga
Divergent Quiescent Transition Systems. TAP@STAF (2013)
Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer
Modelling, Reduction and Analysis of Markov Automata (extended version) CoRR (2013)
Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer
Modelling, Reduction and Analysis of Markov Automata. QEST (2013)
Mark Timmer, Jaco van de Pol, Mariëlle Stoelinga
Confluence Reduction for Markov Automata. FORMATS (2013)
Arnd Hartmanns, Mark Timmer
On-the-Fly Confluence Detection for Statistical Model Checking. NASA Formal Methods (2013)
Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga
Efficient Modelling and Generation of Markov Automata. CONCUR (2012)
Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer
A linear process-algebraic format with data for probabilistic automata. Theor. Comput. Sci. 413 (1) (2012)
Gerjan Stokkink, Mark Timmer, Mariëlle Stoelinga
Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation MBT (2012)
Mark Timmer
SCOOP: A Tool for SymboliC Optimisations of Probabilistic Processes. QEST (2011)
Mark Timmer, Mariëlle Stoelinga, Jaco van de Pol
Confluence Reduction for Probabilistic Systems. TACAS (2011)
Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer
A Linear Process-Algebraic Format for Probabilistic Systems with Data. ACSD (2010)
Mark Timmer, Mariëlle Stoelinga, Jaco van de Pol
Confluence Reduction for Probabilistic Systems (extended version) CoRR (2010)
Jaco van de Pol, Mark Timmer
State Space Reduction of Linear Processes Using Control Flow Reconstruction. ATVA (2009)
Mariëlle Stoelinga, Mark Timmer
Interpreting a Successful Testing Process: Risk and Actual Coverage. TASE (2009)
Mark Timmer, Pieter-Tjerk de Boer, Aiko Pras
How to Identify the Speed Limiting Factor of a TCP Flow. E2EMON (2006)

Mark Timmer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mark Timmer