@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

@inbookWehrheim_Hüllermeier_Becker_Becker_Richter_Sharma_2023, place=Paderborn, series=Verlagsschriftenreihe des Heinz Nixdorf Instituts, title=Composition Analysis in Unknown Contexts, volume=412, DOI=10.5281/zenodo.8068510, booktitle=On-The-Fly Computing -- Individualized IT-services in dynamic markets, publisher=Heinz Nixdorf Institut, Universität Paderborn, author=Wehrheim, Heike and Hüllermeier, Eyke and Becker, Steffen and Becker, Matthias and Richter, Cedric and Sharma, Arnab, editor=Haake, Claus-Jochen and Meyer auf der Heide, Friedhelm and Platzner, Marco and Wachsmuth, Henning and Wehrheim, Heike, year=2023, pages=105–123, collection=Verlagsschriftenreihe des Heinz Nixdorf Instituts 
LibreCat: /record/45886
DOI: 10.5281/zenodo.8068510

@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

@inproceedingsSharma_Melnikov_Hüllermeier_Wehrheim_2022, title=Property-Driven Testing of Black-Box Functions, booktitle=Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE), publisher=IEEE, author=Sharma, Arnab and Melnikov, Vitaly and Hüllermeier, Eyke and Wehrheim, Heike, year=2022, pages=113–123 
LibreCat: /record/32311

@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

@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

@articleSharma_Demir_Ngonga Ngomo_Wehrheim_2021, title=MLCheck- Property-Driven Testing of Machine Learning Models, volume=abs/2105.00741, journal=CoRR, author=Sharma, Arnab and Demir, Caglar and Ngonga Ngomo, Axel-Cyrille and Wehrheim, Heike, year=2021 
LibreCat: /record/25213

@inproceedingsSharma_Demir_Ngonga Ngomo_Wehrheim, title=MLCHECK–Property-Driven Testing of Machine Learning Classifiers, booktitle=Proceedings of the 20th IEEE International Conference on Machine Learning and Applications (ICMLA), publisher=IEEE, author=Sharma, Arnab and Demir, Caglar and Ngonga Ngomo, Axel-Cyrille and Wehrheim, Heike 
LibreCat: /record/28350

@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

@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 

@inproceedingsSharma_Wehrheim, series=LNCS, title=Automatic Fairness Testing of Machine Learning Models, booktitle=Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS), publisher=Springer, author=Sharma, Arnab and Wehrheim, Heike, collection=LNCS 
LibreCat: /record/19656

@inproceedingsBila_Doherty_Dongol_Derrick_Schellhorn_Wehrheim_2020, series=Lecture Notes in Computer Science, title=Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory, volume=12136, DOI=10.1007/978-3-030-50086-3‑3, booktitle=Formal Techniques for Distributed Objects, Components, and Systems - 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings, publisher=Springer, author=Bila, Eleni and Doherty, Simon and Dongol, Brijesh and Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike, editor=Gotsman, Alexey and Sokolova, AnaEditors, year=2020, pages=39–58, collection=Lecture Notes in Computer Science 
LibreCat: /record/20274
DOI: 10.1007/978-3-030-50086-3‑3

@inproceedingsBeringer_Wehrheim_2020, title=Consistency Analysis of AUTOSAR Timing Requirements, DOI=10.5220/0009766600150026, booktitle=Proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, Lieusaint, Paris, France, July 7-9, 2020, publisher=ScitePress, author=Beringer, Steffen and Wehrheim, Heike, editor=van Sinderen, Marten and Fill, Hans-Georg and A. Maciaszek, LeszekEditors, year=2020, pages=15–26 
LibreCat: /record/20275
DOI: 10.5220/0009766600150026

@inproceedingsBeyer_Wehrheim_2020, series=Lecture Notes in Computer Science, title=Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework, volume=12476, DOI=10.1007/978-3-030-61362-4‑8, booktitle=Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I, publisher=Springer, author=Beyer, Dirk and Wehrheim, Heike, editor=Margaria, Tiziana and Steffen, BernhardEditors, year=2020, pages=143–167, collection=Lecture Notes in Computer Science 
LibreCat: /record/20276
DOI: 10.1007/978-3-030-61362-4‑8

@articleSharma_Wehrheim_2020, title=Testing Monotonicity of Machine Learning Models, volume=abs/2002.12278, journal=CoRR, author=Sharma, Arnab and Wehrheim, Heike, year=2020 
LibreCat: /record/20279

@articleDalvandi_Doherty_Dongol_Wehrheim_2020, title=Owicki-Gries Reasoning for10.4230/DARTS.6.2.15__RAR (Artifact), volume=6, DOI=10.4230/DARTS.6.2.15, number=2, journal=Dagstuhl Artifacts Ser., author=Dalvandi, Sadegh and Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike, year=2020, pages=15:1-15:2 
LibreCat: /record/21016
DOI: 10.4230/DARTS.6.2.15