Wolfram Amme

According to our database, Wolfram Amme authored at least 50 papers between 1996 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Finding Source Code Clones in Intermediate Representations of Java Bytecode.

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

Proceedings of the 17th IEEE International Workshop on Software Clones, 2023

StoneDetector: Structural and Sub-Clone Detection.

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

Proceedings of the 17th IEEE International Workshop on Software Clones, 2023

2022

Experiments on Code Clone Detection and Machine Learning.

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

Proceedings of the 16th IEEE International Workshop on Software Clones, 2022

2021

Control-Flow-Based Methods to Support the Development of Sound Workflows.

Thomas M. Prinz, Wolfram Amme

Complex Syst. Informatics Model. Q., 2021

Detecting Semantic Business Process Model Clones.

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

Proceedings of the 13th European Workshop on Services and their Composition (ZEUS 2021), 2021

>Stubber: Compiling Source Code into Bytecode without Dependencies for Java Code Clone Detection.

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

Proceedings of the 15th IEEE International Workshop on Software Clones, 2021

You Look so Different: Finding Structural Clones and Subclones in Java Source Code.

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

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2021

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

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021

2020

BPMN in the Wild: BPMN on GitHub.com.

Thomas S. Heinze, Viktor Stefanko, Wolfram Amme

Proceedings of the 12th ZEUS Workshop on Services and their Composition, 2020

Detecting Control Flow Similarities Using Machine Learning Techniques.

André Schäfer, Wolfram Amme

Proceedings of the Intelligent Systems and Applications, 2020

Mining BPMN Processes on GitHub for Tool Validation and Development.

Thomas S. Heinze, Viktor Stefanko, Wolfram Amme

Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2020

Detection of Similar Functions Through the Use of Dominator Information.

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

Proceedings of the 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020

2018

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

2016

Sparse Analysis of Variable Path Predicates Based upon SSA-Form.

Thomas S. Heinze, Wolfram Amme

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2015

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

2014

Speculative optimizations for interpreting environments.

Philipp Adler, Wolfram Amme

Softw. Pract. Exp., 2014

Message Assertions and Predicate-Based Control-Flow Unfolding Revisited.

Thomas S. Heinze, Wolfram Amme, Simon Moser

Proceedings of the 6th Central-European Workshop on Services and their Composition, 2014

Compiling More Precise Petri Net Models for an Improved Verification of Service Implementations.

Thomas S. Heinze, Wolfram Amme, Simon Moser

Proceedings of the 7th IEEE International Conference on Service-Oriented Computing and Applications, 2014

Portable Green Cloud Services.

Stephan Ulbricht, Wolfram Amme, Thomas S. Heinze, Simon Moser, Hans-Dieter Wehle

Proceedings of the CLOSER 2014, 2014

A First Step towards a Compiler for Business Processes.

Thomas M. Prinz, Norbert Spieß, Wolfram Amme

Proceedings of the Compiler Construction - 23rd International Conference, 2014

2013

Control Flow Unfolding of Workflow Graphs Using Predicate Analysis and SMT Solving.

Thomas S. Heinze, Wolfram Amme, Simon Moser

Proceedings of the 5^th Central-European Workshop on Services and their Composition, 2013

Practical Compiler-Based User Support during the Development of Business Processes.

Thomas M. Prinz, Wolfram Amme

Proceedings of the Service-Oriented Computing - ICSOC 2013 Workshops, 2013

2012

Guided Control Flow Unfolding for Workflow Graphs Using Value Range Information.

Thomas S. Heinze, Wolfram Amme, Simon Moser, Kai Gebhardt

Proceedings of the 4^th Central-European Workshop on Services and their Composition, 2012

2011

Effiziente Abschätzung von Datenflussfehlern in strukturierten Geschäftsprozessen.

Thomas S. Heinze, Wolfram Amme, Simon Moser

Proceedings of the 3rd Central-European Workshop on Services and their Composition, 2011

2010

Prozessumstrukturierung unter Berücksichtigung von Nachrichteninhalten.

Thomas S. Heinze, Wolfram Amme, Simon Moser

Proceedings of the 2nd Central-European Workshop on Services and their Composition, 2010

Process Restructuring in the Presence of Message-Dependent Variables.

