Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, Schloss Dagstuhl, Germany, 15.-18. Januar 2007, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme

M. Conrad, H. Giese, B. Rumpe, and B. Schätz (Eds.) volume 2007-1 of Informatik-Bericht, TU Braunschweig, Institut für Software Systems Engineering, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Holger Giese

Steffen Giese

Simone Giese

Armin Giese

Alma Giese

Other publications of authors with the same name

Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance.A. Seibel, S. Neumann, and H. Giese. Softw. Syst. Model., 9 (4): 493-528 (2010)Bridging the gap between formal semantics and implementation of triple graph grammars - Ensuring conformance of relational model transformation specifications and implementations.H. Giese, S. Hildebrandt, and L. Lambers. Softw. Syst. Model., 13 (1): 273-299 (2014)On the complex nature of MDE evolution and its impact on changeability.R. Hebig, and H. Giese. Softw. Syst. Model., 16 (2): 333-356 (2017)Hybrid search plan generation for generalized graph pattern matching.M. Barkowsky, and H. Giese. J. Log. Algebraic Methods Program., (2020)Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions.S. Schneider, J. Dyck, and H. Giese. ICGT, volume 12150 of Lecture Notes in Computer Science, page 257-275. Springer, (2020)Software Engineering for Self-Adaptive SystemsY. Brun, G. Serugendo, C. Gacek, H. Giese, H. Kienle, M. Litoiu, H. Müller, M. Pezzè, and M. Shaw. Software Engineering for Self-Adaptive Systems, volume 5525 of Lecture Notes in Computer Science, chapter Engineering Self-Adaptive Systems Through Feedback Loops, Springer-Verlag, Berlin, Heidelberg, (2009)Host-graph-sensitive RETE nets for incremental graph pattern matching with nested graph conditions.M. Barkowsky, and H. Giese. J. Log. Algebraic Methods Program., (February 2023)Formal testing of timed graph transformation systems using metric temporal graph logic.S. Schneider, M. Maximova, L. Sakizloglou, and H. Giese. Int. J. Softw. Tools Technol. Transf., 23 (3): 411-488 (2021)Model-based Engineering of Embedded Real-time SystemsH. Giese, G. Karsai, E. Lee, B. Rumpe, and B. Schätz. Lecture Notes in Computer Science Springer, Berlin, Heidelberg, New York, (2011)Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UMLH. Giese, S. Henkler, and M. Hirsch. Architecting Dependable Systems V, (2008)

BibSonomy

Disambiguation of "Giese, Holger"