| 2012 | ||
|---|---|---|
| c18 | Thomas S. Heinze, Wolfram Amme, Simon Moser, Kai Gebhardt: Guided Control Flow Unfolding for Workflow Graphs Using Value Range Information. ZEUS 2012: 128-135 | |
| 2011 | ||
| c17 | Thomas S. Heinze, Wolfram Amme, Simon Moser: Effiziente Abschätzung von Datenflussfehlern in strukturierten Geschäftsprozessen. ZEUS 2011: 73-80 | |
| 2010 | ||
| c16 | Thomas S. Heinze, Wolfram Amme, Simon Moser: Process Restructuring in the Presence of Message-Dependent Variables. ICSOC Workshops 2010: 121-132 | |
| c15 | Thomas S. Heinze, Wolfram Amme, Simon Moser: Prozessumstrukturierung unter Berücksichtigung von Nachrichteninhalten. ZEUS 2010: 89-96 | |
| 2009 | ||
| j9 | 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) | |
| c14 | Thomas S. Heinze, Wolfram Amme, Simon Moser: A Restructuring Method for WS-BPEL Business Processes Based on Extended Workflow Graphs. BPM 2009: 211-228 | |
| c13 | Philipp Adler, Wolfram Amme: Type-Separated Bytecode - Its Construction and Evaluation. RV 2009: 26-39 | |
| c12 | Thomas S. Heinze, Wolfram Amme, Simon Moser: Umstrukturierung von WS-BPEL-Prozessen zur Verbesserung des Validierungsverhaltens. ZEUS 2009: 88-94 | |
| 2008 | ||
| j8 | Wolfram Amme, Thomas S. Heinze, Jeffery von Ronne: Intermediate Representations of Mobile Code. Informatica (Slovenia) 32(1): 1-25 (2008) | |
| c11 | 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 | |
| 2007 | ||
| j7 | 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) | |
| j6 | Wolfram Amme, Jeffery von Ronne, Michael Franz: SSA-based mobile code: Implementation and empirical evaluation. TACO 4(2) (2007) | |
| c10 | 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 | |
| 2005 | ||
| j5 | 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 | ||
| j4 | 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): 362-376 (2003) | |
| j3 | Wolfram Amme, Michael Franz: Effiziente Codegenerierung für mobilen Code. Informatik Spektrum 26(4): 237-246 (2003) | |
| 2002 | ||
| c9 | 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 | ||
| c8 | 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 | ||
| j2 | 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 | ||
| c7 | Wolfram Amme, Peter Braun, Welf Löwe, Eberhard Zehendner: Mapping List Algorithms on Parallel Systems. ARCS Workshops 1999: 229-238 | |
| c6 | 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 | ||
| j1 | Wolfram Amme, Eberhard Zehendner: Data Dependence Analysis in Programs with Pointers. Parallel Computing 24(3-4): 505-525 (1998) | |
| c5 | Wolfram Amme, Peter Braun, Eberhard Zehendner, François Thomasset: Data Dependence Analysis of Assembly Code. IEEE PACT 1998: 340- | |
| 1997 | ||
| c4 | Wolfram Amme, Eberhard Zehendner: Efficient Calculation of Data Dependences in Programs with Pointers and Structures. EUROMICRO 1997: 55- | |
| c3 | Wolfram Amme, Peter Braun, Eberhard Zehendner: Scheduling Parallel Loops for Processing Linear Lists. EUROMICRO 1997: 426-430 | |
| c2 | Wolfram Amme, Eberhard Zehendner: Experiences in Analyzing Data Dependences for Programs with Pointers and Structures. Euro-Par 1997: 342-346 | |
| 1996 | ||
| c1 | Wolfram Amme, Eberhard Zehendner: A/D Graphs - A Data Structure for Data Dependence Analysis in Programs with Pointers. ACPC 1996: 229-230 | |
Colors in the list of coauthors
Last update Tue May 21 10:03:06 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page