-
AQUA
-
Research
-
Projects
-
Finished Projects
ReReSo
ReReSo Improving the Reusability of Research Software through Standardized Data Formats and Tool Interfaces Challenge In many fields, research involves the implementation of prototypal software tools [...] propose formats for three domains: security analyses with a focus on taint analysis, register automata analyses, and autonomous driving with a focus on traffic scenarios and track definitions. Funding The [...] g., a virtual machine) and is usually archived on a platform like Zenodo . To enable subsequent research projects, it is desirable to execute “historic” tools on new benchmarks as well as evaluate new …