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

An Efficient Implementation of a Runtime for Constraint-Logic Object-Oriented Programming
Winkelmann, H. (2024)
Münster, Germany: European Research Center for Information Systems.
Type of Publication: Working paper
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 . Angers, France: SciTePress.
Type of Publication: Research article in edited proceedings (conference)
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. Prague, Czech Republic: SciTePress.
Type of Publication: Research article in edited proceedings (conference)
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. Amsterdam, Niederlande: Springer.
Type of Publication: Research article in edited proceedings (conference)
Constraint-Logic Object-Oriented Programming on the Java Virtual Machine
Winkelmann Hendrik, Kuchen Herbert (2022)
In: Association for Computing Machinery (eds.), 37th ACM/SIGAPP Symposium On Applied Computing. New York, NY, USA: ACM Press.
Type of Publication: Research article in edited proceedings (conference)
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