Hendrik Winkelmann

According to our database, Hendrik Winkelmann authored at least 9 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

An Integrated Visualization Approach Combining Dynamic Data-Flow Analysis with Symbolic Execution.

Laura Troost, Hendrik Winkelmann, Herbert Kuchen

Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, 2024

2023

Lost in Transformation: Rediscovering LLM-Generated Campaigns in Social Media.

Britta Grimme, Janina Pohl, Hendrik Winkelmann, Lucas Stampe, Christian Grimme

Proceedings of the Disinformation in Open Online Media, 2023

Constraint-Logic Object-Oriented Programming with Free Arrays of Reference-Typed Elements via Symbolic Aliasing.

Hendrik Winkelmann, Herbert Kuchen

Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, 2023

2022

Constraint-logic object-oriented programming for test case generation.

Hendrik Winkelmann, Laura Troost, Herbert Kuchen

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

Constraint-logic object-oriented programming on the Java virtual machine.

Hendrik Winkelmann, Herbert Kuchen

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

2021

Symbolic execution of NoSQL applications using versioned schemas.

Hendrik Winkelmann, Herbert Kuchen

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

Free Objects in Constraint-logic Object-oriented Programming.

Jan C. Dageförde, Hendrik Winkelmann, Herbert Kuchen

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

2020

Constraint-Logic Object-Oriented Programming with Free Arrays.

Hendrik Winkelmann, Jan C. Dageförde, Herbert Kuchen

Proceedings of the Functional and Constraint Logic Programming, 2020

2019

Bluetooth Mesh Networks for Indoor Localization.

Martin Jürgens, Dennis Meis, Dominik Möllers, Felix Nolte, Etienne Stork, Gottfried Vossen, Christian Werner, Hendrik Winkelmann

Proceedings of the 20th IEEE International Conference on Mobile Data Management, 2019