Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Professor Dr.-Ing. Holger Hermanns

Address Universität des Saarlandes
Saarland Informatics Campus
Campus, Geb. E1 3
66123 Saarbrücken

Projects

As Applicant
- Completed projects
  - Validation of Stochastic Systems 2 (Research Grants)
  - RigorOus dependability analysis using model ChecKing techniques for Stochastic systems (ROCKS) (Research Grants)
As Spokesperson
- Current projects
  - TRR 248: Foundations of Perspicuous Software Systems - Enabling Comprehension in a Cyber-Physical World (CRC/Transregios)
As Participating Researcher
- Completed projects
  - GRK 623: Quality Guarantees for Computer Systems (Research Training Groups)
  - GSC 209: Saarbrücken Graduate School of Computer Science (Graduate Schools)
As Project Head
- Current projects
  - Composition and Abstraction with Explications (CRC/Transregios)
  - Supervision of Dynamic Dependable Systems (CRC/Transregios)
  - Perspicuity and Societal Risk (CRC/Transregios)
  - Central Tasks of the Collaborative Research Centre (CRC/Transregios)
- Completed projects
  - Automatic Verification of Hybrid System Stability (CRC/Transregios)
  - Dynamic Communication Systems (CRC/Transregios)
  - Verification of Dependability Properties (CRC/Transregios)

© 2024 DFG Disclaimer / Copyright / Privacy Policy