Statistics
Publications
77
Citations
2.4K
H-Index
27
Active since
1997
Holger Giese is an author at Hasso Plattner Institute specializing in computer science, engineering, and systems engineering.
Publications per year
1997–2024
77
77
Towards the compositional verification of real-time UML designs
Holger Giese, Matthias Tichy, Sven Burmester et al. · 2003 · 149 citations
Symbolic invariant verification for systems with dynamic structural adaptation
Basil Becker, Dirk Beyer, Holger Giese et al. · 2006 · 115 citations
1–5 of 77