• 204 Citations
  • 9 h-Index
20052019
If you made any changes in Pure these will be visible here soon.

Research Output 2005 2019

2019
62 Downloads (Pure)

Computational thinking – een vooruitblik op het wiskundeonderwijs van de toekomst

Timmer, M. & Tolboom, J., 1 Mar 2019, In : Nieuw archief voor wiskunde. 5/20, 1, p. 42-45 3 p.

Research output: Contribution to journalArticleProfessional

Open Access
File
education
mathematics
2018
15 Downloads (Pure)

Computational thinking in vwo 5: Een werkmiddag over 'branch and bound'

Timmer, M. & van der Meulen, J., Dec 2018, In : Euclides. 94, 3, p. 14-17 4 p.

Research output: Contribution to journalArticleProfessional

Open Access
File
Computational
Science Communication
Science Education
4 Downloads (Pure)

Op zoek naar denkactiviteiten: Bespreking eindexamens nieuwe stijl

Caspers, W. & Timmer, M., Sep 2018, In : Nieuw archief voor wiskunde. 5/19, 3, p. 228-232

Research output: Contribution to journalArticleProfessional

curriculum
2017
21 Downloads (Pure)

Affordances of the 'branch and bound' paradigm for developing computational thinking

van der Meulen, J. & Timmer, M., Jul 2017. 1 p.

Research output: Contribution to conferenceAbstractOther research output

Open Access
File
Students
Teaching
Heuristic algorithms
Computer programming
Computer programming languages
45 Downloads (Pure)

Boekbespreking Ronald Meester en Joost Hulshof: Wiskunde in je vingers: Hogere wiskunde omlaaghalen

Caspers, W. & Timmer, M., Mar 2017, In : Nieuw archief voor wiskunde. 5/18, 1, p. 67-68 2 p.

Research output: Contribution to journalBook/Film/Article reviewPopular

Open Access
File
book review
mathematics
school
221 Downloads (Pure)

Introductie van het inproduct

Timmer, M. & Coenen, T., May 2017, In : Euclides. 92, 6, p. 4-7 4 p.

Research output: Contribution to journalArticleProfessional

Open Access
File
Curriculum
43 Downloads (Pure)

Testing Divergent Transition Systems

Brinksma, E., Stoelinga, M. & Timmer, M., 25 Jul 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Aceto, L., Bacci, G., Bacci, G., Ingolfsdottir, A., Legay, A. & Mardare, R. (eds.). Springer, p. 339 366 p. (Lecture Notes in Computer Science; vol. 10460).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
Testing
Automata theory
Specifications
2016
77 Downloads (Pure)

Boekbespreking Birgit van Dalen en Quintijn Puite: Wanneer is Cheryl jarig? + 99 andere wiskunderaadsels

Timmer, M., Jun 2016, In : Nieuw archief voor wiskunde. 5/17, 2, p. 4-4 1 p.

Research output: Contribution to journalBook/Film/Article reviewPopular

Open Access
File
2 Citations (Scopus)
81 Downloads (Pure)

Confluence reduction for Markov automata

Timmer, M., Katoen, J. P., van de Pol, J. & Stoelinga, M. I. A., 6 Dec 2016, In : Theoretical computer science. 655, B, p. 193-219 27 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Confluence
Automata
Explosions
Nondeterminism
Bisimulation
56 Downloads (Pure)

Dutch Lesson Study - Examples of Teacher Learning

Coenen, T. J. M., Timmer, M. & Verhoef, N. C., 29 Jul 2016. 1 p.

Research output: Contribution to conferencePosterOther research output

Open Access
File
planning
Teaching
teacher
learning
student
42 Downloads (Pure)

Logaritmen schatten via herhaald delen

Coenen, T. & Timmer, M., Jun 2016, In : Euclides. 91, 7, p. 25-25 1 p.

Research output: Contribution to journalArticleProfessional

Open Access
File
2015
6 Citations (Scopus)
20 Downloads (Pure)

Sound statistical model checking for MDP using partial order and confluence reduction

Hartmanns, A. & Timmer, M., Aug 2015, In : International journal on software tools for technology transfer. 17, 4, p. 429-456 28 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
Model checking
Acoustic waves
Random processes
Explosions
Statistical methods
2014
3 Citations (Scopus)
50 Downloads (Pure)

