• 222 Citations
  • 9 h-Index
20052019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Conference contribution
2014

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
18 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
21 Citations (Scopus)
93 Downloads (Pure)
2013

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
44 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
21 Citations (Scopus)
61 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
5 Citations (Scopus)
77 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
30 Citations (Scopus)
126 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
12 Citations (Scopus)
37 Downloads (Pure)
2012

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
17 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
28 Citations (Scopus)
52 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
51 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
9 Citations (Scopus)
43 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
14 Downloads (Pure)
2011

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
13 Citations (Scopus)
79 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
24 Downloads (Pure)

SCOOP: A Tool for SymboliC Optimisations Of Probabilistic Processes

Timmer, M., Sep 2011, Proceedings of the 8th International Conference on Quantitative Evaluation of SysTems, QEST 2011. Palamidessi, C. & Riska, A. (eds.). Los Alamitos, USA: IEEE Computer Society, p. 149-150 2 p.

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

File
11 Citations (Scopus)
54 Downloads (Pure)
2010

A linear process-algebraic format for probabilistic systems with data

Katoen, J. P., van de Pol, J. C., Stoelinga, M. I. A. & Timmer, M., Jun 2010, Application of Concurrency to System Design, Tenth International Conference on. Gomes, L., Khomenko, V. & Fernandes, J. M. (eds.). Los Alamitos: IEEE Computer Society Press, p. 213-222 10 p. 10.1109/ACSD.2010.18

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

File
5 Citations (Scopus)
148 Downloads (Pure)

Confluence reduction for probabilistic systems

Timmer, M., van de Pol, J. C. & Stoelinga, M. I. A., Sep 2010, Proceedings of the 2nd Young Researchers Workshop on Concurrency Theory. Eindhoven, The Netherlands: Eindhoven University of Technology, p. 87-90 4 p.

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

File
42 Downloads (Pure)
2009

Interpreting a Successful Testing Process: Risk and Actual Coverage

Stoelinga, M. I. A. & Timmer, M., Jul 2009, Proceedings of the 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE). Chin, W. N. & Qin, S. (eds.). Los Alamitos: IEEE Computer Society, p. 251-258 8 p.

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

State Space Reduction of Linear Processes Using Control Flow Reconstruction

van de Pol, J. C. & Timmer, M., 13 Oct 2009, Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings. Liu, Z. & Ravn, A. P. (eds.). Berlin: Springer, p. 54-68 15 p. (Lecture Notes in Computer Science; vol. 5799).

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

Open Access
File
19 Downloads (Pure)
2006

How to Identify the Speed Limiting Factor of a TCP Flow

Timmer, M., de Boer, P-T. & Pras, A., 3 Apr 2006, Proceedings of the 4th IEEE/IFIP Workshop on End-to-End Monitoring Techniques and Services (E2EMON). Al-Shaer, E., Pras, A. & Brownlee, N. (eds.). Piscataway: IEEE, p. 17-24 8 p.

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

Open Access
File
4 Citations (Scopus)
264 Downloads (Pure)