Books written by Holger

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 ...
Schwerpunktthema: Weg(e) mit dem Stottern: Therapie und Selbsthilfe für Kinder und Erwachsene

Dietz, A. & Boyle, M. (2018). Discourse measurement in aphasia research: have we reached the tipping ... Huber, W., Poeck, K., Weniger, D. & Willmes, K. (1983). Der Aachener Aphasie Test (AAT). Göttingen: Hogrefe. Jaecks, P. (2014).
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.
Parts without a whole?: The current state of Design Thinking practice in organizations

This explorative study gives a descriptive overview of what organizations do and experience when they say they practice design thinking.
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 ...
Demografischer Wandel in Japan und Deutschland: Bevölkerungspolitischer Paradigmenwechsel in der Familienpolitik

... internationale Wettbewerbsfähigkeit deutlich. Ursache dafür, dass die Migrationspolitik nach Jahrzehnten, in denen kaum Möglichkeiten für die Einwanderung nach Japan bestanden hatten, gegen Ende der 1970er Jahre an Bedeutung gewann, war ...
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.