Research Output 2004 2017

Filter
Paper
2017
1 Citations

A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications

Berger, C. (ed.), Ahmad, W., Yildiz, B. M., Reza Mousavi, M. (ed.), Rensink, A., Wisniewski, R. (ed.) & Stoelinga, M. I. A. 13 Jan 2017 p. 1-16 15 p.

Research output: Scientific - peer-reviewPaper

Hardware
Interoperability
Fault tree analysis
Nuclear power plants
Aircraft
Engines
Side channel attack
2016
6 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
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

Trace
Bisimulation
Inclusion
Equivalence
Simulation