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  node1  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 vollständig ausklappen Publikationen vollständig ausklappen

2019

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

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