2008 |
15 | EE | Francisco Curbera,
Yurdaer N. Doganata,
Axel Martens,
Nirmal Mukhi,
Aleksander Slominski:
Business Provenance - A Technology to Increase Traceability of End-to-End Operations.
OTM Conferences (1) 2008: 100-119 |
2007 |
14 | EE | Simon Moser,
Axel Martens,
Katharina Gorlach,
Wolfram Amme,
Artur Godlinski:
Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis.
IEEE SCC 2007: 98-105 |
13 | EE | Hamid R. Motahari Nezhad,
Boualem Benatallah,
Axel Martens,
Francisco Curbera,
Fabio Casati:
Semi-automated adaptation of service interactions.
WWW 2007: 993-1002 |
2006 |
12 | EE | Axel Martens,
Simon Moser,
Achim Gerhardt,
Karoline Funk:
Analyzing Compatibility of BPEL Processes.
AICT/ICIW 2006: 147 |
11 | EE | Axel Martens,
Simon Moser:
Diagnosing SCA Components Using Wombat.
Business Process Management 2006: 378-388 |
10 | EE | Simon Moser,
Axel Martens,
Marc Häbich,
Jutta Mülle:
A Hybrid Approach for Generating Compatible WS-BPEL Partner Processes.
Business Process Management 2006: 458-464 |
2005 |
9 | EE | Axel Martens:
Consistency between Executable and Abstract Processes.
EEE 2005: 60-67 |
8 | EE | Axel Martens:
Analyzing Web Service Based Business Processes.
FASE 2005: 19-33 |
7 | | Axel Martens:
Process Oriented Discovery of Business Partners.
ICEIS (3) 2005: 57-64 |
6 | EE | Bernd-Holger Schlingloff,
Axel Martens,
Karsten Schmidt:
Modeling and Model Checking Web Services.
Electr. Notes Theor. Comput. Sci. 126: 3-26 (2005) |
2004 |
5 | | Axel Martens:
Analysis and Re-Engineering of Web Services.
ICEIS (3) 2004: 419-426 |
4 | | Wolfgang Reisig,
Axel Martens:
Verteilte Geschäftsprozesse und Web Services.
Modellierung 2004: 275 |
2003 |
3 | EE | Herbert Weber,
Hartmut Ehrig,
Wolfgang Reisig,
Alexander Borusan,
Sabine Lembke,
Juliane Dehnert,
Michael Weber,
Axel Martens,
Julia Padberg,
Claudia Ermel,
Anilda Qemali:
The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY.
Petri Net Technology for Communication-Based Systems 2003: 1-21 |
2000 |
2 | EE | Ekkart Kindler,
Axel Martens,
Wolfgang Reisig:
Inter-operability of Workflow Applications: Local Criteria for Global Soundness.
Business Process Management 2000: 235-253 |
1999 |
1 | | Ekkart Kindler,
Axel Martens:
Szenarios: Lokale Kriterien für globale Korrektheit.
FBT 1999: 113-122 |