Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Person

Druckansicht

Professor Dr. Willem-Paul de Roever

Adresse Christian-Albrechts-Universität zu Kiel
Technische Fakultät
Institut für Informatik
24098 Kiel

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Spezifikation und Verifikation von Steuerungen für kontinuierliche Systeme auf der Grundlage modularer Modelle und kompositioneller Analyse (Schwerpunktprogramme)
  - Formale Analyse von Sequential Funktion Charts (Sachbeihilfen)
  - Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse (Schwerpunktprogramme)
  - Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse (Sachbeihilfen)
  - Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse (Schwerpunktprogramme)
  - Erweiterung der Untersuchung `Beweistechniken für Fäden in JAVA` durch Bereitstellung einer realistischen Semantik und einer korrespondierenden Beweistechnik eines konkurrierenden JAVA-Fragments (Sachbeihilfen)
  - MOBI-J-II: Formal Methods for Components and Objects (Sachbeihilfen)
  - Extending Statecharts by Under- and Over-Approximation Mechanisms for Top-Down Development Support (Sachbeihilfen)
Als Beteiligte Person
- abgeschlossene Projekte
  - Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse (Schwerpunktprogramme)
  - Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse (Schwerpunktprogramme)

© 2024 DFG Kontakt / Impressum / Datenschutz