Universität Münster
CRIS@UM
DE | EN

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

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