Mandy Weißbach

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 5

Top Topics

Logical Framework

Update Semantics

Quantitative Analysis

Top Venues

ESOCC Workshops

Logic, Computation and Rigorous Methods

Publications

Wolf Zimmermann, Thomas Kühn, Edward Sabinus, Mandy Weißbach
Small Step Incremental Verification of Compilers. ABZ (2024)
Wolf Zimmermann, Mandy Weißbach
A Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State Machines. Logic, Computation and Rigorous Methods (2021)
Mandy Weißbach, Wolf Zimmermann
On Limitations of Abstraction-Based Deadlock-Analysis of Service-Oriented Systems. ESOCC Workshops (2018)
Mandy Weißbach, Wolf Zimmermann
On Abstraction-Based Deadlock-Analysis in Service-Oriented Systems with Recursion. ESOCC (2017)
Mandy Weißbach
Deadlock Analysis of Service-Oriented Systems with Recursion and Concurrency. ESOCC Workshops (2016)
Mandy Weißbach, Wolf Zimmermann
Termination analysis of business process workflows. WEWST (2010)
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
The LAILAPS Search Engine: Relevance Ranking in Life Science Databases. J. Integr. Bioinform. 7 (2) (2010)