Project Details
Person
Professor Dr. Karsten Wolf
Address
Universität Rostock
Fakultät für Informatik und Elektrotechnik
Institut für Informatik
Albert-Einstein-Straße 22
18059 Rostock
-
As Applicant
-
Completed projects
-
Automatische Generierung von Bedienungsanleitungen für Services (Research Grants) -
Automatische Synthese von Verhaltensadaptern zwischen Services (Research Grants)
-
Strukturelle Analysetechniken für Petrinetze (Research Grants)
-
WS4Dsec - Reliably Secure Web Services for Devices (Priority Programmes)
-
Verifikationstechniken für Petrinetze auf Multicore-Architekturen (Research Grants)
-
Synthesis of Petri Nets Based on the Union/Find Procedure (Research Grants)
-
-
Completed projects
