Hendrik Winkelmann

12 papers B 4C 1Misc 3Unranked 3
YearRankTypeTitle / Venue / Authors
2025 B conf
Mutation Operators for Mutation Testing of Angular Web Applications.
ENASE
Sarah Augustin, Hendrik Winkelmann, Herbert Kuchen
2024 B conf
An Integrated Visualization Approach Combining Dynamic Data-Flow Analysis with Symbolic Execution.
ENASE
Laura Troost, Hendrik Winkelmann, Herbert Kuchen
2024 — —
Constraint-logic object-oriented programming and text case generation.
Hendrik Winkelmann
2024 — conf
Evaluation of Hypothetical Document and Query Embeddings for Information Retrieval Enhancements in the Context of Diverse User Queries.
Wirtschaftsinformatik
Marten Jostmann, Hendrik Winkelmann
2023 B conf
Constraint-Logic Object-Oriented Programming with Free Arrays of Reference-Typed Elements via Symbolic Aliasing.
ENASE
Hendrik Winkelmann, Herbert Kuchen
2023 — conf
Lost in Transformation: Rediscovering LLM-Generated Campaigns in Social Media.
MISDOOM
Britta Grimme, Janina Pohl, Hendrik Winkelmann, Lucas Stampe, Christian Grimme
2022 Misc conf
Constraint-logic object-oriented programming for test case generation.
SAC
Hendrik Winkelmann, Laura Troost, Herbert Kuchen
2022 Misc conf
Constraint-logic object-oriented programming on the Java virtual machine.
SAC
Hendrik Winkelmann, Herbert Kuchen
2021 C conf
Free Objects in Constraint-logic Object-oriented Programming.
PPDP
Jan C. Dageförde, Hendrik Winkelmann, Herbert Kuchen
2021 Misc conf
Symbolic execution of NoSQL applications using versioned schemas.
SAC
Hendrik Winkelmann, Herbert Kuchen
2020 — conf
Constraint-Logic Object-Oriented Programming with Free Arrays.
WFLP
Hendrik Winkelmann, Jan C. Dageförde, Herbert Kuchen
2019 B conf
Bluetooth Mesh Networks for Indoor Localization.
MDM
Martin Jürgens, Dennis Meis, Dominik Möllers, Felix Nolte, Etienne Stork, Gottfried Vossen, Christian Werner, Hendrik Winkelmann