Universität Münster
CRIS@UM
DE | EN
Profilbild von Hendrik Winkelmann

Hendrik Winkelmann, M.Sc.

Für die Person sind keine aktuellen Zugehörigkeiten bekannt. Die Person ist nicht mehr an der Universität aktiv.

Curriculum Vitae (CV)

  • Symbolische Ausführung
  • Java Bytecode Transformation
  • Explainable Artificial Intelligence (XAI)

Akademische Ausbildung

seit 2020Promotionsstudium im Fach Wirtschaftsinformatik (WWU Münster)
2017 - 2020Master-Studium in Information Systems (WWU Münster)
2019Auslandssemester in Australien (Universität Sydney)
2014 - 2017Bachelor-Studium in Wirtschaftsinformatik (WWU Münster)

Publikationen

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 (Hrsg.), Das Verfahren der 20. Internationalen Konferenz zur Bewertung von Neuansätzen zur Softwaretechnik, 390-397. Porto: SciTePress. doi:10.5220/0000189300003928
Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht
An Efficient Implementation of a Runtime for Constraint-Logic Object-Oriented Programming
Winkelmann, H. (2024)
Münster, Germany: European Research Center for Information Systems.
Arbeitspapier / Working Paper | Veröffentlicht
An Integrated Visualization Approach Combining Dynamic Data-Flow Analysis with Symbolic Execution
Troost, L.; Winkelmann, H.; Kuchen, H. (2024)
In: SciTePress (Hrsg.), Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering , 39-50. Angers, France: SciTePress. doi:10.5220/0012586200003687
Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht
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 (Hrsg.), 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
Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht
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 (Hrsg.), Disinformation in Open Online Media, 72-87. Amsterdam, Niederlande: Springer. doi:10.1007/978-3-031-47896-3_6
Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht
Alle Publikationen anzeigen

Projekte

Muli – The Münster Logic-Imperative Language (Muli)
Laufzeit: seit 01.11.2015
Art des Projekts: Eigenmittelprojekt
Der Münster-Generator für Glass-box-Testfälle (Muggl)
Laufzeit: seit 01.11.2003
Art des Projekts: Eigenmittelprojekt

Preise

Best Paper Award
Verliehen von: Association for Computing Machinery (ACM)
Verliehen an: Winkelmann, Hendrik; Troost, Laura; Kuchen, Herbert
Bekannt gegeben am: 03.05.2022 | Verleihung erfolgte am: 03.05.2022
Art der Preisverleihung: Preis für beste Veröffentlichung