Publications Peer reviewed articles (1) Parametric Analyses of Attack-fault Trees Author(s): Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga Published in: Fundamenta Informaticae, Issue 182, 2021, Page(s) 69-94, ISSN 1875-8681 Publisher: IOS Press DOI: 10.3233/fi-2021-2066 Conference proceedings (7) Model-Free Reinforcement Learning for Branching Markov Decision Processes Author(s): Hahn E.M., Perez M., Schewe S., Somenzi F., Trivedi A., Wojtczak D. Published in: CAV 2021: Computer Aided Verification, 2021, Page(s) 651-673 Publisher: Springer, Cham DOI: 10.1007/978-3-030-81688-9_30 The Marriage Between Safety and Cybersecurity: Still Practicing. Author(s): Mariëlle Stoelinga, Christina Kolb, Stefano M. Nicoletti, Carlos E. Budde, Ernst Moritz Hahn Published in: 27th SPIN 2021: Virtual Event, 2021, Page(s) 3-21 Publisher: Springer Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems Author(s): Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk, Mariëlle Stoelinga Published in: Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Proceedings, 2020, Page(s) 3-19, ISBN 978-3-030-63405-6 Publisher: Springer Symblicit exploration and elimination for probabilistic model checking Author(s): Ernst Moritz Hahn, Arnd Hartmanns Published in: SAC '21: Proceedings of the 36th Annual ACM Symposium on Applied Computing, 2021, Page(s) 1798–1806 Publisher: ACM DOI: 10.1145/3412841.3442052 Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives Author(s): Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak Published in: Formal Methods. FM 2021, 2021, Page(s) 142-159 Publisher: Springer DOI: 10.1007/978-3-030-90870-6_8 Attack Trees vs. Fault Trees: Two Sides of the Same Coin from Different Currencies Author(s): Carlos E. Budde, Christina Kolb, Mariëlle Stoelinga Published in: QEST 2021: Quantitative Evaluation of Systems, 2021, Page(s) 457-467 Publisher: Springer Efficient Algorithms for Quantitative Attack Tree Analysis Author(s): Carlos E. Budde, Mariëlle Stoelinga Published in: 2021 IEEE 34th Computer Security Foundations Symposium (CSF), 2021, Page(s) 1-15 Publisher: IEEE DOI: 10.1109/csf51468.2021.00041 Searching for OpenAIRE data... There was an error trying to search data from OpenAIRE No results available
