Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Startseite    Anmelden     
Winter 2021/22    Hilfe  Trennstrich  Sitemap  Trennstrich  Impressum  Trennstrich  Datenschutz  Trennstrich  node2  Trennstrich  Switch to english language

Herr Prof. Dr. rer. nat. habil. Karsten Wolf

  • Funktionen:
  •    

Dienstadresse

E-Mail   Telefon +49 381 498-7450
+49 381 498-7670
Bibliothek Publikationen im Katalog der UB Rostock Publikationen im GBV-Katalog Catalogus Professorum Rostochiensum Link zum Catalogus Professorum Rostochiensum

Zuordnung zu Einrichtungen

Fakultät für Informatik und Elektrotechnik (IEF)
IEF/Bereich Informatik
IEF/IN/IFI/Theoretische Informatik

Funktionen

Einrichtung Funktion von bis
Universität Rostock Mitglied des Akademischen Senats 01.04.2021 31.03.2023
Fakultät für Informatik und Elektrotechnik (IEF) Mitglied des Fakultätsrats 01.04.2021 31.03.2023
Universität Rostock Mitglied des Akademischen Senats 01.10.2018 31.03.2021
Fakultät für Informatik und Elektrotechnik (IEF) Prodekan 01.10.2018 31.03.2021
Universität Rostock Mitglied des Akademischen Senats 01.10.2016 30.09.2018
Fakultät für Informatik und Elektrotechnik (IEF) Studiendekan 01.10.2016 30.09.2018
Universität Rostock Mitglied des Akademischen Senats 01.10.2014 30.09.2016
Fakultät für Informatik und Elektrotechnik (IEF) Studiendekan 01.10.2014 30.09.2016
Universität Rostock Mitglied des Akademischen Senats 01.10.2012 30.09.2014
Fakultät für Informatik und Elektrotechnik (IEF) Studiendekan 01.10.2012 30.09.2014
Fakultät für Informatik und Elektrotechnik (IEF) Studiendekan 01.10.2010 30.09.2012

Veranstaltungen

Alle Veranstaltungen anzeigen

Forschungsprojekte

Laufzeit Titel Geldgeber/-in
01.08.2021 - 31.07.2024 Unterstützung Materialerstellung für TP: Digitale Lehrangebote zum Nachholen Zugangsvoraussetzung Sonstige Stiftungen
01.04.2020 - 31.03.2022 Synthese von Petrinetzen auf der Basis der Union/Find-Verfahren DFG - Sachbeihilfen
01.04.2012 - 31.03.2014 Verifikationstechniken für Petrinetze auf Multicore-Architektur DFG - Sachbeihilfen
01.10.2010 - 30.09.2012 SPP 1496: WS4Dsec-Reliably-Secure Web Services for Devices DFG - Schwerpunktprogramme
01.09.2009 - 31.08.2011 Strukturelle Analysentechniken für Petrinetze DFG - Sachbeihilfen
01.11.2007 - 31.10.2010 Automatische Generierung von Bedienungsanleitungen für Services Deutsche Forschungsgemeinschaft (DFG)
DFG - Sachbeihilfen
01.06.2008 - 31.05.2010 Automatische Synthese von Verhaltensadaptern zwischen Services Deutsche Forschungsgemeinschaft (DFG)
DFG - Sachbeihilfen

Publikationen

Publikationen einklappen Publikationen einklappen

2019

Presentation of the 9th edition of the model checking contest Teil einer Monographie/eines Konferenzbandes Elektronische Ressource

2015

The Petri net twist in explicit model checking Zeitschriftenartikel Druckschrift

2014

Explizites model checking Zeitschriftenartikel Druckschrift

2012

Reducing adapter synthesis to controller synthesis Zeitschriftenartikel Elektronische Ressource

2011

Analysis on demand Zeitschriftenartikel Druckschrift
Finding a witness path for non-liveness in free-choice nets Teil einer Monographie/eines Konferenzbandes Druckschrift
Guaranteeing weak termination in service discovery Zeitschriftenartikel Druckschrift
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Teil einer Monographie/eines Konferenzbandes Druckschrift

2010

Artifact-centric choreographies Teil einer Monographie/eines Konferenzbandes Druckschrift
How to implement a theory of correctness in the area of business processes and services Teil einer Monographie/eines Konferenzbandes Druckschrift
Multiparty contracts Zeitschriftenartikel Druckschrift
New algorithms for deciding the siphon-trap property Teil einer Monographie/eines Konferenzbandes Druckschrift
Realizability is controllability Teil einer Monographie/eines Konferenzbandes Druckschrift
Service discovery using communication fingerprints Teil einer Monographie/eines Konferenzbandes Druckschrift

2009

Another approach to service instance migration Teil einer Monographie/eines Konferenzbandes Druckschrift
Deciding service composition and substitutability using extended operating guidelines Zeitschriftenartikel Druckschrift
Instantaneous soundness checking of industrial business process models Teil einer Monographie/eines Konferenzbandes Druckschrift
Service interaction Teil einer Monographie/eines Konferenzbandes Elektronische Ressource
Set algebra for service behavior Teil einer Monographie/eines Konferenzbandes Druckschrift
Web Services and Formal Methods: 5th international workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings Konferenz/Workshop Druckschrift

2008

Algorithmen und Werkzeuge für Petrinetze: 15ter workshop, AWPN 2008, Rostock, 26.-27. September 2008 Konferenz/Workshop Druckschrift
Can I find a partner? Zeitschriftenartikel Druckschrift

Abgeschlossene Promotionen

2021

Improving Explicit Model Checking for Petri Nets als Betreuer und Gutachter

2016

Behavioral Testing of Services als Betreuer und Gutachter

2012

Deciding Service Substitution - Termination guaranteed als Betreuer und Gutachter

2010

Correctness of services and their composition als Betreuer und Gutachter