The following pages link to Mariëlle I. A. Stoelinga (Q225107):
Displayed 41 items.
- (Q507381) (redirect page) (← links)
- Confluence reduction for Markov automata (Q507382) (← links)
- Model-based testing of probabilistic systems (Q682363) (← links)
- A linear process-algebraic format with data for probabilistic automata (Q764285) (← links)
- (Q832005) (redirect page) (← links)
- The marriage between safety and cybersecurity: still practicing (Q832009) (← links)
- Attack trees vs. fault trees: two sides of the same coin from different currencies (Q832098) (← links)
- Fun with fireWire: A comparative study of formal verification methods applied to the IEEE 1394 root contention protocol (Q1402480) (← links)
- Linear parametric model checking of timed automata (Q1858447) (← links)
- One net fits all. A unifying semantics of dynamic fault trees using GSPNs (Q2280191) (← links)
- Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools (Q2352775) (← links)
- Fault trees on a diet: automated reduction by graph rewriting (Q2403528) (← links)
- Model checking discounted temporal properties (Q2575738) (← links)
- (Q2769587) (← links)
- Model-Based Testing of Probabilistic Systems (Q2801763) (← links)
- Confluence Reduction for Markov Automata (Q2842675) (← links)
- Efficient Modelling and Generation of Markov Automata (Q2912690) (← links)
- Quantitative Attack Tree Analysis via Priced Timed Automata (Q2945593) (← links)
- Confluence Reduction for Probabilistic Systems (Q3000663) (← links)
- (Q3384883) (← links)
- (Q3395949) (← links)
- Modelling and Analysis of Markov Reward Automata (Q3457788) (← links)
- A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains (Q3510814) (← links)
- A Semantic Framework for Test Coverage (Q3522924) (← links)
- Game Refinement Relations and Metrics (Q3535612) (← links)
- A testing scenario for probabilistic processes (Q3546349) (← links)
- Delayed Nondeterminism in Continuous-Time Markov Decision Processes (Q3617741) (← links)
- (Q4439564) (← links)
- (Q4449196) (← links)
- (Q4508289) (← links)
- Parametric Analyses of Attack-fault Trees* (Q5025035) (← links)
- Model-Based Testing of Probabilistic Systems with Stochastic Time (Q5086223) (← links)
- Testing Divergent Transition Systems (Q5217309) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308390) (← links)
- Fault Trees on a Diet (Q5351872) (← links)
- Model Checking Quantitative Linear Time Logic (Q5415664) (← links)
- Automata, Languages and Programming (Q5466453) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900563) (← links)
- Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k (Q5953461) (← links)
- \textsf{PFL}: a probabilistic logic for fault trees (Q6174535) (← links)
- Sampling-Based Verification of CTMCs with Uncertain Rates (Q6399373) (← links)