Marielle Stoelinga

Identifiers

No identifiers captured yet.

Papers (5)

1. Tester versus Bug: A Generic Framework for Model-Based Testing via Games cs.GT · 2018 · author #2
2. Maintenance of Smart Buildings using Fault Trees cs.SY · 2018 · author #3
3. One Net Fits All: A unifying semantics of Dynamic Fault Trees using GSPNs cs.SE · 2018 · author #3
4. Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees cs.LO · 2018 · author #4
5. Time Dependent Analysis with Dynamic Counter Measure Trees cs.CR · 2015 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Alessandro Abate 2 shared papers
• Khaza Anuarul Hoque 2 shared papers
• Nathalie Cauchi 2 shared papers
• Dennis Guck 1 shared papers
• Joost-Pieter Katoen 1 shared papers
• Matthias Volk 1 shared papers
• Petra van den Bos 1 shared papers
• Rajesh Kumar 1 shared papers
• Sebastian Junges 1 shared papers