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
3 items
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
Resume (English only)
Co-authors
31 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
Co-author 5
Sebastian Junges
Assistant Professor, Radboud University, Nijmegen
Co-author 7
Co-author 8
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up