| 2025 | ENASE | Mutation Operators for Mutation Testing of Angular Web Applications. | Sarah Augustin, Hendrik Winkelmann, Herbert Kuchen |
| 2024 | ENASE | An Integrated Visualization Approach Combining Dynamic Data-Flow Analysis with Symbolic Execution. | Laura Troost, Hendrik Winkelmann, Herbert Kuchen |
| 2023 | ENASE | Constraint-Logic Object-Oriented Programming with Free Arrays of Reference-Typed Elements via Symbolic Aliasing. | Hendrik Winkelmann, Herbert Kuchen |
| 2022 | SAC | Constraint-logic object-oriented programming on the Java virtual machine. | Hendrik Winkelmann, Herbert Kuchen |
| 2022 | SAC | Constraint-logic object-oriented programming for test case generation. | Hendrik Winkelmann, Laura Troost, Herbert Kuchen |
| 2021 | PPDP | Free Objects in Constraint-logic Object-oriented Programming. | Jan C. Dagefrde, Hendrik Winkelmann, Herbert Kuchen |
| 2021 | SAC | Symbolic execution of NoSQL applications using versioned schemas. | Hendrik Winkelmann, Herbert Kuchen |
| 2019 | MDM | Bluetooth Mesh Networks for Indoor Localization. | Martin Jrgens, Dennis Meis, Dominik Mllers, Felix Nolte, Etienne Stork, Gottfried Vossen, Christian Werner, Hendrik Winkelmann |