No photo of Mariëlle Ida Antoinette Stoelinga

Mariëlle Ida Antoinette Stoelinga

dr.

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

Research Output 2004 2019

Filter
Working paper
2019
6 Downloads (Pure)

Parametric analyses of attack-fault trees

André, É., Lime, D., Ramparison, M. & Stoelinga, M., 12 Feb 2019.

Research output: Working paperProfessional

File
2010
10 Downloads (Pure)

Confluence Reduction for Probabilistic Systems (extended version)

Timmer, M., Stoelinga, M. I. A. & van de Pol, J. C., 10 Nov 2010, Ithaca, NY, USA: ArXiv e-prints, 28 p.

Research output: Working paperProfessional

Open Access
File
2006
2 Downloads (Pure)

A Semantic Framework for Test Coverage (Extended Version)

Brinksma, E., Stoelinga, M. & Brandan Briones, L., 2006, University of Twente, 23 p.

Research output: Working paperOther research output

File
Syntactics
Semantics
Specifications
Testing
Costs