Marille Stoelinga
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
63
Venues
29
Active years
2000–2026
Best venue rank
A*
Where they publish
- ADSN7 papers
- BSAFECOMP5 papers
- ATACAS5 papers
- CFMICS4 papers
- NationalSETTA4 papers
- BFASE3 papers
- BATVA3 papers
- Journal PublishedEMSOFT3 papers
- BFM2 papers
- BSEFM2 papers
- CISoLA2 papers
- CICFEM2 papers
- CTAP2 papers
- BCONCUR2 papers
- BFOSSACS2 papers
- A*ICALP2 papers
- BSLE1 paper
- ACaiSE1 paper
- CFORTE1 paper
- A*AAAI1 paper
- A*CAV1 paper
- BPRIMA1 paper
- A*ICSE1 paper
- MulticonferenceSAC1 paper
- UnrankedSENSYS1 paper
- CDSD1 paper
- NationalTASE1 paper
- BICECCS1 paper
- A*LICS1 paper
Papers
63 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SLE | CPSLint: A Domain-Specific Language Providing Data Validation and Sanitisation for Industrial Cyber-Physical Systems. | Uraz Odyurt, mer Sayilir, Marille Stoelinga, Vadim Zaytsev |
| 2025 | CaiSE | WATCHDOG: an ontology-aWare risk AssessmenT approaCH via object-oriented DisruptiOn Graphs. | Stefano M. Nicoletti, Ernst Moritz Hahn, Mattia Fumagalli, Giancarlo Guizzardi, Marille Stoelinga |
| 2024 | FASE | Fuzzy quantitative attack tree analysis. | Thi Kim Nhung Dang, Milan Lopuha-Zwakenberg, Marille Stoelinga |
| 2024 | FM | No Risk, No Fun - A Tutorial on Risk Management. | Marille Stoelinga |
| 2024 | FMICS | Fault Tree Inference Using Multi-objective Evolutionary Algorithms and Confusion Matrix-Based Metrics. | Lisandro Arturo Jimenez-Roa, Nicolae Rusnac, Matthias Volk, Marille Stoelinga |
| 2024 | SAFECOMP | Safety-Security Analysis via Attack-Fault-Defense Trees: Semantics and Cut Set Metrics. | Reza Soltani, Milan Lopuha-Zwakenberg, Marille Stoelinga |
| 2024 | TACAS | CTMCs with Imprecisely Timed Observations. | Thom Badings, Matthias Volk, Sebastian Junges, Marille Stoelinga, Nils Jansen |
| 2023 | DSN | Cost-Damage Analysis of Attack Trees. | Milan Lopuha-Zwakenberg, Marille Stoelinga |
| 2023 | FM | sfPFL: A Probabilistic Logic for Fault Trees. | Stefano M. Nicoletti, Milan Lopuha-Zwakenberg, Ernst Moritz Hahn, Marille Stoelinga |
| 2023 | FMICS | Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors. | Reza Soltani, Matthias Volk, Leonardo Diamonte, Milan Lopuha-Zwakenberg, Marille Stoelinga |
| 2023 | FMICS | Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller. | Djurre van der Wal, Marcus Gerhold, Marille Stoelinga |
| 2023 | FORTE | With a Little Help from Your Friends: Semi-cooperative Games via Joker Moves. | Petra van den Bos, Marille Stoelinga |
| 2023 | SEFM | Attack Time Analysis in Dynamic Attack Trees via Integer Linear Programming. | Milan Lopuha-Zwakenberg, Marille Stoelinga |
| 2023 | SEFM | sfATM: A Logic for Quantitative Security Properties on Attack Trees. | Stefano M. Nicoletti, Milan Lopuha-Zwakenberg, Ernst Moritz Hahn, Marille Stoelinga |
| 2022 | AAAI | Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise. | Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Marille Stoelinga |
| 2022 | CAV | Sampling-Based Verification of CTMCs with Uncertain Rates. | Thom S. Badings, Nils Jansen, Sebastian Junges, Marille Stoelinga, Matthias Volk |
| 2022 | DSN | BFL: a Logic to Reason about Fault Trees. | Stefano M. Nicoletti, Ernst Moritz Hahn, Marille Stoelinga |
| 2022 | ISoLA | Formal Methods Meet Machine Learning (F3ML). | Kim G. Larsen, Axel Legay, Gerrit Nolte, Maximilian Schlter, Marille Stoelinga, Bernhard Steffen |
| 2022 | SAFECOMP | Data-Driven Inference of Fault Tree Models Exploiting Symmetry and Modularization. | Lisandro Arturo Jimenez-Roa, Matthias Volk, Marille Stoelinga |
| 2020 | ICFEM | Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems. | Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk, Marille Stoelinga |
| 2020 | TACAS | Rare Event Simulation for Non-Markovian Repairable Fault Trees. | Carlos E. Budde, Marco Biagi, Ral E. Monti, Pedro R. D'Argenio, Marille Stoelinga |
| 2019 | PRIMA | From Good Intentions to Behaviour Change - Probabilistic Feature Diagrams for Behaviour Support Agents. | Malte S. Klie, Marille Stoelinga, M. Birna van Riemsdijk |
| 2019 | SETTA | Fault Trees from Data: Efficient Learning with an Evolutionary Algorithm. | Alexis Linard, Doina Bucur, Marille Stoelinga |
| 2018 | FASE | Effective Analysis of Attack Trees: A Model-Driven Approach. | Rajesh Kumar, Stefano Schivo, Enno Ruijters, Bugra Mehmet Yildiz, David Huistra, Jacco Brandt, Arend Rensink, Marille Stoelinga |
| 2018 | ICSE | Risk management for high tech systems. | Marille Stoelinga |
| 2018 | SAC | LOCKS: a property specification language for security goals. | Rajesh Kumar, Arend Rensink, Marille Stoelinga |
| 2017 | SENSYS | Efficient probabilistic model checking of smart building maintenance using fault maintenance trees. | Nathalie Cauchi, Khaza Anuarul Hoque, Alessandro Abate, Marille Stoelinga |
| 2017 | SAFECOMP | Rare Event Simulation for Dynamic Fault Trees. | Enno Ruijters, Danil Reijsbergen, Pieter-Tjerk de Boer, Marille Stoelinga |
| 2017 | SETTA | How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach. | Stefano Schivo, Bugra M. Yildiz, Enno Ruijters, Christopher Gerking, Rajesh Kumar, Stefan Dziwok, Arend Rensink, Marille Stoelinga |
| 2017 | TAP | Model-Based Testing of Probabilistic Systems with Stochastic Time. | Marcus Gerhold, Marille Stoelinga |
| 2016 | DSN | Uncovering Dynamic Fault Trees. | Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Marille Stoelinga |
| 2016 | DSN | Reliability-Centered Maintenance of the Electrically Insulated Railway Joint via Fault Tree Analysis: A Practical Experience Report. | Enno Ruijters, Dennis Guck, Martijn van Noort, Marille Stoelinga |
| 2016 | FASE | Model-Based Testing of Probabilistic Systems. | Marcus Gerhold, Marille Stoelinga |
| 2016 | ISoLA | Better Railway Engineering Through Statistical Model Checking. | Enno Ruijters, Marille Stoelinga |
| 2015 | DSD | Green Computing: Power Optimisation of VFI-Based Real-Time Multiprocessor Dataflow Applications. | Waheed Ahmad, Philip K. F. Hlzenspies, Marille Stoelinga, Jaco van de Pol |
| 2015 | ICFEM | DFTCalc: Reliability Centered Maintenance via Fault Tree Analysis (Tool Paper). | Dennis Guck, Jip Spel, Marille Stoelinga |
| 2015 | SAFECOMP | Sequential and Parallel Attack Tree Modelling. | Florian Arnold, Dennis Guck, Rajesh Kumar, Marille Stoelinga |
| 2015 | SETTA | A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking. | Tom van Dijk, Ernst Moritz Hahn, David N. Jansen, Yong Li, Thomas Neele, Marille Stoelinga, Andrea Turrini, Lijun Zhang |
| 2015 | SETTA | Fault Trees on a Diet - - Automated Reduction by Graph Rewriting -. | Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Marille Stoelinga |
| 2014 | ATVA | Modelling and Analysis of Markov Reward Automata. | Dennis Guck, Mark Timmer, Hassan Hatefi, Enno Ruijters, Marille Stoelinga |
| 2013 | SAFECOMP | DFTCalc: A Tool for Efficient Fault Tree Analysis. | Florian Arnold, Axel Belinfante, Freark I. van der Berg, Dennis Guck, Marille Stoelinga |
| 2013 | TAP | Divergent Quiescent Transition Systems. | Willem Gerrit Johan Stokkink, Mark Timmer, Marille Stoelinga |
| 2012 | CONCUR | Efficient Modelling and Generation of Markov Automata. | Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Marille Stoelinga |
| 2011 | FMICS | Experiences with Formal Engineering: Model-Based Specification, Implementation and Testing of a Software Bus at Neopost. | Marten Sijtema, Marille Stoelinga, Axel Belinfante, Lawrence Marinelli |
| 2011 | TACAS | Confluence Reduction for Probabilistic Systems. | Mark Timmer, Marille Stoelinga, Jaco van de Pol |
| 2010 | DSN | Evaluating repair strategies for a water-treatment facility using Arcade. | Boudewijn R. Haverkort, Matthias Kuntz, Anne Remke, S. Roolvink, Marille Stoelinga |
| 2009 | FOSSACS | Delayed Nondeterminism in Continuous-Time Markov Decision Processes. | Martin R. Neuhuer, Marille Stoelinga, Joost-Pieter Katoen |
| 2009 | TASE | Interpreting a Successful Testing Process: Risk and Actual Coverage. | Marille Stoelinga, Mark Timmer |
| 2008 | DSN | Architectural dependability evaluation with Arcade. | Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Marille Stoelinga |
| 2008 | EMSOFT | Quantitative testing. | Henrik C. Bohnenkamp, Marille Stoelinga |
| 2008 | ICECCS | Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework. | Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Marille Stoelinga |
| 2007 | ATVA | A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains. | Hichem Boudali, Pepijn Crouzen, Marille Stoelinga |
| 2007 | DSN | Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains. | Hichem Boudali, Pepijn Crouzen, Marille Stoelinga |
| 2007 | LICS | Game Relations and Metrics. | Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Marille Stoelinga |
| 2006 | ATVA | A Semantic Framework for Test Coverage. | Laura Brandn Briones, Ed Brinksma, Marille Stoelinga |
| 2004 | ICALP | Linear and Branching Metrics for Quantitative Transition Systems. | Luca de Alfaro, Marco Faella, Marille Stoelinga |
| 2004 | TACAS | Model Checking Discounted Temporal Properties. | Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Marille Stoelinga |
| 2003 | CONCUR | The Element of Surprise in Timed Games. | Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Marille Stoelinga |
| 2003 | EMSOFT | Resource Interfaces. | Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Marille Stoelinga |
| 2003 | ICALP | A Testing Scenario for Probabilistic Automata. | Marille Stoelinga, Frits W. Vaandrager |
| 2002 | EMSOFT | Timed Interfaces. | Luca de Alfaro, Thomas A. Henzinger, Marille Stoelinga |
| 2001 | TACAS | Linear Parametric Model Checking of Timed Automata. | Thomas Hune, Judi Romijn, Marille Stoelinga, Frits W. Vaandrager |
| 2000 | FOSSACS | Norm Functions for Probabilistic Bisimulations with Delays. | Christel Baier, Marille Stoelinga |