6 citations
- Digital Science (United States)US2 papers
- The Alan Turing InstituteGB2 papers
- University of HullGB2 papers
- University of OxfordGB2 papers
- University of WarwickGB2 papers
- William & MaryUS2 papers
- Adobe Systems (United States)US1 paper
- Cisco CollegeUS1 paper
- Cisco Systems (China)CN1 paper
- Florida State UniversityUS1 paper
- Indiana UniversityUS1 paper
- Michigan State UniversityUS1 paper
Showing cs.SEShow all
3 papers · 1 filter
cs.SE2026★ 6 cited
Enhancing Code Understanding for Impact Analysis by Combining Transformers and Program Dependence Graphs
Yanfu Yan, Nathan Cooper, Kevin Moran +3
Impact analysis (IA) is a critical software maintenance task that identifies the effects of a given set of code changes on a larger software project with the intention of avoiding…
cs.SE2026★ 1 cited
Execution-bound advisory automation for agentic AI: a reproducible AIBOM-driven CSAF-VEX framework
Petar Radanliev, Omar Santos, Carsten Maple +1
A protocol driven framework is presented that binds SBOM and AIBOM artefacts to deterministic environment capture and structured runtime telemetry. Exploitability is computed from…
cs.SE2026★ 1 cited
Operationalising Artificial Intelligence Bills of Materials (AIBOMs) for Verifiable AI Provenance and Lifecycle Assurance
Petar Radanliev, Omar Santos, Carsten Maple +1
Artificial Intelligence (AI) systems are increasingly dependent on complex, multi-layered software supply chains that introduce challenges for reproducibility, transparency, and se…