Mari\"elle Stoelinga

Identifiers

• name variant Mari\"elle Stoelinga 0.60 · backfill

Papers (7)

1. Ontology-Grounded Capability Interaction Graphs: From Knowledge Graphs to Fault Trees cs.SE · 2026 · author #3
2. Implementing CPSLint: A Data Validation and Sanitisation Tool for Industrial Cyber-Physical Systems cs.PL · 2026 · author #3
3. CPSLint: A Domain-Specific Language Providing Data Validation and Sanitisation for Industrial Cyber-Physical Systems cs.PL · 2025 · author #3
4. BayesL: a Logical Framework for the Verification of Bayesian Networks cs.AI · 2025 · author #3
5. Parametric analyses of attack-fault trees cs.CR · 2019 · author #4
6. Confluence Reduction for Probabilistic Systems (extended version) cs.LO · 2010 · author #2
7. Game Refinement Relations and Metrics cs.LO · 2008 · author #4

Mentions

• 2606.20779 #3 · arxiv_oai · confidence 0.70 Mari\"elle Stoelinga
• 2604.18191 #3 · arxiv_oai · confidence 0.70 Mari\"elle Stoelinga
• 1011.2314 #2 · backfill · confidence 0.70 Mari\"elle Stoelinga
• 0806.4956 #4 · backfill · confidence 0.70 Mari\"elle Stoelinga

Frequent Coauthors

• \"Omer Sayilir 2 shared papers
• Uraz Odyurt 2 shared papers
• Vadim Zaytsev 2 shared papers
• Didier Lime 1 shared papers
• E. Moritz Hahn 1 shared papers
• \'Etienne Andr\'e 1 shared papers
• Georgiana Caltais 1 shared papers
• Jaco van de Pol 1 shared papers
• Luca de Alfaro 1 shared papers
• Manzi Aim\'e Ntagengerwa 1 shared papers
• Mark Timmer 1 shared papers
• Mathias Ramparison 1 shared papers
• Rupak Majumdar 1 shared papers
• Stefano M. Nicoletti 1 shared papers
• Vishwanath Raman 1 shared papers