(Also see my DBLP page, my EPrints page or my Google Scholar Citations page.)

Selected publications

PhD thesis

Timmer, M. (2013) Efficient Modelling, Generation and Analysis of Markov Automata. PhD thesis, University of Twente. CTIT Ph.D. Thesis Series No. 13-261 (Cover, Backside)

Formal verification

Hansen, H. and Timmer, M. (2014) A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time. Theoretical computer science, 538. pp. 103-123. Elsevier.
Timmer, M. and van de Pol, J.C. and Stoelinga, M.I.A. (2013) Confluence Reduction for Markov Automata. In: Proceedings of the 11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS). pp. 243-257. LNCS 8053. Springer. (Corresponding technical report)
Guck, D. and Hatefi, H. and Hermanns, H. and Katoen, J.P. and Timmer, M. (2013) Modelling, Reduction and Analysis of Markov Automata. In: Proceedings of the 10th International Conference on Quantitative Evaluation of Systems (QEST). pp. 55-71. LNCS 8054. Springer. (Corresponding technical report)
Hartmanns, A. and Timmer, M. (2013) On-the-Fly Confluence Detection for Statistical Model Checking. In: Proceedings of the 5th International Symposium on NASA Formal Methods (NFM). pp. 337-351. LNCS 7871. Springer. (Corresponding technical report)
Timmer, M. and Katoen, J.P. and van de Pol, J.C. and Stoelinga, M.I.A. (2012) Efficient Modelling and Generation of Markov Automata. In: Proceedings of the 23rd International Conference on Concurrency Theory (CONCUR). pp. 364-379. LNCS 7454. Springer. (Corresponding technical report)
Katoen, J.P. and van de Pol, J.C. and Stoelinga, M.I.A. and Timmer, M. (2012) A linear process-algebraic format with data for probabilistic automata. Theoretical computer science, 413 (1). pp. 36-57. Elsevier. (Earlier conference paper, corresponding technical report)
Timmer, M. (2011) SCOOP: A Tool for SymboliC Optimisations Of Probabilistic Processes. In: Proceedings of the 8th International Conference on Quantitative Evaluation of SysTems (QEST). IEEE.
Timmer, M. and Stoelinga, M.I.A. and van de Pol, J.C. (2011) Confluence Reduction for Probabilistic Systems. In: Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). pp. 311-325. LNCS 6605. Springer. (Corresponding technical report)
Van de Pol, J.C. and Timmer, M. (2009) State Space Reduction of Linear Processes Using Control Flow Reconstruction. In: Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis (ATVA). pp. 54-68. LNCS 5799. Springer. (Corresponding technical report)

Model-Based Testing

