Hendrik Winkelmann

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 9

Top Topics

Programming Concepts

Symbolic Execution

Top Venues

Publications

Laura Troost, Hendrik Winkelmann, Herbert Kuchen
An Integrated Visualization Approach Combining Dynamic Data-Flow Analysis with Symbolic Execution. ENASE (2024)
Britta Grimme, Janina Pohl, Hendrik Winkelmann, Lucas Stampe, Christian Grimme
Lost in Transformation: Rediscovering LLM-Generated Campaigns in Social Media. MISDOOM (2023)
Hendrik Winkelmann, Herbert Kuchen
Constraint-Logic Object-Oriented Programming with Free Arrays of Reference-Typed Elements via Symbolic Aliasing. ENASE (2023)
Hendrik Winkelmann, Laura Troost, Herbert Kuchen
Constraint-logic object-oriented programming for test case generation. SAC (2022)
Hendrik Winkelmann, Herbert Kuchen
Constraint-logic object-oriented programming on the Java virtual machine. SAC (2022)
Hendrik Winkelmann, Herbert Kuchen
Symbolic execution of NoSQL applications using versioned schemas. SAC (2021)
Jan C. Dageförde, Hendrik Winkelmann, Herbert Kuchen
Free Objects in Constraint-logic Object-oriented Programming. PPDP (2021)
Hendrik Winkelmann, Jan C. Dageförde, Herbert Kuchen
Constraint-Logic Object-Oriented Programming with Free Arrays. WFLP (2020)
Martin Jürgens, Dennis Meis, Dominik Möllers, Felix Nolte, Etienne Stork, Gottfried Vossen, Christian Werner, Hendrik Winkelmann
Bluetooth Mesh Networks for Indoor Localization. MDM (2019)