Project Details
Person
Professor Dr.-Ing. Oliver Theel
Address
Carl von Ossietzky Universität Oldenburg
Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften
Department für Informatik
Ammerländer Heerstraße 114-118
26129 Oldenburg
-
As Participating Researcher
-
Completed projects
-
GRK 1076: Trustworthy Software Systems - Construction, Certification, Application (Research Training Groups)
-
GRK 1765: System Correctness under Adverse Conditions - SCARE (Research Training Groups)
-
-
Completed projects
-
As Project Head
-
Completed projects
-
Automatic Verification of Hybrid System Stability (CRC/Transregios)
-
Verification of Dependability Properties (CRC/Transregios)
-
-
Completed projects
