Welkom...

dr.ir. M. Timmer (Mark)

Docent

Expertises

Automata
Specifications
Confluence
Model
Model Checking
Testing
Community Of Learners
Specification

Publicaties

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

Pure Link

Contactgegevens

Bezoekadres

Universiteit Twente
Faculteit Behavioural, Management and Social Sciences
Ravelijn (gebouwnr. 10), kamer 4351
Hallenweg 17
7522NH  Enschede

Navigeer naar locatie

Postadres

Universiteit Twente
Faculteit Behavioural, Management and Social Sciences
Ravelijn  4351
Postbus 217
7500 AE Enschede

Overige contactinformatie

Ik ben iedere donderdag op kantoor.