Stokkink, W.G.J. and Timmer, M. and Stoelinga, M.I.A. (2013) Divergent Quiescent Transition Systems. In: Proceedings of the 7th International Conference on Tests and Proofs (TAP). pp. 214-231. LNCS 7942. Springer. (Corresponding technical report)
Stokkink, W.G.J. and Timmer, M. and Stoelinga, M.I.A. (2012) Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation. In: Proceedings of the 7th Workshop on Model-Based Testing (MBT). pp. 73-87. EPTCS 80. Open Publishing Association. (Corresponding technical report)
Timmer, M. and Brinksma, H. and Stoelinga, M.I.A. (2011) Model-Based Testing. In: Software and Systems Safety: Specification and Verification. NATO Science for Peace and Security Series D: Information and Communication Security 30. pp. 1-32. IOS Press, Amsterdam.
Stoelinga, M.I.A. and Timmer, M. (2009) Interpreting a Successful Testing Process: Risk and Actual Coverage. In: Proceedings of the 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE). pp. 251-258. IEEE. (Corresponding technical report, corresponding Master's thesis)

Mathematics Teaching

Verhoef, N.C. and Timmer, M. (2013) Lesson study - deel 3; ervaringen bij de introductie van periodieke bewegingen. Euclides, 88 (4). pp. 173-176.
Timmer, M. and Verhoef, N.C. (2012) Increasing insightful thinking in analytic geometry. Nieuw Archief voor Wiskunde, 5/13 (3). pp. 217-219. (Corresponding Master's thesis)
Timmer, M. and Verhoef, N.C. (2012) Analytische meetkunde door een synthetische bril. Nieuwe Wiskrant, 31 (4). pp. 13-18. (Corresponding Master's thesis)
Stoelinga, M.I.A. and Timmer, M. (2011) Efficiënt zoeken in grote tekstbestanden. Nieuwe Wiskrant, 30 (4). pp. 35-38.
Alberink, M. and Muijlwijk, H. and Timmer, M. (2011) De sinus: van meetkundige definitie naar analytisch begrip. Euclides, 86 (6). pp. 250-252.

Telematics

Timmer, M. and de Boer, P.T. and Pras, A. (2006) How to Identify the Speed Limiting Factor of a TCP Flow. In: Proceedings of the 4th IEEE/IFIP Workshop on End-to-End Monitoring Techniques and Services (E2EMON). pp. 17-24. IEEE. (Corresponding Bachelor's thesis)

An extremely concise summary of my papers related to probabilistic processes and state space reduction is given on the SCOOP part of my website. Alternatively, the tool paper SCOOP: A Tool for SymboliC Optimisations Of Probabilistic Processes gives an easy informal introduction.

In submission

Hansen, H. and Timmer, M. and Liu, Y. and Sun, J. and Dong, J. (2013) Operational Determinism for Probabilistic Automata.

Accepted for publication

Guck, D., Timmer, M., Ruijters, E., Hatefi, H. and Stoelinga, M.I.A. (2014) Modelling and Analysis of Markov Reward Automata. Accepted for ATVA 2014.
Hartmanns, A. and Timmer, M. (2014) Sound statistical model checking for MDP using partial order and confluence reduction. Accepted for STTT.
Guck, D., Hatefi, H., Hermanns, H., Katoen, J.-P. and Timmer, M. (2014) Analysis of Timed and Long-run Objectives for Markov Automata. Accepted for LMCS.

All publications

2014

Guck, D. and Timmer, M. and Blom, S.C.C. (2014) Extending Markov Automata with State and Action Rewards. In: Proceedings of the 12th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2014), 12-13 April 2014, Grenoble, France. Inria.
Guck, D. and Timmer, M. and Hatefi, H and Ruijters, E.J.J. and Stoelinga, M.I.A. (2014) Modelling and analysis of Markov reward automata (extended version). Technical Report TR-CTIT-14-06, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Guck, D. and Timmer, M. and Hatefi, Hassan and Ruijters, E.J.J. and Stoelinga, M.I.A. (2014) Modelling and Analysis of Markov Reward Automata. In: Proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, 3-7 Nov 2014, Sydney, NSW, Australia. pp. 168-184. Lecture Notes in Computer Science 8837. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-11935-9
Hansen, H. and Timmer, M. (2014) A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time. Theoretical computer science, 538. pp. 103-123. ISSN 0304-3975 *** ISI Impact 0,49 ***
Hek, G.M. and Timmer, M. (2014) In de verdediging: Efficient Modelling, Generation and Analysis of Markov Automata. Nieuw archief voor wiskunde, 15 (1). pp. 25-26. ISSN 0028-9825
Timmer, M. (2014) Community of Learners: samen met vakcollega's werken aan didactiekverbetering. De Lerarenagenda 2013-2020, 2014. ISSN not assigned
Timmer, M. (2014) Community of Learners (2): samen met vakcollega's op zoek naar een betere introductie van telproblemen. De Lerarenagenda 2013-2020, 2014. ISSN not assigned
Timmer, M. (2014) Community of Learners (3): wat leert de docent nu eigenlijk? De Lerarenagenda 2013-2020, 2014. ISSN not assigned
Timmer, M. (2014) Efficient Modelling, Generation and Analysis of Markov Automata. Bulletin of the European Association for Theoretical Computer Science, 112. pp. 139-140. ISSN 0252-9742

2013

Guck, D. and Hatefi, H. and Hermanns, H. and Katoen, J.P. and Timmer, M. (2013) Modelling, Reduction and Analysis of Markov Automata (extended version). Technical Report arXiv:1305.7050, Cornell University, Ithaca, NY, USA. ISSN not assigned
Guck, D. and Hatefi, H. and Hermanns, H. and Katoen, J.P. and Timmer, M. (2013) Modelling, Reduction and Analysis of Markov Automata. In: Proceedings of the 10th International Conference on Quantitative Evaluation of Systems (QEST), 27-30 Aug 2013, Buenos Aires, Argentina. pp. 55-71. Lecture Notes in Computer Science 8054. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-40195-4
Hartmanns, A. and Timmer, M. (2013) On-the-fly confluence detection for statistical model checking (extended version). Technical Report TR-CTIT-13-04, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Hartmanns, A. and Timmer, M. (2013) On-the-fly confluence detection for statistical model checking. In: Proceedings of the 11th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2013), 23-24 Mar 2013, Rome, Italy. 19. University of Trieste. ISBN not assigned
Hartmanns, A. and Timmer, M. (2013) On-the-Fly Confluence Detection for Statistical Model Checking. In: Proceedings of the 5th International Symposium on NASA Formal Methods (NFM 2013), 14-16 May 2013, Moffett Field, CA, USA. pp. 337-351. Lecture Notes in Computer Science 7871. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-38087-7
Stokkink, W.G.J. and Timmer, M. and Stoelinga, M.I.A. (2013) Divergent Quiescent Transition Systems (extended version). Technical Report TR-CTIT-13-08, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Stokkink, W.G.J. and Timmer, M. and Stoelinga, M.I.A. (2013) Divergent quiescent transition systems. In: Proceedings of the 7th International Conference on Tests and Proofs (TAP 2013), 18-19 June 2013, Budapest, Hungary. pp. 214-231. Lecture Notes in Computer Science 7942. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-38915-3
Timmer, M. (2013) Efficient Modelling, Generation and Analysis of Markov Automata. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 13-261 ISBN 978-90-365-0592-5
Timmer, M. and van de Pol, J.C. and Stoelinga, M.I.A. (2013) Confluence reduction for Markov automata. In: Proceedings of the 11th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2013), 23-24 Mar 2013, Rome, Italy. 18. University of Trieste. ISBN not assigned
Timmer, M. and van de Pol, J.C. and Stoelinga, M.I.A. (2013) Confluence reduction for Markov automata (extended version). Technical Report TR-CTIT-13-14, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Timmer, M. and van de Pol, J.C. and Stoelinga, M.I.A. (2013) Confluence Reduction for Markov Automata. In: Proceedings of the 11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), 29-31 Aug 2013, Buenos Aires, Argentina. pp. 243-257. Lecture Notes in Computer Science 8053. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-40228-9
Verhoef, N.C. and Timmer, M. (2013) Lesson study - deel 3; ervaringen bij de introductie van periodieke bewegingen. Euclides, 88 (4). pp. 173-176. ISSN 0165-0394