Thomas S. Heinze, Wolfram Amme, Simon Moser

Proceedings of the Service-Oriented Computing, 2010

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

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

Umstrukturierung von WS-BPEL-Prozessen zur Verbesserung des Validierungsverhaltens.

Thomas S. Heinze, Wolfram Amme, Simon Moser

Proceedings of the 1st Central-European Workshop on Services and their Composition, 2009

Type-Separated Bytecode - Its Construction and Evaluation.

Philipp Adler, Wolfram Amme

Proceedings of the Runtime Verification, 9th International Workshop, 2009

A Restructuring Method for WS-BPEL Business Processes Based on Extended Workflow Graphs.

Thomas S. Heinze, Wolfram Amme, Simon Moser

Proceedings of the Business Process Management, 7th International Conference, 2009

2008

Intermediate Representations of Mobile Code.

Wolfram Amme, Thomas S. Heinze, Jeffery von Ronne

Informatica (Slovenia), 2008

Generic CSSA-Based Pattern over Boolean Data for an Improved WS-BPEL to Petri Net Mappping.

Thomas S. Heinze, Wolfram Amme, Simon Moser

Proceedings of the Third International Conference on Internet and Web Applications and Services, 2008

2007

SSA-based mobile code: Implementation and empirical evaluation.

Wolfram Amme, Jeffery von Ronne, Michael Franz

ACM Trans. Archit. Code Optim., 2007

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

Proceedings of the 2007 IEEE International Conference on Services Computing (SCC 2007), 2007

2006

Data Flow Analysis as a General Concept for the Transport of Verifiable Program Annotations.

Wolfram Amme, Marc-André Möller, Philipp Adler

Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification, 2006

2005

Quantifying the Benefits of SSA-Based Mobile Code.

Wolfram Amme, Jeffery von Ronne, Michael Franz

Proceedings of the Fourth International Workshop on Compiler Optimization meets Compiler Verification, 2005

2003

Effiziente Codegenerierung für mobilen Code.

Wolfram Amme, Michael Franz

Inform. Spektrum, 2003

Code Annotation for Safe and Efficient Dynamic Object Resolution.

Andreas Hartmann, Wolfram Amme, Jeffery von Ronne, Michael Franz

Proceedings of the Compiler Optimization Meets Compiler Verification, 2003

2002

Efficient online optimization by utilizing offline analysis and the safeTSA representation.

Jeffery von Ronne, Andreas Hartmann, Wolfram Amme, Michael Franz

Proceedings of the naugural International Symposium on Principles and Practice of Programming in Java, 2002

2001

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

Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001

2000

Data Dependence Analysis of Assembly Code.

Wolfram Amme, Peter Braun, François Thomasset, Eberhard Zehendner

Int. J. Parallel Program., 2000

1999

PAOLA - Program Analysis of Object-Oriented Languages.

Wolfram Amme, Markus Schordan, László Böszörményi, Wilhelm R. Rossak

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Mapping List Algorithms on Parallel Systems.

Wolfram Amme, Peter Braun, Welf Löwe, Eberhard Zehendner

Proceedings of the Workshops zur Architektur von Rechensystemen, 1999

1998

Datenabhängigkeitsanalyse in Programmen mit Zeigern.

Wolfram Amme

PhD thesis, 1998

Data Dependence Analysis in Programs with Pointers.

Wolfram Amme, Eberhard Zehendner

Parallel Comput., 1998

1997

Experiences in Analyzing Data Dependences for Programs with Pointers and Structures.

Wolfram Amme, Eberhard Zehendner

Proceedings of the Euro-Par '97 Parallel Processing, 1997

Efficient Calculation of Data Dependences in Programs with Pointers and Structures.

Wolfram Amme, Eberhard Zehendner

Proceedings of the 23rd EUROMICRO Conference '97, 1997

Scheduling Parallel Loops for Processing Linear Lists.

Wolfram Amme, Peter Braun, Eberhard Zehendner

Proceedings of the 23rd EUROMICRO Conference '97, 1997

1996

A/D Graphs - A Data Structure for Data Dependence Analysis in Programs with Pointers.

Wolfram Amme, Eberhard Zehendner

Proceedings of the Parallel Computation, 1996