| JANI: quantitative model and tool interaction CE Budde, C Dehnert, EM Hahn, A Hartmanns, S Junges, A Turrini International Conference on Tools and Algorithms for the Construction and …, 2017 | 162 | 2017 |
| A statistical model checker for nondeterminism and rare events CE Budde, PR D’Argenio, A Hartmanns, S Sedwards International Conference on Tools and Algorithms for the Construction and …, 2018 | 66 | 2018 |
| On correctness, precision, and performance in quantitative verification: QComp 2020 competition report CE Budde, A Hartmanns, M Klauck, J Křetínský, D Parker, T Quatmann, ... International symposium on leveraging applications of formal methods, 216-241, 2020 | 65 | 2020 |
| An efficient statistical model checker for nondeterminism and rare events CE Budde, PR D’Argenio, A Hartmanns, S Sedwards International journal on software tools for technology transfer 22 (6), 759-780, 2020 | 52 | 2020 |
| Efficient and generic algorithms for quantitative attack tree analysis M Lopuhaä-Zwakenberg, CE Budde, M Stoelinga IEEE Transactions on Dependable and Secure Computing 20 (5), 4169-4187, 2023 | 40 | 2023 |
| FFORT: A benchmark suite for fault tree analysis E Ruijters, CE Budde, MC Nakhaee, M Stoelinga, D Bucur, D Hiemstra, ... ESREL 2019: 29th European Safety and Reliability Conference, 22–26, 2019 | 31 | 2019 |
| Better automated importance splitting for transient rare events CE Budde, PR D’Argenio, A Hartmanns International Symposium on Dependable Software Engineering: Theories, Tools …, 2017 | 28 | 2017 |
| Attack trees vs. fault trees: two sides of the same coin from different currencies CE Budde, C Kolb, M Stoelinga International Conference on Quantitative Evaluation of Systems, 457-467, 2021 | 25 | 2021 |
| Hackers vs. security: attack-defence trees as asynchronous multi-agent systems J Arias, CE Budde, W Penczek, L Petrucci, T Sidoruk, M Stoelinga 22nd International Conference on Formal Engineering Methods, ICFEM 2020, 3-19, 2020 | 25 | 2020 |
| Automated compositional importance splitting CE Budde, PR D'Argenio, A Hartmanns Science of computer programming 174, 90-108, 2019 | 25 | 2019 |
| Compositional Construction of Importance Functions in Fully Automated Importance Splitting CE Budde, PR D’Argenio, RE Monti VALUETOOLS 2016, 30-37, 2017 | 24 | 2017 |
| Tools at the frontiers of quantitative verification: QComp 2023 competition report R Andriushchenko, A Bork, CE Budde, M Češka, K Grover, EM Hahn, ... International TOOLympics Challenge, 90-146, 2023 | 22 | 2023 |
| Rare event simulation with fully automated importance splitting CE Budde, PR D’Argenio, H Hermanns European Workshop on Performance Engineering, 275-290, 2015 | 21 | 2015 |
| Efficient algorithms for quantitative attack tree analysis CE Budde, M Stoelinga 2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-15, 2021 | 20 | 2021 |
| Automation of Importance Splitting Techniques for Rare Event Simulation CE Budde Facultad de Matemática, Astronomía, Física y Computación - Universidad …, 2017 | 18 | 2017 |
| Enhanced transport through desorption-mediated diffusion F Rojo, CE Budde Jr, HS Wio, CE Budde Physical Review E—Statistical, Nonlinear, and Soft Matter Physics 87 (1 …, 2013 | 17 | 2013 |
| Sound statistical model checking for probabilities and expected rewards CE Budde, A Hartmanns, T Meggendorfer, M Weininger, P Wienhöft International Conference on Tools and Algorithms for the Construction and …, 2025 | 16 | 2025 |
| Rare event simulation for non-Markovian repairable fault trees CE Budde, M Biagi, RE Monti, PR D’Argenio, M Stoelinga International Conference on Tools and Algorithms for the Construction and …, 2020 | 16 | 2020 |
| The dynamic fault tree rare event simulator CE Budde, E Ruijters, M Stoelinga International Conference on Quantitative Evaluation of Systems, 233-238, 2020 | 15 | 2020 |
| Consolidating cybersecurity in Europe: A case study on job profiles assessment CE Budde, A Karinsalo, S Vidor, J Salonen, F Massacci Computers & Security 127, 103082, 2023 | 12 | 2023 |
Arnd HartmannsUniversity of TwenteVerified email at utwente.nl
