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
Paper
2016
8 Citations

Uncovering dynamic fault trees

Junges, S., Guck, D., Katoen, J. P. & Stoelinga, M. I. A. Jun 2016 p. 299-310 12 p.

Research output: Contribution to conferencePaper

File
2012

Efficient Modelling and Generation of Markov Automata

Koutny, M. (ed.), Timmer, M., Ulidowski, I. (ed.), Katoen, J. P., van de Pol, J. C. & Stoelinga, M. I. A. Sep 2012 p. 364-379 16 p.

Research output: Contribution to conferencePaper

File
2009

Compositional dependability modeling using arcade

Stoelinga, M. I. A. Aug 2009 p. 1-2 2 p.

Research output: Contribution to conferencePaper

File

Dependability and Survivability Evaluation of a Water Distribution Process with Arcade

Roolvink, S., Remke, A. & Stoelinga, M. 17 Sep 2009 p. 4-7 4 p.

Research output: Contribution to conferencePaper

Open Access
File
Water
Critical infrastructures
Water treatment
Potable water
Disasters
2004

Linear and Branching Metrics for Quantitative Transition Systems

de Alfaro, L., Faella, M. & Stoelinga, M. I. A. 2004 p. 97-109 13 p.

Research output: Contribution to conferencePaper