Giese, Holger, 1970-
Giese, Holger
Giese, Holger, 19..-....
Holger Giese německý profesor informatiky, publikace z oboru
VIAF ID: 3321208 ( Personal )
Permalink: http://viaf.org/viaf/3321208
Preferred Forms
- 100 1 _ ‡a Giese, Holger
-
- 100 1 _ ‡a Giese, Holger
-
- 100 1 _ ‡a Giese, Holger ‡d 1970-
- 100 1 _ ‡a Giese, Holger ‡d 1970-
- 100 1 _ ‡a Giese, Holger, ‡d 19..-....
-
- 100 0 _ ‡a Holger Giese ‡c německý profesor informatiky, publikace z oboru
4xx's: Alternate Name Forms (2)
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
Architecting Critical Systems First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings | |
Architekturmodellierung und Verifikation von offenen und service-orientierten Systems of Systems | |
Ausführung temporaler Anfragen über geschichtsbewusste Architektur-Laufzeitmodelle | |
Automatic verification of behavior preservation at the transformation level for relational model transformation | |
Behavior specification for contract based distributed objects | |
Closing the gap between object oriented modeling of structure and behaviour | |
Contract based component system design | |
Cyber-physical systems with dynamic structure towards modeling and verification of inductive invariants | |
Efficient and scalable graph view maintenance for deductive graph databases based on generalized discrimination networks | |
Efficient model synchronization of large-scale models | |
Entwicklung der AUTOSAR-Standarddokumente bei Carmeq GmbH | |
Evaluating temporal queries over history-aware architectural runtime models | |
Evolution of model-driven engineering settings in practice | |
Evolution von Modelgetriebenen Entwicklungssettings in der Praxis | |
FMOODS 2012. | |
Formal Techniques for Distributed Systems Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings | |
FORTE 2012 | |
Graph Transformation : 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings | |
Incremental Model Synchronization with Precedence-Driven Triple Graph Grammars | |
Incremental self-adaptation of dynamic architectures attaining optimality and scalability | |
Inductive invariant checking with partial negative application conditions | |
Industrial case study on the integration of SysML and AUTOSAR with triple graph grammars | |
Inkrementelle Selbstanpassung dynamischer Architekturen zum Erreichen von Optimalität und Skalierbarkeit | |
k-Inductive invariant checking for graph transformation systems | |
MDE settings in SAP : a descriptive field study | |
Michel, der kleine Meereswanderer Geschichten aus der Unterwasserwelt | |
Model based engineering of embedded real time systems | |
Modeling and verifying dynamic evolving service-oriented architectures | |
Modeling collaborations in self-adaptive systems of systems terms, characteristics, requirements, and scenarios | |
Modellgetriebene Entwicklung von Selbst-Adaptiver Software | |
Modellsynchronisation mit präzedenzgetriebenen Tripelgraphgrammatiken | |
Models in software engineering, 2008: | |
Modular and incremental global model management with extended generalized discrimination networks | |
Object coordination nets 2.0 semantics specification | |
Object coordination nets 3.0 synchronization behavior typing for contracts | |
Object oriented design and architecture of distributed systems | |
Objektorientierte Modellierung verteilter Systeme Modellierungsbeispiele aus dem gleichnamigen Seminar an der Westfälischen Wilhelms-Universität im Wintersemester 1999/2000 | |
Probabilistic metric temporal graph logic | |
Probabilistische zeitbehaftete Graphtransformationssysteme | |
Proceedings of the HPI Research School on Service-oriented Systems Engineering 2020 Fall Retreat | |
Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata | |
Scalable compatibility for embedded real-time components via language progressive timed automata | |
Software Engineering for Multi-Agent Systems V : Research Issues and Practical Applications | |
Software Engineering for Self-Adaptive Systems III. Assurances International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers | |
Toward bridging the gap between formal semantics and implementation of triple graph grammars | |
Traceability und Modell Management mit ausführbaren und dynamischen Megamodellen | |
Triple graph grammars for multi-version models | |
Virtual prototypes for the model-based elicitation and validation of collaborative scenarios | |
Virtuelle Prototypen für die Modellbasierte Erhebung und Validierung kollaborativer Szenarien | |
Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme ; 8 Workshop des Arbeitskreises GROOM der GI-Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung, 13. - 14. November 2000, Universität Münster |