Mandy Weißbach

According to our database, Mandy Weißbach authored at least 10 papers between 2010 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Workflow Net Compositions for the Analysis of Service-Oriented Systems.

Mandy Weißbach, Wolf Zimmermann, Thomas Kühn

Proceedings of the Service-Oriented and Cloud Computing, 2025

Abstraction-Based Deadlock Analysis of Service-Oriented Systems with Recursive Petri Nets.

Erik Jonas Hartnick, Mandy Weißbach

Proceedings of the Joint Proceedings of the Workshops at the 46th International Conference on Application and Theory of Petri Nets and Concurrency: Petri Nets and Software Engineering (PNSE'25), Algorithms & Theories for the Analysis of Event Data (ATAED'25), and Petri Net Games, Examples and Quizzes for Education, Contest and Fun (PeNGE'25) co-located with PETRI NETS 2025, June 23, 2025

2024

Small Step Incremental Verification of Compilers.

Wolf Zimmermann, Thomas Kühn, Edward Sabinus, Mandy Weißbach

Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

2021

A Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State Machines.

Wolf Zimmermann, Mandy Weißbach

Proceedings of the Logic, Computation and Rigorous Methods, 2021

2019

Deadlockanalyse Service-orientierter Softwaresysteme.

Mandy Weißbach

PhD thesis, 2019

2018

On Limitations of Abstraction-Based Deadlock-Analysis of Service-Oriented Systems.

Mandy Weißbach, Wolf Zimmermann

Proceedings of the Advances in Service-Oriented and Cloud Computing, 2018

2017

On Abstraction-Based Deadlock-Analysis in Service-Oriented Systems with Recursion.

Mandy Weißbach, Wolf Zimmermann

Proceedings of the Service-Oriented and Cloud Computing, 2017

2016

Deadlock Analysis of Service-Oriented Systems with Recursion and Concurrency.

Mandy Weißbach

Proceedings of the Advances in Service-Oriented and Cloud Computing, 2016

2010

The LAILAPS Search Engine: Relevance Ranking in Life Science Databases.

Matthias Lange, Karl Spies, Joachim Bargsten, Gregor Haberhauer, Matthias Klapperstück, Michael Leps, Christian Weinel, Röbbe Wünschiers, Mandy Weißbach, Jens Stein, Uwe Scholz

J. Integr. Bioinform., 2010

Termination analysis of business process workflows.

Mandy Weißbach, Wolf Zimmermann

Proceedings of the 5th Workshop on Emerging Web Services Technology, 2010