Mariëlle Stoelinga

192 papers A* 4A 11B 21C 11Misc 10Journal 74Unranked 52

Year	Rank	Type	Title / Venue / Authors
2026	—	`book`	Concise Guide to Fault Tree Analysis - Models, Methods and Algorithms Mariëlle Stoelinga, Enno Ruijters, Pavel Krcál
2025	—	`conf`	0-1 Laws for LTL and CTL over Random Transition Systems. SPIN Yanni Dong, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
2025	J	`jnl`	BayesL: Towards a Logical Framework for Bayesian Networks. CoRR Stefano M. Nicoletti, Mariëlle Stoelinga
2025	J	`jnl`	CPSLint: A Domain-Specific Language Providing Data Validation and Sanitisation for Industrial Cyber-Physical Systems. CoRR Uraz Odyurt, Ömer Sayilir, Mariëlle Stoelinga, Vadim Zaytsev
2025	J	`jnl`	Conformance in the railway industry: Single-Input-Change testing a EULYNX controller. Int. J. Softw. Tools Technol. Transf. Djurre van der Wal, Marcus Gerhold, Mariëlle Stoelinga, Arend Rensink
2025	J	`jnl`	Fault Tree Synthesis from Knowledge Graphs. CoRR Manzi Aimé Ntagengerwa, Georgiana Caltais, Mariëlle Stoelinga
2025	—	`conf`	Fuzzy Fault Trees: the Fast and the Formal. QEST+FORMATS Thi Kim Nhung Dang, Benedikt Peterseim, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
2025	J	`jnl`	Optimal spare management via statistical model checking: a case study in research reactors. Int. J. Softw. Tools Technol. Transf. Reza Soltani, Matthias Volk, Leonardo Diamonte, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
2025	J	`jnl`	Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies. CoRR Reza Soltani, Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
2025	J	`jnl`	Safety and Security Risk Mitigation in Satellite Missions via Attack-Fault-Defense Trees. CoRR Reza Soltani, Pablo Diale, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
2025	C	`conf`	Time for Quiescence: Modelling Quiescent Behaviour in Testing via Time-Outs in Timed Automata. ICTSS Laura Brandán Briones, Marcus Gerhold, Petra van den Bos, Mariëlle Stoelinga
2025	J	`jnl`	Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata. CoRR Laura Brandán Briones, Marcus Gerhold, Petra van den Bos, Mariëlle Stoelinga
2025	—	`conf`	WATCHDOG: an ontology-aWare risk AssessmenT approaCH via object-oriented DisruptiOn Graphs. CAiSE (2) Stefano M. Nicoletti, Ernst Moritz Hahn, Mattia Fumagalli, Giancarlo Guizzardi, Mariëlle Stoelinga
2025	J	`jnl`	With a little help from your friends: semi-cooperative games via Joker moves. Log. Methods Comput. Sci. Petra van den Bos, Mariëlle Stoelinga
2024	—	`conf`	CTMCs with Imprecisely Timed Observations. TACAS (2) Thom Badings, Matthias Volk, Sebastian Junges, Mariëlle Stoelinga, Nils Jansen
2024	J	`jnl`	CTMCs with Imprecisely Timed Observations. CoRR Thom Badings, Matthias Volk, Sebastian Junges, Mariëlle Stoelinga, Nils Jansen
2024	J	`jnl`	DODGE: Ontology-Aware Risk Assessment via Object-Oriented Disruption Graphs. CoRR Stefano M. Nicoletti, Ernst Moritz Hahn, Mattia Fumagalli, Giancarlo Guizzardi, Mariëlle Stoelinga
2024	C	`conf`	Fault Tree Inference Using Multi-objective Evolutionary Algorithms and Confusion Matrix-Based Metrics. FMICS Lisandro Arturo Jimenez-Roa, Nicolae Rusnac, Matthias Volk, Mariëlle Stoelinga
2024	J	`jnl`	Fuzzy Fault Trees Formalized. CoRR Thi Kim Nhung Dang, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
2024	B	`conf`	Fuzzy quantitative attack tree analysis. FASE Thi Kim Nhung Dang, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
2024	J	`jnl`	Fuzzy quantitative attack tree analysis. CoRR Thi Kim Nhung Dang, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
2024	J	`jnl`	How hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logic. CoRR Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga, Fabio Massacci, Carlos E. Budde
2024	J	`jnl`	Maintenance Strategies for Sewer Pipes with Multi-State Degradation and Deep Reinforcement Learning. CoRR Lisandro Arturo Jimenez-Roa, Thiago D. Simão, Zaharah Allah Bukhsh, Tiedo Tinga, Hajo Molegraaf, Nils Jansen, Mariëlle Stoelinga
2024	—	`conf`	Modular Criticality Analysis for Dynamic Fault Trees. Principles of Verification (3) Falak Sher, Mariëlle Stoelinga, Matthias Volk
2024	—	`conf`	No Risk, No Fun - A Tutorial on Risk Management. FM (2) Mariëlle Stoelinga
2024	—	`ed.`	Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I Principles of Verification (1) Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk
2024	—	`ed.`	Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II Principles of Verification (2) Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk
2024	—	`ed.`	Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III Principles of Verification (3) Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk
2024	J	`jnl`	Querying Fault and Attack Trees: Property Specification on a Water Network. CoRR Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga
2024	B	`conf`	Safety-Security Analysis via Attack-Fault-Defense Trees: Semantics and Cut Set Metrics. SAFECOMP Reza Soltani, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
2023	J	`jnl`	A Case in Point: Verification and Testing of a EULYNX Interface. Formal Aspects Comput. Mark Bouwman, Djurre van der Wal, Bas Luttik, Mariëlle Stoelinga, Arend Rensink
2023	J	`jnl`	ATM: a Logic for Quantitative Security Properties on Attack Trees. CoRR Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga
2023	B	`conf`	Attack Time Analysis in Dynamic Attack Trees via Integer Linear Programming. SEFM Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
2023	J	`jnl`	Automatic Inference of Fault Tree Models Via Multi-Objective Evolutionary Algorithms. IEEE Trans. Dependable Secur. Comput. Lisandro Arturo Jimenez-Roa, Tom Heskes, Tiedo Tinga, Mariëlle Stoelinga
2023	C	`conf`	Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller. FMICS Djurre van der Wal, Marcus Gerhold, Mariëlle Stoelinga
2023	A	`conf`	Cost-Damage Analysis of Attack Trees. DSN Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
2023	J	`jnl`	Cost-damage analysis of attack trees. CoRR Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
2023	J	`jnl`	Efficient and Generic Algorithms for Quantitative Attack Tree Analysis. IEEE Trans. Dependable Secur. Comput. Milan Lopuhaä-Zwakenberg, Carlos E. Budde, Mariëlle Stoelinga
2023	J	`jnl`	Fault Trees, Decision Trees, And Binary Decision Diagrams: A Systematic Comparison. CoRR Lisandro Arturo Jimenez-Roa, Tom Heskes, Mariëlle Stoelinga
2023	J	`jnl`	Introduction to the Special Collection from FASE 2021. Formal Aspects Comput. Esther Guerra, Mariëlle Stoelinga
2023	J	`jnl`	Model-based joint analysis of safety and security:Survey and identification of gaps. Comput. Sci. Rev. Stefano M. Nicoletti, Marijn Peppelman, Christina Kolb, Mariëlle Stoelinga
2023	C	`conf`	Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors. FMICS Reza Soltani, Matthias Volk, Leonardo Diamonte, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
2023	J	`jnl`	PFL: a Probabilistic Logic for Fault Trees. CoRR Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga
2023	J	`jnl`	Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions. CoRR Thom Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen
2023	J	`jnl`	Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions. J. Artif. Intell. Res. Thom Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen
2023	—	`conf`	Solving Queries for Boolean Fault Tree Logic via Quantified SAT. FTSCS Caz Saaltink, Stefano M. Nicoletti, Matthias Volk, Ernst Moritz Hahn, Mariëlle Stoelinga
2023	C	`conf`	With a Little Help from Your Friends: Semi-cooperative Games via Joker Moves. FORTE Petra van den Bos, Mariëlle Stoelinga
2023	J	`jnl`	With a little help from your friends: semi-cooperative games via Joker moves. CoRR Petra van den Bos, Mariëlle Stoelinga
2023	B	`conf`	sfATM: A Logic for Quantitative Security Properties on Attack Trees. SEFM Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga
2023	B	`conf`	sfPFL: A Probabilistic Logic for Fault Trees. FM Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga
2022	—	`ed.`	A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday A Journey from Process Algebra via Timed Automata to Model Learning Nils Jansen, Mariëlle Stoelinga, Petra van den Bos
2022	J	`jnl`	Analysis of non-Markovian repairable fault trees through rare event simulation. Int. J. Softw. Tools Technol. Transf. Carlos E. Budde, Pedro R. D'Argenio, Raúl E. Monti, Mariëlle Stoelinga
2022	J	`jnl`	Automatic inference of fault tree models via multi-objective evolutionary algorithms. CoRR Lisandro Arturo Jimenez-Roa, Tom Heskes, Tiedo Tinga, Mariëlle Stoelinga
2022	—	`conf`	BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees. NFM Daniel Basgöze, Matthias Volk, Joost-Pieter Katoen, Shahid Khan, Mariëlle Stoelinga
2022	J	`jnl`	BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees. CoRR Daniel Basgöze, Matthias Volk, Joost-Pieter Katoen, Shahid Khan, Mariëlle Stoelinga
2022	A	`conf`	BFL: a Logic to Reason about Fault Trees. DSN Stefano M. Nicoletti, Ernst Moritz Hahn, Mariëlle Stoelinga
2022	J	`jnl`	BFL: a Logic to Reason about Fault Trees. CoRR Stefano M. Nicoletti, Ernst Moritz Hahn, Mariëlle Stoelinga
2022	B	`conf`	Data-Driven Inference of Fault Tree Models Exploiting Symmetry and Modularization. SAFECOMP Lisandro Arturo Jimenez-Roa, Matthias Volk, Mariëlle Stoelinga
2022	J	`jnl`	Efficient and Generic Algorithms for Quantitative Attack Tree Analysis. CoRR Milan Lopuhaä-Zwakenberg, Carlos E. Budde, Mariëlle Stoelinga
2022	J	`jnl`	Engineering Mobile Apps for Disaster Management: The Case of COVID-19 Apps in the Google Play Store. IEEE Softw. Ivano Malavolta, Taher Ahmed Ghaleb, Istvan David, Jasper van Rooijen, Mariëlle Stoelinga
2022	—	`conf`	Formal Methods Meet Machine Learning (F3ML). ISoLA (3) Kim G. Larsen, Axel Legay, Gerrit Nolte, Maximilian Schlüter, Mariëlle Stoelinga, Bernhard Steffen
2022	—	`conf`	Learning to Learn HVAC Failures: Layering ML Experiments in the Absence of Ground Truth. RSSRail Carlos E. Budde, Duncan Jansen, Inka L. M. Locht, Mariëlle Stoelinga
2022	A*	`conf`	Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise. AAAI Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga
2022	—	`conf`	Sampling-Based Verification of CTMCs with Uncertain Rates. CAV (2) Thom S. Badings, Nils Jansen, Sebastian Junges, Mariëlle Stoelinga, Matthias Volk
2022	J	`jnl`	Sampling-Based Verification of CTMCs with Uncertain Rates. CoRR Thom S. Badings, Nils Jansen, Sebastian Junges, Mariëlle Stoelinga, Matthias Volk
2021	—	`conf`	Attack Trees vs. Fault Trees: Two Sides of the Same Coin from Different Currencies. QEST Carlos E. Budde, Christina Kolb, Mariëlle Stoelinga
2021	J	`jnl`	Attack time analysis in dynamic attack trees via integer linear programming. CoRR Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
2021	J	`jnl`	Correct-by-construction reach-avoid control of partially observable linear stochastic systems. CoRR Thom Badings, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen
2021	A	`conf`	Efficient Algorithms for Quantitative Attack Tree Analysis. CSF Carlos E. Budde, Mariëlle Stoelinga
2021	J	`jnl`	Efficient Algorithms for Quantitative Attack Tree Analysis. CoRR Carlos E. Budde, Mariëlle Stoelinga
2021	B	`ed.`	Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings FASE Esther Guerra, Mariëlle Stoelinga
2021	J	`jnl`	Model-based Safety and Security Co-analysis: a Survey. CoRR Christina Kolb, Stefano M. Nicoletti, Marijn Peppelman, Mariëlle Stoelinga
2021	J	`jnl`	Parametric Analyses of Attack-fault Trees. Fundam. Informaticae Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga
2021	J	`jnl`	Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise. CoRR Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga
2021	—	`conf`	The Marriage Between Safety and Cybersecurity: Still Practicing. SPIN Mariëlle Stoelinga, Christina Kolb, Stefano M. Nicoletti, Carlos E. Budde, Ernst Moritz Hahn
2020	—	`conf`	Automated Rare Event Simulation for Fault Tree Analysis via Minimal Cut Sets. MMB Carlos E. Budde, Mariëlle Stoelinga
2020	C	`conf`	Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems. ICFEM Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk, Mariëlle Stoelinga
2020	—	`conf`	Rare Event Simulation for Non-Markovian Repairable Fault Trees. TACAS (1) Carlos E. Budde, Marco Biagi, Raúl E. Monti, Pedro R. D'Argenio, Mariëlle Stoelinga
2020	—	`conf`	The Dynamic Fault Tree Rare Event Simulator. QEST Carlos E. Budde, Enno Ruijters, Mariëlle Stoelinga
2019	Misc	`conf`	Fault Trees from Data: Efficient Learning with an Evolutionary Algorithm. SETTA Alexis Linard, Doina Bucur, Mariëlle Stoelinga
2019	J	`jnl`	Fault Trees from Data: Efficient Learning with an Evolutionary Algorithm. CoRR Alexis Linard, Doina Bucur, Mariëlle Stoelinga
2019	—	`ed.`	Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings FORMATS Étienne André, Mariëlle Stoelinga
2019	B	`conf`	From Good Intentions to Behaviour Change - Probabilistic Feature Diagrams for Behaviour Support Agents. PRIMA Malte S. Kließ, Mariëlle Stoelinga, M. Birna van Riemsdijk
2019	J	`jnl`	Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems. CoRR Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Mariëlle Stoelinga
2019	J	`jnl`	Model-based testing of stochastically timed systems. Innov. Syst. Softw. Eng. Marcus Gerhold, Arnd Hartmanns, Mariëlle Stoelinga
2019	—	`conf`	Parametric Analyses of Attack-Fault Trees. ACSD Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga
2019	J	`jnl`	Parametric analyses of attack-fault trees. CoRR Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga
2019	J	`jnl`	Rare Event Simulation for non-Markovian repairable Fault Trees. CoRR Carlos E. Budde, Marco Biagi, Raúl E. Monti, Pedro R. D'Argenio, Mariëlle Stoelinga
2019	J	`jnl`	Rare event simulation for dynamic fault trees. Reliab. Eng. Syst. Saf. Enno Ruijters, Daniël Reijsbergen, Pieter-Tjerk de Boer, Mariëlle Stoelinga
2019	—	`conf`	The Recent Applications of Machine Learning in Rail Track Maintenance: A Survey. RSSRail Muhammad Chenariyan Nakhaee, Djoerd Hiemstra, Mariëlle Stoelinga, Martijn van Noort
2018	B	`conf`	Effective Analysis of Attack Trees: A Model-Driven Approach. FASE Rajesh Kumar, Stefano Schivo, Enno Ruijters, Bugra Mehmet Yildiz, David Huistra, Jacco Brandt, Arend Rensink, Mariëlle Stoelinga
2018	J	`jnl`	Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees. CoRR Nathalie Cauchi, Khaza Anuarul Hoque, Alessandro Abate, Mariëlle Stoelinga
2018	—	`conf`	LIFT: Learning Fault Trees from Observational Data. QEST Meike Nauta, Doina Bucur, Mariëlle Stoelinga
2018	Misc	`conf`	LOCKS: a property specification language for security goals. SAC Rajesh Kumar, Arend Rensink, Mariëlle Stoelinga
2018	J	`jnl`	Maintenance of Smart Buildings using Fault Trees. CoRR Nathalie Cauchi, Khaza Anuarul Hoque, Mariëlle Stoelinga, Alessandro Abate
2018	J	`jnl`	Maintenance of Smart Buildings using Fault Trees. ACM Trans. Sens. Networks Nathalie Cauchi, Khaza Anuarul Hoque, Mariëlle Stoelinga, Alessandro Abate
2018	—	`conf`	Model-Based Testing for General Stochastic Time. NFM Marcus Gerhold, Arnd Hartmanns, Mariëlle Stoelinga
2018	J	`jnl`	Model-based testing of probabilistic systems. Formal Aspects Comput. Marcus Gerhold, Mariëlle Stoelinga
2018	—	`conf`	Modelling Smart Buildings Using Fault Maintenance Trees. EPEW Alessandro Abate, Carlos E. Budde, Nathalie Cauchi, Arnaud van Harmelen, Khaza Anuarul Hoque, Mariëlle Stoelinga
2018	B	`conf`	One Net Fits All - A Unifying Semantics of Dynamic Fault Trees Using GSPNs. Petri Nets Sebastian Junges, Joost-Pieter Katoen, Mariëlle Stoelinga, Matthias Volk
2018	J	`jnl`	One Net Fits All: A unifying semantics of Dynamic Fault Trees using GSPNs. CoRR Sebastian Junges, Joost-Pieter Katoen, Mariëlle Stoelinga, Matthias Volk
2018	—	`conf`	Risk management for high tech systems. FormaliSE@ICSE Mariëlle Stoelinga
2018	—	`conf`	Tester versus Bug: A Generic Framework for Model-Based Testing via Games. GandALF Petra van den Bos, Mariëlle Stoelinga
2017	J	`jnl`	Availability analysis of software architecture decomposition alternatives for local recovery. Softw. Qual. J. Hasan Sözer, Mariëlle Stoelinga, Hichem Boudali, Mehmet Aksit
2017	—	`conf`	Boosting Fault Tree Analysis by Formal Methods. ModelEd, TestEd, TrustEd Joost-Pieter Katoen, Mariëlle Stoelinga
2017	—	`conf`	Efficient probabilistic model checking of smart building maintenance using fault maintenance trees. BuildSys Nathalie Cauchi, Khaza Anuarul Hoque, Alessandro Abate, Mariëlle Stoelinga
2017	J	`jnl`	Fault trees on a diet: automated reduction by graph rewriting. Formal Aspects Comput. Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga
2017	Misc	`conf`	How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach. SETTA Stefano Schivo, Bugra M. Yildiz, Enno Ruijters, Christopher Gerking, Rajesh Kumar, Stefan Dziwok, Arend Rensink, Mariëlle Stoelinga
2017	—	`conf`	Model-Based Testing of Probabilistic Systems with Stochastic Time. TAP@STAF Marcus Gerhold, Mariëlle Stoelinga
2017	—	`conf`	Quantitative Security and Safety Analysis with Attack-Fault Trees. HASE Rajesh Kumar, Mariëlle Stoelinga
2017	B	`conf`	Rare Event Simulation for Dynamic Fault Trees. SAFECOMP Enno Ruijters, Daniël Reijsbergen, Pieter-Tjerk de Boer, Mariëlle Stoelinga
2016	—	`conf`	A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications. CyPhy Waheed Ahmad, Bugra M. Yildiz, Arend Rensink, Mariëlle Stoelinga
2016	—	`conf`	Better Railway Engineering Through Statistical Model Checking. ISoLA (1) Enno Ruijters, Mariëlle Stoelinga
2016	J	`jnl`	Confluence reduction for Markov automata. Theor. Comput. Sci. Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga
2016	—	`conf`	Maintenance Analysis and Optimization via Statistical Model Checking - Evaluating a Train Pneumatic Compressor. QEST Enno Ruijters, Dennis Guck, Peter Drolenga, Margot Peters, Mariëlle Stoelinga
2016	—	`conf`	Model Checking and Evaluating QoS of Batteries in MPSoC Dataflow Applications via Hybrid Automata. ACSD Waheed Ahmad, Marijn R. Jongerden, Mariëlle Stoelinga, Jaco van de Pol
2016	B	`conf`	Model-Based Testing of Probabilistic Systems. FASE Marcus Gerhold, Mariëlle Stoelinga
2016	—	`conf`	Model-based testing of stochastic systems with IOCO theory. A-TEST@SIGSOFT FSE Marcus Gerhold, Mariëlle Stoelinga
2016	A	`conf`	Reliability-Centered Maintenance of the Electrically Insulated Railway Joint via Fault Tree Analysis: A Practical Experience Report. DSN Enno Ruijters, Dennis Guck, Martijn van Noort, Mariëlle Stoelinga
2016	J	`jnl`	Selected and extended papers from ACM SVT 2014. Sci. Comput. Program. Jun Pang, Mariëlle Stoelinga
2016	J	`jnl`	Special issue on Software Verification and Testing (SAC-SVT'15). Sci. Comput. Program. Gwen Salaün, Mariëlle Stoelinga
2016	—	`conf`	The Value of Attack-Defence Diagrams. POST Holger Hermanns, Julia Krämer, Jan Krcál, Mariëlle Stoelinga
2016	A	`conf`	Uncovering Dynamic Fault Trees. DSN Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Mariëlle Stoelinga
2016	Misc	`conf`	Using Attack-Defense Trees to Analyze Threats and Countermeasures in an ATM: A Case Study. PoEM Marlon Fraile, Margaret Ford, Olga Gadyatskaya, Rajesh Kumar, Mariëlle Stoelinga, Rolando Trujillo-Rasua
2015	Misc	`conf`	A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking. SETTA Tom van Dijk, Ernst Moritz Hahn, David N. Jansen, Yong Li, Thomas Neele, Mariëlle Stoelinga, Andrea Turrini, Lijun Zhang
2015	C	`conf`	DFTCalc: Reliability Centered Maintenance via Fault Tree Analysis (Tool Paper). ICFEM Dennis Guck, Jip Spel, Mariëlle Stoelinga
2015	Misc	`conf`	Fault Trees on a Diet - - Automated Reduction by Graph Rewriting -. SETTA Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga
2015	J	`jnl`	Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools. Comput. Sci. Rev. Enno Ruijters, Mariëlle Stoelinga
2015	C	`conf`	Green Computing: Power Optimisation of VFI-Based Real-Time Multiprocessor Dataflow Applications. DSD Waheed Ahmad, Philip K. F. Hölzenspies, Mariëlle Stoelinga, Jaco van de Pol
2015	—	`conf`	Ioco Theory for Probabilistic Automata. MBT Marcus Gerhold, Mariëlle Stoelinga
2015	—	`conf`	Modeling and Verification of the Bitcoin Protocol. MARS Kaylash Chaudhary, Ansgar Fehnker, Jaco van de Pol, Mariëlle Stoelinga
2015	—	`conf`	Quantitative Attack Tree Analysis via Priced Timed Automata. FORMATS Rajesh Kumar, Enno Ruijters, Mariëlle Stoelinga
2015	—	`conf`	Sequential and Parallel Attack Tree Modelling. SAFECOMP Workshops Florian Arnold, Dennis Guck, Rajesh Kumar, Mariëlle Stoelinga
2015	J	`jnl`	Time Dependent Analysis with Dynamic Counter Measure Trees. CoRR Rajesh Kumar, Dennis Guck, Mariëlle Stoelinga
2014	J	`jnl`	Effective verification of confidentiality for multi-threaded programs. J. Comput. Secur. Tri Minh Ngo, Mariëlle Stoelinga, Marieke Huisman
2014	J	`jnl`	Experiences with formal engineering: Model-based specification, implementation and testing of a software bus at Neopost. Sci. Comput. Program. Marten Sijtema, Axel Belinfante, Mariëlle Stoelinga, Lawrence Marinelli
2014	B	`conf`	Modelling and Analysis of Markov Reward Automata. ATVA Dennis Guck, Mark Timmer, Hassan Hatefi, Enno Ruijters, Mariëlle Stoelinga
2014	—	`conf`	Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata. ACSD Waheed Ahmad, Robert de Groote, Philip K. F. Hölzenspies, Mariëlle Stoelinga, Jaco van de Pol
2014	—	`ed.`	Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems - International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures ROCKS Anne Remke, Mariëlle Stoelinga
2014	—	`conf`	Time-Dependent Analysis of Attacks. POST Florian Arnold, Holger Hermanns, Reza Pulungan, Mariëlle Stoelinga
2013	—	`conf`	Confidentiality for Probabilistic Multi-threaded Programs and Its Verification. ESSoS Tri Minh Ngo, Mariëlle Stoelinga, Marieke Huisman
2013	—	`conf`	Confluence Reduction for Markov Automata. FORMATS Mark Timmer, Jaco van de Pol, Mariëlle Stoelinga
2013	B	`conf`	DFTCalc: A Tool for Efficient Fault Tree Analysis. SAFECOMP Florian Arnold, Axel Belinfante, Freark I. van der Berg, Dennis Guck, Mariëlle Stoelinga
2013	—	`conf`	Divergent Quiescent Transition Systems. TAP@STAF Willem Gerrit Johan Stokkink, Mark Timmer, Mariëlle Stoelinga
2013	—	`ed.`	Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings QEST Kaustubh R. Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D'Argenio
2013	C	`conf`	Quantitative penetration testing with item response theory. IAS Florian Arnold, Wolter Pieters, Mariëlle Stoelinga
2012	J	`jnl`	A linear process-algebraic format with data for probabilistic automata. Theor. Comput. Sci. Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer
2012	J	`jnl`	Divide and Conquer: the Quest for Compositional Design and Analysis (Dagstuhl Seminar 12511). Dagstuhl Reports Marieke Huisman, Barbara Jobstmann, Ina Schaefer, Mariëlle Stoelinga
2012	B	`conf`	Efficient Modelling and Generation of Markov Automata. CONCUR Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga
2012	C	`ed.`	Formal Methods for Industrial Critical Systems - 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings FMICS Mariëlle Stoelinga, Ralf Pinger
2012	—	`conf`	Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation MBT Gerjan Stokkink, Mark Timmer, Mariëlle Stoelinga
2011	A	`conf`	Confluence Reduction for Probabilistic Systems. TACAS Mark Timmer, Mariëlle Stoelinga, Jaco van de Pol
2011	C	`conf`	Experiences with Formal Engineering: Model-Based Specification, Implementation and Testing of a Software Bus at Neopost. FMICS Marten Sijtema, Mariëlle Stoelinga, Axel Belinfante, Lawrence Marinelli
2011	—	`ch.`	Model-Based Testing. Software and Systems Safety - Specification and Verification Mark Timmer, Ed Brinksma, Mariëlle Stoelinga
2010	—	`conf`	A Linear Process-Algebraic Format for Probabilistic Systems with Data. ACSD Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer
2010	J	`jnl`	A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis. IEEE Trans. Dependable Secur. Comput. Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga
2010	J	`jnl`	Confluence Reduction for Probabilistic Systems (extended version) CoRR Mark Timmer, Mariëlle Stoelinga, Jaco van de Pol
2010	A	`conf`	Evaluating repair strategies for a water-treatment facility using Arcade. DSN Boudewijn R. Haverkort, Matthias Kuntz, Anne Remke, S. Roolvink, Mariëlle Stoelinga
2009	—	`conf`	Architectural Availability Analysis of Software Decomposition for Local Recovery. SSIRI Hichem Boudali, Hasan Sözer, Mariëlle Stoelinga
2009	—	`conf`	Compositional dependability modeling using arcade: abstract for the keynote talk. SAVCBS Mariëlle Stoelinga
2009	—	`conf`	DFTSim: a simulation tool for extended dynamic fault trees. SpringSim Hichem Boudali, A. P. Nijmeijer, Mariëlle Stoelinga
2009	B	`conf`	Delayed Nondeterminism in Continuous-Time Markov Decision Processes. FoSSaCS Martin R. Neuhäußer, Mariëlle Stoelinga, Joost-Pieter Katoen
2009	Misc	`conf`	Interpreting a Successful Testing Process: Risk and Actual Coverage. TASE Mariëlle Stoelinga, Mark Timmer
2009	J	`jnl`	Linear and Branching System Metrics. IEEE Trans. Software Eng. Luca de Alfaro, Marco Faella, Mariëlle Stoelinga
2008	B	`conf`	Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework. ICECCS Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga
2008	A	`conf`	Architectural dependability evaluation with Arcade. DSN Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga
2008	J	`jnl`	Game Refinement Relations and Metrics CoRR Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga
2008	J	`jnl`	Game Refinement Relations and Metrics. Log. Methods Comput. Sci. Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga
2008	—	`conf`	Model Checking Quantitative Linear Time Logic. QAPL Marco Faella, Axel Legay, Mariëlle Stoelinga
2008	Misc	`conf`	Quantitative testing. EMSOFT Henrik C. Bohnenkamp, Mariëlle Stoelinga
2007	B	`conf`	A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains. ATVA Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga
2007	J	`jnl`	A testing scenario for probabilistic processes. J. ACM Ling Cheung, Mariëlle Stoelinga, Frits W. Vaandrager
2007	A	`conf`	Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains. DSN Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga
2007	A*	`conf`	Game Relations and Metrics. LICS Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga
2007	—	`conf`	How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison. Haifa Verification Conference David N. Jansen, Joost-Pieter Katoen, Marcel Oldenkamp, Mariëlle Stoelinga, Ivan S. Zapreev
2006	B	`conf`	A Semantic Framework for Test Coverage. ATVA Laura Brandán Briones, Ed Brinksma, Mariëlle Stoelinga
2006	—	`conf`	Compositional Quantitative Reasoning. QEST Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
2005	J	`jnl`	Model checking discounted temporal properties. Theor. Comput. Sci. Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
2004	A*	`conf`	Linear and Branching Metrics for Quantitative Transition Systems. ICALP Luca de Alfaro, Marco Faella, Mariëlle Stoelinga
2004	A	`conf`	Model Checking Discounted Temporal Properties. TACAS Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
2003	A*	`conf`	A Testing Scenario for Probabilistic Automata. ICALP Mariëlle Stoelinga, Frits W. Vaandrager
2003	J	`jnl`	Fun with FireWire: A Comparative Study of Formal Verification Methods Applied to the IEEE 1394 Root Contention Protocol. Formal Aspects Comput. Mariëlle Stoelinga
2003	—	`conf`	Interfaces: A Game-Theoretic Framework for Reasoning About Component-Based Systems. FOCLASA Luca de Alfaro, Mariëlle Stoelinga
2003	Misc	`conf`	Resource Interfaces. EMSOFT Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga
2003	B	`conf`	The Element of Surprise in Timed Games. CONCUR Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
2002	J	`jnl`	An Introduction to Probabilistic Automata. Bull. EATCS Mariëlle Stoelinga
2002	J	`jnl`	Linear parametric model checking of timed automata. J. Log. Algebraic Methods Program. Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager
2002	Misc	`conf`	Timed Interfaces. EMSOFT Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga
2001	A	`conf`	Linear Parametric Model Checking of Timed Automata. TACAS Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager
2001	J	`jnl`	Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k. Int. J. Softw. Tools Technol. Transf. David P. L. Simons, Mariëlle Stoelinga
2000	B	`conf`	Norm Functions for Probabilistic Bisimulations with Delays. FoSSaCS Christel Baier, Mariëlle Stoelinga
1999	—	`conf`	Root Contention in IEEE 1394. ARTS Mariëlle Stoelinga, Frits W. Vaandrager