Mandy Weißbach

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

Collaborative distances:

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

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