Overview of existing safeguarding techniques for automatically generated code. - Ingo Stürmer; Daniela Weinberg; Mirko Conrad (ACM SIGSOFT Softw. Eng. Notes, 2005)

Analyzing Interacting BPEL Processes. - Niels Lohmann; Peter Massuthe; Christian Stahl; Daniela Weinberg (Business Process Management, 2006)

Analysis Techniques for Service Models. - Wolfgang Reisig; Dirk Fahland; Niels Lohmann; Peter Massuthe; Christian Stahl; Daniela Weinberg; Karsten Wolf; Kathrin Kaschner (ISoLA, 2006)

Fiona: A Tool to Analyze Interacting Open Nets. - Peter Massuthe; Daniela Weinberg (AWPN, 2008)

Efficient Controllability Analysis of Open Nets. - Daniela Weinberg (WS-FM, 2008)

Analyzing interacting WS-BPEL processes using flexible model generation. - Niels Lohmann; Peter Massuthe; Christian Stahl; Daniela Weinberg (Data Knowl. Eng., 2008)

Creating a message profile for open nets. - Jan Sürmeli; Daniela Weinberg (ZEUS, 2009)

Wendy: A Tool to Synthesize Partners for Services. - Niels Lohmann; Daniela Weinberg (Fundam. Informaticae, 2011)

Guaranteeing Weak Termination in Service Discovery. - Karsten Wolf; Christian Stahl; Daniela Weinberg; Janine Ott; Robert Danitz (Fundam. Informaticae, 2011)

Deciding Service Substitution - Termination guaranteed. - Daniela Weinberg (Verlag Dr. Hut, 2012)