Carlos E. Budde
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
6
Active years
2017–2025
Best venue rank
A
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | TACAS | Sound Statistical Model Checking for Probabilities and Expected Rewards. | Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhft |
| 2024 | VECoS | Digging for Decision Trees: A Case Study in Strategy Sampling and Learning. | Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns |
| 2021 | TACAS | Replicating sc Restart with Prolonged Retrials: An Experimental Report. | Carlos E. Budde, Arnd Hartmanns |
| 2020 | ICFEM | Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems. | Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk, Marille Stoelinga |
| 2020 | ISoLA | On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report. | Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Kretnsk, David Parker, Tim Quatmann, Andrea Turrini, Zhen Zhang |
| 2020 | LPAR | A compositional semantics for Repairable Fault Trees with general distributions. | Ral E. Monti, Carlos E. Budde, Pedro R. D'Argenio |
| 2020 | TACAS | FIG: The Finite Improbability Generator. | Carlos E. Budde |
| 2020 | TACAS | Rare Event Simulation for Non-Markovian Repairable Fault Trees. | Carlos E. Budde, Marco Biagi, Ral E. Monti, Pedro R. D'Argenio, Marille Stoelinga |
| 2018 | TACAS | A Statistical Model Checker for Nondeterminism and Rare Events. | Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards |
| 2017 | SETTA | Better Automated Importance Splitting for Transient Rare Events. | Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns |
| 2017 | TACAS | JANI: Quantitative Model and Tool Interaction. | Carlos E. Budde, Christian Dehnert, Ernst Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini |