CRC 901 - Proof-Carrying Services (Subproject B4)
Overview
More Information
Publications
Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?
C. Richter, J.F. Haltermann, M.-C. Jakobs, F. Pauck, S. Schott, H. Wehrheim, in: 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023.
Scaling Arbitrary Android App Analyses
F. Pauck, in: 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023.
MAAS: Hiding Trojans in Approximate Circuits
Q.A. Ahmed, M. Awais, M. Platzner, in: The 24th International Symposium on Quality Electronic Design (ISQED’23), San Francisco, Califorina USA, 2023.
Cooperative Android App Analysis
F. Pauck, Cooperative Android App Analysis, Paderborn University, 2023.
Verifying Software and Reconfigurable Hardware Services
Show all publications
H. Wehrheim, M. Platzner, E. Bodden, P. Schubert, F. Pauck, M.-C. Jakobs, in: C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, H. Wehrheim (Eds.), On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, Heinz Nixdorf Institut, Universität Paderborn, Paderborn, 2023, pp. 125–144.