A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time

Hansen, H., Massink, M. (ed.), Norman, G. (ed.), Timmer, M. & Wiklicky, H. (ed.), 12 Jun 2014, In : Theoretical computer science. 538, p. 103-123 21 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
21 Citations (Scopus)
36 Downloads (Pure)

Analysis of timed and long-run objectives for Markov automata

Guck, D., Hatefi, H., Hermanns, H., Katoen, J. P. & Timmer, M., 10 Sep 2014, In : Logical methods in computer science. 10, 3, p. 17 29 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
76 Downloads (Pure)

Combinatoriek: meer dan trucjes

Timmer, M. & Verhoef, N. C., Dec 2014, In : Euclides. 90, 3, p. 12-13 2 p.

Research output: Contribution to journalArticleProfessional

Open Access
File
14 Downloads (Pure)

Community of Learners: samen met vakcollega's werken aan didactiekverbetering

Timmer, M., 5 Mar 2014

Research output: Non-textual formWeb publication/siteOther research output

File
22 Downloads (Pure)

Community of Learners (2): samen met vakcollega's op zoek naar een betere introductie van telproblemen

Timmer, M., 30 Apr 2014

Research output: Non-textual formWeb publication/siteOther research output

File
30 Downloads (Pure)

Community of Learners (3): wat leert de docent nu eigenlijk?

Timmer, M., 24 Jun 2014

Research output: Non-textual formWeb publication/siteOther research output

File
79 Downloads (Pure)

De introductie van analytische meetkunde

Verhoef, N., Timmer, M. & Hoeksema, F., Nov 2014, In : Euclides. 90, 2, p. 4-6 3 p.

Research output: Contribution to journalArticleProfessional

Open Access
File
43 Downloads (Pure)

Efficient Modelling, Generation and Analysis of Markov Automata

Timmer, M. & Iwama, K. (ed.), Feb 2014, In : Bulletin of the European Association for Theoretical Computer Science. 112, p. 139-140 2 p.

Research output: Contribution to journalArticleAcademic

File
15 Downloads (Pure)

Extending Markov Automata with State and Action Rewards

Guck, D., Timmer, M. & Blom, S., Apr 2014, Proceedings of the 12th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2014). Bertrand, N. & Bortolussi, L. (eds.). Rennes: INRIA, p. - 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
4 Downloads (Pure)

In de verdediging: Efficient Modelling, Generation and Analysis of Markov Automata

Hek, G. M. & Timmer, M., Mar 2014, In : Nieuw archief voor wiskunde. 15, 1, p. 25-26 2 p.

Research output: Contribution to journalArticleProfessional

File
19 Citations (Scopus)
65 Downloads (Pure)

Modelling and analysis of Markov reward automata

Guck, D., Timmer, M., Hatefi, H., Ruijters, E. J. J. & Stoelinga, M. I. A., Nov 2014, Proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014. Berlin: Springer, p. 168-184 17 p. (Lecture Notes in Computer Science; vol. 8837).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
16 Downloads (Pure)

Modelling and analysis of Markov reward automata (extended version)

Guck, D., Timmer, M., Hatefi, H., Ruijters, E. J. J. & Stoelinga, M. I. A., 2014, Enschede: Centre for Telematics and Information Technology (CTIT). 35 p. (CTIT Technical Report Series; no. TR-CTIT-14-06)

Research output: Book/ReportReportProfessional

File
Costs
Flavors
Repair
Energy utilization
Data storage equipment

Wiskundeonderwijs in het licht van het PWN-visiedocument 2025

Verhoef, N. C. & Timmer, M., 2014.

Research output: Contribution to conferencePaperAcademic

2013
34 Downloads (Pure)

Confluence reduction for Markov automata

Timmer, M., van de Pol, J. C. & Stoelinga, M. I. A., Mar 2013, Proceedings of the 11th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2013). Trieste: University of Trieste, p. 18 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
21 Citations (Scopus)
38 Downloads (Pure)

Confluence Reduction for Markov Automata

Timmer, M., van de Pol, J. C. & Stoelinga, M. I. A., Aug 2013, Proceedings of the 11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS). Braberman, V. & Fribourg, L. (eds.). Berlin: Springer, p. 243-257 15 p. (Lecture Notes in Computer Science; vol. 8053).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
18 Downloads (Pure)

