Veröffentlichungen und Berichte

Projekte

• StoneDetectorExterner Link
• ByteCode: Typseparierter Bytecode
• SafeTSA: Safe Typed Static Single Assignment
• DAAS - Forschungsinformationen

Veröffentlichungen und Berichte

Monographien

• Wolfram Amme
  Datenabhängigkeitsanalyse in Programmen mit Zeigern
  Kovac-Verlag, 1998.
• Wolfram Amme
  Implementierung und Evaluierung verschiedener Speichervergabestrategien in einem UNIX-ähnlichen Lehrbetriebssystem
  Tectum-Verlag 1995.

Buchbeiträge

• Michael Franz, Wolfram Amme, Matthew Beers, Niall Dalton, Peter H. Fröhlich, Vivek Haldar, Peter S. Housel, F. Reig, Christian H. Stork, Jeffery von Ronne, Sergej Zhenochin, Andreas Hartmann:
  Making Mobile Code Both Safe and Efficient
  in J. Lala (Ed.; Foundations of Intrusion Tolerant Systems; IEEE Competer Society Press, 2003.
• Jeffery von Ronne, Wolfram Amme, Michael Franz, Andreas Hartman:
  Efficient Online Optimization by Utlizing Offline Analysis and the SafeTSA - Representation in Recent Advances in Java Technology: Theory, Application, Implementation
  Chapter 27, Trinity College, Dublin, Ireland, Computer Science Press, ISBN 0954414500, S. 233-241, 2003.

Journals

• Thomas M. Prinz, Wolfram Amme:
  Control-Flow-Based Methods to Support the Development of Sound Workflows, Complex Systems Informatics and Modeling Quarterly
  CSIMQ, no. 27, pp. 1–44, 2021. Available:https://doi.org/10.7250/csimq.2021-27.01Externer Link
• Thomas Prinz, Wolfram Amme:
  Why We Need Static Analyses of Service Compositions - Fault vs. Error Analysis of Soundness
  International Journal on Advances in Intelligent Systems, ISSN 1942-2679, Vol. 10, No. 34, pp. 458-473, 2017.
• Thomas Heinze, Wolfram Amme, Simon Moser:
  IStatic analysis and process model transformation for an advanced business process to Petri net mapping
  Softw.: Pract. Exper. DOI: 10.1002/spe. 2523, 2017.
• Thomas M. Prinz, Wolfram Amme:
  A Complete and the Most Liberal Semantics for Converging OR Gateways in Sound Processes
  In: Complex Systems Informatics and Modeling Quarterly (CSIMQ), No. 4, pp. 32-49, October 2015.
• Philipp Adler, Wolfram Amme:
  Speculative optimizations for interpreting environments
  Softw: Pract. Exper.44(10),page 1223-1249. DOI:10.1002/spe. 2199, 2014.
• Wolfram Amme, Axel Martens, Simon Moser:
  Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysis
  International Journal of Business Process Integration and Management, Vol. 4, Issue 1, pp. 47-59, 2009. http://dx.doi.org/10.1504/IJBPIM.2009.026985Externer Link
• Wolfram Amme, Jeffery von Ronne, Philipp Adler, Michael Franz:
  The Effectiveness of Producer-Side Machine-Independent Optimizations for Mobile Code
  Software: Practice and Experience, Vol. 39, Issue 10, pp. 923-946, Juli 2009. http://dx.doi.org/10.1002/spe.921Externer Link
• Intermediate Representations of Mobile Code
  INFORMATICA, The International Journal of Computing and Informatics, Vol.32, SSI, Slovenia, pp. 1-25, 2008. (PDF)Externer Link
• Wolfram Amme,Philipp Adler, Marc-Andre Möller:
  Data Flow Analysis as a General Concept for the Transport of Verfifiable Program Annotations
  Electronic Notes in Theoretical Competer Science, Vol. 176, No. 3, pp. 97-108, 2007. http://dx.doi.org/10.1016/j.entcs.2006.06.019Externer Link
• Wolfram Amme, Jeffery von Ronne, Michael Franz:
  SSA-Based Mobile Code: Implementation and Empirical Evaluation
  ACM Journal Transactions on Architecture and Code Optimization, Vol 4, No. 2, 2007.
• Wolfram Amme, Michael Franz:
  Effiziente Codegenerierung für mobilen Code
  Informatik Spektrum 26 (4), 237-246, 2003.
• 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 ACM SIGPLAN Notices, 36 (5), pp. 137-147, 2001.
• Wolfram Amme, Peter Braun, Francois Thomasset, Eberhard Zehendner:
  Data dependence analysis of assembly code
  International Journal on Parallel Programming 28, 5, pp. 431-467, 2000.
• Wolfram Amme, Eberhard Zehendner:
  Data dependence analysis in programs with pointers
  In: E. Zapata, D. Padua (ed.): Languages and Compilers for Parallel Computers, Journal of Parallel Computing, Special Issue, 1998.

Konferenzen, Workshops, Vorträge

• André Schäfer, Thomas S. Heinze and Wolfram Amme (2023)
  Finding Source Code Clones in Intermediate Representations of Java Bytecode
  In: IEEE 17th International Workshop on Software Clones (IWSC), Bogotá, Colombia, 2023, pp. 37-43, doi: 10.1109/IWSC60764.2023.00014.
• André Schäfer, Wolfram Amme and Thomas S. Heinze (2023)
  StoneDetector: Structural and Sub-Clone Detection
  In: IEEE 17th International Workshop on Software Clones (IWSC), Bogotá, Colombia, 2023, pp. 33-36, doi: 10.1109/IWSC60764.2023.00013.
• André Schäfer, Wolfram Amme, Thomas S. Heinze (2022)
  Experiments on Code Clone Detection and Machine Learning
  In: IEEE 16th International Workshop on Software Clones, IWSC, pp. 46-52. IEEE. IWSC 2022
• Amme, Wolfram and Heinze, Thomas and Schäfer, André (2021) 
  You Look so Different: Finding Structural Clones and Subclones in Java Source Code
  In: 2021 IEEE International Conference on Software Maintenance and Evolution, ICSME 2021, pp. 70-80. ICSME 2021, 27.09 - 01.10.2021 doi: 10.1109/ICSME52107.2021.00013Externer Link.
• Schäfer, André and Amme, Wolfram and Heinze, Thomas (2021) 
  STUBBER: Compiling Source Code into Bytecode without Dependencies for Java Code Clone Detection
  In: 15th IEEE International Workshop on Software Clones, IWSC 2021, pp. 29-35. IEEE. IWSC 2021, 2.10.2021, doi: 10.1109/IWSC53727.2021.00011Externer Link.
• Scheidweiler, Nils and Schäfer, André and Amme, Wolfram and Heinze, Thomas (2021) 
  Using Clone Detection for Finding Signatures of Malware Families: A Case Study on FinSpy
  In: 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2021, Companion Volume. IEEE. SPS 2021, 27.09.2021
• Thomas Heinze, Wolfram Amme, Andre Schäfer
  Detecting Semantic Business Process Model Clones
  In: Proceedings of the 13th European Workshop on Services and their Composition (ZEUS 2021) Bamberg, Germany, February 25–26, 2021. linkExterner Link
• André Schäfer, Wolfram Amme, Thomas Heinze (2020) 
  Detection of Similar Functions Through the Use of Dominator Information. 
  In: 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), pp. 206-211. IEEE. 2nd International Workshop on Self-Protecting Systems (SPS'20), 17 August 2020, Washington, DC, Washington, United States. ISBN 978-1-7281-8414-2
• André Schäfer, Wolfram Amme:
  Detecting Control Flow Similarities Using Machine Learning Techniques
  In: Arai K., Kapoor S., Bhatia R. (eds) Intelligent Systems and Applications. IntelliSys 2020. Advances in Intelligent Systems and Computing, Vol 1252, Springer, 2020.[link]Externer Link
• Thomas Heinze, Viktor Stefanko, Wolfram Amme:
  Mining BPMN Processes on GitHub for Tool Validation and Development
  In: Nurcan, Slmin; Reinhartz-Berger, Iris; Soffer; Pnina; Zdravkovic, Lelena (Hrsg.): Enterprise, Business-Process and Information Systems Modeling, Intenational Conference, BPMDS 2020 Proceedings, Springer, S. 193-208, 2020.
• Thomas Heinze, Viktor Stefanko, Wolfram Amme:
  Proceedings of 12th Central European Workshop on Services and their Composition
  BPMN in the Wild: BPMN on GitHub.com., ZEUS 2020, Potsdam, 2020.
• Thomas Heinze, Viktor Stefanko, Wolfram Amme:
  Mining von BPMN-Prozessartefakten auf GitHub
  20. Kolloquium Programmiersprachen und Grundlagen der Programmierung, Stuttgart, 2019.
• Thomas Prinz, Wolfram Amme:
  Why We Need Advanced Analyses of Service Compositions
  de Barros, Marcelo; Klink, Janusz; Uhl Tadeus; Prinz, Thomas (Ed.): Proceedings of Sercvice Computation 2017, Greece, IARIA XPS Press, pp. 48-54, 2017.
• Heinze Thomas S., Amme, Wolfram:
  SparseAnalysis of Variable Path Predicates Based upon SSA-Form
  In:Margaria, Tiziana ; Steffen, Bernhard (Hrsg.): Leveraging Applications of Formal Methods, Verification and Validation, Foundational Techniques, 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I, Springer-Verlag, (Lecture Notes in Computer Science 9952), S. 227-242, 2016.
• Thomas Prinz, Raphael Charrondiere, Wolfram Amme:
  Geschäftsprozesse kompiliert - Wichtige Unterstützung für die Modellierung
  Proceedings 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung, Austria, pp. 476-491, 2015.
• Thomas M. Prinz, Thomas S. Heinze, Wolfram Amme, Johannes Kretzschmar, Clemens Beckstein:
  Towards a Compiler for Business Processes - A Research Agenda
  In: de Barros, Marcelo; Rückemann, Claus-Peter (Ed.): SERVICE COMPUTATION 2015, The Seventh International Conferences on Advanced Service Computing, Nice, France, March 22 - 27, IARIA XPS Press, pp. 49-55, 2015.
• Thomas S. HeinzeExterner Link, Wolfram Amme, Simon Moser:
  Compiling More Precise Petri Net Models for an Improved Verification of Service Implementations
  7th IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2014, pp. 25-32, 2014.
• Stephan Ulbricht, Wolfram Amme, Thomas S. Heinze, Simon Moser, Hans-Dieter Wehle:
  Portable Green Cloud Services
  page 53-59, Closer 2014, 2014.
• Thomas M. Prinz, Wolfram Amme:
  Practical Compiler-Based User Support during the Development of Business Processes
  Alessio Lomuscio Surya Nepal, Fabio Patrizi, Boualem Benatallah, Ivona Brandic (eds.): Service-Oriented Computing - ICSOC 2013 Workshops - CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers. Proceedings. vol. 8377 of Lecture Notes in Computer Science, pp. 40-53, Springer-Verlag, 2014. LinkExterner Link
• Thomas S. Heinze, Wolfram Amme, Simon Moser:
  Message Assertions and Predicate-Basd Control-Flow Unfolding Revisited
  ZEUS 17-20, 2014.
• Thomas M. Prinz, Norbert Spieß, Wolfram Amme:
  A First Step towards a Compiler for Business Processes
  Albert Cohen (eds.): Compiler Construction - 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. vol. 8409 of Lecture Notes in Computer Science, pp. 238-243, Springer-Verlag, 2014. LinkExterner Link
• Thomas Heinze, Wolfram Amme,Externer Link Simon Moser:
  Control flow Unfolding of Workflow Graphs Using Predicate Analysis and SMT Solving
  CEUR Workshop Proceedings 1029, Rostock, ZEUS 2013, S. 1-8, 2013
• Thomas S. Heinze, Wolfram Amme, Simon Moser, Kai Gebhardt:
  Guided Control Flow Unfolding for Workflow Graphs Using Value Range Information.
  ZEUS 2012, pp. 128-135.
• Thomas S. Heinze, Wolfram Amme,Externer Link Simon Moser:
  Process Restructuring in the Presence of Message-Dependent Variables
  In: Michael E. Maximilien, Gustavo Rossi, Soe-Tsyr Yuan, Heiko Ludwig, Marcelo Fantinato (eds.): Service-Oriented Computing, ICSOC 2010 International Workshops PAASC, WESOA, SEE, and SOC-LOG, San Francisco, CA, USA, December 7-10, 2010, Revised Selected Papers, vol. 6568 of Lecture Notes in Computer Science, pp. 121-132, Springer-Verlag, 2011.
  http://dx.doi.org/10.1007/978-3-642-19394-1_13Externer Link
• Thomas S. Heinze, Wolfram Amme,Externer Link Simon Moser:
  Effiziente Abschätzung von Datenflussfehlern in strukturierten Geschäftsprozessen
  Proceedings of the 3rd Central-European Workshop on Services and their Composition, ZEUS 2011, Karlsruhe, Germany, pp. 73-80, February 2011. (PDF)Externer Link
• Thomas Heinze, Wolfram Amme, Simon Moser:
  Verbesserung der Modellbildung und Analyse verteilter Geschäftsprozesse durch Prozessumstrukturierung
  Tagungsband des 15. Kolloquiums über Programmiersprachen und Grundlagen der Programmierung, KPS 2009, Maria Taferl, Austria, pp. 95-103, Oktober 2009.
• Thomas Heinze, Wolfram Amme, Simon Moser:
  Prozessumstrukturierung unter Berücksichtigung von Nachrichteninhalten
  Proceedings of the 2nd Central-European Workshop on Service and their Composition, ZEUS 2010, Berlin, Germany, pp. 89-96, February 2010. (PDF)Externer Link
• Philipp Adler, Wolfram Amme:
  Type-Separated Bytecode - Its Construction and Evaluation Proceedings of the 9th International Workshop on Runtime Verification
  (RV'2009), Vol. 5779/2009, pp. 26-39, Grenoble, France, June 2009. http://dx.doi.org/10.1007/978-3-642-04694-0_3Externer Link
• Wolfram Amme:
  Erfahrungen bei der Auswahl von maschinenunabhängigen Optimierungen im Bereich des mobilen Codes
  Tagungsband des 15. Kolloquiums über Programmiersprachen und Grundlagen der Programmierung, Maria Taferl, Österreich, pp. 13 -16, October 2009.
• Thomas S. Heinze, Wolfram Amme, Simon Moser:
  A Restructuring Method for WS-BPEL Business Processes Based on Extended Workflow Graphs
  In: Umeshwar Dayal, Johann Eder, Jana Koehler, Hajo A. Reijers (eds.): Proceedings of the 7th International Conference on Business Process Management (BPM 2009), September 8-10, 2009, Ulm, Germany, vol. 5701 of Lecture Notes in Computer Science, pp. 211-228, Springer-Verlag, 2009. http://dx.doi.org/10.1007/978-3-642-03848-8_15Externer Link
• Philipp Adler, Wolfram Amme:
  Type-Separated Bytecode - Its Construction and Evaluation
  Proceedings of the 9th International Workshop on Runtime Verification (RV'2009), Grenoble, France, June 2009.
• Thomas Heinze, Wolfram Amme, S. Moser:
  Umstrukturierung von WS-BPEL-Prozessen zur Verbesserung des Validierungsverhaltens
  Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS, Stuttgart, Germany, pp. 88-94, March 2009.(PDF)Externer Link
• Philipp Adler, Wolfram Amme:
  Efficient Bytecode Verification for Constrained Devices
  Proceedings of the 2nd Workshop on Embedded Systems Security (WESS 2007) at IEEE/ACM EMSOFT'2007, Salzburg, Austria, October 2007. (PDF)Externer Link
• Philipp Adler, Wolfram Amme:
  Type-Separation as a Method for Efficient Bytecode Verification
  Proceedings of the 13th International Workshop on Compilers for Parallel Computers (CPC 2007), Lisbon, Portugal, 09.-11. July 2007. (PDF)Externer Link
• Thomas Heinze, Wolfram Amme, Simon Moser:
  Generic CSSA-Based Pattern over Boolean Data for an Improved WS-BPEL to Petri Net Mapping
  Proceedings of the Third International Conference on Internet and Web Applications and Services (ICIW 2008), June 8-13, Athens, Greece, 2008. http://doi.ieeecomputersociety.org/10.1109/ICIW.2008.14Externer Link
• Símon Moser, Axel Martens, Wolfram Amme, A.Godlinski:
  Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis
  Proceedings of IEEE Int. Conf. on Services Computing (SCC 2007), July 9-13, 2007, Salt Lake City, Utah, USA.
• Wolfram Amme, Marc-Andre Möller, Philipp Adler:
  Data Flow Analysis as a General Concept for the Transport of Verfifiable Program Annotations
  Proceedings of the 5th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2006), Vienna, Austria, 2nd April, 2006. PDF
• Philipp Adler, Wolfram Amme, Jeffery v. Ronne, Michael Franz:
  Producer-Side Platform-Independent Optimizations and Their Effects on Mobile-Code Performance
  Proceedings of the 10th IEEE Annual Workshop on Interaction between Compilers and Computer Architectures (INTERACT-10), Austin, Texas, 12th February 2006. PDFExterner Link
• Philipp Adler, Wolfram Amme:
  Improving the Java Virtual Machine Using Type-Separated Bytecode
  Proceedings of the 12th International Workshop on Compilers for Parallel Computers (CPC 2006), A Coruna, Spain, 09.-11. January 2006. PDFExterner Link
• Wolfram Amme, Philipp Adler:
  Improving the Java Virtual Machine Using Type-Seperated Bytecode
  Proceedings of the 12th International Workshop on Compilers for Parallel Computers, CPC 2006, A Coruna, Spain, 09.-11- January 2006.
• Wolfram Amme, Jeffery von Ronne, Michael Franz:
  Quantifying the Benefits of SSA-Based Mobile Code
  http://www.ics.uci.edu/%7Efranz/Site/pubs-pdf/BC35.pdf,to appear in 4th International Workshop on Compiler Optimization Meets Compiler Verification (COCV'05), http://www.complang.tuwien.ac.at/knoop/COCV2005/cocv2005.html, Edinburgh, Scotland, 2005.
• Wolfram Amme, Jeffery von Ronne, Michael Franz:
  Using the SafeTSA Representation to Boost the Performance of an Existing Java Virtual Machine
  Procedings of the 9th Workshop on Compilers for Parallel Computers, CPC 2003, Amsterdam, Netherlands, 2003.
• Andreas Hartmann, Wolfram Amme, Jeffery von Ronne, Michael Franz:
  Code Annotation for Safe and Efficient Dynamic Object Resolution
  Compiler Optimization Meets Compiler Verification, COCV 2003, Warsaw, Poland, 2003.
• Jeffery von Ronne, Andreas Hartmann, Wolfram Amme, Michael Franz:
  Efficient Online Optimization by Utilizing Offline Analysis and the SafeTSA Representation in: Principles and Practice of Programming in Java (TM) PPPJ'02, Trinity College, Dublin, Ireland, 2002.
• Wolfram Amme, Niall Dalton, Michael Franz, Jeffery v. Ronne:
  SafeTSA: A Type Safe and Referentially Secure Mobile-Code Representation Based on Static Single Assignment Form
  Proceeding of the SIGLAN Conference Programming Language Design and Implementation (PLDI), Snowbird, Utah, 20.-22, June 2001.
• Wolfram Amme, Jeffery von Ronne, Michael Franz, Niall Dalton:
  Compile Time Elimination of Null- and Bounds-Checks
  Proceedings of 9th Workshop on Compilers for Parallel Computers (CPC 2001), Edinburgh, Scotland, UK, 2001.
• Wolfram Amme, Niall Dalton, Jeffery von Ronne:
  SafeTSA- A Structured and Typed Intermediate Representation of Mobile Code
  Proceeding of the International Workshop on Performance-Oriented Application Development for Distributed Architectures (PADDA 2001), Munich, Germany, pp. 13-14, 2001.
• Michael Franz, Jeffery von Ronne, Wolfram Amme, Niall Dalton:
  An Alternative to Stack-Based Mobile-Code Representations
  Proceeding of the 5th World Multi-Conference on Systemics,Cybernetics and Informatics (SCI 2001), Munich, Germany, July 22-25, Orlando, Florida, USA, 2001.
• Wolfram Amme, Niall Dalton, P. Fröhlich, V. Haldar, P.S. Housel, Jeffery von Ronne, Ch. H. Stork, S. Zhenochin, Michael Franz:
  Reconciling Mobile-Code Security With Execution Efficiency
  accepted for appearance at the DARPA Information Survivability Conference and Exposition (DISCEX II). Anaheim, California, 2001.
• Peter Braun, Wolfram Amme, Francois Thomasset, Eberhard Zehendner:
  A data flow framework for analyzing assembly code
  8th International Workshop on Compilers for Parallel Computers (CPC 2000), Aussois, Frankreich, pp. 163-172, 2000.
• Wolfram Amme, Heike Hotzel, Wilhelm R. Rossak,Externer Link Rene Stolle:
  CAJ - Chipcard Controlled Accounting System Jena
  Proceedings of 2000 Americas Conference on Information Systems (AMCIS 2000), Long Beach, CA (USA), 2000.
• Wolfram Amme, Markus Schordan:
  Virtual Method Resolution with Types Alias Graphs
  8th International Workshop on Compilers for Parallel Computers, Aussois (France), pp. 151-162, 2000.
• Wolfram Amme, Niall Dalton, Michael Franz, Jeffery von Ronne:
  A Type-Safe Mobile-Code representation aimed at supporting dynamic optimization at the target site
  Proceedings of the 3rd ACM Workshop on Feedback-Directed and Dynamic Optimization FDDO-3, Monterey, California, USA, 2000.
• Wolfram Amme, Heike Hotzel, Rene Stolle, Wilhelm R. Rossak:Externer Link
  Ein allgemeingültiges Abrechnungssystem für Online- und Offline-Dienste: Report on work in progress
  Proc. of the workshop Gemeinschaften in Neuen Medien, GeNeMe2000, Joseph EuL Verlag, Lohmar-Köln, BRD, pp. 149-158, 2000.
• Wolfram Amme, Heike Hotzel, Wilhelm R. Rossak,Externer Link Margitta Schmelz, Rene Stolle:
  Möglichkeiten zur Kommerzialisierung von digitaler Information
  Proc. Of the 22. DGI Online Tagung, DGI, Frankfurt, pp. 250-266, 2000.
• Wolfram Amme, Peter Braun, Welf Löwe, Eberhard Zehendner:
  Mapping List Algorithms on Parallel Systems
  5. Workshop Parallele Systeme und Algorithmen (PASA), Jena, Oktober 1999.
• Wolfram Amme, Peter Braun, Welf Löwe, Eberhard Zehendner:
  LogP Modelling of List Algorithms
  11th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 99), Natal, Brasilien, Oktober 1999. PDFExterner Link
• Wolfram Amme, M. Schordan, L. Böszörményi, Wilhelm R. Rossak:Externer Link
  PAOLA-Program Analysis in Object-oriented Languages
  IWAOOS'99 - Intercontinental Workshop on Aliasing in Object-Oriented Systems, in association with the 13th European Conference on Object-Oriented Programming (ECOOP'99), Lisbon, Portugal, June 1999.
