Liste auf DBLP / List on DBLP

Zeitschriftenartikel / Journal Articles

Kathrin Kaschner, Peter Massuthe, and Karsten Wolf. Symbolic Representation of Operating Guidelines for Services. Petri Net Newsletter, 72:21-28, April 2007. [PDF] [BibTeX]

Wolfgang Reisig, Karsten Wolf, Jan Bretschneider, Kathrin Kaschner, Niels Lohmann, Peter Massuthe, and Christian Stahl. Challenges in a Service-Oriented World. ERCIM News, 70:28-29, July 2007. [WWW] [Abstract] [BibTeX]

Konferenzbeiträge / Conference Papers

Kathrin Kaschner and Niels Lohmann. Automatic Test Case Generation for Interacting Services. In George Feuerlicht and Winfried Lamersdorf, editors, Service-Oriented Computing - ICSOC 2008 Workshops, ICSOC 2008 International Workshops, Sydney, Australia, December 1st, 2008, Revised Selected Papers, volume 5472 of Lecture Notes in Computer Science, pages 66-78, April 2009. Springer-Verlag. [PDF] [DOI] [Abstract] [BibTeX]

Kathrin Kaschner and Niels Lohmann. Does my service have unspecified behavior?. In Oliver Kopp and Niels Lohmann, editors, Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2-3, 2009, volume 438 of CEUR Workshop Proceedings, pages 22-28, March 2009. CEUR-WS.org. [PDF] [Abstract] [BibTeX]

Kathrin Kaschner and Karsten Wolf. Set Algebra for Service Behavior: Applications and Constructions. In Umeshwar Dayal, Johann Eder, Jana Koehler, and Hajo Reijers, editors, Business Process Management, 7th International Conference, BPM 2009, Ulm, Germany, September 8-10, 2009, Proceedings, volume 5701 of Lecture Notes in Computer Science, pages 193-210, September 2009. Springer-Verlag. [PDF] [DOI] [Abstract] [BibTeX]

Kathrin Kaschner and Niels Lohmann. Automatic Test Case Generation for Services. In Monika Solanki, Barry Norton, and Stephan Reiff-Marganiec, editors, 3rd Young Researchers Workshop on Service Oriented Computing, YR-SOC 2008, London, UK, 12-13 June 2008, Proceedings, London, UK, pages 21-26, June 2008. Imperial College. [PDF] [Abstract] [BibTeX]

Kathrin Kaschner, Peter Massuthe, and Karsten Wolf. Symbolische Repräsentation von Bedienungsanleitungen für Services. In Daniel Moldt, editor, Tagungsband des 13. Workshops Algorithmen und Werkzeuge für Petri-Netze, AWPN'06, pages 54-61, September 2006. Universität Hamburg. Appeared as Bericht FBI-HH-B-267. [PDF] [BibTeX]

Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, and Kathrin Kaschner. Analysis Techniques for Service Models. In Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2006 (ISoLA 2006), 15-19 November 2006, Paphos, Cyprus, pages 11-17, November 2006. IEEE Computer Society. [PDF] [DOI] [Abstract] [BibTeX]

Abschlüsse / Theses

Kathrin Kaschner. BDD-basiertes Matching von Services. Diplomarbeit, Humboldt-Universität zu Berlin, Institut für Informatik, Berlin, Germany, March 2006. [PDF] [Abstract] [BibTeX]

Kathrin Kaschner. Repräsentation von Bedienungsanleitungen durch BDDs. Studienarbeit, Humboldt-Universität zu Berlin, Institut für Informatik, Berlin, Germany, January 2006. [PDF] [BibTeX]