Wolfram Amme

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 15

Top Venues

IWSC

ZEUS

Complex Syst. Informatics Model. Q.

Softw. Pract. Exp.

University of Jena, Germany (PHD)

Education History

University of Jena, Germany

PHD

Publications

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)
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)
Thomas M. Prinz, Wolfram Amme
Control-Flow-Based Methods to Support the Development of Sound Workflows. Complex Syst. Informatics Model. Q. 27 (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)
André Schäfer, Wolfram Amme
Detecting Control Flow Similarities Using Machine Learning Techniques. IntelliSys (3) (2020)
Thomas S. Heinze, Viktor Stefanko, Wolfram Amme
BPMN in the Wild: BPMN on GitHub.com. ZEUS (2020)
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, Wolfram Amme
Sparse Analysis of Variable Path Predicates Based upon SSA-Form. ISoLA (1) (2016)
Thomas M. Prinz, Wolfram Amme
A Complete and the Most Liberal Semantics for Converging OR Gateways in Sound Processes. Complex Syst. Informatics Model. Q. 4 (2015)
Thomas M. Prinz, Norbert Spieß, Wolfram Amme
A First Step towards a Compiler for Business Processes. CC (2014)
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)
Philipp Adler, Wolfram Amme
Speculative optimizations for interpreting environments. Softw. Pract. Exp. 44 (10) (2014)
Thomas S. Heinze, Wolfram Amme, Simon Moser
Control Flow Unfolding of Workflow Graphs Using Predicate Analysis and SMT Solving. ZEUS (2013)
Thomas M. Prinz, Wolfram Amme
Practical Compiler-Based User Support during the Development of Business Processes. ICSOC Workshops (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)
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, Axel Martens, Simon Moser
Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysis. Int. J. Bus. Process. Integr. Manag. 4 (1) (2009)
Philipp Adler, Wolfram Amme
Type-Separated Bytecode - Its Construction and Evaluation. RV (2009)
Wolfram Amme, Jeffery von Ronne, Philipp Adler, Michael Franz
The effectiveness of producer-side machine-independent optimizations for mobile code. Softw. Pract. Exp. 39 (10) (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)
Wolfram Amme, Marc-André Möller, Philipp Adler
Data Flow Analysis as a General Concept for the Transport of Verifiable Program Annotations. Electron. Notes Theor. Comput. Sci. 176 (3) (2007)
Simon Moser, Axel Martens, Katharina Görlach, Wolfram Amme, Artur Godlinski
Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis. IEEE SCC (2007)
Wolfram Amme, Jeffery von Ronne, Michael Franz
SSA-based mobile code: Implementation and empirical evaluation. ACM Trans. Archit. Code Optim. 4 (2) (2007)
Wolfram Amme, Jeffery von Ronne, Michael Franz
Quantifying the Benefits of SSA-Based Mobile Code. Electron. Notes Theor. Comput. Sci. 141 (2) (2005)
Andreas Hartmann, Wolfram Amme, Jeffery von Ronne, Michael Franz
Code Annotation for Safe and Efficient Dynamic Object Resolution. Electron. Notes Theor. Comput. Sci. 82 (2) (2003)
Wolfram Amme, Michael Franz
Effiziente Codegenerierung für mobilen Code. Inform. Spektrum 26 (4) (2003)
Jeffery von Ronne, Andreas Hartmann, Wolfram Amme, Michael Franz
Efficient online optimization by utilizing offline analysis and the safeTSA representation. PPPJ/IRE (2002)
Wolfram Amme, Niall Dalton, Michael Franz, Jeffery von Ronne
SafeTSA: A Type Safe and Referentially Secure Mobile-Code Representation Based on Static Single Assignment Form. PLDI (2001)
Wolfram Amme, Peter Braun, François Thomasset, Eberhard Zehendner
Data Dependence Analysis of Assembly Code. Int. J. Parallel Program. 28 (5) (2000)
Wolfram Amme, Peter Braun, Welf Löwe, Eberhard Zehendner
Mapping List Algorithms on Parallel Systems. ARCS Workshops (1999)
Wolfram Amme, Markus Schordan, László Böszörményi, Wilhelm R. Rossak
PAOLA - Program Analysis of Object-Oriented Languages. ECOOP Workshops (1999)
Wolfram Amme, Peter Braun, Eberhard Zehendner, François Thomasset
Data Dependence Analysis of Assembly Code. IEEE PACT (1998)
Wolfram Amme, Eberhard Zehendner
Data Dependence Analysis in Programs with Pointers. Parallel Comput. 24 (3-4) (1998)
Wolfram Amme, Peter Braun, Eberhard Zehendner
Scheduling Parallel Loops for Processing Linear Lists. EUROMICRO (1997)
Wolfram Amme, Eberhard Zehendner
Efficient Calculation of Data Dependences in Programs with Pointers and Structures. EUROMICRO (1997)
Wolfram Amme, Eberhard Zehendner
Experiences in Analyzing Data Dependences for Programs with Pointers and Structures. Euro-Par (1997)
Wolfram Amme, Eberhard Zehendner
A/D Graphs - A Data Structure for Data Dependence Analysis in Programs with Pointers. ACPC (1996)

Wolfram Amme.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Wolfram Amme