• Wolfram Amme, Peter Braun, Francois Thomasset, Eberhard Zehendner:
  Data dependence analysis of assembly code
  In Proc. International Conference on Parallel Architectures and Compilation Techniques (PACT 98), Paris, 14. - 17. Oktober, pp. 340-347, 1998. PDFExterner Link
• Wolfram Amme, Peter Braun, Eberhard Zehendner:
  Datenabhängigkeitsanalyse zur Erhöhung des Parallelitätsgrades auf Anweisungsebene
  17. Workshop Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware (PARS), Karlsruhe, 16.-17. September, pp. 70-79, 1998.
• Wolfram Amme, Peter Braun, Francois Thomasset, Eberhard Zehendner:
  ADAM - Advanced data dependence analysis for machine code
  In Proc. of 7th Workshop on Compilers for Parallel Computers (CPC 98), Linköping, 29. Juni - 1. Juli, pp. 207-217, 1998.
• S. Bühling, Wolfram Amme, Eberhard Zehendner:
  An abstract store representation for may and must alias analysis in C programs
  In Proc. of the CPC' 98, Linköping, Schweden, July, 1998.
• Wolfram Amme, Peter Braun, Eberhard Zehendner:
  Scheduling parallel loops for processing linear lists
  In Proc. of the 23rd Euromicro Conference New Frontiers of Information Technology, Budapest, 1.-4. September, pp. 426-430, 1997.