2012

Hansen, H. and Timmer, M. (2012) Why Confluence is More Powerful than Ample Sets in Probabilistic and Non-Probabilistic Branching Time. In: 10th Workshop on Quantitative Aspects of Programming Languages (QAPL 2012), 31 March - 1 April 2012, Tallinn, Estonia. Istituto di Scienza e Tecnologie dell'Informazione. ISBN not assigned
Katoen, J.P. and van de Pol, J.C. and Stoelinga, M.I.A. and Timmer, M. (2012) A linear process-algebraic format with data for probabilistic automata. Theoretical Computer Science, 413 (1). pp. 36-57. ISSN 0304-3975 *** ISI Impact 0,49 ***
Stoelinga, M.I.A. and Timmer, M. (2012) Preface. In: Proceedings of the 17th Dutch Testing Day: Testing Evolvability, 29 Nov 2011, Enschede, The Netherlands. pp. 3-3. CTIT Workshop Proceedings Series (WP12-01). Centre for Telematics and Information Technology, University of Twente. ISSN 0929-0672
Stokkink, W.G.J. and Timmer, M. and Stoelinga, M.I.A. (2012) Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation (extended version). Technical Report TR-CTIT-12-05, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Stokkink, W.G.J. and Timmer, M. and Stoelinga, M.I.A. (2012) Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation. In: Proceedings of the 7th Workshop on Model-Based Testing (MBT 2012), 25 Mar 2012, Tallinn, Estonia. pp. 73-87. Electronic Proceedings in Theoretical Computer Science 80. Open Publishing Association. ISSN 2075-2180
Timmer, M. and Jeurnink, G.A.M. and Verhoef, N.C. (2012) Analytische meetkunde door een synthetische bril. In: Conferentiegids van de 18e Nationale Wiskunde Dagen, 3-4 Feb 2012, Noordwijkerhout. pp. 44-44. Freudenthal Instituut. ISBN not assigned
Timmer, M. and Katoen, J.P. and van de Pol, J.C. and Stoelinga, M.I.A. (2012) Efficient Modelling and Generation of Markov Automata. In: 10th Workshop on Quantitative Aspects of Programming Languages, QAPL 2012, 31 March - 1 April 2012, Tallinn, Estonia. Istituto di Scienza e Tecnologie dell'Informazione. ISBN not assigned
Timmer, M. and Katoen, J.P. and van de Pol, J.C. and Stoelinga, M.I.A. (2012) Efficient Modelling and Generation of Markov Automata (extended version). Technical Report TR-CTIT-12-16, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Timmer, M. and Katoen, J.P. and van de Pol, J.C. and Stoelinga, M.I.A. (2012) Efficient Modelling and Generation of Markov Automata. In: Proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, 3-8 Sep 2012, Newcastle upon Tyne, United Kingdom. pp. 364-379. Advanced Research in Computing and Software Science, Lecture Notes in Computer Science (ARCoSS/LNCS) 7454. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-32939-5
Timmer, M. and Verhoef, N.C. (2012) Analytische meetkunde door een synthetische bril. Nieuwe Wiskrant, 31 (4). pp. 13-18. ISSN 0928-7167
Timmer, M. and Verhoef, N.C. (2012) Increasing insightful thinking in analytic geometry. Nieuw Archief voor Wiskunde, 5/13 (3). pp. 217-219. ISSN 0028-9825

