A/D Graphs - A Data Structure for Data Dependence Analysis in Programs with Pointers. - Wolfram Amme; Eberhard Zehendner (ACPC, 1996)

Scheduling Parallel Loops for Processing Linear Lists. - Wolfram Amme; Peter Braun 001; Eberhard Zehendner (EUROMICRO, 1997)

Efficient Calculation of Data Dependences in Programs with Pointers and Structures. - Wolfram Amme; Eberhard Zehendner (EUROMICRO, 1997)

Experiences in Analyzing Data Dependences for Programs with Pointers and Structures. - Wolfram Amme; Eberhard Zehendner (Euro-Par, 1997)

Data Dependence Analysis in Programs with Pointers. - Wolfram Amme; Eberhard Zehendner (Parallel Comput., 1998)

Datenabhängigkeitsanalyse in Programmen mit Zeigern. - Wolfram Amme (1998)

Mapping List Algorithms on Parallel Systems. - Wolfram Amme; Peter Braun 001; Welf Löwe; Eberhard Zehendner (ARCS Workshops, 1999)

PAOLA - Program Analysis of Object-Oriented Languages. - Wolfram Amme; Markus Schordan; László Böszörményi; Wilhelm R. Rossak (ECOOP Workshops, 1999)

Data Dependence Analysis of Assembly Code. - Wolfram Amme; Peter Braun 001; François Thomasset; Eberhard Zehendner (Int. J. Parallel Program., 2000)

SafeTSA: A Type Safe and Referentially Secure Mobile-Code Representation Based on Static Single Assignment Form. - Wolfram Amme; Niall Dalton; Michael Franz; Jeffery von Ronne (PLDI, 2001)

Efficient online optimization by utilizing offline analysis and the safeTSA representation. - Jeffery von Ronne; Andreas Hartmann 001; Wolfram Amme; Michael Franz (PPPJ/IRE, 2002)

Code Annotation for Safe and Efficient Dynamic Object Resolution. - Andreas Hartmann 001; Wolfram Amme; Jeffery von Ronne; Michael Franz (COCV@ETAPS, 2003)

Effiziente Codegenerierung für mobilen Code. - Wolfram Amme; Michael Franz (Inform. Spektrum, 2003)

Quantifying the Benefits of SSA-Based Mobile Code. - Wolfram Amme; Jeffery von Ronne; Michael Franz (COCV@ETAPS, 2005)

Data Flow Analysis as a General Concept for the Transport of Verifiable Program Annotations. - Wolfram Amme; Marc-André Möller; Philipp Adler (COCV@ETAPS, 2006)

Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis. - Simon Moser; Axel Martens; Katharina Görlach; Wolfram Amme; Artur Godlinski (IEEE SCC, 2007)

SSA-based mobile code: Implementation and empirical evaluation. - Wolfram Amme; Jeffery von Ronne; Michael Franz (ACM Trans. Archit. Code Optim., 2007)

Generic CSSA-Based Pattern over Boolean Data for an Improved WS-BPEL to Petri Net Mappping. - Thomas S. Heinze; Wolfram Amme; Simon Moser (ICIW, 2008)

Intermediate Representations of Mobile Code. - Wolfram Amme; Thomas S. Heinze; Jeffery von Ronne (Informatica (Slovenia), 2008)

A Restructuring Method for WS-BPEL Business Processes Based on Extended Workflow Graphs. - Thomas S. Heinze; Wolfram Amme; Simon Moser (BPM, 2009)

Type-Separated Bytecode - Its Construction and Evaluation. - Philipp Adler; Wolfram Amme (RV, 2009)

Umstrukturierung von WS-BPEL-Prozessen zur Verbesserung des Validierungsverhaltens. - Thomas S. Heinze; Wolfram Amme; Simon Moser (ZEUS, 2009)

Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysis. - Wolfram Amme; Axel Martens; Simon Moser (Int. J. Bus. Process. Integr. Manag., 2009)

The effectiveness of producer-side machine-independent optimizations for mobile code. - Wolfram Amme; Jeffery von Ronne; Philipp Adler; Michael Franz (Softw. Pract. Exp., 2009)

Process Restructuring in the Presence of Message-Dependent Variables. - Thomas S. Heinze; Wolfram Amme; Simon Moser (ICSOC Workshops, 2010)

Prozessumstrukturierung unter Berücksichtigung von Nachrichteninhalten. - Thomas S. Heinze; Wolfram Amme; Simon Moser (ZEUS, 2010)

