Hendrik Winkelmann

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 8

Top Topics

Programming Concepts

Indoor Localization

Test Case Generation

Top Venues

Publications

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)