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 2021/2022
- Konzepte der Programmierung, Vorlesung, Mo 8-10
- Konzepte der Programmierung, Übung 1, Mi 10-12
- Konzepte der Programmierung, Übung 2, Do 10-12
- Konzepte der Programmierung, Übung 3, Mi 8-10
- Gestaltung und Durchführung von Fachvorträgen in der Informatik: Service-Orientierte Systeme (Blockseminar)
- Sofwartechnik, Vorlesung, Fr 8-12
- Sofwartechnik, Übung, Fr 8-12
- Projektpraktikum: Hilfe, wo sind meine Äpfel?
Sommersemester 2021
- Mathematische Grundlagen der Informatik und Konzepte der Modellierung II Übung 1, Mo 8-10
- Mathematische Grundlagen der Informatik und Konzepte der Modellierung II Übung 3, Mo 10-12
- Mathematische Grundlagen der Informatik und Konzepte der Modellierung II Übung 4, Di 10-12
- Projektpraktikum: Hilfe, wo sind meine Äpfel?
Wintersemester 2020/2021
- Konzepte der Programmierung, Vorlesung, online asynchron
- Konzepte der Programmierung, Übung 1, Mi 10-12
- Konzepte der Programmierung, Übung 2, Do 10-12
- Softwaretechnik, Übung, Fr 8-12
- Projektpraktikum: Avatargestützte Physiotherapie
Sommersemester 2020
- Übersetzerbaupraktikum, Di 10-12
- Projektpraktikum: Avatargestützte Physiotherapie
- Mathematische Grundlagen der Informatik und Konzepte der Modellierung II, Übung 3, Mo 8-10
- Mathematische Grundlagen der Informatik und Konzepte der Modellierung II, Übung 4, Di 8-10
Wintersemester 2019/2020
- Konzepte der Programmierung, Vorlesung Mi 10-12
- Konzepte der Programmierung, Übung Fr 12-14
- Übersetzerbau II, Übung Mo 8-10
- Projektpraktikum: Automatisierte Küchen für Senioren und Demenzkranke
- Softwaretechnik, Übung Fr 8-12, ab ca. 20.12.2019
Sommersemester 2019
- Komponenten- und Serviceorientierte Software, Übung 12-14
- Übersetzerbaupraktikum, Di 10-14
- Mathematische Grundlagen der Informatik und Konzepte der Modellierung II, Übung 1 Mo 8-10
- Projektpraktikum: Automatisierte Küchen für Senioren und Demenzkranke
- Oberseminar: Softwaretechnik und Programmiersprachen, Di 16-18
Wintersemester 2018/2019
- Projektpraktikum: Roboter Thea, die Zukunft der Pflege?
- Übersetzerbau I, Übung Do 8-10, zweiwöchentlich, nach Bedarf
- Softwaretechnik, Übung 1 8-12
- Softwaretechnik und Programmiersprachen, Oberseminar Di 16-18
Sommersemester 2018
- Projektpraktikum: Roboter Thea, die Zukunft der Pflege?
- Übersetzerbaupraktikum, Di 10 - 14
- Softwaretechnik und Programmiersprachen, Oberseminar Di 16-18
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).