Schnelleinstieg Reader

Home|Suche|Sitemap|Webmail

Startseite FSU

Prof. Dr. habil. Wolfram Amme


amme

Büro:

Zi. 3205
Ernst-Abbe-Platz 2

Telefon: 03641 9-46331
Fax:

03641 9-46302

E-Mail:

e_mail

Anschrift:

Friedrich-Schiller-Universität Jena
Fakultät für Mathematik und Informatik
Institut für Informatik
Lehrstuhl für Softwaretechnik

Ernst-Abbe-Platz 2
D-07743 Jena
Germany

Übersicht


Lehrveranstaltungen im aktuellen Semester

Projekte

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:
    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.026985
  • 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.921
    Intermediate Representations of Mobile Code
    INFORMATICA, The International Journal of Computing and Informatics, Vol.32, SSI, Slovenia, pp. 1-25, 2008. (PDF)
  • 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.019
  • 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

  • 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 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. Heinze, 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. 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. Link

  • Thomas Heinze, Wolfram Amme, 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, 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_13
  • Thomas S. Heinze, Wolfram Amme, 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)
  • 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)
  • 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_3
  • 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_15
  • 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)
  • 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)
  • 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)
  • 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.14
  • 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. PDF
  • 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. PDF
  • 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, 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:
    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, 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. PDF
  • Wolfram Amme, M. Schordan, L. Böszörményi, Wilhelm R. Rossak:
    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. PDF
  • 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

  • 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)
  • 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. PDF
  • 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. PDF
  • 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. PDF
  • 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. PDF
  • 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. PDF
  • 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

Links