Expertise
Automata
Specifications
Confluence
Model
Model Checking
Testing
Community Of Learners
Specification
Organizations
Publications
Recent Articles
Brinksma, E., Stoelinga, M., & Timmer, M. (2017). Testing Divergent Transition Systems. In L. Aceto, G. Bacci, G. Bacci, A. Ingolfsdottir, A. Legay, & R. Mardare (Eds.), Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday (pp. 339). (Lecture Notes in Computer Science; Vol. 10460). Springer. DOI: 10.1007/978-3-319-63121-9_17
Caspers, W., & Timmer, M. (2017). Boekbespreking Ronald Meester en Joost Hulshof: Wiskunde in je vingers: Hogere wiskunde omlaaghalen. Nieuw archief voor wiskunde, 5/18(1), 67-68.
van der Meulen, J., & Timmer, M. (2017). Affordances of the 'branch and bound' paradigm for developing computational thinking.
Timmer, M. (2016). Boekbespreking Birgit van Dalen en Quintijn Puite: Wanneer is Cheryl jarig? + 99 andere wiskunderaadsels. Nieuw archief voor wiskunde, 5/17(2), 4-4.
Timmer, M., Katoen, J. P., van de Pol, J., & Stoelinga, M. I. A. (2016). Confluence reduction for Markov automata. Theoretical computer science, 655(B), 193-219. DOI: 10.1016/j.tcs.2016.01.017
Coenen, T. J. M., Timmer, M., & Verhoef, N. C. (2016). Dutch Lesson Study - Examples of Teacher Learning. Poster session presented at 13th International Congress on Mathematical Education, ICME 2016, Hamburg, Germany.
Coenen, T. J. M., & Timmer, M. (2016). Logaritmen schatten via herhaald delen. Euclides, 91(7), 25-25.
Hartmanns, A., & Timmer, M. (2015). Sound statistical model checking for MDP using partial order and confluence reduction. International journal on software tools for technology transfer, 17(4), 429-456. DOI: 10.1007/s10009-014-0349-7
Hek, G. M., & Timmer, M. (2014). In de verdediging: Efficient Modelling, Generation and Analysis of Markov Automata. Nieuw archief voor wiskunde, 15(1), 25-26.
UT Research Information System
Courses
Contact Details
Visiting Address
University of Twente
Faculty of Behavioural, Management and Social Sciences
Ravelijn
(building no. 10), room 4351
Hallenweg 17
7522NH Enschede
The Netherlands
Mailing Address
University of Twente
Faculty of Behavioural, Management and Social Sciences
Ravelijn
4351
P.O. Box 217
7500 AE Enschede
The Netherlands
Organizations
Additional Contact Information
I'm in my office every Thursday.