Confluence reduction for Markov automata (extended version)

Timmer, M., van de Pol, J. C. & Stoelinga, M. I. A., Jun 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 26 p. (CTIT Technical Report Series; no. TR-CTIT-13-14)

Research output: Book/ReportReportProfessional

File
5 Citations (Scopus)
49 Downloads (Pure)

Divergent quiescent transition systems

Stokkink, W. G. J., Timmer, M. & Stoelinga, M. I. A., Jun 2013, Proceedings of the 7th International Conference on Tests and Proofs (TAP 2013). Veanes, M. & Viganò, L. (eds.). Berlin: Springer, p. 214-231 18 p. (Lecture Notes in Computer Science; vol. 7942).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
12 Downloads (Pure)

Divergent Quiescent Transition Systems (extended version)

Stokkink, W. G. J., Timmer, M. & Stoelinga, M. I. A., Mar 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 39 p. (CTIT Technical Report Series; no. TR-CTIT-13-08)

Research output: Book/ReportReportAcademic

File
189 Downloads (Pure)

Efficient Modelling, Generation and Analysis of Markov Automata

Timmer, M., 13 Sep 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 340 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
22 Downloads (Pure)

Lesson study - deel 3: Ervaringen bij de introductie van periodieke bewegingen

Verhoef, N. & Timmer, M., Feb 2013, In : Euclides. 88, 4, p. 173-176 4 p.

Research output: Contribution to journalArticleProfessional

Open Access
File
28 Citations (Scopus)
95 Downloads (Pure)

Modelling, Reduction and Analysis of Markov Automata

Guck, D., Hatefi, H., Hermanns, H., Katoen, J. P. & Timmer, M., Aug 2013, Proceedings of the 10th International Conference on Quantitative Evaluation of Systems (QEST). Joshi, K. R., Siegle, M., Stoelinga, M. I. A. & d' Argenio, P. R. (eds.). Berlin: Springer, p. 55-71 17 p. (Lecture Notes in Computer Science; vol. 8054).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
13 Downloads (Pure)

Modelling, Reduction and Analysis of Markov Automata (extended version)

Guck, D., Hatefi, H., Hermanns, H., Katoen, J. P. & Timmer, M., 30 May 2013, Ithaca, NY, USA: Cornell University. 27 p.

Research output: Book/ReportReportAcademic

File
12 Citations (Scopus)
24 Downloads (Pure)

On-the-fly confluence detection for statistical model checking

Hartmanns, A. & Timmer, M., Mar 2013, Proceedings of the 11th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2013). Trieste: University of Trieste, p. 19 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Open Access
File
Model checking
Random processes
Explosions
Statistical methods
Simulators
22 Downloads (Pure)

On-the-Fly Confluence Detection for Statistical Model Checking

Hartmanns, A. & Timmer, M., 2013, Proceedings of the 5th International NASA Formal Methods Symposium (NFM 2013). Brat, G., Rungta, N. & Venet, A. (eds.). Berlin, Heidelberg: Springer, p. 337-351 15 p. (Lecture Notes in Computer Science; vol. 7871).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
Model checking
Random processes
Explosions
Statistical methods
Simulators
12 Downloads (Pure)

On-the-fly confluence detection for statistical model checking (extended version)

Hartmanns, A. & Timmer, M., Mar 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 18 p. (CTIT Technical Report Series; no. TR-CTIT-13-04)

Research output: Book/ReportReportAcademic

File
Model checking
Random processes
Explosions
Statistical methods
Simulators
2012
7 Citations (Scopus)
64 Downloads (Pure)

A linear process-algebraic format with data for probabilistic automata

Di Pierro, A. (ed.), Katoen, J. P., van de Pol, J. C., Norman, G. (ed.), Stoelinga, M. I. A. & Timmer, M., 6 Jan 2012, In : Theoretical computer science. 413, 1, p. 36-57 22 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
18 Downloads (Pure)

Analytische meetkunde door een synthetische bril

Timmer, M., Jeurnink, G. A. M. & Verhoef, N., Feb 2012, Conferentiegids van de 18e Nationale Wiskunde Dagen. Utrecht: Freudenthal Instituut, p. 44-44 1 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Open Access
File
23 Downloads (Pure)

