Martin-Luther-Universität Halle-Wittenberg

Dr. Mandy Weißbach

Kontakt

Mandy Weißbach
Martin-Luther-Universität Halle-Wittenberg
Institut für Informatik, Raum 3.21
Von-Seckendorff-Platz 1
06120 Halle (Saale)
Germany

tel.: ++49-345-55-24723

fax: ++49-345-55 27333

email:

Lehre

Wintersemester

Sommersemester

Publikationen

2018


Weißbach, M., & Zimmermann, W. On Limitations of Abstraction-Based Deadlock-Analysis of Service-Oriented Systems. In Pre-Proceedings of the ESOCC 2018 Workshops (p. 102).

2017


Weißbach, M. & Zimmermann, W. On Abstraction-Based Deadlock-Analysis in Service-Oriented Systems with Recursion. In European Conference on Service-Oriented and Cloud Computing., Springer, Cham, 2017, 168-176

2016


Weißbach, M. Deadlock Analysis of Service-Oriented Systems with Recursion and Concurrency. Technical Report, Proceedings of the PhD Symposium at the 5th European Conference on Service-Oriented and Cloud Computing., 2016, 5-15

2015


WEIßBACH, Mandy. Termination Analysis of Concurrent Service-Oriented Systems, Technical Report, Proceedings of the PhD Symposium at the 4th European Conference on Service-Oriented and Cloud Computing., 2015, 23-29

WEIßBACH, Mandy; ZIMMERMANN, Wolf. Terminierungsanalyse in Service-orientierten Systemen, 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung, KPS 2015

2013


WEIßBACH, Mandy; ZIMMERMANN, Wolf; LÖWE, Welf. Context-Aware Data-Flow in the Cloud. In: CLOUD COMPUTING 2013, The Fourth International Conference on Cloud Computing, GRIDs, and Virtualization. 2013. S. 81-86.

2012


WEIßBACH, Mandy; ZIMMERMANN, Wolf. Controlling Data-Flow in the Cloud. In: CLOUD COMPUTING 2012, The Third International Conference on Cloud Computing, GRIDs, and Virtualization. 2012. S. 24-29.

WEIßBACH, Mandy. Termination Analysis of Service-oriented Systems. Technical Report 2012/03, University Halle-Wittenberg, Institute of Computer Science, September 2012, S. 23.

2011


WEIßBACH, Mandy; ZIMMERMANN, Wolf. A Service-Level Agreement Approach  Towards Termination Analysis of Service-Oriented Systems. In: CLOUD COMPUTING 2011, The Second International Conference on Cloud Computing, GRIDs, and Virtualization. 2011. S. 26-31.

2010


Mandy Weißbach and Wolf Zimmermann. 2010. Termination analysis of business process workflows.  In Proceedings of the 5th International Workshop on Enhanced Web Service Technologies (WEWST '10), Walter Binder and Heiko Schuldt (Eds.). ACM, New York, NY,  USA,  18-25. DOI=10.1145/1883133.1883137  http://doi.acm.org/10.1145/1883133.1883137   

WEIßBACH, Mandy. Checking of Liveness Properties in Component-based Systems and Service-oriented Architectures. Technical Report 2010/04, University Halle-Wittenberg Institute of Computer Science, November 2010, S. 9.

Lange, Matthias ; Spies, Karl ; Bargsten, Joachim ; Haberhauer, Gregor ;  Klapperstück, Matthias ; Leps, Michael ; Weinel, Christian ;  Wunschiers, Robbe ; Weissbach, Mandy ; Stein, Jens ; Scholz, Uwe  (2010)  The LAILAPS Search Engine: Relevance Ranking in Life Science Databases.  Journal of Integrative Bioinformatics - JIB (ISSN 1613-4516), 7(2), 2010

2009


Lange, M., Weißbach, M., Klapperstück, M., Flemming, S., & Scholz,  U. The LAILAPS Search Engine: A Text Index Infrastructure for Relevance  Ranking over Life Science Database Entries. In German Conference on Bioinformatics 2009 (p. 142).

Diplomarbeit


Konzeption und Implementierung einer Textindexierungsinfrastruktur zur Performanceoptimierung von Suchmaschinen in den Lebenswissenschaften (2009) (In Zusammenarbeit mit den IPK Gatersleben)

Zum Seitenanfang