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
Lehre
Wintersemester
- Konzepte der Programmierung, Vorlesung, Mo 8-10
- Konzepte der Programmierung, Übung 1, Mi 8-10
- Konzepte der Programmierung, Übung 2, Mi 10-12
- Gestaltung und Durchführung von Fachvorträgen in der Informatik: Service-Orientierte Systeme (Blockseminar)
- Projektseminar: Robot4Care
Sommersemester
- Komponenten- und Serviceorientierte Software, Fr 12-14
- Komponenten- und Serviceorientierte Software, Übung, Mo 10-12
- Projektseminar: Robot4Care
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).