Research Output 2004 2018

Filter
Paper
2016
7 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: Scientific - peer-reviewPaper

Fault tree analysis
Industry
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: Scientific - peer-reviewPaper

Specifications
Syntactics
Linearization
Chemical analysis
2009

Compositional dependability modeling using arcade

Stoelinga, M. I. A. & Huisman, M. (ed.) Aug 2009 p. 1-2 2 p.

Research output: ScientificPaper

Semantics
Markov processes
Communication systems
Computer systems

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

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

Bisimulation
Trace
Inclusion
Transition systems
Equivalence