Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata

by Krause, Christian, Giese, Holger
Published 2012

MDE settings in SAP : a descriptive field study

by Hebig, Regina, Giese, Holger
Published 2012

Efficient model synchronization of large-scale models

by Giese, Holger, Hildebrandt, Stephan
Published 2009

Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants

by Becker, Basil, Giese, Holger
Published 2012

Modeling and verifying dynamic evolving service-oriented architectures

by Giese, Holger, Becker, Basil
Published 2013

Toward bridging the gap between formal semantics and implementation of triple graph grammars

by Giese, Holger, Hildebrandt, Stephan, Lambers, Leen
Published 2010

Industrial case study on the integration of SysML and AUTOSAR with triple graph grammars

by Giese, Holger, Hildebrandt, Stephan, Neumann, Stefan, Wätzoldt, Sebastian
Published 2012

Correct dynamic service-oriented architectures : modeling and compositional verification with dynamic collaborations

by Becker, Basil, Giese, Holger, Neumann, Stefan, System Analysis and Modeling Group
Published 2009