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
node1
Studentisches Leben
Veranstaltungen
Einrichtungen
Räume und Gebäude
Personen
Forschung
Startseite
Termine und Fristen
Prüfungsamt und Studienverwaltung
Stud.IP
Speisepläne
Studierendenwerk
Archiv ZVVZ
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 einklappen
2021
Solving Finite-Linear-Path CTL-Formulas Using the CEGAR Approach
Teil einer Monographie/eines Konferenzbandes
Druckschrift
2020
Portfolio management in explicit model checking
Teil einer Monographie/eines Konferenzbandes
Elektronische Ressource
Verification of token-scaling models using an under-approximation
Teil einer Monographie/eines Konferenzbandes
Elektronische Ressource
2019
Presentation of the 9th edition of the model checking contest
Teil einer Monographie/eines Konferenzbandes
Elektronische Ressource
2018
Elementary net synthesis remains NP-complete even for extremely simple inputs
Teil einer Monographie/eines Konferenzbandes
Druckschrift
2017
Präzises Denken für Informatiker
Monographie
Druckschrift
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
Konferenz/Workshop
Druckschrift
Can I find a partner?
Zeitschriftenartikel
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