Books written by Giese
-
Probalistic Timed Graph Transformation Systems
Maximove, Maria, Giese, Holger, Krause, Christian Hasso-Plattner-Institut an der Universität Potsdam. The formalism of probabilistic timed automata (PTA) is an extension of TA. PTA allow for nondeterministic system behavior and, ...
-
Metric Temporal Graph Logic over Typed Attributed Graphs: Extended Version
Extended Version Giese, Holger, Maximova, Maria, Sakizloglou, Lucas, Schneider, Sven. 5. Mapping of TGSs to Graphs with History T:Task S:System H:Handler R:Result e1:on e2:for e3:by e4:to cts = 10 dts = −1 id = 123 cts = 5 dts = −1 ...
-
Industrial Case Study on the Integration of SysML and AUTOSAR with Triple Graph Grammars
Giese, Holger , Hildebrandt, Stephan, Neumann, Stefan, Wätzold, Sebastian. 2. State. of. the. Art. In this section, we discuss related approaches for model transformation and synchronization, and related work in the context of ...
-
Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automata
G. Behrmann, A. Fehnker, T. Hune, K. G. Larsen, P. Pettersson, and J. Romijn. Efficient guiding towards cost-optimality in uppaal. In Proc. TACAS'01, LNCS 2031, pages 174–188. Springer, 2001. DOI: 10.1007/3-540-45319-9_13.
-
Automatic verification of behavior preservation at the transformation level for relational model transformation
The correctness of model transformations is a crucial element for model-driven engineering of high quality software.
-
Modeling and Verifying Dynamic Evolving Service-Oriented Architectures
... Stores Model-Driven Engineering of Adaptation Engines for Self-Adaptive Software Scalable Compatibility for Embedded Real-Time components via Language Progressive Timed Automata Cyber-Physical Systems with Dynamic Structure: Towards ...
-
Proceedings of the 6th Ph.D. Retreat of the HPI Research School on Service-oriented Systems Engineering
... Column Organization in In-Memory Column Stores Model-Driven Engineering of Adaptation Engines for Self-Adaptive Software Scalable Compatibility for Embedded Real-Time components via Language Progressive Timed Automata Cyber-Physical ...
-
Development of AUTOSAR standard documents at Carmeq GmbH: a case study
Titel Weak Conformance between Process Models and Synchronized Object Life Cycles Embedded Operating System Projects openHPI :哈索•普拉特纳研究院的 MOOC(大规模公开在线课)计划 HPI Future SOC Lab : Proceedings 2013 Cloud Security ...
-
Modeling collaborations in self-adaptive systems of systems: terms, characteristics, requirements, and scenarios
... Carmeq GmbH Weak conformance between process models and synchronized object life cycles Embedded Operating System Projects openHPI:哈索•普拉特纳研究院的 MOOC(大规模公开在线课)计划 HPI Future SOC Lab : Proceedings 2013 Cloud Security ...
-
Bauforschung in der Denkmalpflege: Qualitätsstandards und Wissensdistribution
... Aspekte der Archäologie des Mittelalters und der Neuzeit. Festschrift für Walter Sage, Bamberger Schriften zur Archäologie des Mittelalters und der Neuzeit 1 (Bonn 2003) 13–21. 19 Die Verantwortung für diese Veränderungen teilten ...
-
Inductive invariant checking with partial negative application conditions
... checking problem by considering the sum of all possible amalgamations between a forbidden pattern and the right side of a rule and the number of total negative application conditions for those amalgamations. To get more fine-grained ...
-
On the operationalization of graph queries with generalized discrimination networks
... Babelsberg/RML: executable semantics and language testing with RML Proceedings of the Master Seminar on Event Processing Systems for Business Process Management Systems Exploratory Authoring of Interactive Content in a Live Environment ...
-
Proceedings of the 10th Ph.D. Retreat of the HPI Research School on Service-oriented Systems Engineering
... Babelsberg/RML: executable semantics and language testing with RML Proceedings of the Master Seminar on Event Processing Systems for Business Process Management Systems Exploratory Authoring of Interactive Content in a Live Environment ...
-
k-Inductive invariant checking for graph transformation systems
... Probabilistic timed graph transformation systems Proceedings of the Fourth HPI Cloud Symposium "Operating the Cloud” 2016 Die Cloud für Schulen in Deutschland: Konzept und Pilotierung der Schul-Cloud Symbolic model generation for graph ...
-
Proceedings of the 3rd Ph.D. Retreat of the HPI Research School on Service-oriented Systems Engineering
Component orientation and web services are two approaches for design and realization of complex web-based system. Both approaches allow for dynamic application adaptation as well as integration of enterprise application.
-
Proceedings of the 9th Ph.D. retreat of the HPI Research School on service-oriented systems engineering
Service-oriented Systems Engineering represents a symbiosis of best practices in object orientation, component-based development, distributed computing, and business process management. It provides integration of business and IT concerns.