Mark Timmer - Research output - University of Twente Research Information

View Scopus Profile

h-index

Research activity per year

3 results

Filter

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 proceeding › Chapter › Academic › peer-review

Open Access
File
253 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 proceeding › Chapter › Academic › peer-review

Open Access
File
110 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, 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 proceeding › Chapter › Academic

File

641 Downloads (Pure)