How to Identify the Speed Limiting Factor of a TCP Flow. - Mark Timmer; Pieter-Tjerk de Boer; Aiko Pras (E2EMON, 2006)

State Space Reduction of Linear Processes Using Control Flow Reconstruction. - Jaco van de Pol; Mark Timmer (ATVA, 2009)

Interpreting a Successful Testing Process: Risk and Actual Coverage. - Mariëlle Stoelinga; Mark Timmer (TASE, 2009)

A Linear Process-Algebraic Format for Probabilistic Systems with Data. - Joost-Pieter Katoen; Jaco van de Pol; Mariëlle Stoelinga; Mark Timmer (ACSD, 2010)

Confluence Reduction for Probabilistic Systems (extended version) - Mark Timmer; Mariëlle Stoelinga; Jaco van de Pol (CoRR, 2010)

SCOOP: A Tool for SymboliC Optimisations of Probabilistic Processes. - Mark Timmer (QEST, 2011)

Confluence Reduction for Probabilistic Systems. - Mark Timmer; Mariëlle Stoelinga; Jaco van de Pol (TACAS, 2011)

Model-Based Testing. - Mark Timmer; Ed Brinksma; Mariëlle Stoelinga (Software and Systems Safety - Specification and Verification, 2011)

Efficient Modelling and Generation of Markov Automata. - Mark Timmer; Joost-Pieter Katoen; Jaco van de Pol; Mariëlle Stoelinga (CONCUR, 2012)

Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation - Gerjan Stokkink; Mark Timmer; Mariëlle Stoelinga (MBT, 2012)

A linear process-algebraic format with data for probabilistic automata. - Joost-Pieter Katoen; Jaco van de Pol; Mariëlle Stoelinga; Mark Timmer (Theor. Comput. Sci., 2012)

Confluence Reduction for Markov Automata. - Mark Timmer; Jaco van de Pol; Mariëlle Stoelinga (FORMATS, 2013)

On-the-Fly Confluence Detection for Statistical Model Checking. - Arnd Hartmanns; Mark Timmer (NASA Formal Methods, 2013)

Modelling, Reduction and Analysis of Markov Automata. - Dennis Guck; Hassan Hatefi; Holger Hermanns; Joost-Pieter Katoen; Mark Timmer (QEST, 2013)

Divergent Quiescent Transition Systems. - Willem Gerrit Johan Stokkink; Mark Timmer; Mariëlle Stoelinga (TAP@STAF, 2013)

Modelling, Reduction and Analysis of Markov Automata (extended version) - Dennis Guck; Hassan Hatefi; Holger Hermanns; Joost-Pieter Katoen; Mark Timmer (CoRR, 2013)

Efficient modelling, generation and analysis of Markov automata. - Mark Timmer (2013)

Modelling and Analysis of Markov Reward Automata. - Dennis Guck; Mark Timmer; Hassan Hatefi; Enno Ruijters; Mariëlle Stoelinga (ATVA, 2014)

Analysis of Timed and Long-Run Objectives for Markov Automata. - Dennis Guck; Hassan Hatefi; Holger Hermanns; Joost-Pieter Katoen; Mark Timmer (Log. Methods Comput. Sci., 2014)

Abstract of PhD Thesis. - Mark Timmer (Bull. EATCS, 2014)

A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time. - Henri Hansen; Mark Timmer (Theor. Comput. Sci., 2014)

Sound statistical model checking for MDP using partial order and confluence reduction. - Arnd Hartmanns; Mark Timmer (Int. J. Softw. Tools Technol. Transf., 2015)

Confluence reduction for Markov automata. - Mark Timmer; Joost-Pieter Katoen; Jaco van de Pol; Mariëlle Stoelinga (Theor. Comput. Sci., 2016)

Testing Divergent Transition Systems. - Ed Brinksma; Mariëlle I. A. Stoelinga; Mark Timmer (Models, Algorithms, Logics and Tools, 2017)