Publikationen von Katharina Görlach

Konferenzbeiträge und Beiträge auf Workshops

• Simon Moser, Axel Martens, Katharina Görlach, Wolfram Amme, and Artur Godlinski. Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis. In IEEE International Conference on Services Computing (SCC 2007), pages 98-105, 2007.

Studien- und Diplomarbeiten

• Katharina Görlach. Ein Verfahren zur abstrakten Interpretation von XPath-Ausdrücken in WS-BPEL-Prozessen. Diplomarbeit, Humboldt-Universität zu Berlin, March 2008.

zurück zur Übersicht