@inproceedingsRichter_Haltermann_Jakobs_Pauck_Schott_Wehrheim_2023, title=Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?, DOI=10.1145/3551349.3561156, booktitle=37th IEEE/ACM International Conference on Automated Software Engineering, publisher=ACM, author=Richter, Cedric and Haltermann, Jan Frederik and Jakobs, Marie-Christine and Pauck, Felix and Schott, Stefan and Wehrheim, Heike, year=2023 
LibreCat: /record/35426
DOI: 10.1145/3551349.3561156

@inproceedingsPauck_2023, title=Scaling Arbitrary Android App Analyses, DOI=10.1145/3551349.3561339, booktitle=37th IEEE/ACM International Conference on Automated Software Engineering, publisher=ACM, author=Pauck, Felix, year=2023 
LibreCat: /record/35427
DOI: 10.1145/3551349.3561339

@inproceedingsAhmed_Awais_Platzner_2023, title=MAAS: Hiding Trojans in Approximate Circuits, booktitle=The 24th International Symposium on Quality Electronic Design (ISQED’23), San Francisco, Califorina USA, author=Ahmed, Qazi Arbab and Awais, Muhammad and Platzner, Marco, year=2023 
LibreCat: /record/44194

@inbookWehrheim_Platzner_Bodden_Schubert_Pauck_Jakobs_2023, place=Paderborn, series=Verlagsschriftenreihe des Heinz Nixdorf Instituts, title=Verifying Software and Reconfigurable Hardware Services, volume=412, DOI=10.5281/zenodo.8068583, booktitle=On-The-Fly Computing -- Individualized IT-services in dynamic markets, publisher=Heinz Nixdorf Institut, Universität Paderborn, author=Wehrheim, Heike and Platzner, Marco and Bodden, Eric and Schubert, Philipp10.5281/zenodo.8068583__and Pauck, Felix and Jakobs, Marie-Christine, editor=Haake, Claus-Jochen and Meyer auf der Heide, Friedhelm and Platzner, Marco and Wachsmuth, Henning and Wehrheim, Heike, year=2023, pages=125–144, collection=Verlagsschriftenreihe des Heinz Nixdorf Instituts 
LibreCat: /record/45888
DOI: 10.5281/zenodo.8068583

@bookHaake_Meyer auf der Heide_Platzner_Wachsmuth_Wehrheim_2023, place=Paderborn, series=Verlagsschriftenreihe des Heinz Nixdorf Instituts, title=On-The-Fly Computing -- Individualized IT-services in dynamic markets, volume=412, DOI=10.17619/UNIPB/1-1797, publisher=Heinz Nixdorf Institut, Universität Paderborn, author=Haake, Claus-Jochen and Meyer auf der Heide, Friedhelm and Platzner, Marco and Wachsmuth, Henning and Wehrheim, Heike, year=2023, collection=Verlagsschriftenreihe des Heinz Nixdorf Instituts 
LibreCat: /record/45863
DOI: 10.17619/UNIPB/1-1797

@inproceedingsWitschen_Wiersema_Reuter_Platzner, title=Search Space Characterization for Approximate Logic Synthesis , booktitle=2022 59th ACM/IEEE Design Automation Conference (DAC), author=Witschen, Linus Matthias and Wiersema, Tobias and Reuter, Lucas David and Platzner, Marco 
LibreCat: /record/29945

@inproceedingsWitschen_Wiersema_Artmann_Platzner, title=MUSCAT: MUS-based Circuit Approximation Technique, booktitle=Design, Automation and Test in Europe (DATE), author=Witschen, Linus Matthias and Wiersema, Tobias and Artmann, Matthias and Platzner, Marco 
LibreCat: /record/29865

@articleSchubert_Gazzillo_Patterson_Braha_Schiebel_Hermann_Wei_Bodden_2022, title=Static data-flow analysis for software product lines in C, volume=29, DOI=10.1007/s10515-022-00333-1, number=135, journal=Automated Software Engineering, publisher=Springer Science and Business Media LLC, author=Schubert, Philipp and Gazzillo, Paul and Patterson, Zach and Braha, Julian and Schiebel, Fabian and Hermann, Ben and Wei, Shiyi and Bodden, Eric, year=2022 
LibreCat: /record/30511
DOI: 10.1007/s10515-022-00333-1

@inproceedingsRichter_Wehrheim_2022, title=Learning Realistic Mutations: Bug Creation for Neural Bug Detectors, DOI=10.1109/ICST53961.2022.00027, booktitle=2022 IEEE Conference on Software Testing, Verification and Validation (ICST), author=Richter, Cedric and Wehrheim, Heike, year=2022, pages=162–173 
LibreCat: /record/32590
DOI: 10.1109/ICST53961.2022.00027

@inproceedingsRichter_Wehrheim_2022, title=TSSB-3M: Mining single statement bugs at massive scale, DOI=10.1145/3524842.3528505, booktitle=2022 IEEE/ACM 19th International Conference on Mining Software Repositories (MSR), author=Richter, Cedric and Wehrheim, Heike, year=2022, pages=418–422 
LibreCat: /record/32591
DOI: 10.1145/3524842.3528505

