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
S
tartseite
A
nmelden
Sommer 2024
Hilfe
Sitemap
Impressum
Datenschutz
node2
Studentisches Leben
Veranstaltungen
Einrichtungen
Räume und Gebäude
Personen
Forschung
Startseite
Herr Prof. Dr. rer. nat. habil. Karsten Wolf
Funktionen:
Dienstadresse
E-Mail
karsten.wolf@uni-rostock.de
Telefon
+49 381 498 1003
+49 381 498 7670
Bibliothek
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
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