2011

Alberink, M. and Muijlwijk, H. and Timmer, M. (2011) De sinus: van meetkundige definitie naar analytisch begrip. Euclides, 86 (6). pp. 250-252. ISSN 0165-0394
Hansen, H. and Timmer, M. (2011) Confluence versus Ample Sets in Probabilistic Branching Time. In: Proceedings of the 3rd Young Researchers Workshop on Concurrency Theory, 10 Sep 2011, Aachen, Germany. École normale supérieure de Cachan. ISBN not assigned
Stoelinga, M.I.A. and Timmer, M. (2011) Efficiënt zoeken in grote tekstbestanden. Nieuwe Wiskrant, 30 (4). pp. 35-38. ISSN 0928-7167
Timmer, M. (2011) SCOOP: A Tool for SymboliC Optimisations Of Probabilistic Processes. In: Proceedings of the 8th International Conference on Quantitative Evaluation of SysTems, QEST 2011, 5-8 Sep 2011, Aachen, Germany. pp. 149-150. IEEE Computer Society. ISBN 978-1-4577-0973-9
Timmer, M. and Brinksma, H. and Stoelinga, M.I.A. (2011) Model-Based Testing. In: Software and Systems Safety: Specification and Verification. NATO Science for Peace and Security Series D: Information and Communication Security 30. IOS Press, Amsterdam, pp. 1-32. ISSN 1874-6268 ISBN 978-1-60750-710-9
Timmer, M. and Stoelinga, M.I.A. and van de Pol, J.C. (2011) Confluence Reduction for Probabilistic Systems. In: Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, 26 Mar - 3 Apr 2011, Saarbrücken, Germany. pp. 311-325. Lecture Notes in Computer Science 6605. Springer Verlag. ISBN 978-3-642-19834-2

