Thomas S. Heinze

ORCID

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 28

Top Venues

Friedrich Schiller University of Jena (PHD)

Education History

Friedrich Schiller University of Jena

PHD

Publications

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

Thomas S. Heinze.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Thomas S. Heinze