TDG
Scholar
Committed to research!
Version 1.7
Home
|
Bibliography
|
Writers
|
Journals
|
Conferences
|
Publishers
Help
|
News
Bibliography
Refine on click
|
Report
|
Share
A total of 23 records were found in 0.203 seconds
Fetch
|
Report
|
Google
Home Page
Mark Timmer
2016
Fetch
|
Report
|
Google
Sound statistical model checking for MDP using partial order and confluence reduction
Arnd Hartmanns
,
Mark Timmer
STTT
,
17(4):429-456
,
2015
Fetch
|
Report
|
Google
Analysis of Timed and Long-Run Objectives for Markov Automata
Dennis Guck
,
Hassan Hatefi
,
Holger Hermanns
,
Joost-Pieter Katoen
,
Mark Timmer
Logical Methods in Computer Science
,
10(3)
,
2014
Fetch
|
Report
|
Google
Modelling and Analysis of Markov Reward Automata
Dennis Guck
,
Mark Timmer
,
Hassan Hatefi
,
Enno Ruijters
,
Mariëlle Stoelinga
ATVA
,
168-184
,
2014
Fetch
|
Report
|
Google
Abstract of PhD Thesis
Mark Timmer
Bulletin of the EATCS
,
112
,
2014
Fetch
|
Report
|
Google
A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time
Henri Hansen
,
Mark Timmer
Theor. Comput. Sci.
,
538103-123
,
2014
Fetch
|
Report
|
Google
Modelling, Reduction and Analysis of Markov Automata (extended version)
Dennis Guck
,
Hassan Hatefi
,
Holger Hermanns
,
Joost-Pieter Katoen
,
Mark Timmer
CoRR
,
abs/1305.7050
,
2013
Fetch
|
Report
|
Google
Divergent Quiescent Transition Systems
Willem Gerrit Johan Stokkink
,
Mark Timmer
,
Mariëlle Stoelinga
TAP
,
214-231
,
2013
Fetch
|
Report
|
Google
On-the-Fly Confluence Detection for Statistical Model Checking
Arnd Hartmanns
,
Mark Timmer
NASA Formal Methods
,
337-351
,
2013
Fetch
|
Report
|
Google
Confluence Reduction for Markov Automata
Mark Timmer
,
Jaco van de Pol
,
Mariëlle Stoelinga
FORMATS
,
243-257
,
2013
Fetch
|
Report
|
Google
Modelling, Reduction and Analysis of Markov Automata
Dennis Guck
,
Hassan Hatefi
,
Holger Hermanns
,
Joost-Pieter Katoen
,
Mark Timmer
QEST
,
55-71
,
2013
Fetch
|
Report
|
Google
Efficient modelling, generation and analysis of Markov automata
Mark Timmer
University of Twente, Enschede, Netherlands
,
2013
Fetch
|
Report
|
Google
Efficient Modelling and Generation of Markov Automata
Mark Timmer
,
Joost-Pieter Katoen
,
Jaco van de Pol
,
Mariëlle Stoelinga
CONCUR
,
364-379
,
2012
Fetch
|
Report
|
Google
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.
,
413(1):36-57
,
2012
Fetch
|
Report
|
Google
Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation
Gerjan Stokkink
,
Mark Timmer
,
Mariëlle Stoelinga
MBT
,
73-87
,
2012
Fetch
|
Report
|
Google
Model-Based Testing
Mark Timmer
,
Ed Brinksma
,
Mariëlle Stoelinga
Software and Systems Safety - Specification and Verification
,
1-32
,
2011
Fetch
|
Report
|
Google
Confluence Reduction for Probabilistic Systems
Mark Timmer
,
Mariëlle Stoelinga
,
Jaco van de Pol
TACAS
,
311-325
,
2011
Fetch
|
Report
|
Google
SCOOP: A Tool for SymboliC Optimisations of Probabilistic Processes
Mark Timmer
QEST
,
149-150
,
2011
Fetch
|
Report
|
Google
A Linear Process-Algebraic Format for Probabilistic Systems with Data
Joost-Pieter Katoen
,
Jaco van de Pol
,
Mariëlle Stoelinga
,
Mark Timmer
ACSD
,
213-222
,
2010
Fetch
|
Report
|
Google
Confluence Reduction for Probabilistic Systems (extended version)
Mark Timmer
,
Mariëlle Stoelinga
,
Jaco van de Pol
CoRR
,
abs/1011.2314
,
2010
Fetch
|
Report
|
Google
State Space Reduction of Linear Processes Using Control Flow Reconstruction
Jaco van de Pol
,
Mark Timmer
ATVA
,
54-68
,
2009
Fetch
|
Report
|
Google
Interpreting a Successful Testing Process: Risk and Actual Coverage
Mariëlle Stoelinga
,
Mark Timmer
TASE
,
251-258
,
2009
Fetch
|
Report
|
Google
How to Identify the Speed Limiting Factor of a TCP Flow
Mark Timmer
,
Pieter-Tjerk de Boer
,
Aiko Pras
E2EMON
,
17-24
,
2006