Mariëlle Stoelinga

ORCID

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 103

Top Venues

Publications

Thi Kim Nhung Dang, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
Fuzzy quantitative attack tree analysis. CoRR (2024)
Thom S. Badings, Matthias Volk, Sebastian Junges, Mariëlle Stoelinga, Nils Jansen
CTMCs with Imprecisely Timed Observations. CoRR (2024)
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga
Querying Fault and Attack Trees: Property Specification on a Water Network. CoRR (2024)
Lisandro Arturo Jimenez-Roa, Tom Heskes, Tiedo Tinga, Mariëlle Stoelinga
Automatic Inference of Fault Tree Models Via Multi-Objective Evolutionary Algorithms. IEEE Trans. Dependable Secur. Comput. 20 (4) (2023)
Petra van den Bos, Mariëlle Stoelinga
With a little help from your friends: semi-cooperative games via Joker moves. CoRR (2023)
Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
Attack Time Analysis in Dynamic Attack Trees via Integer Linear Programming. SEFM (2023)
Mark Bouwman, Djurre van der Wal, Bas Luttik, Mariëlle Stoelinga, Arend Rensink
A Case in Point: Verification and Testing of a EULYNX Interface. Formal Aspects Comput. 35 (1) (2023)
Reza Soltani, Matthias Volk, Leonardo Diamonte, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors. FMICS (2023)
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga
ATM: a Logic for Quantitative Security Properties on Attack Trees. CoRR (2023)
Lisandro Arturo Jimenez-Roa, Tom Heskes, Mariëlle Stoelinga
Fault Trees, Decision Trees, And Binary Decision Diagrams: A Systematic Comparison. CoRR (2023)
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga
sfATM: A Logic for Quantitative Security Properties on Attack Trees. SEFM (2023)
Thom S. Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen
Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions. J. Artif. Intell. Res. 76 (2023)
Stefano M. Nicoletti, Marijn Peppelman, Christina Kolb, Mariëlle Stoelinga
Model-based joint analysis of safety and security:Survey and identification of gaps. Comput. Sci. Rev. 50 (2023)
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga
sfPFL: A Probabilistic Logic for Fault Trees. FM (2023)
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga
PFL: a Probabilistic Logic for Fault Trees. CoRR (2023)
Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
Cost-Damage Analysis of Attack Trees. DSN (2023)
Djurre van der Wal, Marcus Gerhold, Mariëlle Stoelinga
Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller. FMICS (2023)
Thom S. Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen
Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions. CoRR (2023)
Milan Lopuhaä-Zwakenberg, Carlos E. Budde, Mariëlle Stoelinga
Efficient and Generic Algorithms for Quantitative Attack Tree Analysis. IEEE Trans. Dependable Secur. Comput. 20 (5) (2023)
Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
Cost-damage analysis of attack trees. CoRR (2023)
Caz Saaltink, Stefano M. Nicoletti, Matthias Volk, Ernst Moritz Hahn, Mariëlle Stoelinga
Solving Queries for Boolean Fault Tree Logic via Quantified SAT. FTSCS (2023)
Petra van den Bos, Mariëlle Stoelinga
With a Little Help from Your Friends: Semi-cooperative Games via Joker Moves. FORTE (2023)
Ivano Malavolta, Taher Ahmed Ghaleb, Istvan David, Jasper van Rooijen, Mariëlle Stoelinga
Engineering Mobile Apps for Disaster Management: The Case of COVID-19 Apps in the Google Play Store. IEEE Softw. 39 (3) (2022)
Lisandro Arturo Jimenez-Roa, Tom Heskes, Tiedo Tinga, Mariëlle Stoelinga
Automatic inference of fault tree models via multi-objective evolutionary algorithms. CoRR (2022)
Daniel Basgöze, Matthias Volk, Joost-Pieter Katoen, Shahid Khan, Mariëlle Stoelinga
BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees. NFM (2022)
Thom S. Badings, Nils Jansen, Sebastian Junges, Mariëlle Stoelinga, Matthias Volk
Sampling-Based Verification of CTMCs with Uncertain Rates. CAV (2) (2022)
Lisandro Arturo Jimenez-Roa, Matthias Volk, Mariëlle Stoelinga
Data-Driven Inference of Fault Tree Models Exploiting Symmetry and Modularization. SAFECOMP (2022)
Carlos E. Budde, Duncan Jansen, Inka L. M. Locht, Mariëlle Stoelinga
Learning to Learn HVAC Failures: Layering ML Experiments in the Absence of Ground Truth. RSSRail (2022)
Daniel Basgöze, Matthias Volk, Joost-Pieter Katoen, Shahid Khan, Mariëlle Stoelinga
BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees. CoRR (2022)
Thom S. Badings, Nils Jansen, Sebastian Junges, Mariëlle Stoelinga, Matthias Volk
Sampling-Based Verification of CTMCs with Uncertain Rates. CoRR (2022)
Carlos E. Budde, Pedro R. D'Argenio, Raúl E. Monti, Mariëlle Stoelinga
Analysis of non-Markovian repairable fault trees through rare event simulation. Int. J. Softw. Tools Technol. Transf. 24 (5) (2022)
Milan Lopuhaä-Zwakenberg, Carlos E. Budde, Mariëlle Stoelinga
Efficient and Generic Algorithms for Quantitative Attack Tree Analysis. CoRR (2022)
Stefano M. Nicoletti, Ernst Moritz Hahn, Mariëlle Stoelinga
BFL: a Logic to Reason about Fault Trees. DSN (2022)
Stefano M. Nicoletti, Ernst Moritz Hahn, Mariëlle Stoelinga
BFL: a Logic to Reason about Fault Trees. CoRR (2022)
Kim G. Larsen, Axel Legay, Gerrit Nolte, Maximilian Schlüter, Mariëlle Stoelinga, Bernhard Steffen
Formal Methods Meet Machine Learning (F3ML). ISoLA (3) (2022)
Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise. AAAI (2022)
Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise. CoRR (2021)
Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
Attack time analysis in dynamic attack trees via integer linear programming. CoRR (2021)
Carlos E. Budde, Mariëlle Stoelinga
Efficient Algorithms for Quantitative Attack Tree Analysis. CoRR (2021)
Mariëlle Stoelinga, Christina Kolb, Stefano M. Nicoletti, Carlos E. Budde, Ernst Moritz Hahn
The Marriage Between Safety and Cybersecurity: Still Practicing. SPIN (2021)
Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga
Parametric Analyses of Attack-fault Trees. Fundam. Informaticae 182 (1) (2021)
Carlos E. Budde, Christina Kolb, Mariëlle Stoelinga
Attack Trees vs. Fault Trees: Two Sides of the Same Coin from Different Currencies. QEST (2021)
Carlos E. Budde, Mariëlle Stoelinga
Efficient Algorithms for Quantitative Attack Tree Analysis. CSF (2021)
Christina Kolb, Stefano M. Nicoletti, Marijn Peppelman, Mariëlle Stoelinga
Model-based Safety and Security Co-analysis: a Survey. CoRR (2021)
Thom S. Badings, Nils Jansen, Hasan A. Poonawala, Mariëlle Stoelinga
Filter-Based Abstractions with Correctness Guarantees for Planning under Uncertainty. CoRR (2021)
Carlos E. Budde, Enno Ruijters, Mariëlle Stoelinga
The Dynamic Fault Tree Rare Event Simulator. QEST (2020)
Carlos E. Budde, Mariëlle Stoelinga
Automated Rare Event Simulation for Fault Tree Analysis via Minimal Cut Sets. MMB (2020)
Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk, Mariëlle Stoelinga
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems. ICFEM (2020)
Carlos E. Budde, Marco Biagi, Raúl E. Monti, Pedro R. D'Argenio, Mariëlle Stoelinga
Rare Event Simulation for Non-Markovian Repairable Fault Trees. TACAS (1) (2020)
Malte S. Kließ, Mariëlle Stoelinga, M. Birna van Riemsdijk
From Good Intentions to Behaviour Change - Probabilistic Feature Diagrams for Behaviour Support Agents. PRIMA (2019)
Enno Ruijters, Daniël Reijsbergen, Pieter-Tjerk de Boer, Mariëlle Stoelinga
Rare event simulation for dynamic fault trees. Reliab. Eng. Syst. Saf. 186 (2019)
Marcus Gerhold, Arnd Hartmanns, Mariëlle Stoelinga
Model-based testing of stochastically timed systems. Innov. Syst. Softw. Eng. 15 (3-4) (2019)
Alexis Linard, Doina Bucur, Mariëlle Stoelinga
Fault Trees from Data: Efficient Learning with an Evolutionary Algorithm. SETTA (2019)
Carlos E. Budde, Marco Biagi, Raúl E. Monti, Pedro R. D'Argenio, Mariëlle Stoelinga
Rare Event Simulation for non-Markovian repairable Fault Trees. CoRR (2019)
Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Mariëlle Stoelinga
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems. CoRR (2019)
Alexis Linard, Doina Bucur, Mariëlle Stoelinga
Fault Trees from Data: Efficient Learning with an Evolutionary Algorithm. CoRR (2019)
Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga
Parametric Analyses of Attack-Fault Trees. ACSD (2019)
Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga
Parametric analyses of attack-fault trees. CoRR (2019)
Muhammad Chenariyan Nakhaee, Djoerd Hiemstra, Mariëlle Stoelinga, Martijn van Noort
The Recent Applications of Machine Learning in Rail Track Maintenance: A Survey. RSSRail (2019)
Marcus Gerhold, Arnd Hartmanns, Mariëlle Stoelinga
Model-Based Testing for General Stochastic Time. NFM (2018)
Sebastian Junges, Joost-Pieter Katoen, Mariëlle Stoelinga, Matthias Volk
One Net Fits All: A unifying semantics of Dynamic Fault Trees using GSPNs. CoRR (2018)
Nathalie Cauchi, Khaza Anuarul Hoque, Mariëlle Stoelinga, Alessandro Abate
Maintenance of Smart Buildings using Fault Trees. CoRR (2018)
Sebastian Junges, Joost-Pieter Katoen, Mariëlle Stoelinga, Matthias Volk
One Net Fits All - A Unifying Semantics of Dynamic Fault Trees Using GSPNs. Petri Nets (2018)
Nathalie Cauchi, Khaza Anuarul Hoque, Mariëlle Stoelinga, Alessandro Abate
Maintenance of Smart Buildings using Fault Trees. ACM Trans. Sens. Networks 14 (3-4) (2018)
Nathalie Cauchi, Khaza Anuarul Hoque, Alessandro Abate, Mariëlle Stoelinga
Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees. CoRR (2018)
Marcus Gerhold, Mariëlle Stoelinga
Model-based testing of probabilistic systems. Formal Aspects Comput. 30 (1) (2018)
Petra van den Bos, Mariëlle Stoelinga
Tester versus Bug: A Generic Framework for Model-Based Testing via Games. GandALF (2018)
Meike Nauta, Doina Bucur, Mariëlle Stoelinga
LIFT: Learning Fault Trees from Observational Data. QEST (2018)
Rajesh Kumar, Arend Rensink, Mariëlle Stoelinga
LOCKS: a property specification language for security goals. SAC (2018)
Rajesh Kumar, Stefano Schivo, Enno Ruijters, Bugra Mehmet Yildiz, David Huistra, Jacco Brandt, Arend Rensink, Mariëlle Stoelinga
Effective Analysis of Attack Trees: A Model-Driven Approach. FASE (2018)
Mariëlle Stoelinga
Risk management for high tech systems. FormaliSE@ICSE (2018)
Alessandro Abate, Carlos E. Budde, Nathalie Cauchi, Arnaud van Harmelen, Khaza Anuarul Hoque, Mariëlle Stoelinga
Modelling Smart Buildings Using Fault Maintenance Trees. EPEW (2018)
Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga
Fault trees on a diet: automated reduction by graph rewriting. Formal Aspects Comput. 29 (4) (2017)
Stefano Schivo, Bugra M. Yildiz, Enno Ruijters, Christopher Gerking, Rajesh Kumar, Stefan Dziwok, Arend Rensink, Mariëlle Stoelinga
How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach. SETTA (2017)
Marcus Gerhold, Mariëlle Stoelinga
Model-Based Testing of Probabilistic Systems with Stochastic Time. TAP@STAF (2017)
Hasan Sözer, Mariëlle Stoelinga, Hichem Boudali, Mehmet Aksit
Availability analysis of software architecture decomposition alternatives for local recovery. Softw. Qual. J. 25 (2) (2017)
Nathalie Cauchi, Khaza Anuarul Hoque, Alessandro Abate, Mariëlle Stoelinga
Efficient probabilistic model checking of smart building maintenance using fault maintenance trees. BuildSys@SenSys (2017)
Rajesh Kumar, Mariëlle Stoelinga
Quantitative Security and Safety Analysis with Attack-Fault Trees. HASE (2017)
Joost-Pieter Katoen, Mariëlle Stoelinga
Boosting Fault Tree Analysis by Formal Methods. ModelEd, TestEd, TrustEd (2017)
Enno Ruijters, Daniël Reijsbergen, Pieter-Tjerk de Boer, Mariëlle Stoelinga
Rare Event Simulation for Dynamic Fault Trees. SAFECOMP (2017)
Enno Ruijters, Dennis Guck, Martijn van Noort, Mariëlle Stoelinga
Reliability-Centered Maintenance of the Electrically Insulated Railway Joint via Fault Tree Analysis: A Practical Experience Report. DSN (2016)
Holger Hermanns, Julia Krämer, Jan Krcál, Mariëlle Stoelinga
The Value of Attack-Defence Diagrams. POST (2016)
Waheed Ahmad, Bugra M. Yildiz, Arend Rensink, Mariëlle Stoelinga
A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications. CyPhy (2016)
Enno Ruijters, Dennis Guck, Peter Drolenga, Margot Peters, Mariëlle Stoelinga
Maintenance Analysis and Optimization via Statistical Model Checking - Evaluating a Train Pneumatic Compressor. QEST (2016)
Enno Ruijters, Mariëlle Stoelinga
Better Railway Engineering Through Statistical Model Checking. ISoLA (1) (2016)
Marcus Gerhold, Mariëlle Stoelinga
Model-based testing of stochastic systems with IOCO theory. A-TEST@SIGSOFT FSE (2016)
Gwen Salaün, Mariëlle Stoelinga
Special issue on Software Verification and Testing (SAC-SVT'15). Sci. Comput. Program. 132 (2016)
Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Mariëlle Stoelinga
Uncovering Dynamic Fault Trees. DSN (2016)
Marcus Gerhold, Mariëlle Stoelinga
Model-Based Testing of Probabilistic Systems. FASE (2016)
Waheed Ahmad, Marijn R. Jongerden, Mariëlle Stoelinga, Jaco van de Pol
Model Checking and Evaluating QoS of Batteries in MPSoC Dataflow Applications via Hybrid Automata. ACSD (2016)
Jun Pang, Mariëlle Stoelinga
Selected and extended papers from ACM SVT 2014. Sci. Comput. Program. 123 (2016)
Marlon Fraile, Margaret Ford, Olga Gadyatskaya, Rajesh Kumar, Mariëlle Stoelinga, Rolando Trujillo-Rasua
Using Attack-Defense Trees to Analyze Threats and Countermeasures in an ATM: A Case Study. PoEM (2016)
Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga
Confluence reduction for Markov automata. Theor. Comput. Sci. 655 (2016)
Waheed Ahmad, Philip K. F. Hölzenspies, Mariëlle Stoelinga, Jaco van de Pol
Green Computing: Power Optimisation of VFI-Based Real-Time Multiprocessor Dataflow Applications. DSD (2015)
Tom van Dijk, Ernst Moritz Hahn, David N. Jansen, Yong Li, Thomas Neele, Mariëlle Stoelinga, Andrea Turrini, Lijun Zhang
A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking. SETTA (2015)
Enno Ruijters, Mariëlle Stoelinga
Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools. Comput. Sci. Rev. 15 (2015)
Marcus Gerhold, Mariëlle Stoelinga
Ioco Theory for Probabilistic Automata. MBT (2015)
Kaylash Chaudhary, Ansgar Fehnker, Jaco van de Pol, Mariëlle Stoelinga
Modeling and Verification of the Bitcoin Protocol. MARS (2015)
Florian Arnold, Dennis Guck, Rajesh Kumar, Mariëlle Stoelinga
Sequential and Parallel Attack Tree Modelling. SAFECOMP Workshops (2015)
Rajesh Kumar, Dennis Guck, Mariëlle Stoelinga
Time Dependent Analysis with Dynamic Counter Measure Trees. CoRR (2015)

Mariëlle Stoelinga.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mariëlle Stoelinga