BibTeX records: Mariëlle Stoelinga

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics