Mariëlle Ida Antoinette Stoelinga

dr.

20042020

Research output per year

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

Research Output

Filter
Paper
2018

Maintenance of Smart Buildings using Fault Trees

Cauchi, N., Hoque, K. A., Stoelinga, M. & Abate, A., 2018, p. 28:1-28:25.

Research output: Contribution to conferencePaper

Open Access
File
1 Citation (Scopus)
24 Downloads (Pure)
2009

Compositional dependability modeling using arcade

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

Research output: Contribution to conferencePaper

File
60 Downloads (Pure)

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
9 Downloads (Pure)
2007

A compositional reliability and availability evaluation tool

Boudali, H., Crouzen, P. & Stoelinga, M., Jul 2007. 2 p.

Research output: Contribution to conferencePaper

Open Access
File
12 Downloads (Pure)
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