![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Mariëlle Stoelinga
Person information
- affiliation: University of Twente, Department of Computer Science
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c100]Thi Kim Nhung Dang
, Milan Lopuhaä-Zwakenberg
, Mariëlle Stoelinga
:
Fuzzy quantitative attack tree analysis. FASE 2024: 210-231 - [c99]Thom S. Badings
, Matthias Volk
, Sebastian Junges
, Mariëlle Stoelinga
, Nils Jansen
:
CTMCs with Imprecisely Timed Observations. TACAS (2) 2024: 258-278 - [i32]Thom S. Badings, Matthias Volk, Sebastian Junges, Mariëlle Stoelinga
, Nils Jansen
:
CTMCs with Imprecisely Timed Observations. CoRR abs/2401.06574 (2024) - [i31]Thi Kim Nhung Dang, Milan Lopuhaä-Zwakenberg
, Mariëlle Stoelinga
:
Fuzzy quantitative attack tree analysis. CoRR abs/2401.12346 (2024) - [i30]Stefano M. Nicoletti
, Milan Lopuhaä-Zwakenberg
, Ernst Moritz Hahn, Mariëlle Stoelinga
:
Querying Fault and Attack Trees: Property Specification on a Water Network. CoRR abs/2401.16015 (2024) - [i29]Thi Kim Nhung Dang, Milan Lopuhaä-Zwakenberg
, Mariëlle Stoelinga
:
Fuzzy Fault Trees Formalized. CoRR abs/2403.08843 (2024) - [i28]Lisandro Arturo Jimenez-Roa, Thiago D. Simão, Zaharah Allah Bukhsh, Tiedo Tinga, Hajo Molegraaf, Nils Jansen, Mariëlle Stoelinga:
Maintenance Strategies for Sewer Pipes with Multi-State Degradation and Deep Reinforcement Learning. CoRR abs/2407.12894 (2024) - 2023
- [j31]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: 100597 (2023) - [j30]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): 2:1-2:38 (2023) - [j29]Esther Guerra
, Mariëlle Stoelinga:
Introduction to the Special Collection from FASE 2021. Formal Aspects Comput. 35(3): 14 (2023) - [j28]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: 341-391 (2023) - [j27]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): 3317-3327 (2023) - [j26]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): 4169-4187 (2023) - [c98]Milan Lopuhaä-Zwakenberg
, Mariëlle Stoelinga
:
Cost-Damage Analysis of Attack Trees. DSN 2023: 545-558 - [c97]Stefano M. Nicoletti
, Milan Lopuhaä-Zwakenberg
, Ernst Moritz Hahn
, Mariëlle Stoelinga
:
sfPFL: A Probabilistic Logic for Fault Trees. FM 2023: 199-221 - [c96]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: 205-223 - [c95]Djurre van der Wal
, Marcus Gerhold
, Mariëlle Stoelinga
:
Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller. FMICS 2023: 242-258 - [c94]Petra van den Bos, Mariëlle Stoelinga
:
With a Little Help from Your Friends: Semi-cooperative Games via Joker Moves. FORTE 2023: 155-172 - [c93]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: 48-59 - [c92]Milan Lopuhaä-Zwakenberg
, Mariëlle Stoelinga
:
Attack Time Analysis in Dynamic Attack Trees via Integer Linear Programming. SEFM 2023: 165-183 - [c91]Stefano M. Nicoletti
, Milan Lopuhaä-Zwakenberg
, Ernst Moritz Hahn
, Mariëlle Stoelinga
:
sfATM: A Logic for Quantitative Security Properties on Attack Trees. SEFM 2023: 205-225 - [i27]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 abs/2301.01526 (2023) - [i26]Stefano M. Nicoletti
, Milan Lopuhaä-Zwakenberg
, Ernst Moritz Hahn, Mariëlle Stoelinga
:
PFL: a Probabilistic Logic for Fault Trees. CoRR abs/2303.17314 (2023) - [i25]Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga:
Cost-damage analysis of attack trees. CoRR abs/2304.05812 (2023) - [i24]Petra van den Bos, Mariëlle Stoelinga
:
With a little help from your friends: semi-cooperative games via Joker moves. CoRR abs/2304.13417 (2023) - [i23]Stefano M. Nicoletti
, Milan Lopuhaä-Zwakenberg
, Ernst Moritz Hahn, Mariëlle Stoelinga
:
ATM: a Logic for Quantitative Security Properties on Attack Trees. CoRR abs/2309.09231 (2023) - [i22]Lisandro Arturo Jimenez-Roa, Tom Heskes, Mariëlle Stoelinga:
Fault Trees, Decision Trees, And Binary Decision Diagrams: A Systematic Comparison. CoRR abs/2310.04448 (2023) - 2022
- [j25]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): 31-42 (2022) - [j24]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): 821-841 (2022) - [c90]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: 9669-9678 - [c89]Thom S. Badings
, Nils Jansen
, Sebastian Junges
, Mariëlle Stoelinga
, Matthias Volk
:
Sampling-Based Verification of CTMCs with Uncertain Rates. CAV (2) 2022: 26-47 - [c88]Stefano M. Nicoletti
, Ernst Moritz Hahn, Mariëlle Stoelinga
:
BFL: a Logic to Reason about Fault Trees. DSN 2022: 441-452 - [c87]Kim G. Larsen
, Axel Legay, Gerrit Nolte, Maximilian Schlüter, Mariëlle Stoelinga
, Bernhard Steffen:
Formal Methods Meet Machine Learning (F3ML). ISoLA (3) 2022: 393-405 - [c86]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: 713-732 - [c85]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: 95-111 - [c84]Lisandro Arturo Jimenez-Roa
, Matthias Volk
, Mariëlle Stoelinga
:
Data-Driven Inference of Fault Tree Models Exploiting Symmetry and Modularization. SAFECOMP 2022: 46-61 - [e6]Nils Jansen
, Mariëlle Stoelinga
, Petra van den Bos:
A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 13560, Springer 2022, ISBN 978-3-031-15628-1 [contents] - [i21]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 abs/2202.02829 (2022) - [i20]Lisandro Arturo Jimenez-Roa, Tom Heskes, Tiedo Tinga, Mariëlle Stoelinga:
Automatic inference of fault tree models via multi-objective evolutionary algorithms. CoRR abs/2204.03743 (2022) - [i19]Thom S. Badings, Nils Jansen
, Sebastian Junges, Mariëlle Stoelinga, Matthias Volk:
Sampling-Based Verification of CTMCs with Uncertain Rates. CoRR abs/2205.08300 (2022) - [i18]Stefano M. Nicoletti
, Ernst Moritz Hahn, Mariëlle Stoelinga
:
BFL: a Logic to Reason about Fault Trees. CoRR abs/2208.13424 (2022) - [i17]Milan Lopuhaä-Zwakenberg, Carlos E. Budde, Mariëlle Stoelinga:
Efficient and Generic Algorithms for Quantitative Attack Tree Analysis. CoRR abs/2212.05358 (2022) - 2021
- [j23]Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga:
Parametric Analyses of Attack-fault Trees. Fundam. Informaticae 182(1): 69-94 (2021) - [c83]Carlos E. Budde
, Mariëlle Stoelinga
:
Efficient Algorithms for Quantitative Attack Tree Analysis. CSF 2021: 1-15 - [c82]Carlos E. Budde
, Christina Kolb
, Mariëlle Stoelinga
:
Attack Trees vs. Fault Trees: Two Sides of the Same Coin from Different Currencies. QEST 2021: 457-467 - [c81]Mariëlle Stoelinga
, Christina Kolb
, Stefano M. Nicoletti
, Carlos E. Budde
, Ernst Moritz Hahn
:
The Marriage Between Safety and Cybersecurity: Still Practicing. SPIN 2021: 3-21 - [e5]Esther Guerra
, Mariëlle Stoelinga
:
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. Lecture Notes in Computer Science 12649, Springer 2021, ISBN 978-3-030-71499-4 [contents] - [i16]Thom S. Badings, Nils Jansen, Hasan A. Poonawala, Mariëlle Stoelinga:
Filter-Based Abstractions with Correctness Guarantees for Planning under Uncertainty. CoRR abs/2103.02398 (2021) - [i15]Carlos E. Budde, Mariëlle Stoelinga:
Efficient Algorithms for Quantitative Attack Tree Analysis. CoRR abs/2105.07511 (2021) - [i14]Christina Kolb, Stefano M. Nicoletti, Marijn Peppelman, Mariëlle Stoelinga:
Model-based Safety and Security Co-analysis: a Survey. CoRR abs/2106.06272 (2021) - [i13]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 abs/2110.12662 (2021) - [i12]Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga:
Attack time analysis in dynamic attack trees via integer linear programming. CoRR abs/2111.05114 (2021) - 2020
- [c80]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: 3-19 - [c79]Carlos E. Budde
, Mariëlle Stoelinga
:
Automated Rare Event Simulation for Fault Tree Analysis via Minimal Cut Sets. MMB 2020: 259-277 - [c78]Carlos E. Budde
, Enno Ruijters
, Mariëlle Stoelinga
:
The Dynamic Fault Tree Rare Event Simulator. QEST 2020: 233-238 - [c77]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: 463-482
2010 – 2019
- 2019
- [j22]Marcus Gerhold
, Arnd Hartmanns
, Mariëlle Stoelinga
:
Model-based testing of stochastically timed systems. Innov. Syst. Softw. Eng. 15(3-4): 207-233 (2019) - [j21]Enno Ruijters
, Daniël Reijsbergen, Pieter-Tjerk de Boer, Mariëlle Stoelinga
:
Rare event simulation for dynamic fault trees. Reliab. Eng. Syst. Saf. 186: 220-231 (2019) - [c76]Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga
:
Parametric Analyses of Attack-Fault Trees. ACSD 2019: 33-42 - [c75]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: 354-369 - [c74]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: 91-105 - [c73]Alexis Linard, Doina Bucur, Mariëlle Stoelinga
:
Fault Trees from Data: Efficient Learning with an Evolutionary Algorithm. SETTA 2019: 19-37 - [e4]Étienne André, Mariëlle Stoelinga:
Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings. Lecture Notes in Computer Science 11750, Springer 2019, ISBN 978-3-030-29661-2 [contents] - [i11]Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga:
Parametric analyses of attack-fault trees. CoRR abs/1902.04336 (2019) - [i10]Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Mariëlle Stoelinga:
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems. CoRR abs/1906.05283 (2019) - [i9]Alexis Linard, Doina Bucur, Mariëlle Stoelinga:
Fault Trees from Data: Efficient Learning with an Evolutionary Algorithm. CoRR abs/1909.06258 (2019) - [i8]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 abs/1910.11672 (2019) - 2018
- [j20]Marcus Gerhold, Mariëlle Stoelinga
:
Model-based testing of probabilistic systems. Formal Aspects Comput. 30(1): 77-106 (2018) - [j19]Nathalie Cauchi
, Khaza Anuarul Hoque, Mariëlle Stoelinga
, Alessandro Abate:
Maintenance of Smart Buildings using Fault Trees. ACM Trans. Sens. Networks 14(3-4): 28:1-28:25 (2018) - [c72]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: 272-293 - [c71]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: 110-125 - [c70]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: 56-73 - [c69]Mariëlle Stoelinga
:
Risk management for high tech systems. FormaliSE@ICSE 2018: 1 - [c68]Marcus Gerhold
, Arnd Hartmanns
, Mariëlle Stoelinga
:
Model-Based Testing for General Stochastic Time. NFM 2018: 203-219 - [c67]Meike Nauta
, Doina Bucur, Mariëlle Stoelinga
:
LIFT: Learning Fault Trees from Observational Data. QEST 2018: 306-322 - [c66]Rajesh Kumar
, Arend Rensink, Mariëlle Stoelinga
:
LOCKS: a property specification language for security goals. SAC 2018: 1907-1915 - [c65]Petra van den Bos, Mariëlle Stoelinga
:
Tester versus Bug: A Generic Framework for Model-Based Testing via Games. GandALF 2018: 118-132 - [i7]Nathalie Cauchi, Khaza Anuarul Hoque, Alessandro Abate, Mariëlle Stoelinga:
Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees. CoRR abs/1801.04263 (2018) - [i6]Sebastian Junges, Joost-Pieter Katoen, Mariëlle Stoelinga, Matthias Volk:
One Net Fits All: A unifying semantics of Dynamic Fault Trees using GSPNs. CoRR abs/1803.05376 (2018) - [i5]Nathalie Cauchi, Khaza Anuarul Hoque, Mariëlle Stoelinga, Alessandro Abate:
Maintenance of Smart Buildings using Fault Trees. CoRR abs/1806.05174 (2018) - 2017
- [j18]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): 651-703 (2017) - [j17]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): 553-579 (2017) - [c64]Ed Brinksma, Mariëlle I. A. Stoelinga
, Mark Timmer:
Testing Divergent Transition Systems. Models, Algorithms, Logics and Tools 2017: 339-366 - [c63]Joost-Pieter Katoen, Mariëlle Stoelinga
:
Boosting Fault Tree Analysis by Formal Methods. ModelEd, TestEd, TrustEd 2017: 368-389 - [c62]Rajesh Kumar
, Mariëlle Stoelinga
:
Quantitative Security and Safety Analysis with Attack-Fault Trees. HASE 2017: 25-32 - [c61]Enno Ruijters
, Daniël Reijsbergen, Pieter-Tjerk de Boer, Mariëlle Stoelinga
:
Rare Event Simulation for Dynamic Fault Trees. SAFECOMP 2017: 20-35 - [c60]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: 24:1-24:10 - [c59]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: 319-336 - [c58]Marcus Gerhold, Mariëlle Stoelinga
:
Model-Based Testing of Probabilistic Systems with Stochastic Time. TAP@STAF 2017: 77-97 - 2016
- [j16]Jun Pang, Mariëlle Stoelinga:
Selected and extended papers from ACM SVT 2014. Sci. Comput. Program. 123: 1 (2016) - [j15]Gwen Salaün, Mariëlle Stoelinga:
Special issue on Software Verification and Testing (SAC-SVT'15). Sci. Comput. Program. 132: 141-142 (2016) - [j14]Mark Timmer, Joost-Pieter Katoen
, Jaco van de Pol, Mariëlle Stoelinga
:
Confluence reduction for Markov automata. Theor. Comput. Sci. 655: 193-219 (2016) - [c57]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: 114-123 - [c56]Waheed Ahmad, Bugra M. Yildiz, Arend Rensink, Mariëlle Stoelinga
:
A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications. CyPhy 2016: 1-16 - [c55]Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Mariëlle Stoelinga
:
Uncovering Dynamic Fault Trees. DSN 2016: 299-310 - [c54]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: 662-669 - [c53]Marcus Gerhold, Mariëlle Stoelinga
:
Model-Based Testing of Probabilistic Systems. FASE 2016: 251-268 - [c52]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: 326-334 - [c51]Enno Ruijters
, Mariëlle Stoelinga
:
Better Railway Engineering Through Statistical Model Checking. ISoLA (1) 2016: 151-165 - [c50]Holger Hermanns, Julia Krämer, Jan Krcál, Mariëlle Stoelinga
:
The Value of Attack-Defence Diagrams. POST 2016: 163-185 - [c49]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: 331-347 - [c48]Marcus Gerhold, Mariëlle Stoelinga:
Model-based testing of stochastic systems with IOCO theory. A-TEST@SIGSOFT FSE 2016: 45-51 - 2015
- [j13]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: 29-62 (2015) - [c47]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: 271-275 - [c46]Rajesh Kumar
, Enno Ruijters
, Mariëlle Stoelinga
:
Quantitative Attack Tree Analysis via Priced Timed Automata. FORMATS 2015: 156-171 - [c45]Dennis Guck, Jip Spel, Mariëlle Stoelinga
:
DFTCalc: Reliability Centered Maintenance via Fault Tree Analysis (Tool Paper). ICFEM 2015: 304-311 - [c44]Florian Arnold, Dennis Guck, Rajesh Kumar
, Mariëlle Stoelinga
:
Sequential and Parallel Attack Tree Modelling. SAFECOMP Workshops 2015: 291-299 - [c43]Sebastian Junges, Dennis Guck, Joost-Pieter Katoen
, Arend Rensink, Mariëlle Stoelinga
:
Fault Trees on a Diet - - Automated Reduction by Graph Rewriting -. SETTA 2015: 3-18 - [c42]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: 35-51 - [c41]Marcus Gerhold, Mariëlle Stoelinga
:
Ioco Theory for Probabilistic Automata. MBT 2015: 23-40 - [c40]Kaylash Chaudhary
, Ansgar Fehnker
, Jaco van de Pol, Mariëlle Stoelinga
:
Modeling and Verification of the Bitcoin Protocol. MARS 2015: 46-60 - [i4]Rajesh Kumar, Dennis Guck, Mariëlle Stoelinga:
Time Dependent Analysis with Dynamic Counter Measure Trees. CoRR abs/1510.00050 (2015) - 2014
- [j12]Tri Minh Ngo, Mariëlle Stoelinga
, Marieke Huisman
:
Effective verification of confidentiality for multi-threaded programs. J. Comput. Secur. 22(2): 269-300 (2014) - [j11]Marten Sijtema, Axel Belinfante, Mariëlle Stoelinga
, Lawrence Marinelli:
Experiences with formal engineering: Model-based specification, implementation and testing of a software bus at Neopost. Sci. Comput. Program. 80: 188-209 (2014) - [c39]Waheed Ahmad
, Robert de Groote, Philip K. F. Hölzenspies, Mariëlle Stoelinga
, Jaco van de Pol:
Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata. ACSD 2014: 72-81 - [c38]Dennis Guck, Mark Timmer, Hassan Hatefi, Enno Ruijters
, Mariëlle Stoelinga
:
Modelling and Analysis of Markov Reward Automata. ATVA 2014: 168-184 - [c37]Florian Arnold, Holger Hermanns, Reza Pulungan
, Mariëlle Stoelinga
:
Time-Dependent Analysis of Attacks. POST 2014: 285-305 - [e3]Anne Remke, Mariëlle Stoelinga
:
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. Lecture Notes in Computer Science 8453, Springer 2014, ISBN 978-3-662-45488-6 [contents] - 2013
- [c36]Florian Arnold, Wolter Pieters, Mariëlle Stoelinga
:
Quantitative penetration testing with item response theory. IAS 2013: 49-54 - [c35]Tri Minh Ngo, Mariëlle Stoelinga
, Marieke Huisman
:
Confidentiality for Probabilistic Multi-threaded Programs and Its Verification. ESSoS 2013: 107-122 - [c34]Mark Timmer
, Jaco van de Pol, Mariëlle Stoelinga
:
Confluence Reduction for Markov Automata. FORMATS 2013: 243-257 - [c33]Florian Arnold, Axel Belinfante, Freark I. van der Berg, Dennis Guck, Mariëlle Stoelinga
:
DFTCalc: A Tool for Efficient Fault Tree Analysis. SAFECOMP 2013: 293-301 - [c32]Willem Gerrit Johan Stokkink, Mark Timmer
, Mariëlle Stoelinga
:
Divergent Quiescent Transition Systems. TAP@STAF 2013: 214-231 - [e2]Kaustubh R. Joshi, Markus Siegle
, Mariëlle Stoelinga, Pedro R. D'Argenio
:
Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Lecture Notes in Computer Science 8054, Springer 2013, ISBN 978-3-642-40195-4 [contents] - 2012
- [j10]Joost-Pieter Katoen
, Jaco van de Pol, Mariëlle Stoelinga
, Mark Timmer
:
A linear process-algebraic format with data for probabilistic automata. Theor. Comput. Sci. 413(1): 36-57 (2012) - [c31]Mark Timmer
, Joost-Pieter Katoen
, Jaco van de Pol, Mariëlle Stoelinga
:
Efficient Modelling and Generation of Markov Automata. CONCUR 2012: 364-379 - [c30]Gerjan Stokkink, Mark Timmer
, Mariëlle Stoelinga
:
Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation. MBT 2012: 73-87 - [e1]Mariëlle Stoelinga
, Ralf Pinger:
Formal Methods for Industrial Critical Systems - 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings. Lecture Notes in Computer Science 7437, Springer 2012, ISBN 978-3-642-32468-0 [contents] - [i3]Marieke Huisman
, Barbara Jobstmann, Ina Schaefer, Mariëlle Stoelinga
:
Divide and Conquer: the Quest for Compositional Design and Analysis (Dagstuhl Seminar 12511). Dagstuhl Reports 2(12): 64-88 (2012) - 2011
- [c29]Marten Sijtema, Mariëlle Stoelinga
, Axel Belinfante, Lawrence Marinelli:
Experiences with Formal Engineering: Model-Based Specification, Implementation and Testing of a Software Bus at Neopost. FMICS 2011: 117-133 - [c28]Mark Timmer
, Mariëlle Stoelinga
, Jaco van de Pol:
Confluence Reduction for Probabilistic Systems. TACAS 2011: 311-325 - [p1]Mark Timmer, Ed Brinksma, Mariëlle Stoelinga
:
Model-Based Testing. Software and Systems Safety - Specification and Verification 2011: 1-32 - 2010
- [j9]Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga
:
A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis. IEEE Trans. Dependable Secur. Comput. 7(2): 128-143 (2010) - [c27]Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga
, Mark Timmer:
A Linear Process-Algebraic Format for Probabilistic Systems with Data. ACSD 2010: 213-222 - [c26]Boudewijn R. Haverkort
, Matthias Kuntz, Anne Remke, S. Roolvink, Mariëlle Stoelinga
:
Evaluating repair strategies for a water-treatment facility using Arcade. DSN 2010: 419-424 - [i2]Mark Timmer, Mariëlle Stoelinga, Jaco van de Pol:
Confluence Reduction for Probabilistic Systems (extended version). CoRR abs/1011.2314 (2010)
2000 – 2009
- 2009
- [j8]Luca de Alfaro, Marco Faella, Mariëlle Stoelinga
:
Linear and Branching System Metrics. IEEE Trans. Software Eng. 35(2): 258-273 (2009) - [c25]Martin R. Neuhäußer, Mariëlle Stoelinga
, Joost-Pieter Katoen
:
Delayed Nondeterminism in Continuous-Time Markov Decision Processes. FoSSaCS 2009: 364-379 - [c24]Mariëlle Stoelinga
:
Compositional dependability modeling using arcade: abstract for the keynote talk. SAVCBS 2009: 1-2 - [c23]Hichem Boudali, A. P. Nijmeijer, Mariëlle Stoelinga:
DFTSim: a simulation tool for extended dynamic fault trees. SpringSim 2009 - [c22]Hichem Boudali, Hasan Sözer, Mariëlle Stoelinga
:
Architectural Availability Analysis of Software Decomposition for Local Recovery. SSIRI 2009: 14-22 - [c21]Mariëlle Stoelinga
, Mark Timmer
:
Interpreting a Successful Testing Process: Risk and Actual Coverage. TASE 2009: 251-258 - 2008
- [j7]Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga
:
Game Refinement Relations and Metrics. Log. Methods Comput. Sci. 4(3) (2008) - [c20]Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort
, Matthias Kuntz, Mariëlle Stoelinga
:
Architectural dependability evaluation with Arcade. DSN 2008: 512-521 - [c19]Henrik C. Bohnenkamp, Mariëlle Stoelinga
:
Quantitative testing. EMSOFT 2008: 227-236 - [c18]Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort
, Matthias Kuntz, Mariëlle Stoelinga
:
Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework. ICECCS 2008: 243-248 - [c17]Marco Faella, Axel Legay, Mariëlle Stoelinga
:
Model Checking Quantitative Linear Time Logic. QAPL 2008: 61-77 - [i1]Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga:
Game Refinement Relations and Metrics. CoRR abs/0806.4956 (2008) - 2007
- [j6]Ling Cheung, Mariëlle Stoelinga
, Frits W. Vaandrager:
A testing scenario for probabilistic processes. J. ACM 54(6): 29 (2007) - [c16]Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga
:
A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains. ATVA 2007: 441-456 - [c15]Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga
:
Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains. DSN 2007: 708-717 - [c14]David N. Jansen
, Joost-Pieter Katoen
, Marcel Oldenkamp, Mariëlle Stoelinga
, Ivan S. Zapreev:
How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison. Haifa Verification Conference 2007: 69-85 - [c13]Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga
:
Game Relations and Metrics. LICS 2007: 99-108 - 2006
- [c12]Laura Brandán Briones, Ed Brinksma, Mariëlle Stoelinga
:
A Semantic Framework for Test Coverage. ATVA 2006: 399-414 - [c11]Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
:
Compositional Quantitative Reasoning. QEST 2006: 179-188 - 2005
- [j5]Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
:
Model checking discounted temporal properties. Theor. Comput. Sci. 345(1): 139-170 (2005) - 2004
- [c10]Luca de Alfaro, Marco Faella, Mariëlle Stoelinga
:
Linear and Branching Metrics for Quantitative Transition Systems. ICALP 2004: 97-109 - [c9]Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga:
Model Checking Discounted Temporal Properties. TACAS 2004: 77-92 - 2003
- [j4]Mariëlle Stoelinga:
Fun with FireWire: A Comparative Study of Formal Verification Methods Applied to the IEEE 1394 Root Contention Protocol. Formal Aspects Comput. 14(3): 328-337 (2003) - [c8]Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga:
The Element of Surprise in Timed Games. CONCUR 2003: 142-156 - [c7]Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga:
Resource Interfaces. EMSOFT 2003: 117-133 - [c6]Mariëlle Stoelinga, Frits W. Vaandrager:
A Testing Scenario for Probabilistic Automata. ICALP 2003: 464-477 - [c5]Luca de Alfaro, Mariëlle Stoelinga:
Interfaces: A Game-Theoretic Framework for Reasoning About Component-Based Systems. FOCLASA 2003: 3-23 - 2002
- [j3]Mariëlle Stoelinga:
An Introduction to Probabilistic Automata. Bull. EATCS 78: 176-198 (2002) - [j2]Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager:
Linear parametric model checking of timed automata. J. Log. Algebraic Methods Program. 52-53: 183-220 (2002) - [c4]Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga:
Timed Interfaces. EMSOFT 2002: 108-122 - 2001
- [j1]David P. L. Simons, Mariëlle Stoelinga:
Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k. Int. J. Softw. Tools Technol. Transf. 3(4): 469-485 (2001) - [c3]Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager:
Linear Parametric Model Checking of Timed Automata. TACAS 2001: 189-203 - 2000
- [c2]Christel Baier, Mariëlle Stoelinga:
Norm Functions for Probabilistic Bisimulations with Delays. FoSSaCS 2000: 1-16
1990 – 1999
- 1999
- [c1]Mariëlle Stoelinga, Frits W. Vaandrager:
Root Contention in IEEE 1394. ARTS 1999: 53-74
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-23 18:36 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint