No photo of Mariëlle Ida Antoinette Stoelinga

Mariëlle Ida Antoinette Stoelinga

dr.

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

Research Output 2004 2018

Filter
Working paper
2010

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

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