University of Münster
CRIS@UM
DE | EN
Profile picture of Hendrik Winkelmann

Hendrik Winkelmann, M.Sc.

No current affiliations available for this person. The person is no longer active at the university.

Curriculum Vitae (CV)

  • Symbolic Execution
  • Java Bytecode Transformation
  • Explainable Artificial Intelligence (XAI)

Academic Education

since 2020PhD Studies in Information Systems (University of Münster)
2017 - 2020Master of Science in Information Systems (University of Münster)
2019Semester Abroad in Australia (University of Sydney)
2014 - 2017Bachelor of Science in Information Systems (University of Münster)

Publications

Mutation Operators for Mutation Testing of Angular Web Applications Mutation Operators für Mutationstests von eckigen Webanwendungen
Augustin, Sarah; Winkelmann, Hendrik; Kuchen, Herbert (2025)
In: Mannion, Mike; Mannisto, Tomi; Maciaszek, Leszek (eds.), Das Verfahren der 20. Internationalen Konferenz zur Bewertung von Neuansätzen zur Softwaretechnik, 390-397. Porto: SciTePress. doi:10.5220/0000189300003928
Research article in edited proceedings (conference) | Peer reviewed | Published
An Efficient Implementation of a Runtime for Constraint-Logic Object-Oriented Programming
Winkelmann, H. (2024)
Münster, Germany: European Research Center for Information Systems.
Working paper | Published
An Integrated Visualization Approach Combining Dynamic Data-Flow Analysis with Symbolic Execution
Troost, L.; Winkelmann, H.; Kuchen, H. (2024)
In: SciTePress (eds.), Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering , 39-50. Angers, France: SciTePress. doi:10.5220/0012586200003687
Research article in edited proceedings (conference) | Peer reviewed | Published
Constraint-Logic Object-Oriented Programming with Free Arrays of Reference-Typed Elements via Symbolic Aliasing
Winkelmann, Hendrik; Kuchen, Herbert (2023)
In: Kaindl, Hermann Mannion, Mike Maciaszek, Leszek (eds.), Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE, 412-419. Prague, Czech Republic: SciTePress. doi:10.5220/0011849200003464
Research article in edited proceedings (conference) | Peer reviewed | Published
Lost in Transformation: Rediscovering LLM-Generated Campaigns in Social Media
Grimme, Britta; Pohl, Janina; Winkelmann, Hendrik; Stampe, Lucas; Grimme, Christian  (2023)
In: Ceolin, Davide; Caselli, Tommaso; Tulin, Marina (eds.), Disinformation in Open Online Media, 72-87. Amsterdam, Niederlande: Springer. doi:10.1007/978-3-031-47896-3_6
Research article in edited proceedings (conference) | Peer reviewed | Published
Show all publications

Projects

Muli – The Münster Logic-Imperative Language (Muli)
Duration: since 01/11/2015
Type of project: Own resources project
The Münster Generator of Glass-box Test Cases (Muggl)
Duration: since 01/11/2003
Type of project: Own resources project

Prizes

ACM Best Paper Award
Awarded by: Association for Computing Machinery (ACM)
Award given to: Winkelmann, Hendrik; Troost, Laura; Kuchen, Herbert
Announced at: 03/05/2022 | Date of awarding: 03/05/2022
Type of distinction: Best publication award