Publications
Rüschoff, Ben Hermann In Tests and Proofs (TAP 2024) . DOI: https://doi.org/10.1007/978-3-031-72044-4_9 BibTeX BIB (1 KB) AXA: Cross-Language Analysis through Integration of Single-Language Analyses Tobias [...] 023/2/268938-reuse-of-research-results-is-rampant/fulltext BibTeX BIB (655 B) Summary Video VIMEO (9 B) Modular Collaborative Program Analysis Dominik Helm Ph.D. Thesis, Technische Universität Darmstadt [...] Florian Kübler, Dominik Helm, Ben Hermann, Michael Eichberg, and Mira Mezini In Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis ( SOAP 2020 ). Association …