activity
20202026
most citedConformance Relations and Hyperproperties for Doping Detection in Time and Space

12 citations · 16 across the 5 of their papers we have counts for

collaborators

5 papers

cs.SE2026

Zero-shot Evaluation of Deep Learning for Java Code Clone Detection

Thomas S. Heinze

Deep Learning (DL) is becoming more and more widespread in clone detection, motivated by achieving near-perfect performance for this task. In particular in case of semantic code cl…

cs.SE2025★ 2 cited

StoneDetector: Conventional and versatile code clone detection for Java

Thomas S. Heinze, André Schäfer, Wolfram Amme

Copy & paste is a widespread practice when developing software and, thus, duplicated and subsequently modified code occurs frequently in software projects. Since such code clones,…

cs.SE2023★ 1 cited

A Static Analysis Platform for Investigating Security Trends in Repositories

Tim Sonnekalb, Christopher-Tobias Knaust, Bernd Gruner +5

Static analysis tools come in many forms andconfigurations, allowing them to handle various tasks in a (secure) development process: code style linting, bug/vulnerability detection…

cs.SE2022★ 1 cited

Cross-Domain Evaluation of a Deep Learning-Based Type Inference System

Bernd Gruner, Tim Sonnekalb, Thomas S. Heinze +1

Optional type annotations allow for enriching dynamic programming languages with static typing features like better Integrated Development Environment (IDE) support, more precise p…

cs.LO2020★ 12 cited

Conformance Relations and Hyperproperties for Doping Detection in Time and Space

Sebastian Biewer, Rayna Dimitrova, Michael Fries +4

We present a novel and generalised notion of doping cleanness for cyber-physical systems that allows for perturbing the inputs and observing the perturbed outputs both in the time-…