Scholar
Carlos E. Budde
Google Scholar ID: EmOwGskAAAAJ
Associate Professor @ Technical University of Denmark, DTU Compute
Formal Methods
Rare Event Simulation
Safety Analysis
Security
#dtusse
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
642
H-index
14
i10-index
19
Publications
20
Co-authors
31
list available
Contact
Email
cesbu@dtu.dk
Twitter
Open ↗
LinkedIn
Open ↗
Publications
4 items
A Taxonomy of Distance Metrics for Time-Sensitive Importance Splitting: Timer Bounds, Resampling, and the Global Age
2026
Cited
0
Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality (extended version)
2025
Cited
0
Time-Sensitive Importance Splitting
2025
Cited
0
Sound Statistical Model Checking for Probabilities and Expected Rewards
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2024
Cited
5
Co-authors
14 total
Arnd Hartmanns
University of Twente
Marielle Stoelinga
Professor of Risk Management for high tex systems, Radboud University & University of Twente
Pedro R. D'Argenio
FAMAF, Universidad Nacional de Córdoba - CONICET
Andrea Turrini
Institute of Software, Chinese Academy of Sciences
Sebastian Junges
Assistant Professor, Radboud University, Nijmegen
Maximilian Weininger
Ruhr University Bochum
Tobias Meggendorfer
Assistant Professor, Lancaster University Leipzig
Sean Sedwards
University of Waterloo
