Carlos E. Budde
Scholar

Carlos E. Budde

Google Scholar ID: EmOwGskAAAAJ
Associate Professor @ Technical University of Denmark, DTU Compute
Formal MethodsRare Event SimulationSafety AnalysisSecurity#dtusse
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
642
 
H-index
14
 
i10-index
19
 
Publications
20
 
Co-authors
31
list available
Contact
Emailcesbu@dtu.dkTwitterOpen ↗LinkedInOpen ↗
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
Arnd Hartmanns
University of Twente
Marielle Stoelinga
Marielle Stoelinga
Professor of Risk Management for high tex systems, Radboud University & University of Twente
Pedro R. D'Argenio
Pedro R. D'Argenio
FAMAF, Universidad Nacional de Córdoba - CONICET
Andrea Turrini
Andrea Turrini
Institute of Software, Chinese Academy of Sciences
Co-author 5
Co-author 5
Sebastian Junges
Sebastian Junges
Assistant Professor, Radboud University, Nijmegen
Co-author 7
Co-author 7
Co-author 8
Co-author 8