Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMariëlle Stoelinga
Mariëlle I. A. Stoelinga
Person information
- affiliation: University of Twente, Department of Computer Science
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j29]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)- [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]