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  node1  Trennstrich  Switch to english language
Studentisches Leben Veranstaltungen Einrichtungen Räume und Gebäude Personen Forschung

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 einklappen 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