2010

Katoen, J.P. and van de Pol, J.C. and Stoelinga, M.I.A. and Timmer, M. (2010) A linear process-algebraic format for probabilistic systems with data (extended version). Technical Report TR-CTIT-10-11, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Katoen, J.P. and van de Pol, J.C. and Stoelinga, M.I.A. and Timmer, M. (2010) A linear process-algebraic format for probabilistic systems with data. In: Application of Concurrency to System Design, Tenth International Conference on, 21-25 Jun 2010, Braga, Portugal. pp. 213-222. IEEE Computer Society. ISSN 1550-4808 ISBN 978-0-7695-4066-5
Timmer, M. and van de Pol, J.C. and Stoelinga, M.I.A. (2010) Confluence reduction for probabilistic systems. In: Proceedings of the 2nd Young Researchers Workshop on Concurrency Theory, 4 Sep 2010, Paris, France. pp. 87-90. Eindhoven University of Technology. ISBN not assigned
Timmer, M. and Stoelinga, M.I.A. and van de Pol, J.C. (2010) Confluence Reduction for Probabilistic Systems (extended version). Technical Report 1011.2314, ArXiv e-prints.

2009

van de Pol, J.C. and Timmer, M. (2009) State Space Reduction of Linear Processes using Control Flow Reconstruction. Technical Report TR-CTIT-09-24, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
van de Pol, J.C. and Timmer, M. (2009) State Space Reduction of Linear Processes Using Control Flow Reconstruction. In: ATVA 2009 - Automated Technology for Verification and Analysis. 7th International Symposium, 13 Oct - 16 Oct 2009, Macao SAR, China. pp. 54-68. Lecture Notes in Computer Science 5799. Springer Verlag. ISBN 978-3-642-04760-2
Stoelinga, M.I.A. and Timmer, M. (2009) Interpreting a Successful Testing Process: Risk and Actual Coverage. Technical Report TR-CTIT-09-17, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Stoelinga, M.I.A. and Timmer, M. (2009) Interpreting a Successful Testing Process: Risk and Actual Coverage. In: Proceedings of the Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29 Jul - 31 Jul 2009, Tianjin, China. pp. 251-258. IEEE Computer Society. ISBN 978-0-7695-3757-3

2008

Timmer, M. (2008) Evaluating and Predicting Actual Test Coverage. Master's thesis, University of Twente.
Timmer, M. (2008) Actual Test Coverage for Embedded Systems. In: Proceedings of the 14th Dutch Testing Day, 29 Nov 2008, Utrecht, The Netherlands. pp. 8-9. Valori. ISBN not assigned

2006

Timmer, M. and de Boer, P.T. and Pras, A. (2006) How to Identify the Speed Limiting Factor of a TCP Flow. In: Fourth IEEE/IFIP Workshop on End-to-End Monitoring Techniques and Services, 3 April 2006, Vancouver, Canada. pp. 17-24. IEEE. ISBN 1-4244-0145-3

2005

Timmer, M. (2005) How to identify the speed limiting factor of a TCP flow. Bachelor's thesis , University of Twente, Enschede.

Editorships

Stoelinga, M.I.A. and Timmer, M., ed. (2012) Proceedings of the 17th Dutch Testing Day: Testing Evolvability. CTIT Workshop Proceedings Series (WP12-01). Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 0929-0672


Given talks

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.

2013

2012

2011

2010

2009

2008

2006



Supervised students



Posters



Other scientific work



Publicity



Research visits



Events attended