An extremely concise summary of my papers related to probabilistic processes and state space reduction is
given on the
of my website. Alternatively, the tool paper
Hansen, H. and Timmer, M. and Liu, Y. and Sun, J. and Dong, J.
Operational Determinism for Probabilistic Automata.
Timmer, M. and Stoelinga, M.I.A. and van de Pol, J.C.
Confluence Reduction for Markov Automata.
Guck, D. and Hatefi, H. and Hermanns, H. and Katoen, J.-P. and Timmer, M.
Modelling, Reduction and Analysis of Markov Automata.
Hansen, H. and Timmer, M.
A Comparison of Confluence and Ample Sets in Probabilistic and Non-Probabilistic Branching Time.
Stokkink, W.G.J. and Timmer, M. and Stoelinga, M.I.A.
Divergent Quiescent Transition Systems. Accepted for the 7th International Conference on
Tests & Proofs (TAP 2013)
Hartmanns, A. and Timmer, M.
On-the-fly Confluence Detection for Statistical Model Checking. Accepted for the
5th NASA Formal Methods Symposium (NFM 2013)
I presented at many international scientific events: E2EMON 2006, QAPL 2009, TASE 2009, ATVA 2009, QAPL 2010, ACSD 2010, YR-CONCUR 2010, TACAS 2011, QEST 2011, YR-CONCUR 2011, QAPL 2012, CONCUR 2012, QAPL 2013, NFM 2013.
Additionally, I presented at
several ROCKS and QUASIMODO project meetings, various universities, FMT colloquia and national events. Below all talks are listed, including the slides that were used.