Carlos E. Budde

Technical University of Denmark — Denmark

Computer Science · Physical Sciences

17h-index984citations136works1.12yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(24), Software Reliability and Analysis Research(21), stochastic dynamics and bifurcation(19), Information and Cyber Security(17), Advanced Thermodynamics and Statistical Mechanics(15)

Publications135 total

How Hard Can It Be? Quantifying MITRE Attack Campaigns with Attack Trees and cATM Logic
ACM Transactions on Software Engineering and Methodology·2026· 1 citedOpen Access
Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality
Lecture notes in computer science·2025
Time-Sensitive Importance Splitting
Lecture notes in computer science·2025
Modest Models and Tools for Real Stochastic Timed Systems
2025Open Access
Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality (extended version)
ArXiv.org·2025· 1 citedOpen Access
Time-Sensitive Importance Splitting
arXiv (Cornell University)·2025Open Access
Sound Statistical Model Checking for Probabilities and Expected Rewards
Lecture notes in computer science·2025· 7 citedOpen Access
Digging for Decision Trees: A Case Study in Strategy Sampling and Learning
Lecture notes in computer science·2024· 1 cited
Digging for Decision Trees: A Case Study in Strategy Sampling and Learning
arXiv (Cornell University)·2024Open Access
Forecasting the risk of software choices: A model to foretell security vulnerabilities from library dependencies and source code evolution
arXiv (Cornell University)·2024Open Access
Modest Models and Tools for Real Stochastic Timed Systems
Lecture notes in computer science·2024· 2 citedOpen Access
Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
arXiv (Cornell University)·2024· 3 citedOpen Access
Tools at the Frontiers of Quantitative Verification
Lecture notes in computer science·2024· 5 citedOpen Access
Vulnerability anti-patterns in Solidity: Increasing smart contracts security by reducing false alarms
arXiv (Cornell University)·2024Open Access
Tools at the Frontiers of Quantitative Verification
arXiv (Cornell University)·2024· 2 citedOpen Access
Cross-ecosystem categorization: A manual-curation protocol for the categorization of Java Maven libraries along Python PyPI Topics
arXiv (Cornell University)·2024Open Access
Cross-ecosystem categorization: A manual-curation protocol for the categorization of Java Maven libraries along Python PyPI Topics (dataset)
Zenodo (CERN European Organization for Nuclear Research)·2024Open Access
[DEPRECATED] A manually-curated categorisation of Java Maven libraries along Python PyPI Topics (dataset)
Zenodo (CERN European Organization for Nuclear Research)·2024Open Access
Cross-ecosystem categorization: A manual-curation protocol for the categorization of Java Maven libraries along Python PyPI Topics (dataset)
Zenodo (CERN European Organization for Nuclear Research)·2024Open Access
[DEPRECATED] A manually-curated categorisation of Java Maven libraries along Python PyPI Topics (dataset)
Zenodo (CERN European Organization for Nuclear Research)·2024Open Access
page 1 of 7Next →

Frequent Co-authors

Manuel O. Cáceres(10), Horacio S. Wio(9), Pedro R. D’Argenio(8), Mariëlle Stoelinga(8), Félix Rojo(7), Arnd Hartmanns(6), Jorge A. Revelli(6), Miguel A. Ré(5), L.M. Tamagnini(4), Gladys Beatriz De Sousa(4), R.D. González(4), Raúl E. Monti(3), Domingo Prato(3), G. J. Sibona(3), Ernst Moritz Hahn(2), Sean Sedwards(2), Enno Ruijters(2), Christina Kolb(2), C. A. Condat(2), C. B. Briozzo(2)