Effiziente Abschätzung von Datenflussfehlern in strukturierten Geschäftsprozessen. - Thomas S. Heinze; Wolfram Amme; Simon Moser (ZEUS, 2011)

Guided Control Flow Unfolding for Workflow Graphs Using Value Range Information. - Thomas S. Heinze; Wolfram Amme; Simon Moser; Kai Gebhardt (ZEUS, 2012)

Practical Compiler-Based User Support during the Development of Business Processes. - Thomas M. Prinz; Wolfram Amme (ICSOC Workshops, 2013)

Control Flow Unfolding of Workflow Graphs Using Predicate Analysis and SMT Solving. - Thomas S. Heinze; Wolfram Amme; Simon Moser (ZEUS, 2013)

A First Step towards a Compiler for Business Processes. - Thomas M. Prinz; Norbert Spieß; Wolfram Amme (CC, 2014)

Portable Green Cloud Services. - Stephan Ulbricht; Wolfram Amme; Thomas S. Heinze; Simon Moser; Hans-Dieter Wehle (CLOSER, 2014)

Compiling More Precise Petri Net Models for an Improved Verification of Service Implementations. - Thomas S. Heinze; Wolfram Amme; Simon Moser (SOCA, 2014)

Message Assertions and Predicate-Based Control-Flow Unfolding Revisited. - Thomas S. Heinze; Wolfram Amme; Simon Moser (ZEUS, 2014)

Speculative optimizations for interpreting environments. - Philipp Adler; Wolfram Amme (Softw. Pract. Exp., 2014)

A Complete and the Most Liberal Semantics for Converging OR Gateways in Sound Processes. - Thomas M. Prinz; Wolfram Amme (Complex Syst. Informatics Model. Q., 2015)

Sparse Analysis of Variable Path Predicates Based upon SSA-Form. - Thomas S. Heinze; Wolfram Amme (ISoLA (1), 2016)

Static analysis and process model transformation for an advanced business process to Petri net mapping. - Thomas S. Heinze; Wolfram Amme; Simon Moser (Softw. Pract. Exp., 2018)

Detection of Similar Functions Through the Use of Dominator Information. - André Schäfer; Wolfram Amme; Thomas S. Heinze (ACSOS Companion, 2020)

Mining BPMN Processes on GitHub for Tool Validation and Development. - Thomas S. Heinze; Viktor Stefanko; Wolfram Amme (BPMDS/EMMSAD@CAiSE, 2020)

Detecting Control Flow Similarities Using Machine Learning Techniques. - André Schäfer; Wolfram Amme (IntelliSys (3), 2020)

BPMN in the Wild: BPMN on GitHub.com. - Thomas S. Heinze; Viktor Stefanko; Wolfram Amme (ZEUS, 2020)

U sing Clone Detection for Finding Signatures of Malware Families: A Case Study on FinSpy. - Nils Scheidweiler; André Schäfer; Wolfram Amme; Thomas S. Heinze (ACSOS-C, 2021)

You Look so Different: Finding Structural Clones and Subclones in Java Source Code. - Wolfram Amme; Thomas S. Heinze; André Schäfer (ICSME, 2021)

>Stubber: Compiling Source Code into Bytecode without Dependencies for Java Code Clone Detection. - André Schäfer; Wolfram Amme; Thomas S. Heinze (IWSC, 2021)

Detecting Semantic Business Process Model Clones. - Thomas S. Heinze; Wolfram Amme; André Schäfer (ZEUS, 2021)

Control-Flow-Based Methods to Support the Development of Sound Workflows. - Thomas M. Prinz; Wolfram Amme (Complex Syst. Informatics Model. Q., 2021)

Experiments on Code Clone Detection and Machine Learning. - André Schäfer; Wolfram Amme; Thomas S. Heinze (IWSC, 2022)

StoneDetector: Structural and Sub-Clone Detection. - André Schäfer; Wolfram Amme; Thomas S. Heinze (IWSC, 2023)

Finding Source Code Clones in Intermediate Representations of Java Bytecode. - André Schäfer; Thomas S. Heinze; Wolfram Amme (IWSC, 2023)

Vulnerability Prediction and Assessment Using Software Product Metrics and Machine Learning: What Does Not Work. - Tim Sonnekalb; Celestino Madera Castro; Bernd Gruner; Clemens-Alexander Brust; Wolfram Amme (QRS Companion, 2024)

CloReCo: Benchmarking Platform for Code Clone Detection. - Franz Burock; Wolfram Amme; Thomas S. Heinze; Elisabeth Ostryanin (ICSOFT, 2025)