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

Research Output 2005 2019

Filter
Chapter
2017
39 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
2013
20 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
2011
73 Downloads (Pure)

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