• Wolfram Amme, Eberhard Zehendner:
  Efficient calculation of data dependences in programs with pointers and structures
  In Proc. 2nd Sino-German Workshop APPT'97, Koblenz, September 1997.
• Wolfram Amme, Eberhard Zehendner:
  Efficient calculation of data dependences in programs with pointers and structures
  In Proc. 23rd Euromicro Conference, Budapest, Hungary, September, IEEE Computer Society, Los Alamitos, California, pp. 55-64, 1997.
• Wolfram Amme, Eberhard Zehendner:
  Experiences in analyzing data dependences for programs with pointers and structures
  In Proc. 3rd Euro-Par'97, Passau , September, Springer Lecture Notes in Computer Science, Vol. 1300, pp. 342-346, 1997.
• Wolfram Amme, Eberhard Zehendner:
  A/D graphs: a data structure for data dependence analysis in programs with pointers
  Proc. 4th Workshop on Parallel Systems and Algorithms (PASA'96), Jülich, World Scientific Publishing, pp. 259-279, 1996.
• Wolfram Amme, Eberhard Zehendner:
  A/D graphs: a data structure for data dependence analysis in programs with pointers
  In: L. Böszörményi (ed.): Parallel Computation. Proc. 3rd International ACPC Conference with Special Emphasis on Parallel Databases and Parallel I/O, Klagenfurt, Springer Lecture Notes in Computer Science, Vol. 1127, pp. 229-230, 1996.
• Wolfram Amme, Eberhard Zehendner:
  Data dependence analysis in programs with pointers .
  Proc. 6th Workshop on Compilers for Parallel Computers (CPC'96), Aachen, Konferenzen des Forschungszentrums Jülich, Vol. 21, pp. 371-382, 1996.

Technische Berichte

• Wolfram Amme, Thomas Heinze:
  Tagungsband zum 19. Kolloquium "Programmiersprachen und Grundlagen der Programmierung
  Weimar, Jenaer Schriften zur Mathematik und Informatik, Math/Inf/02/2017, 2017.
• Thomas S. Heinze, Wolfram Amme:
  Sparse Analysis of Variable Path Predicates Based Upon SSA-Form
  Technical Report, Faculty of Mathematics and Computer Science, Friedrich Schiller University Jena, 2016. (PDF)Externer Link
• Thomas M. Prinz, Wolfram Amme:
  Determination of a Correct Execution Semantics for Inclusive Converging Gateways
  Technical Report No. 02/14, Friedrich-Schiller-Universität Jena, Jenaer Schriften zur Mathematik und Informatik, 2014. PDFExterner Link
• Thomas M. Prinz, Wolfram Amme:
  Pratical Compiler-based User Support during the Development of Business Processes
  Technical Report No. 02/13, Friedrich-Schiller-Universität Jena, Jenaer Schriften zur Mathematik und Informatik, 2013. PDFExterner Link
• Wolfram Amme, Jeffery von Ronne, Michael Franz:
  SSA-based Mobile Code: Implementation and Empirical Evaluation
  Technical Report No. 05/06, Friedrich-Schiller-Universität Jena, Jenaer Schriften zur Mathematik und informatik, 2006. PDFExterner Link
• Jeffery von Ronne, Wolfram Amme, Michael Franz:
  SafeTSA: An Inherently Type-Safe SSA-based Code Format
  Technical Report No. 004/06, Friedrich-Schiller-Universität Jena, Jenaer Schriften zur Mathematik und informatik, 2006. PDFExterner Link
• Jeffery von Ronne, Wolfram Amme, Michael Franz:
  SSA-Based Mobile Code: Implementation and Empirical Evaluation
  Computer Science, The University of Texas at San Antonio, CS-TR-2006-005, 2006.
• Jeffery von Ronne, Wolfram Amme, Michael Franz:
  An Inherently Type-Safe SSA-Based Code Format
  Computer Science, The University of Texas at San Antonio, CS-TR-2006-004, 2006.
• Wolfram Amme, Michael Franz, Jeffery von Ronne:
  Goodbye Java Virtual Machine Migrating to a Superior Mobile Code Alternative
  Technical Report No. 21/02, Department of Information and Computer Science, University of California, Irvine, 2002.
• Wolfram Amme, Jeffery von Ronne, Michael Franz:
  Using the SafeTSA Representation to Boost the Performance of an Existing Java Virtual Machine
  Technical Report No. 06/02, Friedrich-Schiller-Universität Jena, Jenaer Schriften zur Mathematik und Informatik, 2002.
• Wolfram Amme, Niall Dalton, Peter Fröhlich, Vivek Haldar, Peter S. Housel, Jeffery von Ronne, Christian H. Stork, Sergej Zhenochin, Michael Franz:
  Project transPROse: Reconciling Mobile-Code Security with Execution Efficiency
  Technical Report No. 01-01, Department of Information and Computer Science, University of California, Irvine, 2001.
• 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
  Technical report, Department of Information and Computer Science, University of California, Irvine, 2000.
• Wolfram Amme, Peter Braun, Francois Thomasset, Eberhard Zehendner:
  Data dependence analysis of assembly code
  Technical report No. RR-3764, Institut National de Recherche en Informatique et en Automatique (INRIA), Rocquencourt (Frankreich), 33 Seiten, September 1999. PDFExterner Link
• Wolfram Amme, Eberhard Zehendner:
  Ein monotones Datenflußsystem zur Bestimmung von Datenabhängigkeiten in Programmen mit Zeigern
  Berichte zur Rechnerarchitektur 2, 1, Friedrich-Schiller-Universität Jena, 1996.
• Kay Salzwedel, Wolfram Amme, Eberhard Zehendner:
  Entwurf und Implementierung eines hierarchischen Systems zur Berechnung von Datenabhängigkeiten
  Berichte zur Rechnerarchitektur 2, 5, Friedrich-Schiller-Universität Jena, 1996.
• Jürgen Frotscher, Wolfram Amme, Eberhard Zehendner:
  Implementierung einer Programmtransformation durch inkrementelles Aktualisieren interner Datenstrukturen
  Berichte zur Rechnerarchitektur 2, 6, Friedrich-Schiller-Universität Jena, 1996.
• Wolfram Amme, Eberhard Zehendner:
  Efficient calculation of data dependences in programs with pointers and structures
  Berichte zur Rechnerarchitektur 2, 22, Friedrich-Schiller-Universität Jena, 1996.
• Wolfram Amme, Eberhard Zehendner:
  Ein Übersetzer für die Programmiersprache TinyPascal
  Berichte zur Rechnerarchitektur 2, 24, Friedrich-Schiller-Universität Jena, 1996.
• Wolfram Amme, Peter Braun, Eberhard Zehendner:
  Effizienzbestimmung beim Parallelisieren von dynamischen Datenstrukturen
  Berichte zur Rechnerarchitektur 2, 23, Friedrich-Schiller-Universität Jena, 1996.
• Wolfram Amme, Peter Braun, Eberhard Zehendner:
  Experiences in analyzing data dependences for programs with pointers and structures
  Forschungsergebnisse der Fakultät für Mathematik und Informatik, Nr. Math/Inf/96/34, 1996.

Sonstiges

• Wolfram Amme, Michael Franz, Jeffery von Ronne:
  Typed Static Single Assignment Form - A Typed and Structured Intermediate Representation for Mobile Code
  In Code Optimization: Trends, Challenges and Perspectives. Editors: C. Dulong, R. Gupta, R. Kennedy, J. Knoop, J. Pierce. Dagstuhl Report No. 286, Dagstuhl, 2000.

Gutachtertätigkeiten

• Austrian Science Fund, Antragbegutachtung, 2009
• Software: Practice and Experience, Journal, 2009
• Informatica Journal, 2008.
• Informatica Journal, 2007.
• Compiler Optimization meets Compiler Verification (COCV 2006), Mitglied im Programmkommitee, 2006.
• International Conference on the Principles and Practice of Programming in Java (PPPJ), ACM, Mitglied im Programmkommitee, 2004.
• SIGLAN Conference Programming Language Design and Implementation (PLDI), 2003.
• 2nd International Conference on the Principles and Practice of Programming in Java (PPPJ), Mitglied im Programmkommitee, 2003.
• IEEE Transactions on Systems, Man and Cybernetics, 2002.
• AMICS Conference, Long Beach, USA, 2000.
• The Computer Journal, 1999.

Eingeladene Vorträge

• Wolfram Amme
  App-Erstellung mit dem MIT App Inventor für Android
  Didaktische Werkstatt Informatik, Thillm, Bad Berka, 2016.
• Erfahrungen bei der Auswahl von maschinenunabhängigen Optimierungen im Bereich des mobilen Codes
  Oktober, Maria Taferl, Österreich, 2009.
• SSA-Based Mobile Code: Construction and Empirical Evaluation April, Autrans, France, 2009.
• Sichere und effiziente Coderegenerieung Oktober, Brandenburgische Technische Universität Cottbus, Cottbus, Deutschland, 2008.
• Sichere und effiziente Coderegenerieung Juni, Fachhochschule Schmalkalden, Schmalkalden, Deutschland, 2007.
  
• Menügesteuerte Benutzeroberflächenerstellung in der Programmiersprache Java January, University of Osnabrück, Osnabrück, Germany, 2003.
• SafeTSA: Development of Syntax-Oriented Intermediate Representations for Mobile-Code BoF:On Using the Jikes Research Virtual Machine (RVM), Juni, PLDI 2002, Berlin, Germany, 2002.
• SafeTSA: An Alternative to Stack-Based Mobile-Code Representations Mai, INRIA Rocquencourt, Frankreich, 2002.
• SafeTSA - A Structured and Typed Intermediate Representation for Mobile Code April, University of Technology, Munich, Munich, Germany, 2001.
• Typed Static Singel Assignment Form - A Typed and Strutured Intermediate Representation for Mobile Code September, Dagstuhl-Seminar Code Optimization: Trends, Challenges and Perspectives, Dagst uhl, Deutschland, 2000.
• ParaMod - Data Dependence Analysis in Programs with Pointers August, KAIST, Taejon, Südkorea, 1999.
• Advanced Data Dependence Analysis for Machine Code August, KAIST, Taejon, Südkorea, 1999.
• Datenabhängigkeitsanalyse in Programmen mit Zeigern November, Universität Klagenfurt, Klagenfurt, Österreich, 1998.
• A single-pass method for data dependence analysis April, INRIA Rocquencourt, Paris, Frankreich, 1997.
• Datenabhängigkeitsanalyse in Programmen mit Zeigern Juli, Universität Dresden, Dresden, 1996.
• Datenabhängigkeitsanalyse in Programmen mit Zeigern Juni, Universität Karlsruhe, Karlsruhe, 1996.

Auszeichnungen, Preise

• Our contribution 'A Type-Safe Mobile Code Representation Aimed At Supporting Dynamic Optimization At The Target Site' received the Best Paper Award and simultaneously and independently also one of three First Prize Best Presen tation Awards at the Third ACM Workshop on Feedback-Directed and Dynamic Optimization (FDDO-3), Monterey, California, December 2000