Mark Timmer
Mark Timmer
Lecturer in Mathematics Education, University of Twente, The Netherlands
Verified email at utwente.nl - Homepage
TitleCited byYear
Model-based testing
M Timmer, H Brinksma, M Stoelinga
Software and Systems Safety: Specification and Verification. NATO Science …, 2011
86*2011
Modelling, reduction and analysis of Markov automata
D Guck, H Hatefi, H Hermanns, JP Katoen, M Timmer
International Conference on Quantitative Evaluation of Systems, 55-71, 2013
532013
Efficient Modelling and Generation of Markov Automata
M Timmer, JP Katoen, J van de Pol, M Stoelinga
23rd International Conference on Concurrency Theory (CONCUR), 364-379, 2012
47*2012
Confluence Reduction for Markov Automata
M Timmer, JC van de Pol, MIA Stoelinga
Centre for Telematics and Information Technology, 2013
442013
Confluence reduction for Markov automata
M Timmer, JP Katoen, J van de Pol, M Stoelinga
Theoretical Computer Science 655 (B), 193-219, 2016
432016
Modelling and analysis of Markov reward automata
D Guck, M Timmer, H Hatefi, E Ruijters, M Stoelinga
International Symposium on Automated Technology for Verification and …, 2014
37*2014
Analysis of Timed and Long-Run Objectives for Markov Automata
M Timmer, JP Katoen, H Hermanns, H Hatefi, D Guck
Logical Methods in Computer Science 10, 2014
32*2014
Confluence reduction for probabilistic systems
M Timmer, M Stoelinga, J van de Pol
17th International Conference on Tools and Algorithms for the Construction …, 2011
32*2011
SCOOP: A tool for symbolic optimisations of probabilistic processes
M Timmer
8th International Conference on Quantitative Evaluation of SysTems (QEST …, 2011
312011
A linear process-algebraic format with data for probabilistic automata
JP Katoen, J van de Pol, M Stoelinga, M Timmer
Theoretical Computer Science 413 (1), 36-57, 2011
30*2011
State space reduction of linear processes using control flow reconstruction
J van de Pol, M Timmer
7th International Symposium on Automated Technology for Verification and …, 2009
292009
Efficient Modelling, Generation and Analysis of Markov Automata
M Timmer
Centre for Telematics and Information Technology, 2013
222013
On-the-fly Confluence Detection for Statistical Model Checking
A Hartmanns, M Timmer
NFM, 2013
202013
How to identify the speed limiting factor of a TCP flow
M Timmer, PT de Boer, A Pras
4th IEEE/IFIP Workshop on End-to-End Monitoring Techniques and Services …, 2006
152006
Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation
G Stokkink, M Timmer, M Stoelinga
7th Workshop on Model-Based Testing (MBT), 2012
14*2012
Divergent Quiescent Transition Systems
WGJ Stokkink, M Timmer, MIA Stoelinga
Tests and Proofs, 214-231, 2013
132013
A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time
H Hansen, M Timmer
Theoretical Computer Science 538, 103-123, 2014
112014
Sound statistical model checking for MDP using partial order and confluence reduction
A Hartmanns, M Timmer
International journal on software tools for technology transfer 17 (4), 429-456, 2015
102015
Increasing insightful thinking in analytic geometry using frequent visualisation and a synthetic approach
M Timmer, N Verhoef
Nieuw Archief voor Wiskunde 513 (3), 217-219, 2012
7*2012
Interpreting a successful testing process: risk and actual coverage
M Stoelinga, M Timmer
3rd IEEE International Symposium on Theoretical Aspects of Software …, 2009
62009
The system can't perform the operation now. Try again later.
Articles 1–20