 | 2009 |
|---|
| 23 |       | Thomas S. Heinze,
Wolfram Amme,
Simon Moser:
A Restructuring Method for WS-BPEL Business Processes Based on Extended Workflow Graphs.
BPM 2009: 211-228 |
| 22 | | Philipp Adler,
Wolfram Amme:
Type-Separated Bytecode - Its Construction and Evaluation.
RV 2009: 26-39 |
| 21 | | Thomas S. Heinze,
Wolfram Amme,
Simon Moser:
Umstrukturierung von WS-BPEL-Prozessen zur Verbesserung des Validierungsverhaltens.
ZEUS 2009: 88-94 |
| 20 | | Wolfram Amme,
Jeffery von Ronne,
Philipp Adler,
Michael Franz:
The effectiveness of producer-side machine-independent optimizations for mobile code.
Softw., Pract. Exper. 39(10): 923-946 (2009) |
| 2008 |
|---|
| 19 | | 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: 590-595 |
| 18 | | Wolfram Amme,
Thomas S. Heinze,
Jeffery von Ronne:
Intermediate Representations of Mobile Code.
Informatica (Slovenia) 32(1): 1-25 (2008) |
| 2007 |
|---|
| 17 | | 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: 98-105 |
| 16 | | Wolfram Amme,
Marc-André Möller,
Philipp Adler:
Data Flow Analysis as a General Concept for the Transport of Verifiable Program Annotations.
Electr. Notes Theor. Comput. Sci. 176(3): 97-108 (2007) |
| 15 | | Wolfram Amme,
Jeffery von Ronne,
Michael Franz:
SSA-based mobile code: Implementation and empirical evaluation.
TACO 4(2): (2007) |
| 2005 |
|---|
| 14 | | Wolfram Amme,
Jeffery von Ronne,
Michael Franz:
Quantifying the Benefits of SSA-Based Mobile Code.
Electr. Notes Theor. Comput. Sci. 141(2): 103-119 (2005) |
| 2003 |
|---|
| 13 | | Andreas Hartmann,
Wolfram Amme,
Jeffery von Ronne,
Michael Franz:
Code Annotation for Safe and Efficient Dynamic Object Resolution.
Electr. Notes Theor. Comput. Sci. 82(2): (2003) |
| 12 | | Wolfram Amme,
Michael Franz:
Effiziente Codegenerierung für mobilen Code.
Informatik Spektrum 26(4): 237-246 (2003) |
| 2002 |
|---|
| 11 | | Jeffery von Ronne,
Andreas Hartmann,
Wolfram Amme,
Michael Franz:
Efficient online optimization by utilizing offline analysis and the safeTSA representation.
PPPJ/IRE 2002: 181-186 |
| 2001 |
|---|
| 10 |  | 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: 137-147 |
| 2000 |
|---|
| 9 | | Wolfram Amme,
Peter Braun,
François Thomasset,
Eberhard Zehendner:
Data Dependence Analysis of Assembly Code.
International Journal of Parallel Programming 28(5): 431-467 (2000) |
| 1999 |
|---|
| 8 | | Wolfram Amme,
Peter Braun,
Welf Löwe,
Eberhard Zehendner:
Mapping List Algorithms on Parallel Systems.
ARCS Workshops 1999: 229-238 |
| 7 | | Wolfram Amme,
Markus Schordan,
László Böszörményi,
Wilhelm Rossak:
PAOLA - Program Analysis of Object-Oriented Languages.
ECOOP Workshops 1999: 143-146 |
| 1998 |
|---|
| 6 | | Wolfram Amme,
Peter Braun,
Eberhard Zehendner,
François Thomasset:
Data Dependence Analysis of Assembly Code.
IEEE PACT 1998: 340- |
| 5 | | Wolfram Amme,
Eberhard Zehendner:
Data Dependence Analysis in Programs with Pointers.
Parallel Computing 24(3-4): 505-525 (1998) |
| 1997 |
|---|
| 4 | | Wolfram Amme,
Peter Braun,
Eberhard Zehendner:
Scheduling Parallel Loops for Processing Linear Lists.
EUROMICRO 1997: 426-430 |
| 3 | | Wolfram Amme,
Eberhard Zehendner:
Efficient Calculation of Data Dependences in Programs with Pointers and Structures.
EUROMICRO 1997: 55- |
| 2 | | Wolfram Amme,
Eberhard Zehendner:
Experiences in Analyzing Data Dependences for Programs with Pointers and Structures.
Euro-Par 1997: 342-346 |
| 1996 |
|---|
| 1 | | Wolfram Amme,
Eberhard Zehendner:
A/D Graphs - A Data Structure for Data Dependence Analysis in Programs with Pointers.
ACPC 1996: 229-230 |
