| * | 2009 |
| 7 | EE | Jan Sürmeli,
Daniela Weinberg:
Creating a message profile for open nets.
ZEUS 2009: 74-80 |
| 2008 |
| 6 | EE | Peter Massuthe,
Daniela Weinberg:
Fiona: A Tool to Analyze Interacting Open Nets.
AWPN 2008: 99-104 |
| 5 | EE | Daniela Weinberg:
Efficient Controllability Analysis of Open Nets.
WS-FM 2008: 224-239 |
| 4 | 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) |
| 2006 |
| 3 | EE | Niels Lohmann,
Peter Massuthe,
Christian Stahl,
Daniela Weinberg:
Analyzing Interacting BPEL Processes.
Business Process Management 2006: 17-32 |
| 2 | EE | Wolfgang Reisig,
Dirk Fahland,
Niels Lohmann,
Peter Massuthe,
Christian Stahl,
Daniela Weinberg,
Karsten Wolf,
Kathrin Kaschner:
Analysis Techniques for Service Models.
ISoLA 2006: 11-17 |
| 2005 |
| 1 | EE | Ingo Stürmer,
Daniela Weinberg,
Mirko Conrad:
Overview of existing safeguarding techniques for automatically generated code.
ACM SIGSOFT Software Engineering Notes 30(4): 1-6 (2005) |