@inproceedingsAhmed_Platzner_2022, place=Pafos, Cyprus, title=On the Detection and Circumvention of Bitstream-Level Trojans in FPGAs, publisher=IEEE Computer Society Annual Symposium on VLSI (ISVLSI,2022), author=Ahmed, Qazi Arbab and Platzner, Marco, year=2022 
LibreCat: /record/32342

@inproceedingsDongol_Schellhorn_Wehrheim_2022, series=LIPIcs, title=Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement, volume=243, DOI=10.4230/LIPIcs.CONCUR.2022.31, booktitle=33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland, publisher=Schloss Dagstuhl - Leibniz-Zentrum für Informatik, author=Dongol, Brijesh and Schellhorn, Gerhard and Wehrheim, Heike, editor=Klin, Bartek and Lasota, Slawomir and Muscholl, Anca, year=2022, pages=31:1–31:23, collection=LIPIcs 
LibreCat: /record/45248
DOI: 10.4230/LIPIcs.CONCUR.2022.31

@articleLuo_Pauck_Piskachev_Benz_Pashchenko_Mory_Bodden_Hermann_Massacci_2021, title=TaintBench: Automatic real-world malware benchmarking of Android taint analyses, DOI=10.1007/s10664-021-10013-5, journal=Empirical Software Engineering, author=Luo, Linghui and Pauck, Felix and Piskachev, Goran and Benz, Manuel and Pashchenko, Ivan and Mory, Martin and Bodden, Eric and Hermann, Ben and Massacci, Fabio, year=2021 
LibreCat: /record/27045
DOI: 10.1007/s10664-021-10013-5

@inproceedingsDerrick_Doherty_Dongol_Schellhorn_Wehrheim, series=Leibniz International Proceedings in Informatics, title=On Strong Observational Refinement and Forward Simulation, booktitle=Proceedings of the 35th International Symposium on Distributed Computing (DISC), publisher=Schloß Dagstuhl, author=Derrick, John and Doherty, Simon and Dongol, Brijesh and Schellhorn, Gerhard and Wehrheim, Heike, collection=Leibniz International Proceedings in Informatics 
LibreCat: /record/22927

@inproceedingsWitschen_Wiersema_Raeisi Nafchi_Bockhorn_Platzner, series=Reconfigurable Computing: Architectures, Tools, and Applications, title=Timing Optimization for Virtual FPGA Configurations, DOI=10.1007/978-3-030-79025-7_4, booktitle=Proceedings of International Symposium on Applied Reconfigurable Computing (ARC’21), publisher=Springer Lecture Notes in Computer Science, author=Witschen, Linus Matthias and Wiersema, Tobias and Raeisi Nafchi, Masood and Bockhorn, Arne and Platzner, Marco, editor=Hannig, Frank and Derrien, Steven and Diniz, Pedro and Chillet, Daniel, collection=Reconfigurable Computing: Architectures, Tools, and Applications 
LibreCat: /record/21953
DOI: 10.1007/978-3-030-79025-7_4

@inproceedingsSchubert_Hermann_Bodden_2021, title=Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis, booktitle=European Conference on Object-Oriented Programming (ECOOP), author=Schubert, Philipp and Hermann, Ben and Bodden, Eric, year=2021 
LibreCat: /record/21598

@inproceedingsPauck_Wehrheim_2021, title=Jicer: Simplifying Cooperative Android App Analysis Tasks, DOI=10.1109/scam52516.2021.00031, booktitle=2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM), author=Pauck, Felix and Wehrheim, Heike, year=2021 
LibreCat: /record/28199
DOI: 10.1109/scam52516.2021.00031

@articleJakobs_Pauck_Platzner_Wehrheim_Wiersema_2021, title=Software/Hardware Co-Verification for Custom Instruction Set Processors, DOI=10.1109/ACCESS.2021.3131213, journal=IEEE Access, publisher=IEEE, author=Jakobs, Marie-Christine and Pauck, Felix and Platzner, Marco and Wehrheim, Heike and Wiersema, Tobias, year=2021 
LibreCat: /record/27841
DOI: 10.1109/ACCESS.2021.3131213

@inproceedingsPauck_Wehrheim_2021, place=Bonn, title=Cooperative Android App Analysis with CoDiDroid, DOI=10.18420/SE2021_30 , booktitle=Software Engineering 2021, publisher=Gesellschaft für Informatik e.V., author=Pauck, Felix and Wehrheim, Heike, editor=Koziolek, Anne and Schaefer, Ina and Seidl, Christoph, year=2021, pages=83–84 
LibreCat: /record/21238
DOI: 10.18420/SE2021_30 

@inproceedingsAhmed_2021, title=Hardware Trojans in Reconfigurable Computing, DOI=10.1109/vlsi-soc53125.2021.9606974, booktitle=2021 IFIP/IEEE 29th International Conference on Very Large Scale Integration (VLSI-SoC), author=Ahmed, Qazi Arbab, year=2021 
LibreCat: /record/29138
DOI: 10.1109/vlsi-soc53125.2021.9606974