Stebėti
Mark Timmer
Mark Timmer
Lecturer in Mathematics Education, University of Twente, The Netherlands
Patvirtintas el. paštas utwente.nl - Pagrindinis puslapis
Pavadinimas
Cituota
Cituota
Metai
Model-based testing
M Timmer, H Brinksma, M Stoelinga
Software and Systems Safety: Specification and Verification. NATO Science …, 2011
126*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
632013
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
612012
Confluence Reduction for Markov Automata
M Timmer, JC van de Pol, MIA Stoelinga
Centre for Telematics and Information Technology, 2013
512013
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
49*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
342009
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
312011
Efficient Modelling, Generation and Analysis of Markov Automata
M Timmer
Centre for Telematics and Information Technology, 2013
252013
On-the-fly Confluence Detection for Statistical Model Checking
A Hartmanns, M Timmer
NFM, 2013
252013
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
172006
Divergent Quiescent Transition Systems
WGJ Stokkink, M Timmer, MIA Stoelinga
Tests and Proofs, 214-231, 2013
162013
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
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
142015
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
142014
Confluence reduction for Markov automata
M Timmer, JP Katoen, J van de Pol, M Stoelinga
Theoretical Computer Science 655 (B), 193-219, 2016
92016
Interpreting a successful testing process: risk and actual coverage
M Stoelinga, M Timmer
3rd IEEE International Symposium on Theoretical Aspects of Software …, 2009
92009
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
Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.
Straipsniai 1–20