◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Carlos E. Budde

11 papers hereh-index 435 citations15 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • first author4
  • middle author4
  • last author3

Across the 11 of 11 papers where every author was matched, so the position is known.

fields
  • cs.LO4
  • cs.CR2
  • cs.SE2
  • stat.ME2
  • cs.FL1

identity via Semantic Scholar / OpenAlex

activity
20242026
most citedSound Statistical Model Checking for Probabilities and Expected Rewards (extended version)

9 citations · 16 across the 11 of their papers we have counts for

collaborators
Showing cs.SEShow all

2 papers · 1 filter

cs.SE2024

Forecasting the risk of software choices: A model to foretell security vulnerabilities from library dependencies and source code evolution

Carlos E. Budde, Ranindya Paramitha, Fabio Massacci

Software security mainly studies vulnerability detection: is my code vulnerable today? This hinders risk estimation, so new approaches are emerging to forecast the occurrence of fu…

cs.SE2024

Cross-ecosystem categorization: A manual-curation protocol for the categorization of Java Maven libraries along Python PyPI Topics

Ranindya Paramitha, Yuan Feng, Fabio Massacci +1

Context: Software of different functional categories, such as text processing vs. networking, has different profiles in terms of metrics like security and updates. Using popularity…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.