Thomas S. Heinze

46 papers A 3C 4Journal 8Unranked 29

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	StoneDetector : Conventional and versatile code clone detection for Java. J. Syst. Softw. Thomas S. Heinze, André Schäfer, Wolfram Amme
2025	C	`conf`	CloReCo: Benchmarking Platform for Code Clone Detection. ICSOFT Franz Burock, Wolfram Amme, Thomas S. Heinze, Elisabeth Ostryanin
2025	J	`jnl`	StoneDetector: Conventional and versatile code clone detection for Java. CoRR Thomas S. Heinze, André Schäfer, Wolfram Amme
2023	—	`conf`	A Static Analysis Platform for Investigating Security Trends in Repositories. SVM Tim Sonnekalb, Christopher-Tobias Knaust, Bernd Gruner, Clemens-Alexander Brust, Thomas S. Heinze, Lynn von Kurnatowski, Andreas Schreiber, Patrick Mäder
2023	J	`jnl`	A Static Analysis Platform for Investigating Security Trends in Repositories. CoRR Tim Sonnekalb, Christopher-Tobias Knaust, Bernd Gruner, Clemens-Alexander Brust, Lynn von Kurnatowski, Andreas Schreiber, Thomas S. Heinze, Patrick Mäder
2023	A	`conf`	Cross-Domain Evaluation of a Deep Learning-Based Type Inference System. MSR Bernd Gruner, Tim Sonnekalb, Thomas S. Heinze, Clemens-Alexander Brust
2023	—	`conf`	Finding Source Code Clones in Intermediate Representations of Java Bytecode. IWSC André Schäfer, Thomas S. Heinze, Wolfram Amme
2023	—	`conf`	StoneDetector: Structural and Sub-Clone Detection. IWSC André Schäfer, Wolfram Amme, Thomas S. Heinze
2022	—	`conf`	BPMN in the Wild: A Reprise. ZEUS Jasmin Türker, Michael Völske, Thomas S. Heinze
2022	J	`jnl`	Cross-Domain Evaluation of a Deep Learning-Based Type Inference System. CoRR Bernd Gruner, Tim Sonnekalb, Thomas S. Heinze, Clemens-Alexander Brust
2022	J	`jnl`	Deep security analysis of program code. Empir. Softw. Eng. Tim Sonnekalb, Thomas S. Heinze, Patrick Mäder
2022	—	`conf`	Experiments on Code Clone Detection and Machine Learning. IWSC André Schäfer, Wolfram Amme, Thomas S. Heinze
2021	—	`conf`	>Stubber: Compiling Source Code into Bytecode without Dependencies for Java Code Clone Detection. IWSC André Schäfer, Wolfram Amme, Thomas S. Heinze
2021	—	`conf`	Detecting Semantic Business Process Model Clones. ZEUS Thomas S. Heinze, Wolfram Amme, André Schäfer
2021	—	`conf`	Provenance-Based Security Audits and Its Application to COVID-19 Contact Tracing Apps. IPAW Andreas Schreiber, Tim Sonnekalb, Thomas S. Heinze, Lynn von Kurnatowski, Jesús M. González-Barahona, Heather S. Packer
2021	—	`conf`	U sing Clone Detection for Finding Signatures of Malware Families: A Case Study on FinSpy. ACSOS-C Nils Scheidweiler, André Schäfer, Wolfram Amme, Thomas S. Heinze
2021	A	`conf`	You Look so Different: Finding Structural Clones and Subclones in Java Source Code. ICSME Wolfram Amme, Thomas S. Heinze, André Schäfer
2020	—	`conf`	BPMN in the Wild: BPMN on GitHub.com. ZEUS Thomas S. Heinze, Viktor Stefanko, Wolfram Amme
2020	—	`conf`	Benchmarking Open-Source Static Analyzers for Security Testing for C. ISoLA (4) Christoph Gentsch, Rohan Krishnamurthy, Thomas S. Heinze
2020	—	`conf`	Detection of Similar Functions Through the Use of Dominator Information. ACSOS Companion André Schäfer, Wolfram Amme, Thomas S. Heinze
2020	J	`jnl`	Erste Überlegungen zur Erklärbarkeit von Deep-Learning-Modellen für die Analyse von Quellcode. Softwaretechnik-Trends Tim Sonnekalb, Thomas S. Heinze, Patrick Mäder
2020	—	`conf`	Mining BPMN Processes on GitHub for Tool Validation and Development. BPMDS/EMMSAD@CAiSE Thomas S. Heinze, Viktor Stefanko, Wolfram Amme
2019	—	`conf`	PANIC - Plugging Data Leak Detection into the Camunda Modeler (short paper). ZEUS Jasmin Türker, Thomas S. Heinze
2019	—	`conf`	Scientific developers v/s static analysis tools: vision and position paper. CHASE@ICSE Rohan Krishnamurthy, Thomas S. Heinze, Carina Haupt, Andreas Schreiber, Michael Meinel
2019	—	`conf`	Security Challenges of Cloud Manufacturing: A Case Study in the Aerospace Domain (short paper). ZEUS Diana Peters, Thomas S. Heinze
2018	—	`conf`	Certified Information Flow Analysis of Service Implementations. SOCA Thomas S. Heinze, Jasmin Türker
2018	—	`conf`	Schritte zu einer zertifizierten Informationsflussanalyse von Geschäftsprozessen (Towards a Certified Information Flow Analysis for Business Processes). ZEUS Thomas S. Heinze
2018	J	`jnl`	Static analysis and process model transformation for an advanced business process to Petri net mapping. Softw. Pract. Exp. Thomas S. Heinze, Wolfram Amme, Simon Moser
2017	—	`conf`	Towards Certified Data Flow Analysis of Business Processes. ZEUS Thomas S. Heinze
2016	—	`conf`	Sparse Analysis of Variable Path Predicates Based upon SSA-Form. ISoLA (1) Thomas S. Heinze, Wolfram Amme
2016	C	`conf`	Type safety analysis for Dart. DLS Thomas S. Heinze, Anders Møller, Fabio Strocco
2015	—	`ed.`	Proceedings of the 7th Central European Workshop on Services and their Composition, ZEUS 2015, Jena, Germany, February 19-20, 2015. ZEUS Thomas S. Heinze, Thomas M. Prinz
2014	—	`conf`	Compiling More Precise Petri Net Models for an Improved Verification of Service Implementations. SOCA Thomas S. Heinze, Wolfram Amme, Simon Moser
2014	—	`conf`	Message Assertions and Predicate-Based Control-Flow Unfolding Revisited. ZEUS Thomas S. Heinze, Wolfram Amme, Simon Moser
2014	C	`conf`	Portable Green Cloud Services. CLOSER Stephan Ulbricht, Wolfram Amme, Thomas S. Heinze, Simon Moser, Hans-Dieter Wehle
2013	—	`conf`	Control Flow Unfolding of Workflow Graphs Using Predicate Analysis and SMT Solving. ZEUS Thomas S. Heinze, Wolfram Amme, Simon Moser
2013	—	`—`	Eine Methode zur kontrollierten Kontrollflussentfaltung und ihre Anwendung zur Präzisierung petrinetzbasierter Verifikationsmodelle. Thomas S. Heinze
2012	—	`conf`	Guided Control Flow Unfolding for Workflow Graphs Using Value Range Information. ZEUS Thomas S. Heinze, Wolfram Amme, Simon Moser, Kai Gebhardt
2011	—	`conf`	Effiziente Abschätzung von Datenflussfehlern in strukturierten Geschäftsprozessen. ZEUS Thomas S. Heinze, Wolfram Amme, Simon Moser
2010	—	`conf`	Efficient Test Suite Reduction by Merging Pairs of Suitable Test Cases. MoDELS (Workshops) Harald Cichos, Thomas S. Heinze
2010	—	`conf`	Process Restructuring in the Presence of Message-Dependent Variables. ICSOC Workshops Thomas S. Heinze, Wolfram Amme, Simon Moser
2010	—	`conf`	Prozessumstrukturierung unter Berücksichtigung von Nachrichteninhalten. ZEUS Thomas S. Heinze, Wolfram Amme, Simon Moser
2009	A	`conf`	A Restructuring Method for WS-BPEL Business Processes Based on Extended Workflow Graphs. BPM Thomas S. Heinze, Wolfram Amme, Simon Moser
2009	—	`conf`	Umstrukturierung von WS-BPEL-Prozessen zur Verbesserung des Validierungsverhaltens. ZEUS Thomas S. Heinze, Wolfram Amme, Simon Moser
2008	C	`conf`	Generic CSSA-Based Pattern over Boolean Data for an Improved WS-BPEL to Petri Net Mappping. ICIW Thomas S. Heinze, Wolfram Amme, Simon Moser
2008	J	`jnl`	Intermediate Representations of Mobile Code. Informatica (Slovenia) Wolfram Amme, Thomas S. Heinze, Jeffery von Ronne