Analytische meetkunde door een synthetische bril

Timmer, M., Jeurnink, G. & Verhoef, N., Jun 2012, In : Nieuwe wiskrant. 31, 4, p. 13-18 6 p.

Research output: Contribution to journalArticleProfessional

Open Access
File
33 Downloads (Pure)

Efficient Modelling and Generation of Markov Automata

Timmer, M., Katoen, J. P., van de Pol, J. & Stoelinga, M. I. A., Sep 2012, CONCUR 2012 - Concurrency Theory: 23rd International Conference. Koutny, M. & Ulidowski, I. (eds.). Berlin, Heidelberg: Springer, p. 364-379 16 p. (Lectures Notes in Computer Science; vol. 7454).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Specifications
Syntactics
Linearization
Chemical analysis
26 Citations (Scopus)
34 Downloads (Pure)

Efficient Modelling and Generation of Markov Automata

Timmer, M., Katoen, J. P., van de Pol, J. C. & Stoelinga, M. I. A., 31 Mar 2012, 10th Workshop on Quantitative Aspects of Programming Languages, QAPL 2012. Pisa: Istituto di Scienza e Tecnologie dell'Informazione, p. - 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
17 Downloads (Pure)

Efficient Modelling and Generation of Markov Automata (extended version)

Timmer, M., Katoen, J. P., van de Pol, J. C. & Stoelinga, M. I. A., 11 Jun 2012, Enschede: Centre for Telematics and Information Technology (CTIT). 35 p. (CTIT Technical Report Series; no. TR-CTIT-12-16)

Research output: Book/ReportReportAcademic

File
72 Downloads (Pure)

Increasing insightful thinking in analytic geometry

Timmer, M. & Verhoef, N. C., Sep 2012, In : Nieuw archief voor wiskunde. 5/13, 3, p. 217-219 3 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
geometry
mathematics
student
programme
analysis
17 Downloads (Pure)

Proceedings of the 17th Dutch Testing Day: Testing Evolvability, November 29, 2011, University of Twente, Enschede

Stoelinga, M. (ed.) & Timmer, M. (ed.), Feb 2012, Enschede: Centre for Telematics and Information Technology (CTIT). 27 p. (CTIT Workshop Proceedings Series; no. WP12-01)

Research output: Book/ReportBook editingAcademic

Open Access
File
synergy
driver
innovation
7 Citations (Scopus)
27 Downloads (Pure)

Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation

Stokkink, G., Timmer, M. & Stoelinga, M., 25 Mar 2012, Proceedings of the 7th Workshop on Model-Based Testing (MBT 2012). Petrenko, A. K. & Schlingloff, H. (eds.). Australia: Open Publishing Association, p. 73-87 15 p. (Electronic Proceedings in Theoretical Computer Science; vol. 80).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
Testing
Chemical analysis
13 Downloads (Pure)

Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation (extended version)

Stokkink, G., Timmer, M. & Stoelinga, M., 1 Feb 2012, Enschede: Centre for Telematics and Information Technology (CTIT). 25 p. (CTIT Technical Report Series; no. TR-CTIT-12-05)

Research output: Book/ReportReportAcademic

Open Access
File
Testing
Chemical analysis
12 Downloads (Pure)

Why Confluence is More Powerful than Ample Sets in Probabilistic and Non-Probabilistic Branching Time

Hansen, H. & Timmer, M., 1 Apr 2012, 10th Workshop on Quantitative Aspects of Programming Languages (QAPL 2012). Pisa: Istituto di Scienza e Tecnologie dell'Informazione, p. - 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
2011
13 Citations (Scopus)
58 Downloads (Pure)

Confluence Reduction for Probabilistic Systems

Timmer, M., Stoelinga, M. I. A. & van de Pol, J. C., Mar 2011, Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011. Abdulla, P. A. & Leino, K. R. M. (eds.). Berlin: Springer, p. 311-325 15 p. (Lecture Notes in Computer Science; vol. 6605).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
Algebra
Specifications
15 Downloads (Pure)

Confluence versus Ample Sets in Probabilistic Branching Time

Hansen, H. & Timmer, M., Sep 2011, Proceedings of the 3rd Young Researchers Workshop on Concurrency Theory. Bollig, B. (ed.). Cachan, France: Ecole normale superieure de Cachan, p. - 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File