Daniela Weinberg

According to our database, Daniela Weinberg authored at least 10 papers between 2005 and 2012.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2012

Deciding Service Substitution - Termination guaranteed.

Daniela Weinberg

PhD thesis, 2012

2011

Guaranteeing Weak Termination in Service Discovery.

Karsten Wolf, Christian Stahl, Daniela Weinberg, Janine Ott, Robert Danitz

Fundam. Informaticae, 2011

2010

Wendy: A Tool to Synthesize Partners for Services.

Niels Lohmann, Daniela Weinberg

Proceedings of the Applications and Theory of Petri Nets, 2010

2009

Creating a message profile for open nets.

Jan Sürmeli, Daniela Weinberg

Proceedings of the 1st Central-European Workshop on Services and their Composition, 2009

2008

Analyzing interacting WS-BPEL processes using flexible model generation.

Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg

Data Knowl. Eng., 2008

Efficient Controllability Analysis of Open Nets.

Daniela Weinberg

Proceedings of the Web Services and Formal Methods, 5th International Workshop, 2008

Fiona: A Tool to Analyze Interacting Open Nets.

Peter Massuthe, Daniela Weinberg

Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, 2008

2006

Analysis Techniques for Service Models.

Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, Kathrin Kaschner

Proceedings of the Leveraging Applications of Formal Methods, 2006

Analyzing Interacting BPEL Processes.

Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg

Proceedings of the Business Process Management, 4th International Conference, 2006

2005

Overview of existing safeguarding techniques for automatically generated code.

Ingo Stürmer, Daniela Weinberg, Mirko Conrad

ACM SIGSOFT Softw. Eng. Notes, 2005