| Model-based testing M Timmer, H Brinksma, M Stoelinga Software and Systems Safety: Specification and Verification. NATO Science …, 2011 | 124* | 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 | 62 | 2013 |
| 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 | 60 | 2012 |
| Confluence Reduction for Markov Automata M Timmer, JC van de Pol, MIA Stoelinga Centre for Telematics and Information Technology, 2013 | 51 | 2013 |
| 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 | 48* | 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 | 45* | 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 | 34* | 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 | 34 | 2009 |
| 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 | 32* | 2011 |
| SCOOP: A tool for symbolic optimisations of probabilistic processes M Timmer 8th International Conference on Quantitative Evaluation of SysTems (QEST …, 2011 | 31 | 2011 |
| Efficient Modelling, Generation and Analysis of Markov Automata M Timmer Centre for Telematics and Information Technology, 2013 | 25 | 2013 |
| On-the-fly Confluence Detection for Statistical Model Checking A Hartmanns, M Timmer NFM, 2013 | 25 | 2013 |
| 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 | 17 | 2006 |
| Divergent Quiescent Transition Systems WGJ Stokkink, M Timmer, MIA Stoelinga Tests and Proofs, 214-231, 2013 | 16 | 2013 |
| 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 | 15* | 2012 |
| 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 | 14 | 2014 |
| 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 | 13 | 2015 |
| Confluence reduction for Markov automata M Timmer, JP Katoen, J van de Pol, M Stoelinga Theoretical Computer Science 655 (B), 193-219, 2016 | 9 | 2016 |
| Interpreting a successful testing process: risk and actual coverage M Stoelinga, M Timmer 3rd IEEE International Symposium on Theoretical Aspects of Software …, 2009 | 9 | 2009 |
| 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 | 8* | 2012 |
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerified email at utwente.nl
