Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Professor Dr. Willem-Paul de Roever

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

Projects

As Applicant
- Completed projects
  - Spezifikation und Verifikation von Steuerungen für kontinuierliche Systeme auf der Grundlage modularer Modelle und kompositioneller Analyse (Priority Programmes)
  - Formale Analyse von Sequential Funktion Charts (Research Grants)
  - Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse (Priority Programmes)
  - Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse (Research Grants)
  - Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse (Priority Programmes)
  - An assertional proof theory for multi-threaded control flow in the object-based core of Java (Research Grants)
  - MOBI-J-II: Formal Methods for Components and Objects (Research Grants)
  - Extending Statecharts by Under- and Over-Approximation Mechanisms for Top-Down Development Support (Research Grants)
As Participating Person
- Completed projects
  - Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse (Priority Programmes)
  - Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse (Priority Programmes)

© 2024 DFG Disclaimer / Copyright / Privacy Policy