Martin-Luther-Universität Halle-Wittenberg

Logo des Lehrstuhls Software-Engineering und Progammiersprachen

Weiteres

Login für Redakteure

Mandy Weißbach

Dipl.-Bioinform. 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 2019/2020

Sommersemester 2019

Wintersemester 2018/2019

Sommersemester 2018

Wintersemester 2017/2018

Sommersemester 2017

Wintersemester 2016/2017

Sommersemester 2016

Wintersemester 2015/2016

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