Research Output 2004 2018

Filter
Chapter
2017

Boosting Fault Tree Analysis by Formal Methods

Katoen, J. P. & Stoelinga, M. I. A. 15 Oct 2017 ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Katoen, J-P., Langerak, R. & Rensink, A. (eds.). p. 368-380 (Lecture notes in computer science; vol. 10500)

Research output: Scientific - peer-reviewChapter

Formal methods
Fault tree analysis
Aerospace applications
Process engineering
Nuclear energy

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: Scientific - peer-reviewChapter

Testing
Automata theory
Specifications
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: ScientificChapter

Labeled transition system
Reformulation
Batch
Testing
Requirements