TDG Scholar TDGScholar Committed to research! Version 1.7
Home | Bibliography | Writers | Journals | Conferences | Publishers Help | News

Bibliography

| Report | Share
A total of 23 records were found in 0.109 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
Copyright © 2008–2018 The Distributed Group | Thanks to DBLP, MSAA, PN I+D+I, and CICE