Daniela Weinberg

Publication Activity (10 Years)

Years Active: 2005-2011
Publications (10 Years): 0

University of Rostock (PHD)

Education History

University of Rostock

PHD

Publications

Niels Lohmann, Daniela Weinberg
Wendy: A Tool to Synthesize Partners for Services. Fundam. Informaticae 113 (3-4) (2011)
Karsten Wolf, Christian Stahl, Daniela Weinberg, Janine Ott, Robert Danitz
Guaranteeing Weak Termination in Service Discovery. Fundam. Informaticae 108 (1-2) (2011)
Niels Lohmann, Daniela Weinberg
Wendy: A Tool to Synthesize Partners for Services. Petri Nets (2010)
Jan Sürmeli, Daniela Weinberg
Creating a message profile for open nets. ZEUS (2009)
Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg
Analyzing interacting WS-BPEL processes using flexible model generation. Data Knowl. Eng. 64 (1) (2008)
Daniela Weinberg
Efficient Controllability Analysis of Open Nets. WS-FM (2008)
Peter Massuthe, Daniela Weinberg
Fiona: A Tool to Analyze Interacting Open Nets. AWPN (2008)
Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg
Analyzing Interacting BPEL Processes. Business Process Management (2006)
Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, Kathrin Kaschner
Analysis Techniques for Service Models. ISoLA (2006)
Ingo Stürmer, Daniela Weinberg, Mirko Conrad
Overview of existing safeguarding techniques for automatically generated code. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)