Richter, C., Haltermann, J. F., Jakobs, M.-C., Pauck, F., Schott, S., &; Wehrheim, H. (2023). Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs? 37th IEEE/ACM International Conference on Automated Software Engineering.https://doi.org/10.1145/3551349.3561156 
LibreCat: /record/35426
DOI: 10.1145/3551349.3561156

Wehrheim, H., Hüllermeier, E., Becker, S., Becker, M., Richter, C., &; Sharma, A. (2023). Composition Analysis in Unknown Contexts. 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 (Vol. 412, pp. 105–123). Heinz Nixdorf Institut, Universität Paderborn.https://doi.org/10.5281/zenodo.8068510 
LibreCat: /record/45886
DOI: 10.5281/zenodo.8068510

Wehrheim, H., Platzner, M., Bodden, E., Schubert, P., Pauck, F., &; Jakobs, M.-C. (2023). Verifying Software and Reconfigurable Hardware Services. 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 (Vol. 412, pp. 125–144). Heinz Nixdorf Institut, Universität Paderborn.https://doi.org/10.5281/zenodo.8068583 
LibreCat: /record/45888
DOI: 10.5281/zenodo.8068583

Haake, C.-J., Meyer auf der Heide, F., Platzner, M., Wachsmuth, H., &; Wehrheim, H. (2023). On-The-Fly Computing -- Individualized IT-services in dynamic markets (Vol. 412). Heinz Nixdorf Institut, Universität Paderborn.https://doi.org/10.17619/UNIPB/1-1797 
LibreCat: /record/45863
DOI: 10.17619/UNIPB/1-1797

Sharma, A., Melnikov, V., Hüllermeier, E., &; Wehrheim, H. (2022). Property-Driven Testing of Black-Box Functions. Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE), 113–123.
LibreCat: /record/32311

Richter, C., &; Wehrheim, H. (2022). Learning Realistic Mutations: Bug Creation for Neural Bug Detectors. 2022 IEEE Conference on Software Testing, Verification and Validation (ICST), 162–173.https://doi.org/10.1109/ICST53961.2022.00027 
LibreCat: /record/32590
DOI: 10.1109/ICST53961.2022.00027

Richter, C., &; Wehrheim, H. (2022). TSSB-3M: Mining single statement bugs at massive scale. 2022 IEEE/ACM 19th International Conference on Mining Software Repositories (MSR), 418–422.https://doi.org/10.1145/3524842.3528505 
LibreCat: /record/32591
DOI: 10.1145/3524842.3528505

Dongol, B., Schellhorn, G., &; Wehrheim, H. (2022). Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement. In B. Klin, S. Lasota, &; A. Muscholl (Eds.), 33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland (Vol. 243, p. 31:1–31:23). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.CONCUR.2022.31 
LibreCat: /record/45248
DOI: 10.4230/LIPIcs.CONCUR.2022.31

Sharma, A., Demir, C., Ngonga Ngomo, A.-C., &; Wehrheim, H. (2021). MLCheck- Property-Driven Testing of Machine Learning Models. CoRR, abs/2105.00741.
LibreCat: /record/25213

Sharma, A., Demir, C., Ngonga Ngomo, A.-C., &; Wehrheim, H. (n.d.). MLCHECK–Property-Driven Testing of Machine Learning Classifiers. Proceedings of the 20th IEEE International Conference on Machine Learning and Applications (ICMLA).
LibreCat: /record/28350

Derrick, J., Doherty, S., Dongol, B., Schellhorn, G., &; Wehrheim, H. (n.d.). On Strong Observational Refinement and Forward Simulation. In Proceedings of the 35th International Symposium on Distributed Computing (DISC). Schloß Dagstuhl.
LibreCat: /record/22927

Pauck, F., &; Wehrheim, H. (2021). Jicer: Simplifying Cooperative Android App Analysis Tasks. 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM).https://doi.org/10.1109/scam52516.2021.00031 
LibreCat: /record/28199
DOI: 10.1109/scam52516.2021.00031

Jakobs, M.-C., Pauck, F., Platzner, M., Wehrheim, H., &; Wiersema, T. (2021). Software/Hardware Co-Verification for Custom Instruction Set Processors. IEEE Access.https://doi.org/10.1109/ACCESS.2021.3131213 
LibreCat: /record/27841
DOI: 10.1109/ACCESS.2021.3131213

Pauck, F., &; Wehrheim, H. (2021). Cooperative Android App Analysis with CoDiDroid. In A. Koziolek, I. Schaefer, &; C. Seidl (Eds.), Software Engineering 2021 (pp. 83–84). Gesellschaft für Informatik e.V.https://doi.org/10.18420/SE2021_30  
LibreCat: /record/21238
DOI: 10.18420/SE2021_30 

Sharma, A., &; Wehrheim, H. (n.d.). Automatic Fairness Testing of Machine Learning Models. In Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS). Springer.
LibreCat: /record/19656

Bila, E., Doherty, S., Dongol, B., Derrick, J., Schellhorn, G., &; Wehrheim, H. (2020). Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. In A. Gotsman &; A. Sokolova (Eds.), 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 (Vol. 12136, pp. 39–58). Springer.https://doi.org/10.1007/978-3-030-50086-3‑3 
LibreCat: /record/20274
DOI: 10.1007/978-3-030-50086-3‑3

Beringer, S., &; Wehrheim, H. (2020). Consistency Analysis of AUTOSAR Timing Requirements. In M. van Sinderen, H.-Georg Fill, &; L. A. Maciaszek (Eds.), Proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, Lieusaint, Paris, France, July 7-9, 2020 (pp. 15–26). ScitePress.https://doi.org/10.5220/0009766600150026 
LibreCat: /record/20275
DOI: 10.5220/0009766600150026

Beyer, D., &; Wehrheim, H. (2020). Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. In T. Margaria &; B. Steffen (Eds.), 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 (Vol. 12476, pp. 143–167). Springer.https://doi.org/10.1007/978-3-030-61362-4‑8 
LibreCat: /record/20276
DOI: 10.1007/978-3-030-61362-4‑8

Wehrheim, H., &; Cabot, J. (Eds.). (2020). Fundamental Approaches to Software Engineering - 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings (Vol. 12076). Springer.https://doi.org/10.1007/978-3-030-45234-6 
LibreCat: /record/20277
DOI: 10.1007/978-3-030-45234-6

Ahrendt, W., &; Wehrheim, H. (Eds.). (2020). Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed] (Vol. 12165). Springer.https://doi.org/10.1007/978-3-030-50995-8 
LibreCat: /record/20278
DOI: 10.1007/978-3-030-50995-8