2009 |
11 | EE | Christian Stahl,
Peter Massuthe,
Jan Bretschneider:
Deciding Substitutability of Services with Operating Guidelines.
T. Petri Nets and Other Models of Concurrency 2: 172-191 (2009) |
2008 |
10 | EE | Peter Massuthe,
Daniela Weinberg:
Fiona: A Tool to Analyze Interacting Open Nets.
AWPN 2008: 99-104 |
9 | 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) |
8 | EE | Peter Massuthe,
Alexander Serebrenik,
Natalia Sidorova,
Karsten Wolf:
Can I find a partner? Undecidability of partner existence for open nets.
Inf. Process. Lett. 108(6): 374-378 (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 |
2006 |
3 | EE | Niels Lohmann,
Peter Massuthe,
Christian Stahl,
Daniela Weinberg:
Analyzing Interacting BPEL Processes.
Business Process Management 2006: 17-32 |
2 | EE | Peter Massuthe,
Karsten Wolf:
An Algorithm for Matching Nondeterministic Services with Operating Guidelines.
The Role of Business Processes in Service Oriented Architectures 2006 |
2005 |
1 | EE | Peter Massuthe,
Karsten Schmidt:
Operating Guidelines - an Automata-Theoretic Foundation for the Service-Oriented Architecture.
QSIC 2005: 452-457 |