Richter, Cedric, Jan Frederik Haltermann, Marie-Christine Jakobs, Felix Pauck, Stefan Schott, and Heike Wehrheim. “Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?”https://doi.org/10.1145/3551349.3561156__In 37th IEEE/ACM International Conference on Automated Software Engineering. ACM, 2023.https://doi.org/10.1145/3551349.3561156 .

Pauck, Felix. “Scaling Arbitrary Android App Analyses.”https://doi.org/10.1145/3551349.3561339__In 37th IEEE/ACM International Conference on Automated Software Engineering. ACM, 2023.https://doi.org/10.1145/3551349.3561339 .

Ahmed, Qazi Arbab, Muhammad Awais, and Marco Platzner. “MAAS: Hiding Trojans in Approximate Circuits.” In The 24th International Symposium on Quality Electronic Design (ISQED’23), San Francisco, Califorina USA, 2023.

Wehrheim, Heike, Marco Platzner, Eric Bodden, Philipphttps://doi.org/10.5281/zenodo.8068583__Schubert, Felix Pauck, and Marie-Christine Jakobs. “Verifying Software and Reconfigurable Hardware Services.”https://doi.org/10.5281/zenodo.8068583__In On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, edited by Claus-Jochen Haake, Friedhelm Meyer auf der Heide, Marco Platzner, Henning Wachsmuth, and Heike Wehrheim, 412:125–44. Verlagsschriftenreihe Des Heinz Nixdorf Instituts. Paderborn: Heinz Nixdorf Institut, Universität Paderborn, 2023.https://doi.org/10.5281/zenodo.8068583 .

Haake, Claus-Jochen, Friedhelm Meyer auf der Heide, Marco Platzner, Henning Wachsmuth, and Heike Wehrheim. On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets. Vol. 412. Verlagsschriftenreihe Des Heinz Nixdorf Instituts. Paderborn: Heinz Nixdorf Institut, Universität Paderborn, 2023.https://doi.org/10.17619/UNIPB/1-1797 .

Witschen, Linus Matthias, Tobias Wiersema, Lucas David Reuter, and Marco Platzner. “Search Space Characterization for Approximate Logic Synthesis .” In 2022 59th ACM/IEEE Design Automation Conference (DAC), n.d.

Witschen, Linus Matthias, Tobias Wiersema, Matthias Artmann, and Marco Platzner. “MUSCAT: MUS-Based Circuit Approximation Technique.” In Design, Automation and Test in Europe (DATE), n.d.

Schubert, Philipp, Paul Gazzillo, Zach Patterson, Julian Braha, Fabian Schiebel, Ben Hermann, Shiyi Wei, and Eric Bodden. “Static Data-Flow Analysis for Software Product Lines in C.”https://doi.org/10.1007/s10515-022-00333-1__Automated Software Engineering 29, no. 1 (2022).https://doi.org/10.1007/s10515-022-00333-1 .

Richter, Cedric, and Heike Wehrheim. “Learning Realistic Mutations: Bug Creation for Neural Bug Detectors.”https://doi.org/10.1109/ICST53961.2022.00027__In 2022 IEEE Conference on Software Testing, Verification and Validation (ICST), 162–73, 2022.https://doi.org/10.1109/ICST53961.2022.00027 .

Richter, Cedric, and Heike Wehrheim. “TSSB-3M: Mining Single Statement Bugs at Massive Scale.”https://doi.org/10.1145/3524842.3528505__In 2022 IEEE/ACM 19th International Conference on Mining Software Repositories (MSR), 418–22, 2022.https://doi.org/10.1145/3524842.3528505 .