Mariëlle I. A. Stoelinga

Available identifiers

zbMath Open stoelinga.marielleMaRDI QIDQ225107

List of research outcomes

Publication	Date of Publication	Type
\textsf{PFL}: a probabilistic logic for fault trees	2023-08-17	Paper
Model-Based Testing of Probabilistic Systems with Stochastic Time	2022-07-01	Paper
The marriage between safety and cybersecurity: still practicing	2022-03-24	Paper
Attack trees vs. fault trees: two sides of the same coin from different currencies	2022-03-24	Paper
Parametric Analyses of Attack-fault Trees*	2022-02-01	Paper
https://portal.mardi4nfdi.de/entity/Q3384883	2021-12-17	Paper
Testing Divergent Transition Systems	2020-02-24	Paper
One net fits all. A unifying semantics of dynamic fault trees using GSPNs	2019-12-18	Paper
Model-based testing of probabilistic systems	2018-02-02	Paper
Fault trees on a diet: automated reduction by graph rewriting	2017-09-08	Paper
Fault Trees on a Diet	2017-08-31	Paper
Confluence reduction for Markov automata	2017-02-06	Paper
Model-Based Testing of Probabilistic Systems	2016-04-21	Paper
Modelling and Analysis of Markov Reward Automata	2015-12-17	Paper
Quantitative Attack Tree Analysis via Priced Timed Automata	2015-09-14	Paper
Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools	2015-07-06	Paper
Model Checking Quantitative Linear Time Logic	2014-05-13	Paper
Confluence Reduction for Markov Automata	2013-08-16	Paper
Efficient Modelling and Generation of Markov Automata	2012-09-25	Paper
A linear process-algebraic format with data for probabilistic automata	2012-03-13	Paper
Confluence Reduction for Probabilistic Systems	2011-05-19	Paper
CONCUR 2003 - Concurrency Theory	2010-03-30	Paper
https://portal.mardi4nfdi.de/entity/Q3395949	2009-09-15	Paper
Delayed Nondeterminism in Continuous-Time Markov Decision Processes	2009-03-31	Paper
A testing scenario for probabilistic processes	2008-12-21	Paper
Game Refinement Relations and Metrics	2008-11-13	Paper
A Semantic Framework for Test Coverage	2008-09-04	Paper
A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains	2008-07-03	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper
Model checking discounted temporal properties	2005-12-06	Paper
Automata, Languages and Programming	2005-08-24	Paper
https://portal.mardi4nfdi.de/entity/Q4449196	2004-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4439564	2003-12-14	Paper
Fun with fireWire: A comparative study of formal verification methods applied to the IEEE 1394 root contention protocol	2003-08-27	Paper
Linear parametric model checking of timed automata	2003-02-13	Paper
https://portal.mardi4nfdi.de/entity/Q2769587	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q4508289	2001-06-05	Paper
Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k	2001-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mariëlle I. A. Stoelinga