Mark Timmer

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