Concepedia

Holger Giese

HG

Statistics

Publications

76

Citations

2.3K

H-Index

26

Active since

1997

Affiliations

University of Potsdam(Current)

Hasso Plattner Institute

Paderborn University

University of Münster

Holger Giese is an author at University of Potsdam specializing in engineering, systems engineering, and software engineering.

Top concepts

EngineeringSystems EngineeringSoftware EngineeringSoftware DesignComputer ScienceSystem SoftwareDesignSoftware AnalysisComputer EngineeringFormal Methods

Publications per year

1997–2024

76

Publications

76

From model transformation to incremental bidirectional model synchronization

Holger Giese, R. V. Wagner · Software & Systems Modeling · 2008 · 188 citations

Engineering, Synchronization Protocol, Process Control +6

Towards the compositional verification of real-time UML designs

Holger Giese, Matthias Tichy, Sven Burmester et al. · 2003 · 148 citations

Engineering, Verification, Computer-aided Verification +24

Model-Driven Engineering of Self-Adaptive Software with EUREMA

Thomas Vogel, Holger Giese · ACM Transactions on Autonomous and Adaptive Systems · 2014 · 120 citations · Full text

Software Maintenance, Engineering, Computer Architecture +21

Symbolic invariant verification for systems with dynamic structural adaptation

Basil Becker, Dirk Beyer, Holger Giese et al. · 2006 · 113 citations

Reachability Analysis, Engineering, Automated Reasoning +15

Adaptation and abstract runtime models

Thomas Vogel, Holger Giese · 2010 · 81 citations · Full text

Software Maintenance, Engineering, Abstract Runtime Models +22

1–5 of 76