Mandy Weißbach

Affiliations:
  • Martin Luther University of Halle-Wittenberg, Institute of Computer Science, Halle, Germany


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Small Step Incremental Verification of Compilers.
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.
Proceedings of the Logic, Computation and Rigorous Methods, 2021

2019
Deadlockanalyse Service-orientierter Softwaresysteme.
PhD thesis, 2019

2018
On Limitations of Abstraction-Based Deadlock-Analysis of Service-Oriented Systems.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2018

2017
On Abstraction-Based Deadlock-Analysis in Service-Oriented Systems with Recursion.
Proceedings of the Service-Oriented and Cloud Computing, 2017

2016
Deadlock Analysis of Service-Oriented Systems with Recursion and Concurrency.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2016

2010
The LAILAPS Search Engine: Relevance Ranking in Life Science Databases.
J. Integr. Bioinform., 2010

Termination analysis of business process workflows.
Proceedings of the 5th Workshop on Emerging Web Services Technology, 2010


  Loading...