Carlos E. Budde - Publications, H-index & Citations

Carlos E. Budde

university of trento

17H指数

137论文数

990被引数

收录论文 7

发表时间

A methodology to perform cross-ecosystems case-control security studies 一种执行跨生态系统病例对照安全研究的方法学

Empirical Software Engineering

IF3.6

2026-07-18

OAAI

Yuan Feng; Ranindya Paramitha; Carlos E. Budde; Fabio Massacci

Time-Sensitive Importance Splitting 时间敏感重要性分裂

QUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025

IF0

2026-01-01

PREAI

Dengler, Gabriel; Budde, Carlos E.; Carnevali, Laura; Hartmanns, Arnd

Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality 超越均值的统计模型检测：分位数、CVaR和DKW不等式

QUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025

IF0

2026-01-01

PREAI

Budde, Carlos E.; Hartmanns, Arnd; Meggendorfer, Tobias; Weininger, Maximilian; Wienhoeft, Patrick

Efficient and Generic Algorithms for Quantitative Attack Tree Analysis

IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING

IF7.5

2023-09-01

OAAI

Lopuhaa-Zwakenberg, Milan; Budde, Carlos E.; Stoelinga, Marielle

Consolidating cybersecurity in Europe: A case study on job profiles assessment

COMPUTERS & SECURITY

IF5.4

2023-04-01

OAAI

Budde, Carlos E.; Karinsalo, Anni; Vidor, Silvia; Salonen, Jarno; Massacci, Fabio

Behavior of Yersinia enterocolitica and Salmonella typhimurium in Crottin goat's cheese

INTERNATIONAL JOURNAL OF FOOD MICROBIOLOGY

IF5.2

2005-03-01

PREAI

Tamagnini, LM; de Sous, GB; González, RD; Revelli, J; Budde, CE

Reaustenitisation in Fe-C steels revisited

ACTA MATERIALIA

IF9.3

1999-08-01

PREAI

Mancini, R; Budde, C

研究方向