Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Mariëlle Stoelinga
@article{DBLP:journals/corr/abs-2401-06574, author = {Thom S. Badings and Matthias Volk and Sebastian Junges and Mari{\"{e}}lle Stoelinga and Nils Jansen}, title = {CTMCs with Imprecisely Timed Observations}, journal = {CoRR}, volume = {abs/2401.06574}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2401.06574}, doi = {10.48550/ARXIV.2401.06574}, eprinttype = {arXiv}, eprint = {2401.06574}, timestamp = {Thu, 25 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2401-06574.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2401-12346, author = {Thi Kim Nhung Dang and Milan Lopuha{\"{a}}{-}Zwakenberg and Mari{\"{e}}lle Stoelinga}, title = {Fuzzy quantitative attack tree analysis}, journal = {CoRR}, volume = {abs/2401.12346}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2401.12346}, doi = {10.48550/ARXIV.2401.12346}, eprinttype = {arXiv}, eprint = {2401.12346}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2401-12346.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2401-16015, author = {Stefano M. Nicoletti and Milan Lopuha{\"{a}}{-}Zwakenberg and Ernst Moritz Hahn and Mari{\"{e}}lle Stoelinga}, title = {Querying Fault and Attack Trees: Property Specification on a Water Network}, journal = {CoRR}, volume = {abs/2401.16015}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2401.16015}, doi = {10.48550/ARXIV.2401.16015}, eprinttype = {arXiv}, eprint = {2401.16015}, timestamp = {Tue, 06 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2401-16015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/csr/NicolettiPKS23, author = {Stefano M. Nicoletti and Marijn Peppelman and Christina Kolb and Mari{\"{e}}lle Stoelinga}, title = {Model-based joint analysis of safety and security:Survey and identification of gaps}, journal = {Comput. Sci. Rev.}, volume = {50}, pages = {100597}, year = {2023}, url = {https://doi.org/10.1016/j.cosrev.2023.100597}, doi = {10.1016/J.COSREV.2023.100597}, timestamp = {Sat, 10 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/csr/NicolettiPKS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/BouwmanWLSR23, author = {Mark Bouwman and Djurre van der Wal and Bas Luttik and Mari{\"{e}}lle Stoelinga and Arend Rensink}, title = {A Case in Point: Verification and Testing of a {EULYNX} Interface}, journal = {Formal Aspects Comput.}, volume = {35}, number = {1}, pages = {2:1--2:38}, year = {2023}, url = {https://doi.org/10.1145/3528207}, doi = {10.1145/3528207}, timestamp = {Fri, 02 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/BouwmanWLSR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jair/BadingsRAPPSJ23, author = {Thom S. Badings and Licio Romao and Alessandro Abate and David Parker and Hasan A. Poonawala and Mari{\"{e}}lle Stoelinga and Nils Jansen}, title = {Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions}, journal = {J. Artif. Intell. Res.}, volume = {76}, pages = {341--391}, year = {2023}, url = {https://doi.org/10.1613/jair.1.14253}, doi = {10.1613/JAIR.1.14253}, timestamp = {Thu, 26 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jair/BadingsRAPPSJ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tdsc/JimenezRoaHTS23, author = {Lisandro Arturo Jimenez{-}Roa and Tom Heskes and Tiedo Tinga and Mari{\"{e}}lle Stoelinga}, title = {Automatic Inference of Fault Tree Models Via Multi-Objective Evolutionary Algorithms}, journal = {{IEEE} Trans. Dependable Secur. Comput.}, volume = {20}, number = {4}, pages = {3317--3327}, year = {2023}, url = {https://doi.org/10.1109/TDSC.2022.3203805}, doi = {10.1109/TDSC.2022.3203805}, timestamp = {Sun, 06 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tdsc/JimenezRoaHTS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tdsc/LopuhaaZwakenbergBS23, author = {Milan Lopuha{\"{a}}{-}Zwakenberg and Carlos E. Budde and Mari{\"{e}}lle Stoelinga}, title = {Efficient and Generic Algorithms for Quantitative Attack Tree Analysis}, journal = {{IEEE} Trans. Dependable Secur. Comput.}, volume = {20}, number = {5}, pages = {4169--4187}, year = {2023}, url = {https://doi.org/10.1109/TDSC.2022.3215752}, doi = {10.1109/TDSC.2022.3215752}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tdsc/LopuhaaZwakenbergBS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/LopuhaaZwakenbergS23, author = {Milan Lopuha{\"{a}}{-}Zwakenberg and Mari{\"{e}}lle Stoelinga}, title = {Cost-Damage Analysis of Attack Trees}, booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems and Network, {DSN} 2023, Porto, Portugal, June 27-30, 2023}, pages = {545--558}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/DSN58367.2023.00057}, doi = {10.1109/DSN58367.2023.00057}, timestamp = {Tue, 15 Aug 2023 11:43:57 +0200}, biburl = {https://dblp.org/rec/conf/dsn/LopuhaaZwakenbergS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/NicolettiLHS23, author = {Stefano M. Nicoletti and Milan Lopuha{\"{a}}{-}Zwakenberg and Ernst Moritz Hahn and Mari{\"{e}}lle Stoelinga}, editor = {Marsha Chechik and Joost{-}Pieter Katoen and Martin Leucker}, title = {sfPFL: {A} Probabilistic Logic for Fault Trees}, booktitle = {Formal Methods - 25th International Symposium, {FM} 2023, L{\"{u}}beck, Germany, March 6-10, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14000}, pages = {199--221}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-27481-7\_13}, doi = {10.1007/978-3-031-27481-7\_13}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fm/NicolettiLHS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmics/SoltaniVDLS23, author = {Reza Soltani and Matthias Volk and Leonardo Diamonte and Milan Lopuha{\"{a}}{-}Zwakenberg and Mari{\"{e}}lle Stoelinga}, editor = {Alessandro Cimatti and Laura Titolo}, title = {Optimal Spare Management via Statistical Model Checking: {A} Case Study in Research Reactors}, booktitle = {Formal Methods for Industrial Critical Systems - 28th International Conference, {FMICS} 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14290}, pages = {205--223}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-43681-9\_12}, doi = {10.1007/978-3-031-43681-9\_12}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fmics/SoltaniVDLS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmics/WalGS23, author = {Djurre van der Wal and Marcus Gerhold and Mari{\"{e}}lle Stoelinga}, editor = {Alessandro Cimatti and Laura Titolo}, title = {Conformance in the Railway Industry: Single-Input-Change Testing a {EULYNX} Controller}, booktitle = {Formal Methods for Industrial Critical Systems - 28th International Conference, {FMICS} 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14290}, pages = {242--258}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-43681-9\_14}, doi = {10.1007/978-3-031-43681-9\_14}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fmics/WalGS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/BosS23, author = {Petra van den Bos and Mari{\"{e}}lle Stoelinga}, editor = {Marieke Huisman and Ant{\'{o}}nio Ravara}, title = {With a Little Help from Your Friends: Semi-cooperative Games via Joker Moves}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 43rd {IFIP} {WG} 6.1 International Conference, {FORTE} 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13910}, pages = {155--172}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-35355-0\_10}, doi = {10.1007/978-3-031-35355-0\_10}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/BosS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ftscs/SaaltinkN0HS23, author = {Caz Saaltink and Stefano M. Nicoletti and Matthias Volk and Ernst Moritz Hahn and Mari{\"{e}}lle Stoelinga}, editor = {Cyrille Artho and Peter Csaba {\"{O}}lveczky}, title = {Solving Queries for Boolean Fault Tree Logic via Quantified {SAT}}, booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} International Workshop on Formal Techniques for Safety-Critical Systems, {FTSCS} 2023, Cascais, Portugal, 22 October 2023}, pages = {48--59}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3623503.3623535}, doi = {10.1145/3623503.3623535}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ftscs/SaaltinkN0HS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/LopuhaaZwakenbergS23, author = {Milan Lopuha{\"{a}}{-}Zwakenberg and Mari{\"{e}}lle Stoelinga}, editor = {Carla Ferreira and Tim A. C. Willemse}, title = {Attack Time Analysis in Dynamic Attack Trees via Integer Linear Programming}, booktitle = {Software Engineering and Formal Methods - 21st International Conference, {SEFM} 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14323}, pages = {165--183}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-47115-5\_10}, doi = {10.1007/978-3-031-47115-5\_10}, timestamp = {Mon, 13 Nov 2023 20:30:30 +0100}, biburl = {https://dblp.org/rec/conf/sefm/LopuhaaZwakenbergS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/NicolettiLHS23, author = {Stefano M. Nicoletti and Milan Lopuha{\"{a}}{-}Zwakenberg and Ernst Moritz Hahn and Mari{\"{e}}lle Stoelinga}, editor = {Carla Ferreira and Tim A. C. Willemse}, title = {sfATM: {A} Logic for Quantitative Security Properties on Attack Trees}, booktitle = {Software Engineering and Formal Methods - 21st International Conference, {SEFM} 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14323}, pages = {205--225}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-47115-5\_12}, doi = {10.1007/978-3-031-47115-5\_12}, timestamp = {Tue, 28 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/NicolettiLHS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2301-01526, author = {Thom S. Badings and Licio Romao and Alessandro Abate and David Parker and Hasan A. Poonawala and Mari{\"{e}}lle Stoelinga and Nils Jansen}, title = {Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions}, journal = {CoRR}, volume = {abs/2301.01526}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2301.01526}, doi = {10.48550/ARXIV.2301.01526}, eprinttype = {arXiv}, eprint = {2301.01526}, timestamp = {Tue, 10 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2301-01526.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2303-17314, author = {Stefano M. Nicoletti and Milan Lopuha{\"{a}}{-}Zwakenberg and Ernst Moritz Hahn and Mari{\"{e}}lle Stoelinga}, title = {{PFL:} a Probabilistic Logic for Fault Trees}, journal = {CoRR}, volume = {abs/2303.17314}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2303.17314}, doi = {10.48550/ARXIV.2303.17314}, eprinttype = {arXiv}, eprint = {2303.17314}, timestamp = {Fri, 14 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2303-17314.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2304-05812, author = {Milan Lopuha{\"{a}}{-}Zwakenberg and Mari{\"{e}}lle Stoelinga}, title = {Cost-damage analysis of attack trees}, journal = {CoRR}, volume = {abs/2304.05812}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2304.05812}, doi = {10.48550/ARXIV.2304.05812}, eprinttype = {arXiv}, eprint = {2304.05812}, timestamp = {Wed, 19 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2304-05812.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2304-13417, author = {Petra van den Bos and Mari{\"{e}}lle Stoelinga}, title = {With a little help from your friends: semi-cooperative games via Joker moves}, journal = {CoRR}, volume = {abs/2304.13417}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2304.13417}, doi = {10.48550/ARXIV.2304.13417}, eprinttype = {arXiv}, eprint = {2304.13417}, timestamp = {Wed, 03 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2304-13417.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2309-09231, author = {Stefano M. Nicoletti and Milan Lopuha{\"{a}}{-}Zwakenberg and Ernst Moritz Hahn and Mari{\"{e}}lle Stoelinga}, title = {{ATM:} a Logic for Quantitative Security Properties on Attack Trees}, journal = {CoRR}, volume = {abs/2309.09231}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2309.09231}, doi = {10.48550/ARXIV.2309.09231}, eprinttype = {arXiv}, eprint = {2309.09231}, timestamp = {Fri, 22 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2309-09231.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2310-04448, author = {Lisandro Arturo Jimenez{-}Roa and Tom Heskes and Mari{\"{e}}lle Stoelinga}, title = {Fault Trees, Decision Trees, And Binary Decision Diagrams: {A} Systematic Comparison}, journal = {CoRR}, volume = {abs/2310.04448}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2310.04448}, doi = {10.48550/ARXIV.2310.04448}, eprinttype = {arXiv}, eprint = {2310.04448}, timestamp = {Fri, 20 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2310-04448.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/software/MalavoltaGDRS22, author = {Ivano Malavolta and Taher Ahmed Ghaleb and Istvan David and Jasper van Rooijen and Mari{\"{e}}lle Stoelinga}, title = {Engineering Mobile Apps for Disaster Management: The Case of {COVID-19} Apps in the Google Play Store}, journal = {{IEEE} Softw.}, volume = {39}, number = {3}, pages = {31--42}, year = {2022}, url = {https://doi.org/10.1109/MS.2021.3129978}, doi = {10.1109/MS.2021.3129978}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/software/MalavoltaGDRS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/BuddeDMS22, author = {Carlos E. Budde and Pedro R. D'Argenio and Ra{\'{u}}l E. Monti and Mari{\"{e}}lle Stoelinga}, title = {Analysis of non-Markovian repairable fault trees through rare event simulation}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {24}, number = {5}, pages = {821--841}, year = {2022}, url = {https://doi.org/10.1007/s10009-022-00675-x}, doi = {10.1007/S10009-022-00675-X}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sttt/BuddeDMS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/BadingsA00PS22, author = {Thom S. Badings and Alessandro Abate and Nils Jansen and David Parker and Hasan A. Poonawala and Mari{\"{e}}lle Stoelinga}, title = {Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise}, booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI} 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22 - March 1, 2022}, pages = {9669--9678}, publisher = {{AAAI} Press}, year = {2022}, url = {https://doi.org/10.1609/aaai.v36i9.21201}, doi = {10.1609/AAAI.V36I9.21201}, timestamp = {Sat, 21 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/BadingsA00PS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/BadingsJJSV22, author = {Thom S. Badings and Nils Jansen and Sebastian Junges and Mari{\"{e}}lle Stoelinga and Matthias Volk}, editor = {Sharon Shoham and Yakir Vizel}, title = {Sampling-Based Verification of CTMCs with Uncertain Rates}, booktitle = {Computer Aided Verification - 34th International Conference, {CAV} 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {13372}, pages = {26--47}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-13188-2\_2}, doi = {10.1007/978-3-031-13188-2\_2}, timestamp = {Thu, 25 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/BadingsJJSV22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/NicolettiHS22, author = {Stefano M. Nicoletti and Ernst Moritz Hahn and Mari{\"{e}}lle Stoelinga}, title = {{BFL:} a Logic to Reason about Fault Trees}, booktitle = {52nd Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2022, Baltimore, MD, USA, June 27-30, 2022}, pages = {441--452}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/DSN53405.2022.00051}, doi = {10.1109/DSN53405.2022.00051}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsn/NicolettiHS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isola/LarsenLNSSS22, author = {Kim G. Larsen and Axel Legay and Gerrit Nolte and Maximilian Schl{\"{u}}ter and Mari{\"{e}}lle Stoelinga and Bernhard Steffen}, editor = {Tiziana Margaria and Bernhard Steffen}, title = {Formal Methods Meet Machine Learning {(F3ML)}}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}}, series = {Lecture Notes in Computer Science}, volume = {13703}, pages = {393--405}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-19759-8\_24}, doi = {10.1007/978-3-031-19759-8\_24}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isola/LarsenLNSSS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nfm/BasgozeVKKS22, author = {Daniel Basg{\"{o}}ze and Matthias Volk and Joost{-}Pieter Katoen and Shahid Khan and Mari{\"{e}}lle Stoelinga}, editor = {Jyotirmoy V. Deshmukh and Klaus Havelund and Ivan Perez}, title = {BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees}, booktitle = {{NASA} Formal Methods - 14th International Symposium, {NFM} 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13260}, pages = {713--732}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-06773-0\_38}, doi = {10.1007/978-3-031-06773-0\_38}, timestamp = {Thu, 02 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/nfm/BasgozeVKKS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rssrail/BuddeJLS22, author = {Carlos E. Budde and Duncan Jansen and Inka L. M. Locht and Mari{\"{e}}lle Stoelinga}, editor = {Simon Collart Dutilleul and Anne E. Haxthausen and Thierry Lecomte}, title = {Learning to Learn {HVAC} Failures: Layering {ML} Experiments in the Absence of Ground Truth}, booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13294}, pages = {95--111}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-05814-1\_7}, doi = {10.1007/978-3-031-05814-1\_7}, timestamp = {Mon, 13 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rssrail/BuddeJLS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/Jimenez-RoaVS22, author = {Lisandro Arturo Jimenez{-}Roa and Matthias Volk and Mari{\"{e}}lle Stoelinga}, editor = {Mario Trapp and Francesca Saglietti and Marc Spisl{\"{a}}nder and Friedemann Bitsch}, title = {Data-Driven Inference of Fault Tree Models Exploiting Symmetry and Modularization}, booktitle = {Computer Safety, Reliability, and Security - 41st International Conference, {SAFECOMP} 2022, Munich, Germany, September 6-9, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13414}, pages = {46--61}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-14835-4\_4}, doi = {10.1007/978-3-031-14835-4\_4}, timestamp = {Thu, 22 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/Jimenez-RoaVS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/birthday/2022vaandrager, editor = {Nils Jansen and Mari{\"{e}}lle Stoelinga and Petra van den Bos}, title = {A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {13560}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-15629-8}, doi = {10.1007/978-3-031-15629-8}, isbn = {978-3-031-15628-1}, timestamp = {Sat, 24 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/2022vaandrager.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2202-02829, author = {Daniel Basg{\"{o}}ze and Matthias Volk and Joost{-}Pieter Katoen and Shahid Khan and Mari{\"{e}}lle Stoelinga}, title = {BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees}, journal = {CoRR}, volume = {abs/2202.02829}, year = {2022}, url = {https://arxiv.org/abs/2202.02829}, eprinttype = {arXiv}, eprint = {2202.02829}, timestamp = {Wed, 09 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2202-02829.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2204-03743, author = {Lisandro Arturo Jimenez{-}Roa and Tom Heskes and Tiedo Tinga and Mari{\"{e}}lle Stoelinga}, title = {Automatic inference of fault tree models via multi-objective evolutionary algorithms}, journal = {CoRR}, volume = {abs/2204.03743}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2204.03743}, doi = {10.48550/ARXIV.2204.03743}, eprinttype = {arXiv}, eprint = {2204.03743}, timestamp = {Mon, 29 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2204-03743.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2205-08300, author = {Thom S. Badings and Nils Jansen and Sebastian Junges and Mari{\"{e}}lle Stoelinga and Matthias Volk}, title = {Sampling-Based Verification of CTMCs with Uncertain Rates}, journal = {CoRR}, volume = {abs/2205.08300}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2205.08300}, doi = {10.48550/ARXIV.2205.08300}, eprinttype = {arXiv}, eprint = {2205.08300}, timestamp = {Mon, 23 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2205-08300.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2208-13424, author = {Stefano M. Nicoletti and Ernst Moritz Hahn and Mari{\"{e}}lle Stoelinga}, title = {{BFL:} a Logic to Reason about Fault Trees}, journal = {CoRR}, volume = {abs/2208.13424}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2208.13424}, doi = {10.48550/ARXIV.2208.13424}, eprinttype = {arXiv}, eprint = {2208.13424}, timestamp = {Thu, 01 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2208-13424.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2212-05358, author = {Milan Lopuha{\"{a}}{-}Zwakenberg and Carlos E. Budde and Mari{\"{e}}lle Stoelinga}, title = {Efficient and Generic Algorithms for Quantitative Attack Tree Analysis}, journal = {CoRR}, volume = {abs/2212.05358}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2212.05358}, doi = {10.48550/ARXIV.2212.05358}, eprinttype = {arXiv}, eprint = {2212.05358}, timestamp = {Mon, 02 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2212-05358.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/AndreLRS21, author = {{\'{E}}tienne Andr{\'{e}} and Didier Lime and Mathias Ramparison and Mari{\"{e}}lle Stoelinga}, title = {Parametric Analyses of Attack-fault Trees}, journal = {Fundam. Informaticae}, volume = {182}, number = {1}, pages = {69--94}, year = {2021}, url = {https://doi.org/10.3233/FI-2021-2066}, doi = {10.3233/FI-2021-2066}, timestamp = {Wed, 06 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/AndreLRS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/BuddeS21, author = {Carlos E. Budde and Mari{\"{e}}lle Stoelinga}, title = {Efficient Algorithms for Quantitative Attack Tree Analysis}, booktitle = {34th {IEEE} Computer Security Foundations Symposium, {CSF} 2021, Dubrovnik, Croatia, June 21-25, 2021}, pages = {1--15}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/CSF51468.2021.00041}, doi = {10.1109/CSF51468.2021.00041}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/csfw/BuddeS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qest/BuddeKS21, author = {Carlos E. Budde and Christina Kolb and Mari{\"{e}}lle Stoelinga}, editor = {Alessandro Abate and Andrea Marin}, title = {Attack Trees vs. Fault Trees: Two Sides of the Same Coin from Different Currencies}, booktitle = {Quantitative Evaluation of Systems - 18th International Conference, {QEST} 2021, Paris, France, August 23-27, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12846}, pages = {457--467}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-85172-9\_24}, doi = {10.1007/978-3-030-85172-9\_24}, timestamp = {Wed, 01 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/qest/BuddeKS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spin/StoelingaKNBH21, author = {Mari{\"{e}}lle Stoelinga and Christina Kolb and Stefano M. Nicoletti and Carlos E. Budde and Ernst Moritz Hahn}, editor = {Alfons Laarman and Ana Sokolova}, title = {The Marriage Between Safety and Cybersecurity: Still Practicing}, booktitle = {Model Checking Software - 27th International Symposium, {SPIN} 2021, Virtual Event, July 12, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12864}, pages = {3--21}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-84629-9\_1}, doi = {10.1007/978-3-030-84629-9\_1}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/spin/StoelingaKNBH21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/fase/2021, editor = {Esther Guerra and Mari{\"{e}}lle Stoelinga}, title = {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}, series = {Lecture Notes in Computer Science}, volume = {12649}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-71500-7}, doi = {10.1007/978-3-030-71500-7}, isbn = {978-3-030-71499-4}, timestamp = {Fri, 14 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fase/2021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2103-02398, author = {Thom S. Badings and Nils Jansen and Hasan A. Poonawala and Mari{\"{e}}lle Stoelinga}, title = {Filter-Based Abstractions with Correctness Guarantees for Planning under Uncertainty}, journal = {CoRR}, volume = {abs/2103.02398}, year = {2021}, url = {https://arxiv.org/abs/2103.02398}, eprinttype = {arXiv}, eprint = {2103.02398}, timestamp = {Thu, 04 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2103-02398.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2105-07511, author = {Carlos E. Budde and Mari{\"{e}}lle Stoelinga}, title = {Efficient Algorithms for Quantitative Attack Tree Analysis}, journal = {CoRR}, volume = {abs/2105.07511}, year = {2021}, url = {https://arxiv.org/abs/2105.07511}, eprinttype = {arXiv}, eprint = {2105.07511}, timestamp = {Tue, 18 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2105-07511.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2106-06272, author = {Christina Kolb and Stefano M. Nicoletti and Marijn Peppelman and Mari{\"{e}}lle Stoelinga}, title = {Model-based Safety and Security Co-analysis: a Survey}, journal = {CoRR}, volume = {abs/2106.06272}, year = {2021}, url = {https://arxiv.org/abs/2106.06272}, eprinttype = {arXiv}, eprint = {2106.06272}, timestamp = {Tue, 15 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2106-06272.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2110-12662, author = {Thom S. Badings and Alessandro Abate and Nils Jansen and David Parker and Hasan A. Poonawala and Mari{\"{e}}lle Stoelinga}, title = {Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise}, journal = {CoRR}, volume = {abs/2110.12662}, year = {2021}, url = {https://arxiv.org/abs/2110.12662}, eprinttype = {arXiv}, eprint = {2110.12662}, timestamp = {Thu, 28 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2110-12662.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2111-05114, author = {Milan Lopuha{\"{a}}{-}Zwakenberg and Mari{\"{e}}lle Stoelinga}, title = {Attack time analysis in dynamic attack trees via integer linear programming}, journal = {CoRR}, volume = {abs/2111.05114}, year = {2021}, url = {https://arxiv.org/abs/2111.05114}, eprinttype = {arXiv}, eprint = {2111.05114}, timestamp = {Wed, 10 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2111-05114.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/AriasBPPSS20, author = {Jaime Arias and Carlos E. Budde and Wojciech Penczek and Laure Petrucci and Teofil Sidoruk and Mari{\"{e}}lle Stoelinga}, editor = {Shang{-}Wei Lin and Zhe Hou and Brendan P. Mahony}, title = {Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems}, booktitle = {Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods, {ICFEM} 2020, Singapore, Singapore, March 1-3, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12531}, pages = {3--19}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-63406-3\_1}, doi = {10.1007/978-3-030-63406-3\_1}, timestamp = {Wed, 15 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icfem/AriasBPPSS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mmb/BuddeS20, author = {Carlos E. Budde and Mari{\"{e}}lle Stoelinga}, editor = {Holger Hermanns}, title = {Automated Rare Event Simulation for Fault Tree Analysis via Minimal Cut Sets}, booktitle = {Measurement, Modelling and Evaluation of Computing Systems - 20th International {GI/ITG} Conference, {MMB} 2020, Saarbr{\"{u}}cken, Germany, March 16-18, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12040}, pages = {259--277}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-43024-5\_16}, doi = {10.1007/978-3-030-43024-5\_16}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mmb/BuddeS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qest/BuddeRS20, author = {Carlos E. Budde and Enno Ruijters and Mari{\"{e}}lle Stoelinga}, editor = {Marco Gribaudo and David N. Jansen and Anne Remke}, title = {The Dynamic Fault Tree Rare Event Simulator}, booktitle = {Quantitative Evaluation of Systems - 17th International Conference, {QEST} 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12289}, pages = {233--238}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-59854-9\_17}, doi = {10.1007/978-3-030-59854-9\_17}, timestamp = {Sat, 14 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/qest/BuddeRS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/BuddeBMDS20, author = {Carlos E. Budde and Marco Biagi and Ra{\'{u}}l E. Monti and Pedro R. D'Argenio and Mari{\"{e}}lle Stoelinga}, editor = {Armin Biere and David Parker}, title = {Rare Event Simulation for Non-Markovian Repairable Fault Trees}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, {TACAS} 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {12078}, pages = {463--482}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-45190-5\_26}, doi = {10.1007/978-3-030-45190-5\_26}, timestamp = {Fri, 14 May 2021 08:34:17 +0200}, biburl = {https://dblp.org/rec/conf/tacas/BuddeBMDS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isse/GerholdHS19, author = {Marcus Gerhold and Arnd Hartmanns and Mari{\"{e}}lle Stoelinga}, title = {Model-based testing of stochastically timed systems}, journal = {Innov. Syst. Softw. Eng.}, volume = {15}, number = {3-4}, pages = {207--233}, year = {2019}, url = {https://doi.org/10.1007/s11334-019-00349-z}, doi = {10.1007/S11334-019-00349-Z}, timestamp = {Thu, 13 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/isse/GerholdHS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ress/RuijtersRBS19, author = {Enno Ruijters and Dani{\"{e}}l Reijsbergen and Pieter{-}Tjerk de Boer and Mari{\"{e}}lle Stoelinga}, title = {Rare event simulation for dynamic fault trees}, journal = {Reliab. Eng. Syst. Saf.}, volume = {186}, pages = {220--231}, year = {2019}, url = {https://doi.org/10.1016/j.ress.2019.02.004}, doi = {10.1016/J.RESS.2019.02.004}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ress/RuijtersRBS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acsd/AndreLRS19, author = {{\'{E}}tienne Andr{\'{e}} and Didier Lime and Mathias Ramparison and Mari{\"{e}}lle Stoelinga}, title = {Parametric Analyses of Attack-Fault Trees}, booktitle = {19th International Conference on Application of Concurrency to System Design, {ACSD} 2019, Aachen, Germany, June 23-28, 2019}, pages = {33--42}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/ACSD.2019.00008}, doi = {10.1109/ACSD.2019.00008}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/acsd/AndreLRS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/prima/KliessSR19, author = {Malte S. Klie{\ss} and Mari{\"{e}}lle Stoelinga and M. Birna van Riemsdijk}, editor = {Matteo Baldoni and Mehdi Dastani and Beishui Liao and Yuko Sakurai and Rym Zalila{-}Wenkstern}, title = {From Good Intentions to Behaviour Change - Probabilistic Feature Diagrams for Behaviour Support Agents}, booktitle = {{PRIMA} 2019: Principles and Practice of Multi-Agent Systems - 22nd International Conference, Turin, Italy, October 28-31, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11873}, pages = {354--369}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-33792-6\_22}, doi = {10.1007/978-3-030-33792-6\_22}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/prima/KliessSR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rssrail/NakhaeeHSN19, author = {Muhammad Chenariyan Nakhaee and Djoerd Hiemstra and Mari{\"{e}}lle Stoelinga and Martijn van Noort}, editor = {Simon Collart Dutilleul and Thierry Lecomte and Alexander B. Romanovsky}, title = {The Recent Applications of Machine Learning in Rail Track Maintenance: {A} Survey}, booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11495}, pages = {91--105}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-18744-6\_6}, doi = {10.1007/978-3-030-18744-6\_6}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rssrail/NakhaeeHSN19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/setta/LinardBS19, author = {Alexis Linard and Doina Bucur and Mari{\"{e}}lle Stoelinga}, editor = {Nan Guan and Joost{-}Pieter Katoen and Jun Sun}, title = {Fault Trees from Data: Efficient Learning with an Evolutionary Algorithm}, booktitle = {Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, {SETTA} 2019, Shanghai, China, November 27-29, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11951}, pages = {19--37}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-35540-1\_2}, doi = {10.1007/978-3-030-35540-1\_2}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/setta/LinardBS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/formats/2019, editor = {{\'{E}}tienne Andr{\'{e}} and Mari{\"{e}}lle Stoelinga}, title = {Formal Modeling and Analysis of Timed Systems - 17th International Conference, {FORMATS} 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11750}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-29662-9}, doi = {10.1007/978-3-030-29662-9}, isbn = {978-3-030-29661-2}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/formats/2019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1902-04336, author = {{\'{E}}tienne Andr{\'{e}} and Didier Lime and Mathias Ramparison and Mari{\"{e}}lle Stoelinga}, title = {Parametric analyses of attack-fault trees}, journal = {CoRR}, volume = {abs/1902.04336}, year = {2019}, url = {http://arxiv.org/abs/1902.04336}, eprinttype = {arXiv}, eprint = {1902.04336}, timestamp = {Tue, 21 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1902-04336.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1906-05283, author = {Jaime Arias and Carlos E. Budde and Wojciech Penczek and Laure Petrucci and Mari{\"{e}}lle Stoelinga}, title = {Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems}, journal = {CoRR}, volume = {abs/1906.05283}, year = {2019}, url = {http://arxiv.org/abs/1906.05283}, eprinttype = {arXiv}, eprint = {1906.05283}, timestamp = {Wed, 15 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1906-05283.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1909-06258, author = {Alexis Linard and Doina Bucur and Mari{\"{e}}lle Stoelinga}, title = {Fault Trees from Data: Efficient Learning with an Evolutionary Algorithm}, journal = {CoRR}, volume = {abs/1909.06258}, year = {2019}, url = {http://arxiv.org/abs/1909.06258}, eprinttype = {arXiv}, eprint = {1909.06258}, timestamp = {Wed, 18 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1909-06258.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1910-11672, author = {Carlos E. Budde and Marco Biagi and Ra{\'{u}}l E. Monti and Pedro R. D'Argenio and Mari{\"{e}}lle Stoelinga}, title = {Rare Event Simulation for non-Markovian repairable Fault Trees}, journal = {CoRR}, volume = {abs/1910.11672}, year = {2019}, url = {http://arxiv.org/abs/1910.11672}, eprinttype = {arXiv}, eprint = {1910.11672}, timestamp = {Thu, 31 Oct 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1910-11672.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/GerholdS18, author = {Marcus Gerhold and Mari{\"{e}}lle Stoelinga}, title = {Model-based testing of probabilistic systems}, journal = {Formal Aspects Comput.}, volume = {30}, number = {1}, pages = {77--106}, year = {2018}, url = {https://doi.org/10.1007/s00165-017-0440-4}, doi = {10.1007/S00165-017-0440-4}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/GerholdS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosn/CauchiHSA18, author = {Nathalie Cauchi and Khaza Anuarul Hoque and Mari{\"{e}}lle Stoelinga and Alessandro Abate}, title = {Maintenance of Smart Buildings using Fault Trees}, journal = {{ACM} Trans. Sens. Networks}, volume = {14}, number = {3-4}, pages = {28:1--28:25}, year = {2018}, url = {https://doi.org/10.1145/3232616}, doi = {10.1145/3232616}, timestamp = {Sat, 08 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosn/CauchiHSA18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/JungesKS018, author = {Sebastian Junges and Joost{-}Pieter Katoen and Mari{\"{e}}lle Stoelinga and Matthias Volk}, editor = {Victor Khomenko and Olivier H. Roux}, title = {One Net Fits All - {A} Unifying Semantics of Dynamic Fault Trees Using GSPNs}, booktitle = {Application and Theory of Petri Nets and Concurrency - 39th International Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10877}, pages = {272--293}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91268-4\_14}, doi = {10.1007/978-3-319-91268-4\_14}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/apn/JungesKS018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/epew/AbateBCHHS18, author = {Alessandro Abate and Carlos E. Budde and Nathalie Cauchi and Arnaud van Harmelen and Khaza Anuarul Hoque and Mari{\"{e}}lle Stoelinga}, editor = {Rena Bakhshi and Paolo Ballarini and Beno{\^{\i}}t Barbot and Hind Castel{-}Taleb and Anne Remke}, title = {Modelling Smart Buildings Using Fault Maintenance Trees}, booktitle = {Computer Performance Engineering - 15th European Workshop, {EPEW} 2018, Paris, France, October 29-30, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11178}, pages = {110--125}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-02227-3\_8}, doi = {10.1007/978-3-030-02227-3\_8}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/epew/AbateBCHHS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/0012SRYHBRS18, author = {Rajesh Kumar and Stefano Schivo and Enno Ruijters and Bugra Mehmet Yildiz and David Huistra and Jacco Brandt and Arend Rensink and Mari{\"{e}}lle Stoelinga}, editor = {Alessandra Russo and Andy Sch{\"{u}}rr}, title = {Effective Analysis of Attack Trees: {A} Model-Driven Approach}, booktitle = {Fundamental Approaches to Software Engineering, 21st International Conference, {FASE} 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10802}, pages = {56--73}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-89363-1\_4}, doi = {10.1007/978-3-319-89363-1\_4}, timestamp = {Fri, 31 Jan 2020 21:32:22 +0100}, biburl = {https://dblp.org/rec/conf/fase/0012SRYHBRS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/Stoelinga18, author = {Mari{\"{e}}lle Stoelinga}, editor = {Stefania Gnesi and Nico Plat and Paola Spoletini and Patrizio Pelliccione}, title = {Risk management for high tech systems}, booktitle = {Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with {ICSE} 2018, Gothenburg, Sweden, June 2, 2018}, pages = {1}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3193992.3193993}, doi = {10.1145/3193992.3193993}, timestamp = {Tue, 10 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/Stoelinga18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nfm/GerholdHS18, author = {Marcus Gerhold and Arnd Hartmanns and Mari{\"{e}}lle Stoelinga}, editor = {Aaron Dutle and C{\'{e}}sar A. Mu{\~{n}}oz and Anthony Narkawicz}, title = {Model-Based Testing for General Stochastic Time}, booktitle = {{NASA} Formal Methods - 10th International Symposium, {NFM} 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10811}, pages = {203--219}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-77935-5\_15}, doi = {10.1007/978-3-319-77935-5\_15}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/nfm/GerholdHS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qest/NautaBS18, author = {Meike Nauta and Doina Bucur and Mari{\"{e}}lle Stoelinga}, editor = {Annabelle McIver and Andr{\'{a}}s Horv{\'{a}}th}, title = {{LIFT:} Learning Fault Trees from Observational Data}, booktitle = {Quantitative Evaluation of Systems - 15th International Conference, {QEST} 2018, Beijing, China, September 4-7, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11024}, pages = {306--322}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99154-2\_19}, doi = {10.1007/978-3-319-99154-2\_19}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/qest/NautaBS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/0012RS18, author = {Rajesh Kumar and Arend Rensink and Mari{\"{e}}lle Stoelinga}, editor = {Hisham M. Haddad and Roger L. Wainwright and Richard Chbeir}, title = {{LOCKS:} a property specification language for security goals}, booktitle = {Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing, {SAC} 2018, Pau, France, April 09-13, 2018}, pages = {1907--1915}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3167132.3167336}, doi = {10.1145/3167132.3167336}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sac/0012RS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1809-03098, author = {Petra van den Bos and Mari{\"{e}}lle Stoelinga}, editor = {Andrea Orlandini and Martin Zimmermann}, title = {Tester versus Bug: {A} Generic Framework for Model-Based Testing via Games}, booktitle = {Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbr{\"{u}}cken, Germany, 26-28th September 2018}, series = {{EPTCS}}, volume = {277}, pages = {118--132}, year = {2018}, url = {https://doi.org/10.4204/EPTCS.277.9}, doi = {10.4204/EPTCS.277.9}, timestamp = {Wed, 07 Dec 2022 23:00:49 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1809-03098.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1801-04263, author = {Nathalie Cauchi and Khaza Anuarul Hoque and Alessandro Abate and Mari{\"{e}}lle Stoelinga}, title = {Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees}, journal = {CoRR}, volume = {abs/1801.04263}, year = {2018}, url = {http://arxiv.org/abs/1801.04263}, eprinttype = {arXiv}, eprint = {1801.04263}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1801-04263.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1803-05376, author = {Sebastian Junges and Joost{-}Pieter Katoen and Mari{\"{e}}lle Stoelinga and Matthias Volk}, title = {One Net Fits All: {A} unifying semantics of Dynamic Fault Trees using GSPNs}, journal = {CoRR}, volume = {abs/1803.05376}, year = {2018}, url = {http://arxiv.org/abs/1803.05376}, eprinttype = {arXiv}, eprint = {1803.05376}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-05376.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1806-05174, author = {Nathalie Cauchi and Khaza Anuarul Hoque and Mari{\"{e}}lle Stoelinga and Alessandro Abate}, title = {Maintenance of Smart Buildings using Fault Trees}, journal = {CoRR}, volume = {abs/1806.05174}, year = {2018}, url = {http://arxiv.org/abs/1806.05174}, eprinttype = {arXiv}, eprint = {1806.05174}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1806-05174.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/JungesGKRS17, author = {Sebastian Junges and Dennis Guck and Joost{-}Pieter Katoen and Arend Rensink and Mari{\"{e}}lle Stoelinga}, title = {Fault trees on a diet: automated reduction by graph rewriting}, journal = {Formal Aspects Comput.}, volume = {29}, number = {4}, pages = {651--703}, year = {2017}, url = {https://doi.org/10.1007/s00165-016-0412-0}, doi = {10.1007/S00165-016-0412-0}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/JungesGKRS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sqj/SozerSBA17, author = {Hasan S{\"{o}}zer and Mari{\"{e}}lle Stoelinga and Hichem Boudali and Mehmet Aksit}, title = {Availability analysis of software architecture decomposition alternatives for local recovery}, journal = {Softw. Qual. J.}, volume = {25}, number = {2}, pages = {553--579}, year = {2017}, url = {https://doi.org/10.1007/s11219-016-9315-9}, doi = {10.1007/S11219-016-9315-9}, timestamp = {Sun, 22 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sqj/SozerSBA17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/BrinksmaST17, author = {Ed Brinksma and Mari{\"{e}}lle I. A. Stoelinga and Mark Timmer}, editor = {Luca Aceto and Giorgio Bacci and Giovanni Bacci and Anna Ing{\'{o}}lfsd{\'{o}}ttir and Axel Legay and Radu Mardare}, title = {Testing Divergent Transition Systems}, booktitle = {Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {10460}, pages = {339--366}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-63121-9\_17}, doi = {10.1007/978-3-319-63121-9\_17}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/BrinksmaST17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/KatoenS17a, author = {Joost{-}Pieter Katoen and Mari{\"{e}}lle Stoelinga}, editor = {Joost{-}Pieter Katoen and Rom Langerak and Arend Rensink}, title = {Boosting Fault Tree Analysis by Formal Methods}, booktitle = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {10500}, pages = {368--389}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-68270-9\_19}, doi = {10.1007/978-3-319-68270-9\_19}, timestamp = {Thu, 14 Oct 2021 10:33:18 +0200}, biburl = {https://dblp.org/rec/conf/birthday/KatoenS17a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hase/KumarS17, author = {Rajesh Kumar and Mari{\"{e}}lle Stoelinga}, title = {Quantitative Security and Safety Analysis with Attack-Fault Trees}, booktitle = {18th {IEEE} International Symposium on High Assurance Systems Engineering, {HASE} 2017, Singapore, January 12-14, 2017}, pages = {25--32}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/HASE.2017.12}, doi = {10.1109/HASE.2017.12}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hase/KumarS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/RuijtersRBS17, author = {Enno Ruijters and Dani{\"{e}}l Reijsbergen and Pieter{-}Tjerk de Boer and Mari{\"{e}}lle Stoelinga}, editor = {Stefano Tonetta and Erwin Schoitsch and Friedemann Bitsch}, title = {Rare Event Simulation for Dynamic Fault Trees}, booktitle = {Computer Safety, Reliability, and Security - 36th International Conference, {SAFECOMP} 2017, Trento, Italy, September 13-15, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10488}, pages = {20--35}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-66266-4\_2}, doi = {10.1007/978-3-319-66266-4\_2}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/RuijtersRBS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sensys/CauchiHAS17, author = {Nathalie Cauchi and Khaza Anuarul Hoque and Alessandro Abate and Mari{\"{e}}lle Stoelinga}, editor = {Kamin Whitehouse and Prabal Dutta and Hae Young Noh}, title = {Efficient probabilistic model checking of smart building maintenance using fault maintenance trees}, booktitle = {Proceedings of the 4th {ACM} International Conference on Systems for Energy-Efficient Built Environments, BuildSys 2017, Delft, The Netherlands, November 08-09, 2017}, pages = {24:1--24:10}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3137133.3137138}, doi = {10.1145/3137133.3137138}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sensys/CauchiHAS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/setta/SchivoYRGKDRS17, author = {Stefano Schivo and Bugra M. Yildiz and Enno Ruijters and Christopher Gerking and Rajesh Kumar and Stefan Dziwok and Arend Rensink and Mari{\"{e}}lle Stoelinga}, editor = {Kim Guldstrand Larsen and Oleg Sokolsky and Ji Wang}, title = {How to Efficiently Build a Front-End Tool for {UPPAAL:} {A} Model-Driven Approach}, booktitle = {Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, {SETTA} 2017, Changsha, China, October 23-25, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10606}, pages = {319--336}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-69483-2\_19}, doi = {10.1007/978-3-319-69483-2\_19}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/setta/SchivoYRGKDRS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tap/GerholdS17, author = {Marcus Gerhold and Mari{\"{e}}lle Stoelinga}, editor = {Sebastian Gabmeyer and Einar Broch Johnsen}, title = {Model-Based Testing of Probabilistic Systems with Stochastic Time}, booktitle = {Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10375}, pages = {77--97}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-61467-0\_5}, doi = {10.1007/978-3-319-61467-0\_5}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tap/GerholdS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scl/PangS16, author = {Jun Pang and Mari{\"{e}}lle Stoelinga}, title = {Selected and extended papers from {ACM} {SVT} 2014}, journal = {Sci. Comput. Program.}, volume = {123}, pages = {1}, year = {2016}, url = {https://doi.org/10.1016/j.scico.2016.03.002}, doi = {10.1016/J.SCICO.2016.03.002}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scl/PangS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/SalaunS16, author = {Gwen Sala{\"{u}}n and Mari{\"{e}}lle Stoelinga}, title = {Special issue on Software Verification and Testing (SAC-SVT'15)}, journal = {Sci. Comput. Program.}, volume = {132}, pages = {141--142}, year = {2016}, url = {https://doi.org/10.1016/j.scico.2016.10.001}, doi = {10.1016/J.SCICO.2016.10.001}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/SalaunS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/TimmerKPS16, author = {Mark Timmer and Joost{-}Pieter Katoen and Jaco van de Pol and Mari{\"{e}}lle Stoelinga}, title = {Confluence reduction for Markov automata}, journal = {Theor. Comput. Sci.}, volume = {655}, pages = {193--219}, year = {2016}, url = {https://doi.org/10.1016/j.tcs.2016.01.017}, doi = {10.1016/J.TCS.2016.01.017}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/TimmerKPS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acsd/AhmadJSP16, author = {Waheed Ahmad and Marijn R. Jongerden and Mari{\"{e}}lle Stoelinga and Jaco van de Pol}, editor = {J{\"{o}}rg Desel and Alex Yakovlev}, title = {Model Checking and Evaluating QoS of Batteries in MPSoC Dataflow Applications via Hybrid Automata}, booktitle = {16th International Conference on Application of Concurrency to System Design, {ACSD} 2016, Torun, Poland, June 19-24, 2016}, pages = {114--123}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/ACSD.2016.18}, doi = {10.1109/ACSD.2016.18}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acsd/AhmadJSP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cyphy/AhmadYRS16, author = {Waheed Ahmad and Bugra M. Yildiz and Arend Rensink and Mari{\"{e}}lle Stoelinga}, editor = {Christian Berger and Mohammad Reza Mousavi and Rafael Wisniewski}, title = {A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications}, booktitle = {Cyber Physical Systems. Design, Modeling, and Evaluation - 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {10107}, pages = {1--16}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-51738-4\_1}, doi = {10.1007/978-3-319-51738-4\_1}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cyphy/AhmadYRS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/JungesGKS16, author = {Sebastian Junges and Dennis Guck and Joost{-}Pieter Katoen and Mari{\"{e}}lle Stoelinga}, title = {Uncovering Dynamic Fault Trees}, booktitle = {46th Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2016, Toulouse, France, June 28 - July 1, 2016}, pages = {299--310}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/DSN.2016.35}, doi = {10.1109/DSN.2016.35}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/JungesGKS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/RuijtersGNS16, author = {Enno Ruijters and Dennis Guck and Martijn van Noort and Mari{\"{e}}lle Stoelinga}, title = {Reliability-Centered Maintenance of the Electrically Insulated Railway Joint via Fault Tree Analysis: {A} Practical Experience Report}, booktitle = {46th Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2016, Toulouse, France, June 28 - July 1, 2016}, pages = {662--669}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/DSN.2016.67}, doi = {10.1109/DSN.2016.67}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/RuijtersGNS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/GerholdS16, author = {Marcus Gerhold and Mari{\"{e}}lle Stoelinga}, editor = {Perdita Stevens and Andrzej Wasowski}, title = {Model-Based Testing of Probabilistic Systems}, booktitle = {Fundamental Approaches to Software Engineering - 19th International Conference, {FASE} 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9633}, pages = {251--268}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-662-49665-7\_15}, doi = {10.1007/978-3-662-49665-7\_15}, timestamp = {Wed, 16 Mar 2022 23:55:35 +0100}, biburl = {https://dblp.org/rec/conf/fase/GerholdS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip8-1/FraileFGKST16, author = {Marlon Fraile and Margaret Ford and Olga Gadyatskaya and Rajesh Kumar and Mari{\"{e}}lle Stoelinga and Rolando Trujillo{-}Rasua}, editor = {Jennifer Horkoff and Manfred A. Jeusfeld and Anne Persson}, title = {Using Attack-Defense Trees to Analyze Threats and Countermeasures in an {ATM:} {A} Case Study}, booktitle = {The Practice of Enterprise Modeling - 9th {IFIP} {WG} 8.1. Working Conference, PoEM 2016, Sk{\"{o}}vde, Sweden, November 8-10, 2016, Proceedings}, series = {Lecture Notes in Business Information Processing}, volume = {267}, pages = {326--334}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-48393-1\_24}, doi = {10.1007/978-3-319-48393-1\_24}, timestamp = {Sun, 25 Jul 2021 11:49:49 +0200}, biburl = {https://dblp.org/rec/conf/ifip8-1/FraileFGKST16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isola/RuijtersS16, author = {Enno Ruijters and Mari{\"{e}}lle Stoelinga}, editor = {Tiziana Margaria and Bernhard Steffen}, title = {Better Railway Engineering Through Statistical Model Checking}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {9952}, pages = {151--165}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-47166-2\_10}, doi = {10.1007/978-3-319-47166-2\_10}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isola/RuijtersS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/post/HermannsKKS16, author = {Holger Hermanns and Julia Kr{\"{a}}mer and Jan Krc{\'{a}}l and Mari{\"{e}}lle Stoelinga}, editor = {Frank Piessens and Luca Vigan{\`{o}}}, title = {The Value of Attack-Defence Diagrams}, booktitle = {Principles of Security and Trust - 5th International Conference, {POST} 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9635}, pages = {163--185}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-662-49635-0\_9}, doi = {10.1007/978-3-662-49635-0\_9}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/post/HermannsKKS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qest/RuijtersGDPS16, author = {Enno Ruijters and Dennis Guck and Peter Drolenga and Margot Peters and Mari{\"{e}}lle Stoelinga}, editor = {Gul Agha and Benny Van Houdt}, title = {Maintenance Analysis and Optimization via Statistical Model Checking - Evaluating a Train Pneumatic Compressor}, booktitle = {Quantitative Evaluation of Systems - 13th International Conference, {QEST} 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9826}, pages = {331--347}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-43425-4\_22}, doi = {10.1007/978-3-319-43425-4\_22}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/qest/RuijtersGDPS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/GerholdS16, author = {Marcus Gerhold and Mari{\"{e}}lle Stoelinga}, editor = {Tanja E. J. Vos and Sigrid Eldh and Wishnu Prasetya}, title = {Model-based testing of stochastic systems with {IOCO} theory}, booktitle = {Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, A-TEST@SIGSOFT {FSE} 2016, Seattle, WA, USA, November 18, 2016}, pages = {45--51}, publisher = {{ACM}}, year = {2016}, url = {http://dl.acm.org/citation.cfm?id=2994298}, timestamp = {Tue, 06 Nov 2018 16:59:22 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/GerholdS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/csr/RuijtersS15, author = {Enno Ruijters and Mari{\"{e}}lle Stoelinga}, title = {Fault tree analysis: {A} survey of the state-of-the-art in modeling, analysis and tools}, journal = {Comput. Sci. Rev.}, volume = {15}, pages = {29--62}, year = {2015}, url = {https://doi.org/10.1016/j.cosrev.2015.03.001}, doi = {10.1016/J.COSREV.2015.03.001}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/csr/RuijtersS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsd/AhmadHSP15, author = {Waheed Ahmad and Philip K. F. H{\"{o}}lzenspies and Mari{\"{e}}lle Stoelinga and Jaco van de Pol}, title = {Green Computing: Power Optimisation of VFI-Based Real-Time Multiprocessor Dataflow Applications}, booktitle = {2015 Euromicro Conference on Digital System Design, {DSD} 2015, Madeira, Portugal, August 26-28, 2015}, pages = {271--275}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/DSD.2015.59}, doi = {10.1109/DSD.2015.59}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsd/AhmadHSP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/formats/KumarRS15, author = {Rajesh Kumar and Enno Ruijters and Mari{\"{e}}lle Stoelinga}, editor = {Sriram Sankaranarayanan and Enrico Vicario}, title = {Quantitative Attack Tree Analysis via Priced Timed Automata}, booktitle = {Formal Modeling and Analysis of Timed Systems - 13th International Conference, {FORMATS} 2015, Madrid, Spain, September 2-4, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9268}, pages = {156--171}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-22975-1\_11}, doi = {10.1007/978-3-319-22975-1\_11}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/formats/KumarRS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/GuckSS15, author = {Dennis Guck and Jip Spel and Mari{\"{e}}lle Stoelinga}, editor = {Michael J. Butler and Sylvain Conchon and Fatiha Za{\"{\i}}di}, title = {DFTCalc: Reliability Centered Maintenance via Fault Tree Analysis (Tool Paper)}, booktitle = {Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, {ICFEM} 2015, Paris, France, November 3-5, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9407}, pages = {304--311}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-25423-4\_19}, doi = {10.1007/978-3-319-25423-4\_19}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfem/GuckSS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/ArnoldGKS15, author = {Florian Arnold and Dennis Guck and Rajesh Kumar and Mari{\"{e}}lle Stoelinga}, editor = {Floor Koornneef and Coen van Gulijk}, title = {Sequential and Parallel Attack Tree Modelling}, booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops, ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9338}, pages = {291--299}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24249-1\_25}, doi = {10.1007/978-3-319-24249-1\_25}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/ArnoldGKS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/setta/JungesGKRS15, author = {Sebastian Junges and Dennis Guck and Joost{-}Pieter Katoen and Arend Rensink and Mari{\"{e}}lle Stoelinga}, editor = {Xuandong Li and Zhiming Liu and Wang Yi}, title = {Fault Trees on a Diet - - Automated Reduction by Graph Rewriting -}, booktitle = {Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, {SETTA} 2015, Nanjing, China, November 4-6, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9409}, pages = {3--18}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-25942-0\_1}, doi = {10.1007/978-3-319-25942-0\_1}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/setta/JungesGKRS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/setta/DijkHJLNST015, author = {Tom van Dijk and Ernst Moritz Hahn and David N. Jansen and Yong Li and Thomas Neele and Mari{\"{e}}lle Stoelinga and Andrea Turrini and Lijun Zhang}, editor = {Xuandong Li and Zhiming Liu and Wang Yi}, title = {A Comparative Study of {BDD} Packages for Probabilistic Symbolic Model Checking}, booktitle = {Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, {SETTA} 2015, Nanjing, China, November 4-6, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9409}, pages = {35--51}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-25942-0\_3}, doi = {10.1007/978-3-319-25942-0\_3}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/setta/DijkHJLNST015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/GerholdS15, author = {Marcus Gerhold and Mari{\"{e}}lle Stoelinga}, editor = {Nikolay V. Pakulin and Alexander K. Petrenko and Bernd{-}Holger Schlingloff}, title = {Ioco Theory for Probabilistic Automata}, booktitle = {Proceedings Tenth Workshop on Model Based Testing, {MBT} 2015, London, UK, 18th April 2015}, series = {{EPTCS}}, volume = {180}, pages = {23--40}, year = {2015}, url = {https://doi.org/10.4204/EPTCS.180.2}, doi = {10.4204/EPTCS.180.2}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/GerholdS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/ChaudharyFPS15, author = {Kaylash Chaudhary and Ansgar Fehnker and Jaco van de Pol and Mari{\"{e}}lle Stoelinga}, editor = {Rob J. van Glabbeek and Jan Friso Groote and Peter H{\"{o}}fner}, title = {Modeling and Verification of the Bitcoin Protocol}, booktitle = {Proceedings Workshop on Models for Formal Analysis of Real Systems, {MARS} 2015, Suva, Fiji, November 23, 2015}, series = {{EPTCS}}, volume = {196}, pages = {46--60}, year = {2015}, url = {https://doi.org/10.4204/EPTCS.196.5}, doi = {10.4204/EPTCS.196.5}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/ChaudharyFPS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/KumarGS15, author = {Rajesh Kumar and Dennis Guck and Mari{\"{e}}lle Stoelinga}, title = {Time Dependent Analysis with Dynamic Counter Measure Trees}, journal = {CoRR}, volume = {abs/1510.00050}, year = {2015}, url = {http://arxiv.org/abs/1510.00050}, eprinttype = {arXiv}, eprint = {1510.00050}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/KumarGS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcs/NgoSH14, author = {Tri Minh Ngo and Mari{\"{e}}lle Stoelinga and Marieke Huisman}, title = {Effective verification of confidentiality for multi-threaded programs}, journal = {J. Comput. Secur.}, volume = {22}, number = {2}, pages = {269--300}, year = {2014}, url = {https://doi.org/10.3233/JCS-130492}, doi = {10.3233/JCS-130492}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcs/NgoSH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/SijtemaBSM14, author = {Marten Sijtema and Axel Belinfante and Mari{\"{e}}lle Stoelinga and Lawrence Marinelli}, title = {Experiences with formal engineering: Model-based specification, implementation and testing of a software bus at Neopost}, journal = {Sci. Comput. Program.}, volume = {80}, pages = {188--209}, year = {2014}, url = {https://doi.org/10.1016/j.scico.2013.04.009}, doi = {10.1016/J.SCICO.2013.04.009}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scp/SijtemaBSM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acsd/AhmadGHSP14, author = {Waheed Ahmad and Robert de Groote and Philip K. F. H{\"{o}}lzenspies and Mari{\"{e}}lle Stoelinga and Jaco van de Pol}, title = {Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata}, booktitle = {14th International Conference on Application of Concurrency to System Design, {ACSD} 2014, Tunis La Marsa, Tunisia, June 23-27, 2014}, pages = {72--81}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/ACSD.2014.13}, doi = {10.1109/ACSD.2014.13}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acsd/AhmadGHSP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/GuckTHRS14, author = {Dennis Guck and Mark Timmer and Hassan Hatefi and Enno Ruijters and Mari{\"{e}}lle Stoelinga}, editor = {Franck Cassez and Jean{-}Fran{\c{c}}ois Raskin}, title = {Modelling and Analysis of Markov Reward Automata}, booktitle = {Automated Technology for Verification and Analysis - 12th International Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8837}, pages = {168--184}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-11936-6\_13}, doi = {10.1007/978-3-319-11936-6\_13}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/GuckTHRS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/post/ArnoldHPS14, author = {Florian Arnold and Holger Hermanns and Reza Pulungan and Mari{\"{e}}lle Stoelinga}, editor = {Mart{\'{\i}}n Abadi and Steve Kremer}, title = {Time-Dependent Analysis of Attacks}, booktitle = {Principles of Security and Trust - Third International Conference, {POST} 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13, 2014, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8414}, pages = {285--305}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54792-8\_16}, doi = {10.1007/978-3-642-54792-8\_16}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/post/ArnoldHPS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/rocks/2012, editor = {Anne Remke and Mari{\"{e}}lle Stoelinga}, title = {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}, series = {Lecture Notes in Computer Science}, volume = {8453}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-45489-3}, doi = {10.1007/978-3-662-45489-3}, isbn = {978-3-662-45488-6}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rocks/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/IEEEias/ArnoldPS13, author = {Florian Arnold and Wolter Pieters and Mari{\"{e}}lle Stoelinga}, title = {Quantitative penetration testing with item response theory}, booktitle = {9th International Conference on Information Assurance and Security, {IAS} 2013, Gammarth, Tunisia, December 4-6, 2013}, pages = {49--54}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/ISIAS.2013.6947732}, doi = {10.1109/ISIAS.2013.6947732}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/IEEEias/ArnoldPS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/essos/NgoSH13, author = {Tri Minh Ngo and Mari{\"{e}}lle Stoelinga and Marieke Huisman}, editor = {Jan J{\"{u}}rjens and Benjamin Livshits and Riccardo Scandariato}, title = {Confidentiality for Probabilistic Multi-threaded Programs and Its Verification}, booktitle = {Engineering Secure Software and Systems - 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7781}, pages = {107--122}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-36563-8\_8}, doi = {10.1007/978-3-642-36563-8\_8}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/essos/NgoSH13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/formats/TimmerPS13, author = {Mark Timmer and Jaco van de Pol and Mari{\"{e}}lle Stoelinga}, editor = {V{\'{\i}}ctor A. Braberman and Laurent Fribourg}, title = {Confluence Reduction for Markov Automata}, booktitle = {Formal Modeling and Analysis of Timed Systems - 11th International Conference, {FORMATS} 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8053}, pages = {243--257}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-40229-6\_17}, doi = {10.1007/978-3-642-40229-6\_17}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/formats/TimmerPS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/ArnoldBBGS13, author = {Florian Arnold and Axel Belinfante and Freark I. van der Berg and Dennis Guck and Mari{\"{e}}lle Stoelinga}, editor = {Friedemann Bitsch and J{\'{e}}r{\'{e}}mie Guiochet and Mohamed Ka{\^{a}}niche}, title = {DFTCalc: {A} Tool for Efficient Fault Tree Analysis}, booktitle = {Computer Safety, Reliability, and Security - 32nd International Conference, {SAFECOMP} 2013, Toulouse, France, September 24-27, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8153}, pages = {293--301}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-40793-2\_27}, doi = {10.1007/978-3-642-40793-2\_27}, timestamp = {Mon, 19 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/ArnoldBBGS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tap/StokkinkTS13, author = {Willem Gerrit Johan Stokkink and Mark Timmer and Mari{\"{e}}lle Stoelinga}, editor = {Margus Veanes and Luca Vigan{\`{o}}}, title = {Divergent Quiescent Transition Systems}, booktitle = {Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest, Hungary, June 16-20, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7942}, pages = {214--231}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38916-0\_13}, doi = {10.1007/978-3-642-38916-0\_13}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tap/StokkinkTS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/qest/2013, editor = {Kaustubh R. Joshi and Markus Siegle and Mari{\"{e}}lle Stoelinga and Pedro R. D'Argenio}, title = {Quantitative Evaluation of Systems - 10th International Conference, {QEST} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8054}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-40196-1}, doi = {10.1007/978-3-642-40196-1}, isbn = {978-3-642-40195-4}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/qest/2013.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/KatoenPST12, author = {Joost{-}Pieter Katoen and Jaco van de Pol and Mari{\"{e}}lle Stoelinga and Mark Timmer}, title = {A linear process-algebraic format with data for probabilistic automata}, journal = {Theor. Comput. Sci.}, volume = {413}, number = {1}, pages = {36--57}, year = {2012}, url = {https://doi.org/10.1016/j.tcs.2011.07.021}, doi = {10.1016/J.TCS.2011.07.021}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/KatoenPST12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/TimmerKPS12, author = {Mark Timmer and Joost{-}Pieter Katoen and Jaco van de Pol and Mari{\"{e}}lle Stoelinga}, editor = {Maciej Koutny and Irek Ulidowski}, title = {Efficient Modelling and Generation of Markov Automata}, booktitle = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference, {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7454}, pages = {364--379}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-32940-1\_26}, doi = {10.1007/978-3-642-32940-1\_26}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/TimmerKPS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1202-6124, author = {Gerjan Stokkink and Mark Timmer and Mari{\"{e}}lle Stoelinga}, editor = {Alexander K. Petrenko and Holger Schlingloff}, title = {Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation}, booktitle = {Proceedings 7th Workshop on Model-Based Testing, {MBT} 2012, Tallinn, Estonia, 25 March 2012}, series = {{EPTCS}}, volume = {80}, pages = {73--87}, year = {2012}, url = {https://doi.org/10.4204/EPTCS.80.6}, doi = {10.4204/EPTCS.80.6}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1202-6124.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/fmics/2012, editor = {Mari{\"{e}}lle Stoelinga and Ralf Pinger}, title = {Formal Methods for Industrial Critical Systems - 17th International Workshop, {FMICS} 2012, Paris, France, August 27-28, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7437}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-32469-7}, doi = {10.1007/978-3-642-32469-7}, isbn = {978-3-642-32468-0}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fmics/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dagstuhl-reports/HuismanJSS12, author = {Marieke Huisman and Barbara Jobstmann and Ina Schaefer and Mari{\"{e}}lle Stoelinga}, title = {Divide and Conquer: the Quest for Compositional Design and Analysis (Dagstuhl Seminar 12511)}, journal = {Dagstuhl Reports}, volume = {2}, number = {12}, pages = {64--88}, year = {2012}, url = {https://doi.org/10.4230/DagRep.2.12.64}, doi = {10.4230/DAGREP.2.12.64}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dagstuhl-reports/HuismanJSS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmics/SijtemaSBM11, author = {Marten Sijtema and Mari{\"{e}}lle Stoelinga and Axel Belinfante and Lawrence Marinelli}, editor = {Gwen Sala{\"{u}}n and Bernhard Sch{\"{a}}tz}, title = {Experiences with Formal Engineering: Model-Based Specification, Implementation and Testing of a Software Bus at Neopost}, booktitle = {Formal Methods for Industrial Critical Systems - 16th International Workshop, {FMICS} 2011, Trento, Italy, August 29-30, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6959}, pages = {117--133}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-24431-5\_10}, doi = {10.1007/978-3-642-24431-5\_10}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fmics/SijtemaSBM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/TimmerSP11, author = {Mark Timmer and Mari{\"{e}}lle Stoelinga and Jaco van de Pol}, editor = {Parosh Aziz Abdulla and K. Rustan M. Leino}, title = {Confluence Reduction for Probabilistic Systems}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 17th International Conference, {TACAS} 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6605}, pages = {311--325}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-19835-9\_29}, doi = {10.1007/978-3-642-19835-9\_29}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/TimmerSP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/natosec/TimmerBS11, author = {Mark Timmer and Ed Brinksma and Mari{\"{e}}lle Stoelinga}, editor = {Manfred Broy and Christian Leuxner and Tony Hoare}, title = {Model-Based Testing}, booktitle = {Software and Systems Safety - Specification and Verification}, series = {{NATO} Science for Peace and Security Series - {D:} Information and Communication Security}, volume = {30}, pages = {1--32}, publisher = {{IOS} Press}, year = {2011}, url = {https://doi.org/10.3233/978-1-60750-711-6-1}, doi = {10.3233/978-1-60750-711-6-1}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/natosec/TimmerBS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tdsc/BoudaliCS10, author = {Hichem Boudali and Pepijn Crouzen and Mari{\"{e}}lle Stoelinga}, title = {A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis}, journal = {{IEEE} Trans. Dependable Secur. Comput.}, volume = {7}, number = {2}, pages = {128--143}, year = {2010}, url = {https://doi.org/10.1109/TDSC.2009.45}, doi = {10.1109/TDSC.2009.45}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tdsc/BoudaliCS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acsd/KatoenPST10, author = {Joost{-}Pieter Katoen and Jaco van de Pol and Mari{\"{e}}lle Stoelinga and Mark Timmer}, editor = {Lu{\'{\i}}s Gomes and Victor Khomenko and Jo{\~{a}}o M. Fernandes}, title = {A Linear Process-Algebraic Format for Probabilistic Systems with Data}, booktitle = {10th International Conference on Application of Concurrency to System Design, {ACSD} 2010, Braga, Portugal, 21-25 June 2010}, pages = {213--222}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/ACSD.2010.18}, doi = {10.1109/ACSD.2010.18}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acsd/KatoenPST10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/HaverkortKRRS10, author = {Boudewijn R. Haverkort and Matthias Kuntz and Anne Remke and S. Roolvink and Mari{\"{e}}lle Stoelinga}, title = {Evaluating repair strategies for a water-treatment facility using Arcade}, booktitle = {Proceedings of the 2010 {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2010, Chicago, IL, USA, June 28 - July 1 2010}, pages = {419--424}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/DSN.2010.5544290}, doi = {10.1109/DSN.2010.5544290}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/HaverkortKRRS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1011-2314, author = {Mark Timmer and Mari{\"{e}}lle Stoelinga and Jaco van de Pol}, title = {Confluence Reduction for Probabilistic Systems (extended version)}, journal = {CoRR}, volume = {abs/1011.2314}, year = {2010}, url = {http://arxiv.org/abs/1011.2314}, eprinttype = {arXiv}, eprint = {1011.2314}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1011-2314.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/AlfaroFS09, author = {Luca de Alfaro and Marco Faella and Mari{\"{e}}lle Stoelinga}, title = {Linear and Branching System Metrics}, journal = {{IEEE} Trans. Software Eng.}, volume = {35}, number = {2}, pages = {258--273}, year = {2009}, url = {https://doi.org/10.1109/TSE.2008.106}, doi = {10.1109/TSE.2008.106}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/AlfaroFS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/NeuhausserSK09, author = {Martin R. Neuh{\"{a}}u{\ss}er and Mari{\"{e}}lle Stoelinga and Joost{-}Pieter Katoen}, editor = {Luca de Alfaro}, title = {Delayed Nondeterminism in Continuous-Time Markov Decision Processes}, booktitle = {Foundations of Software Science and Computational Structures, 12th International Conference, {FOSSACS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5504}, pages = {364--379}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00596-1\_26}, doi = {10.1007/978-3-642-00596-1\_26}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/NeuhausserSK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/Stoelinga09, author = {Mari{\"{e}}lle Stoelinga}, title = {Compositional dependability modeling using arcade: abstract for the keynote talk}, booktitle = {SAVCBS'09, Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems, August 25, 2009, Amsterdam, The Netherlands}, pages = {1--2}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596486.1596487}, doi = {10.1145/1596486.1596487}, timestamp = {Tue, 01 Feb 2022 10:45:16 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/Stoelinga09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/springsim/BoudaliNS09, author = {Hichem Boudali and A. P. Nijmeijer and Mari{\"{e}}lle Stoelinga}, editor = {Gabriel A. Wainer and Clifford A. Shaffer and Robert M. McGraw and Michael J. Chinni}, title = {DFTSim: a simulation tool for extended dynamic fault trees}, booktitle = {Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, San Diego, California, USA, March 22-27, 2009}, publisher = {{SCS/ACM}}, year = {2009}, url = {http://dl.acm.org/citation.cfm?id=1639809.1639842}, timestamp = {Mon, 10 Dec 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/springsim/BoudaliNS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ssiri/BoudaliSS09, author = {Hichem Boudali and Hasan S{\"{o}}zer and Mari{\"{e}}lle Stoelinga}, title = {Architectural Availability Analysis of Software Decomposition for Local Recovery}, booktitle = {Third {IEEE} International Conference on Secure Software Integration and Reliability Improvement, {SSIRI} 2009, Shanghai, China, July 8-10, 2009}, pages = {14--22}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/SSIRI.2009.10}, doi = {10.1109/SSIRI.2009.10}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ssiri/BoudaliSS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/StoelingaT09, author = {Mari{\"{e}}lle Stoelinga and Mark Timmer}, editor = {Wei{-}Ngan Chin and Shengchao Qin}, title = {Interpreting a Successful Testing Process: Risk and Actual Coverage}, booktitle = {{TASE} 2009, Third {IEEE} International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China}, pages = {251--258}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/TASE.2009.26}, doi = {10.1109/TASE.2009.26}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tase/StoelingaT09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/AlfaroMRS08, author = {Luca de Alfaro and Rupak Majumdar and Vishwanath Raman and Mari{\"{e}}lle Stoelinga}, title = {Game Refinement Relations and Metrics}, journal = {Log. Methods Comput. Sci.}, volume = {4}, number = {3}, year = {2008}, url = {https://doi.org/10.2168/LMCS-4(3:7)2008}, doi = {10.2168/LMCS-4(3:7)2008}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/AlfaroMRS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/BoudaliCHKS08, author = {Hichem Boudali and Pepijn Crouzen and Boudewijn R. Haverkort and Matthias Kuntz and Mari{\"{e}}lle Stoelinga}, title = {Architectural dependability evaluation with Arcade}, booktitle = {The 38th Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2008, June 24-27, 2008, Anchorage, Alaska, USA, Proceedings}, pages = {512--521}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/DSN.2008.4630122}, doi = {10.1109/DSN.2008.4630122}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/BoudaliCHKS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emsoft/BohnenkampS08, author = {Henrik C. Bohnenkamp and Mari{\"{e}}lle Stoelinga}, editor = {Luca de Alfaro and Jens Palsberg}, title = {Quantitative testing}, booktitle = {Proceedings of the 8th {ACM} {\&} {IEEE} International conference on Embedded software, {EMSOFT} 2008, Atlanta, GA, USA, October 19-24, 2008}, pages = {227--236}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1450058.1450089}, doi = {10.1145/1450058.1450089}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/emsoft/BohnenkampS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/BoudaliCHKS08, author = {Hichem Boudali and Pepijn Crouzen and Boudewijn R. Haverkort and Matthias Kuntz and Mari{\"{e}}lle Stoelinga}, title = {Arcade - {A} Formal, Extensible, Model-Based Dependability Evaluation Framework}, booktitle = {13th International Conference on Engineering of Complex Computer Systems {(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland}, pages = {243--248}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/ICECCS.2008.11}, doi = {10.1109/ICECCS.2008.11}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/BoudaliCHKS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/FaellaLS08, author = {Marco Faella and Axel Legay and Mari{\"{e}}lle Stoelinga}, editor = {Alessandro Aldini and Christel Baier}, title = {Model Checking Quantitative Linear Time Logic}, booktitle = {Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, {QAPL} 2008, Budapest, Hungary, March 29-30, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {220}, number = {3}, pages = {61--77}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2008.11.019}, doi = {10.1016/J.ENTCS.2008.11.019}, timestamp = {Fri, 20 Jan 2023 13:44:09 +0100}, biburl = {https://dblp.org/rec/journals/entcs/FaellaLS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0806-4956, author = {Luca de Alfaro and Rupak Majumdar and Vishwanath Raman and Mari{\"{e}}lle Stoelinga}, title = {Game Refinement Relations and Metrics}, journal = {CoRR}, volume = {abs/0806.4956}, year = {2008}, url = {http://arxiv.org/abs/0806.4956}, eprinttype = {arXiv}, eprint = {0806.4956}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0806-4956.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/CheungSV07, author = {Ling Cheung and Mari{\"{e}}lle Stoelinga and Frits W. Vaandrager}, title = {A testing scenario for probabilistic processes}, journal = {J. {ACM}}, volume = {54}, number = {6}, pages = {29}, year = {2007}, url = {https://doi.org/10.1145/1314690.1314693}, doi = {10.1145/1314690.1314693}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jacm/CheungSV07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/BoudaliCS07, author = {Hichem Boudali and Pepijn Crouzen and Mari{\"{e}}lle Stoelinga}, editor = {Kedar S. Namjoshi and Tomohiro Yoneda and Teruo Higashino and Yoshio Okamura}, title = {A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains}, booktitle = {Automated Technology for Verification and Analysis, 5th International Symposium, {ATVA} 2007, Tokyo, Japan, October 22-25, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4762}, pages = {441--456}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75596-8\_31}, doi = {10.1007/978-3-540-75596-8\_31}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/BoudaliCS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/BoudaliCS07, author = {Hichem Boudali and Pepijn Crouzen and Mari{\"{e}}lle Stoelinga}, title = {Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains}, booktitle = {The 37th Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2007, 25-28 June 2007, Edinburgh, UK, Proceedings}, pages = {708--717}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/DSN.2007.37}, doi = {10.1109/DSN.2007.37}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/BoudaliCS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hvc/JansenKOSZ07, author = {David N. Jansen and Joost{-}Pieter Katoen and Marcel Oldenkamp and Mari{\"{e}}lle Stoelinga and Ivan S. Zapreev}, editor = {Karen Yorav}, title = {How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison}, booktitle = {Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, {HVC} 2007, Haifa, Israel, October 23-25, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4899}, pages = {69--85}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-77966-7\_9}, doi = {10.1007/978-3-540-77966-7\_9}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hvc/JansenKOSZ07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/AlfaroMRS07, author = {Luca de Alfaro and Rupak Majumdar and Vishwanath Raman and Mari{\"{e}}lle Stoelinga}, title = {Game Relations and Metrics}, booktitle = {22nd {IEEE} Symposium on Logic in Computer Science {(LICS} 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings}, pages = {99--108}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/LICS.2007.22}, doi = {10.1109/LICS.2007.22}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/AlfaroMRS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/BrionesBS06, author = {Laura Brand{\'{a}}n Briones and Ed Brinksma and Mari{\"{e}}lle Stoelinga}, editor = {Susanne Graf and Wenhui Zhang}, title = {A Semantic Framework for Test Coverage}, booktitle = {Automated Technology for Verification and Analysis, 4th International Symposium, {ATVA} 2006, Beijing, China, October 23-26, 2006}, series = {Lecture Notes in Computer Science}, volume = {4218}, pages = {399--414}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11901914\_30}, doi = {10.1007/11901914\_30}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/BrionesBS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qest/ChatterjeeAFHMS06, author = {Krishnendu Chatterjee and Luca de Alfaro and Marco Faella and Thomas A. Henzinger and Rupak Majumdar and Mari{\"{e}}lle Stoelinga}, title = {Compositional Quantitative Reasoning}, booktitle = {Third International Conference on the Quantitative Evaluation of Systems {(QEST} 2006), 11-14 September 2006, Riverside, California, {USA}}, pages = {179--188}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/QEST.2006.11}, doi = {10.1109/QEST.2006.11}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/qest/ChatterjeeAFHMS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/AlfaroFHMS05, author = {Luca de Alfaro and Marco Faella and Thomas A. Henzinger and Rupak Majumdar and Mari{\"{e}}lle Stoelinga}, title = {Model checking discounted temporal properties}, journal = {Theor. Comput. Sci.}, volume = {345}, number = {1}, pages = {139--170}, year = {2005}, url = {https://doi.org/10.1016/j.tcs.2005.07.033}, doi = {10.1016/J.TCS.2005.07.033}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/AlfaroFHMS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/AlfaroFS04, author = {Luca de Alfaro and Marco Faella and Mari{\"{e}}lle Stoelinga}, editor = {Josep D{\'{\i}}az and Juhani Karhum{\"{a}}ki and Arto Lepist{\"{o}} and Donald Sannella}, title = {Linear and Branching Metrics for Quantitative Transition Systems}, booktitle = {Automata, Languages and Programming: 31st International Colloquium, {ICALP} 2004, Turku, Finland, July 12-16, 2004. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3142}, pages = {97--109}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-27836-8\_11}, doi = {10.1007/978-3-540-27836-8\_11}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/AlfaroFS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/AlfaroFHMS04, author = {Luca de Alfaro and Marco Faella and Thomas A. Henzinger and Rupak Majumdar and Mari{\"{e}}lle Stoelinga}, editor = {Kurt Jensen and Andreas Podelski}, title = {Model Checking Discounted Temporal Properties}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, {TACAS} 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2988}, pages = {77--92}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-24730-2\_6}, doi = {10.1007/978-3-540-24730-2\_6}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/AlfaroFHMS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/Stoelinga03, author = {Mari{\"{e}}lle Stoelinga}, title = {Fun with FireWire: {A} Comparative Study of Formal Verification Methods Applied to the {IEEE} 1394 Root Contention Protocol}, journal = {Formal Aspects Comput.}, volume = {14}, number = {3}, pages = {328--337}, year = {2003}, url = {https://doi.org/10.1007/s001650300009}, doi = {10.1007/S001650300009}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/Stoelinga03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/AlfaroFHMS03, author = {Luca de Alfaro and Marco Faella and Thomas A. Henzinger and Rupak Majumdar and Mari{\"{e}}lle Stoelinga}, editor = {Roberto M. Amadio and Denis Lugiez}, title = {The Element of Surprise in Timed Games}, booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2761}, pages = {142--156}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45187-7\_9}, doi = {10.1007/978-3-540-45187-7\_9}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/AlfaroFHMS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emsoft/ChakrabartiAHS03, author = {Arindam Chakrabarti and Luca de Alfaro and Thomas A. Henzinger and Mari{\"{e}}lle Stoelinga}, editor = {Rajeev Alur and Insup Lee}, title = {Resource Interfaces}, booktitle = {Embedded Software, Third International Conference, {EMSOFT} 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2855}, pages = {117--133}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45212-6\_9}, doi = {10.1007/978-3-540-45212-6\_9}, timestamp = {Thu, 26 Jan 2023 14:05:53 +0100}, biburl = {https://dblp.org/rec/conf/emsoft/ChakrabartiAHS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/StoelingaV03, author = {Mari{\"{e}}lle Stoelinga and Frits W. Vaandrager}, editor = {Jos C. M. Baeten and Jan Karel Lenstra and Joachim Parrow and Gerhard J. Woeginger}, title = {A Testing Scenario for Probabilistic Automata}, booktitle = {Automata, Languages and Programming, 30th International Colloquium, {ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2719}, pages = {464--477}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-45061-0\_38}, doi = {10.1007/3-540-45061-0\_38}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/StoelingaV03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/AlfaroS04, author = {Luca de Alfaro and Mari{\"{e}}lle Stoelinga}, editor = {Antonio Brogi and Jean{-}Marie Jacquet and Ernesto Pimentel}, title = {Interfaces: {A} Game-Theoretic Framework for Reasoning About Component-Based Systems}, booktitle = {Proceedings of {FOCLASA} 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of {CONCUR} 2003, Marseille, France, September 2, 2003}, series = {Electronic Notes in Theoretical Computer Science}, volume = {97}, pages = {3--23}, publisher = {Elsevier}, year = {2003}, url = {https://doi.org/10.1016/j.entcs.2004.04.030}, doi = {10.1016/J.ENTCS.2004.04.030}, timestamp = {Tue, 06 Dec 2022 11:29:47 +0100}, biburl = {https://dblp.org/rec/journals/entcs/AlfaroS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Stoelinga02, author = {Mari{\"{e}}lle Stoelinga}, title = {An Introduction to Probabilistic Automata}, journal = {Bull. {EATCS}}, volume = {78}, pages = {176--198}, year = {2002}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Stoelinga02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/HuneRSV02, author = {Thomas Hune and Judi Romijn and Mari{\"{e}}lle Stoelinga and Frits W. Vaandrager}, title = {Linear parametric model checking of timed automata}, journal = {J. Log. Algebraic Methods Program.}, volume = {52-53}, pages = {183--220}, year = {2002}, url = {https://doi.org/10.1016/S1567-8326(02)00037-1}, doi = {10.1016/S1567-8326(02)00037-1}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/HuneRSV02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emsoft/AlfaroHS02, author = {Luca de Alfaro and Thomas A. Henzinger and Mari{\"{e}}lle Stoelinga}, editor = {Alberto L. Sangiovanni{-}Vincentelli and Joseph Sifakis}, title = {Timed Interfaces}, booktitle = {Embedded Software, Second International Conference, {EMSOFT} 2002, Grenoble, France, October 7-9, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2491}, pages = {108--122}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45828-X\_9}, doi = {10.1007/3-540-45828-X\_9}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/emsoft/AlfaroHS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/SimonsS01, author = {David P. L. Simons and Mari{\"{e}}lle Stoelinga}, title = {Mechanical verification of the {IEEE} 1394a root contention protocol using Uppaal2k}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {3}, number = {4}, pages = {469--485}, year = {2001}, url = {https://doi.org/10.1007/s100090100059}, doi = {10.1007/S100090100059}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/SimonsS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/HuneRSV01, author = {Thomas Hune and Judi Romijn and Mari{\"{e}}lle Stoelinga and Frits W. Vaandrager}, editor = {Tiziana Margaria and Wang Yi}, title = {Linear Parametric Model Checking of Timed Automata}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, {TACAS} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2031}, pages = {189--203}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45319-9\_14}, doi = {10.1007/3-540-45319-9\_14}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/HuneRSV01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/BaierS00, author = {Christel Baier and Mari{\"{e}}lle Stoelinga}, editor = {Jerzy Tiuryn}, title = {Norm Functions for Probabilistic Bisimulations with Delays}, booktitle = {Foundations of Software Science and Computation Structures, Third International Conference, {FOSSACS} 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1784}, pages = {1--16}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-46432-8\_1}, doi = {10.1007/3-540-46432-8\_1}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/BaierS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/arts/StoelingaV99, author = {Mari{\"{e}}lle Stoelinga and Frits W. Vaandrager}, editor = {Joost{-}Pieter Katoen}, title = {Root Contention in {IEEE} 1394}, booktitle = {Formal Methods for Real-Time and Probabilistic Systems, 5th International {AMAST} Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1601}, pages = {53--74}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-48778-6\_4}, doi = {10.1007/3-540-48778-6\_4}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/arts/StoelingaV99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.