55 citations
- TU Dortmund UniversityDE8 papers
- Ruhr University BochumDE3 papers
- Universität KoblenzDE3 papers
- University of Koblenz and LandauDE3 papers
- University of Naples Federico IIIT3 papers
- A. Alikhanyan National LaboratoryAM2 papers
- Agenzia Spaziale ItalianaIT2 papers
- AGH University of KrakowPL2 papers
- Aix-Marseille UniversitéFR2 papers
- Aoyama Gakuin UniversityJP2 papers
- Arcetri Astrophysical ObservatoryIT2 papers
- Armagh Observatory & PlanetariumGB2 papers
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
Causal Software Engineering: A Vision and Roadmap
Roberto Pietrantuono, Luca Giamattei, Stefano Russo +2
Software engineering increasingly involves making high-stakes decisions under uncertainty, using signals from code, field data, and socio-technical processes. Recent AI-driven supp…
cs.SE2021★ 13 cited
Checking Security Compliance between Models and Code
Katja Tuma, Sven Peldszus, Daniel Strüber +2
It is challenging to verify that the planned security mechanisms are actually implemented in the software. In the context of model-based development, the implemented security mecha…