2009 |
16 | EE | Niels Lohmann,
Eric Verbeek,
Remco M. Dijkman:
Petri Net Transformations for Business Processes - A Survey.
T. Petri Nets and Other Models of Concurrency 2: 46-63 (2009) |
2008 |
15 | | Niels Lohmann,
Karsten Wolf:
15th German Workshop on Algorithms and Tools for Petri Nets, Algorithmen und Werkzeuge für Petrinetze, AWPN 2008, Rostock, Germany, September 26-27, 2008. Proceedings
CEUR-WS.org 2008 |
14 | EE | Niels Lohmann:
Decompositional Calculation of Operating Guidelines Using Free Choice Conflicts.
AWPN 2008: 63-68 |
13 | EE | Niels Lohmann:
Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance.
BPM 2008: 132-147 |
12 | EE | Gero Decker,
Alistair P. Barros,
Frank Michael Kraft,
Niels Lohmann:
Non-desynchronizable Service Choreographies.
ICSOC 2008: 331-346 |
11 | EE | Kathrin Kaschner,
Niels Lohmann:
Automatic Test Case Generation for Interacting Services.
ICSOC Workshops 2008: 66-78 |
10 | | Niels Lohmann,
Jens Kleine:
Fully-automatic Translation of Open Workflow Net Models into Simple Abstract BPEL Processes.
Modellierung 2008: 57-72 |
9 | EE | Dieter König,
Niels Lohmann,
Simon Moser,
Christian Stahl,
Karsten Wolf:
Extending the compatibility notion for abstract WS-BPEL processes.
WWW 2008: 785-794 |
8 | EE | Niels Lohmann,
Peter Massuthe,
Christian Stahl,
Daniela Weinberg:
Analyzing interacting WS-BPEL processes using flexible model generation.
Data Knowl. Eng. 64(1): 38-54 (2008) |
2007 |
7 | EE | Niels Lohmann,
Peter Massuthe,
Karsten Wolf:
Behavioral Constraints for Services.
BPM 2007: 271-287 |
6 | EE | Wolfgang Reisig,
Jan Bretschneider,
Dirk Fahland,
Niels Lohmann,
Peter Massuthe,
Christian Stahl:
Services as a Paradigm of Computation.
Formal Methods and Hybrid Real-Time Systems 2007: 521-538 |
5 | EE | Niels Lohmann,
Peter Massuthe,
Karsten Wolf:
Operating Guidelines for Finite-State Services.
ICATPN 2007: 321-341 |
4 | EE | Wil M. P. van der Aalst,
Niels Lohmann,
Peter Massuthe,
Christian Stahl,
Karsten Wolf:
From Public Views to Private Views - Correctness-by-Design for Services.
WS-FM 2007: 139-153 |
3 | EE | Niels Lohmann,
Oliver Kopp,
Frank Leymann,
Wolfgang Reisig:
Analyzing BPEL4Chor: Verification and Participant Synthesis.
WS-FM 2007: 46-60 |
2 | EE | Niels Lohmann:
A Feature-Complete Petri Net Semantics for WS-BPEL 2.0.
WS-FM 2007: 77-91 |
2006 |
1 | EE | Niels Lohmann,
Peter Massuthe,
Christian Stahl,
Daniela Weinberg:
Analyzing Interacting BPEL Processes.
Business Process Management 2006: 17-32 |