Holger Giese
Holger Giese
Professor of Computer Science, Hasso Plattner Insitute, Potsdam University
Email verificata su hpi.uni-potsdam.de - Home page
Titolo
Citata da
Citata da
Anno
Software engineering for self-adaptive systems: A research roadmap
BHC Cheng, R de Lemos, H Giese, P Inverardi, J Magee, et al.
Software Engineering for Self-Adaptive Systems 5525, 1--26, 2009
2059*2009
Engineering self-adaptive systems through feedback loops
Y Brun, GDM Serugendo, C Gacek, H Giese, H Kienle, M Litoiu, H Müller, ...
Software engineering for self-adaptive systems, 48-70, 2009
6592009
On patterns for decentralized control in self-adaptive systems
D Weyns, B Schmerl, V Grassi, S Malek, R Mirandola, C Prehofer, ...
Software Engineering for Self-Adaptive Systems II, 76-107, 2013
3412013
From model transformation to incremental bidirectional model synchronization
H Giese, R Wagner
Software & Systems Modeling 8 (1), 21-43, 2009
2462009
Towards the compositional verification of real-time uml designs
H Giese, M Tichy, S Burmester, W Schäfer, S Flake
Proceedings of the 9th European software engineering conference held jointly …, 2003
2192003
Incremental model synchronization with triple graph grammars
H Giese, R Wagner
International Conference on Model Driven Engineering Languages and Systems …, 2006
1732006
Symbolic invariant verification for systems with dynamic structural adaptation
B Becker, D Beyer, H Giese, F Klein, D Schilling
Proceedings of the 28th international conference on Software engineering, 72-81, 2006
1682006
Model-driven engineering of self-adaptive software with eurema
T Vogel, H Giese
ACM Transactions on Autonomous and Adaptive Systems (TAAS) 8 (4), 1-33, 2014
1472014
Tool integration at the meta-model level: the Fujaba approach
S Burmester, H Giese, J Niere, M Tichy, JP Wadsack, R Wagner, ...
International journal on software tools for technology transfer 6 (3), 203-218, 2004
1302004
Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML
S Burmester, H Giese, M Tichy
Model Driven Architecture, 47-61, 2004
1302004
Modular design and verification of component-based mechatronic systems with online-reconfiguration
H Giese, S Burmester, W Schäfer, O Oberschelp
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on …, 2004
1132004
Adaptation and abstract runtime models
T Vogel, H Giese
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive …, 2010
1092010
Towards verified model transformations
H Giese, S Glesner, J Leitner, W Schäfer, R Wagner
Proc. of the 3rd International Workshop on Model Development, Validation and …, 2006
952006
The fujaba real-time tool suites: model-driven development of safety-critical, real-time systems
S Burmester, H Giese, M Hirsch, D Schilling, M Tichy
Proceedings. 27th International Conference on Software Engineering, 2005 …, 2005
922005
Real-time statechart semantics
H Giese, S Burmester
TechReport tr-ri-03-239, University of Paderborn, 2003
912003
Model synchronization at work: keeping SysML and AUTOSAR models consistent
H Giese, S Hildebrandt, S Neumann
Graph transformations and model-driven engineering, 555-579, 2010
882010
Software Engineering for Self-Adaptive Systems. LNCS, vol. 5525
BHC Cheng, R de Lemos, H Giese, P Inverardi, J Magee
Springer, Heidelberg, 2009
882009
Software engineering for self-adaptive systems: Research challenges in the provision of assurances
R De Lemos, D Garlan, C Ghezzi, H Giese, J Andersson, M Litoiu, ...
Software Engineering for Self-Adaptive Systems III. Assurances, 3-30, 2017
872017
Improved flexibility and scalability by interpreting story diagrams
H Giese, S Hildebrandt, A Seibel
Electronic Communications of the EASST 18, 2009
822009
Incremental model synchronization for efficient run-time monitoring
T Vogel, S Neumann, S Hildebrandt, H Giese, B Becker
International Conference on Model Driven Engineering Languages and Systems …, 2009
802009
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20