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

Selected publications

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.
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 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.
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.
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.
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.
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.

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. (2011) Why Confluence Reduction is Better than Partial-Order Reduction in Probabilistic and Non-Probabilistic Branching Time. (Intermediate version)

Accepted for publication

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. To appear in: Proceedings of the 7th Workshop on Model-Based Testing. (Final authors' version)
Timmer, M. and Verhoef, N.C. (2012) Analytische meetkunde door een synthetische bril. To appear in: Nieuw Wiskrant. (Final authors' version)

All publications

2012

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,943 ***
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

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) Rijkere cognitieve eenheden door het benadrukken van synthetische meetkunde tijdens de behandeling van analytische meetkunde. Master's thesis, University of Twente.
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.

Upcoming talks

Given talks


Supervised students


Posters


Other scientific work


Publicity


Research visits


Events attended