• 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
Chapter
2017

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
61 Downloads (Pure)
2013

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
41 Downloads (Pure)
2011

Model-Based Testing

Timmer, M., Brinksma, H. & Stoelinga, M. I. A., Apr 2011, Software and Systems Safety: Specification and Verification. Broy, M., Leuxner, C. & Hoare, C. A. R. (eds.). Amsterdam: IOS Press, p. 1-32 32 p. (NATO Science for Peace and Security Series D: Information and Communication Security; vol. 30, no. 30).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

File
101 Downloads (Pure)