Welcome...

dr.ir. M. Timmer (Mark)

Lecturer

Expertise

Automata
Document
Text
Trucks
Confluence
Model
Specifications
Specification

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). (Theoretical Computer Science and General Issues), (Lecture notes in computer science; Vol. 10460). Springer. DOI: 10.1007/978-3-319-63121-9_17
van der Meulen, J., & Timmer, M. (2017). Affordances of the 'branch and bound' paradigm for developing computational thinking. Abstract from 41st Annual Conference of the International Group for the Psychology of Mathematics Education, Singapore, Singapore.
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.
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

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

Navigate to location

Mailing Address

University of Twente
Faculty of Behavioural, Management and Social Sciences
Ravelijn  4351
P.O. Box 217
7500 AE Enschede
The Netherlands

Additional Contact Information

I'm in my office every Thursday.