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     
Sommer 2024    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 1003
+49 381 498 7670
Bibliothek Publikationen im Katalog der UB Rostock Publikationen im GBV-Katalog Catalogus Professorum Rostochiensum Link zum Catalogus Professorum Rostochiensum

weitere Adressen

PLZ Ort Straße Telefon Fax E-Mail Hyperlink Adressentyp
+49 381 498 7450 Wahlanschrift

Zuordnung zu Einrichtungen

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

Funktionen

Einrichtung Funktion von bis
Universität Rostock Prorektor für Studium und Lehre 14.04.2023 13.10.2025
Universität Rostock Mitglied des Akademischen Senats 01.04.2021 13.04.2023
Fakultät für Informatik und Elektrotechnik (IEF) Mitglied des Fakultätsrats 01.04.2021 13.04.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

Vst.-Nr. Veranstaltungen Veranstaltungsart Semester
23485 Beauty is our Business Seminar SS 2024
23575 Modell und Analyse verteilter Systeme Übung SS 2024
23575 Modell und Analyse verteilter Systeme Vorlesung SS 2024
23929 KSWS: Theoretische Informatik Vorlesung SS 2024
23930 Projekt: Theoretische Informatik Projekt SS 2024

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.03.2022 - 31.05.2023 Exist-Gründer: Torian Trading Bundesministerium für Wirtschaft und Klimaschutz (BMWK)
01.06.2020 - 30.09.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

2021

Solving Finite-Linear-Path CTL-Formulas Using the CEGAR Approach Teil einer Monographie/eines Konferenzbandes Druckschrift

Abgeschlossene Promotionen

2021

Improving Explicit Model Checking for Petri Nets als Betreuer und Gutachter
Zur Komplexität der Synthese von Petri-Netzen 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