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

Pauck, F. (2023). Scaling Arbitrary Android App Analyses. 37th IEEE/ACM International Conference on Automated Software Engineering.https://doi.org/10.1145/3551349.3561339 
LibreCat: /record/35427
DOI: 10.1145/3551349.3561339

Ahmed, Q. A., Awais, M., &; Platzner, M. (2023). MAAS: Hiding Trojans in Approximate Circuits. The 24th International Symposium on Quality Electronic Design (ISQED’23), San Francisco, Califorina USA. The 24th International Symposium on Quality Electronic Design (ISQED’23), San Fransico CA 94023-0607, USA.
LibreCat: /record/44194

Pauck, F. (2023). Cooperative Android App Analysis. Paderborn University.https://doi.org/10.17619/UNIPB/1-1698 
LibreCat: /record/43108
DOI: 10.17619/UNIPB/1-1698

Kersting, J. (2023). Identifizierung quantifizierbarer Bewertungsinhalte und -kategorien mittels Text Mining. Universität der Bundeswehr München .
LibreCat: /record/44323

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

Bäumer, F. S., Chen, W.-F., Geierhos, M., Kersting, J., &; Wachsmuth, H. (2023). Dialogue-based Requirement Compensation and Style-adjusted Data-to-text Generation. 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. 65–84). Heinz Nixdorf Institut, Universität Paderborn.https://doi.org/10.5281/zenodo.8068456 
LibreCat: /record/45882
DOI: 10.5281/zenodo.8068456

Hanselle, J. M., Hüllermeier, E., Mohr, F., Ngonga Ngomo, A.-C., Sherif, M., Tornede, A., &; Wever, M. D. (2023). Configuration and Evaluation. 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. 85–104). Heinz Nixdorf Institut, Universität Paderborn.https://doi.org/10.5281/zenodo.8068466 
LibreCat: /record/45884
DOI: 10.5281/zenodo.8068466

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

Kersting, J., &; Geierhos, M. (2023). Towards Comparable Ratings: Quantifying Evaluative Phrases in Physician Reviews. In A. Cuzzocrea, O. Gusikhin, S. Hammoudi, &; C. Quix (Eds.), Data Management Technologies and Applications (Vol. 1860, pp. 45–65). Springer Nature Switzerland.https://doi.org/10.1007/978-3-031-37890-4_3 
LibreCat: /record/46205
DOI: 10.1007/978-3-031-37890-4_3

Tornede, A. (2023). Advanced Algorithm Selection with Machine Learning: Handling Large Algorithm Sets, Learning From Censored Data, and Simplyfing Meta Level Decisions.https://doi.org/10.17619/UNIPB/1-1780  
LibreCat: /record/45780
DOI: 10.17619/UNIPB/1-1780 

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

König, J. (2023). On the Membership and Correctness Problem for State Serializability and Value Opacity.
LibreCat: /record/47833

Witschen, L. M., Wiersema, T., Reuter, L. D., &; Platzner, M. (n.d.). Search Space Characterization for Approximate Logic Synthesis . 2022 59th ACM/IEEE Design Automation Conference (DAC). 2022 59th ACM/IEEE Design Automation Conference (DAC), San Francisco, USA.
LibreCat: /record/29945

Witschen, L. M., Wiersema, T., Artmann, M., &; Platzner, M. (n.d.). MUSCAT: MUS-based Circuit Approximation Technique. Design, Automation and Test in Europe (DATE). Design, Automation and Test in Europe (DATE), Online.
LibreCat: /record/29865

Schede, E., Brandt, J., Tornede, A., Wever, M. D., Bengs, V., Hüllermeier, E., &; Tierney, K. (2022). A Survey of Methods for Automated Algorithm Configuration. In arXiv:2202.01651.
LibreCat: /record/30868
arXiv: 2202.01651

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

Fehring, L., Hanselle, J. M., &; Tornede, A. (2022). HARRIS: Hybrid Ranking and Regression Forests for Algorithm Selection. Workshop on Meta-Learning (MetaLearn 2022) @ NeurIPS 2022. Workshop on Meta-Learning (MetaLearn 2022) @ NeurIPS 2022, Baltimore.
LibreCat: /record/34103
arXiv: 2210.17341

Schubert, P., Gazzillo, P., Patterson, Z., Braha, J., Schiebel, F., Hermann, B., Wei, S., &; Bodden, E. (2022). Static data-flow analysis for software product lines in C. Automated Software Engineering, 29(1), Article 35.https://doi.org/10.1007/s10515-022-00333-1 
LibreCat: /record/30511
DOI: 10.1007/s10515-022-00333-1

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