Hasso-Plattner-Institut für Softwaresystemtechnik
Prof. Dr. Holger Giese
Prof. Dr. Holger Giese

Fachgebiet Systemanalyse und Modellierung

Hasso-Plattner-Institut für Softwaresystemtechnik GmbH
Prof.-Dr.-Helmert-Str. 2-3
D-14482 Potsdam, Germany

 

Telefon: +49 (0)331 5509 366

E-Mail: holger.giese ... hpi.uni-potsdam.de

Raum:  A-2.5 (über A-2.6)

Sekretariat: Kerstin Miers
Raum: A-2.6
Email: office-giese(at)hpi.uni-potsdam.de
Tel.: +49 (0)331 / 55 09 - 314
Fax: +49 (0)331 / 55 09 - 309

Sprechstunden von Prof. Dr. Giese:
Mittwochs 13.00 - 14.00 Uhr.
Bitte melden Sie sich vorher immer beim Sekretariat, Frau Miers, an.

Forschungsthemen

  • Modellgetriebene Entwicklung:
    • Modellierung (Anforderungen, Analyse, Architektur, Entwurf, Verteilung)
    • Modelbasierte Validation und Verifikation (formale Verifikation, Simulation, Test, Performanceanalysen, Verlässlichkeitsanalysen)
    • Modelltransformationen (Synchronisation)
    • Modellsynthese (szenariobasiert, rollenbasiert)
    • Codegenerierung (Struktur, Verhalten, Zusicherungen)
    • Multi-Paradigm Modellierung
  • Betrachtete Typen von Systemen:
    • Verteilte Systeme
    • Eingebettete Echtzeitsysteme
    • Automotive Systeme
    • Softwareintensive Systeme
    • Systeme mit Selbstoptimierung, Selbstadaption, Selbstheilung, Selbstmanagement, ...
    • Service-orientierte Architekturen und Systeme

Weitere Informationen

Ausgewählte Veröffentlichungen

1.
Sven Burmester and Holger Giese and Eckehard Münch and Oliver Oberschelp and Florian Klein and Peter Scheideler,
Tool Support for the Design of Self-Optimizing Mechatronic Multi-Agent Systems,
International Journal on Software Tools for Technology Transfer (STTT) 10 (6 2008), no. 3, 207-222,
2.
Florian Klein and Holger Giese,
Joint Structural and Temporal Property Specification using Timed Story Sequence Diagrams,
Proc. of 10th International Conference on Fundamental Approaches to Software Engineering (FASE) 2007, held as part of ETAPS 2007, Lisboa, Portugal, March 24-April 1, 2007, (Matt Dwyer and Antónia Lopes, ed.), vol. 4422, LNCS, Springer Verlag, 3 2007, p. 185–199,
3.
Holger Giese,
Modeling and Verification of Cooperative Self-adaptive Mechatronic Systems,
Reliable Systems on Unreliable Networked Platforms - 12th Monterey Workshop 2005 . Laguna Beach, CA, USA, September 22-24,2005 . Revised Selected Papers, (Fabrice Kordon and Janos Sztipanovits, ed.), vol. 4322, Lecture Notes in Computer Science, Springer Verlag, 2007, p. 258-280,
4.
Holger Giese and Stefan Henkler,
A Survey of Approaches for the Visual Model-Driven Development of Next Generation Software-Intensive Systems,
Journal of Visual Languages and Computing 17 (12 2006), no. 6, 528–550,
5.
Holger Giese and Alexander Vilbig,
Separation of Non-Orthogonal Concerns in Software Architecture and Design,
Software and System Modeling (SoSyM) 5 (6 2006), no. 2, 136 - 169,
6.
Sven Burmester and Holger Giese and Eckehard Münch and Oliver Oberschelp and Florian Klein and Peter Scheideler,
Tool Support for the Design of Self-Optimizing Mechatronic Multi-Agent Systems,
International Journal on Software Tools for Technology Transfer (STTT) ( 2006), (accepted)
7.
Ricardo Choren and Alessandro Garcia and Holger Giese and Ho-fung Leung and Carlos Lucena and Alexander Romanovsky,
Software Engineering for Large-Scale Multi-agent Systems SELMAS'06,
ICSE '06: Proceedings of the 26th International Conference on Software Engineering, ACM Press, New York, NY, USA, 2006,
8.
Florian Klein and Holger Giese,
Grounding Social Interactions in the Environment.
Environments for Multiagent Systems II, (Danny Weyns and Van Parunak and Fabien Michel, ed.), vol. 3830, Lecture Notes in Artificial Intelligence (LNAI), Springer Verlag, 3 2006. p. 139–162,
9.
Florian Klein and Holger Giese,
Analysis and Design of Physical and Social Contexts in Multi-Agent Systems.
Software Engineering for Multi-Agent Systems IV, (Alessandro Garcia and Ricardo Choren and Carlos Lucena and Alexander Romanovsky and Tom Holvoet and Paolo Giorgini, ed.), vol. 3914, Lecture Notes in Computer Science (LNCS), Springer Verlag, 4 2006. p. 91-108,
10.
Sven Burmester and Holger Giese and Oliver Oberschelp,
Hybrid UML Components for the Design of Complex Self-optimizing Mechatronic Systems.
Informatics in Control, Automation and Robotics I, (J. Braz and H. Araújo and A. Vieira and B. Encarnacao, ed.), Springer Verlag, 3 2006.
11.
Holger Giese and Martin Hirsch,
Modular Verificaton of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML.
Satellite Events at the MoDELS 2005 Conference: MoDELS 2005 International Workshops, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers, (Jean-Michel Bruel, ed.), vol. 3844, Lecture Notes in Computer Science (LNCS), Springer Verlag, 1 2006. p. 67-78,
12.
Holger Giese and Robert Wagner,
Incremental Model Synchronization with Triple Graph Grammars,
Proc. of the 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS), Genova, Italy, (Oscar Nierstrasz and John Whittle and David Harel and Gianna Reggio, ed.), vol. 4199, Lecture Notes in Computer Science (LNCS), Springer Verlag, 10 2006, p. 543–557,
13.
Holger Giese and Matthias Tichy,
Component-Based Hazard Analysis: Optimal Designs, Product Lines, and Online-Reconfiguration,
Proc. of the 25th International Conference on Computer Safety, Security and Reliability (SAFECOMP), Gdansk, Poland, vol. 4166, Lecture Notes in Computer Science (LNCS), Springer Verlag, 9 2006, p. 156–169,
14.
Björn Axenath and Holger Giese and Florian Klein and Ursula Frank,
Systematic Requirements-Driven Evaluation and Synthesis of Alternative Principle Solutions for Advanced Mechatronic Systems,
Proc. of the 14th IEEE International Requirements Engineering Conference (RE'06), Minneapolis/St. Paul, Minnesota, USA, September 11-15, 2006, IEEE Computer Science, 2006, p. 156–165,
15.
Florian Klein and Holger Giese,
Separation of concerns for mechatronic multi-agent systems through dynamic communities.
Software Engineering for Multi-Agent Systems III: Research Issues and Practical Applications, (Ricardo Choren and Alessandro Garcia and Carlos Lucena and Alexander Romanovsky, ed.), vol. 3390, Lecture Notes in Computer Science (LNCS), Springer Verlag, 2 2005. p. 272–289,
16.
Sven Burmester and Holger Giese and Wilhelm Schäfer,
Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code,
Proc. of the European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA'05), Nürnberg, Germany, vol. 3748, Lecture Notes in Computer Science (LNCS), Springer Verlag, 11 2005, p. 25-40,
17.
Sven Burmester and Holger Giese and Jörg Niere and Matthias Tichy and Jörg P. Wadsack and Robert Wagner and Lothar Wendehals and Albert Zündorf,
Tool Integration at the Meta-Model Level within the FUJABA Tool Suite,
International Journal on Software Tools for Technology Transfer (STTT) 6 (8 2004), no. 3, 203-218,
18.
Holger Giese and Sven Burmester and Wilhelm Schäfer and Oliver Oberschelp,
Modular Design and Verification of Component-Based Mechatronic Systems with Online-Reconfiguration,
Proc. of 12th ACM SIGSOFT Foundations of Software Engineering 2004 (FSE 2004), Newport Beach, USA, ACM Press, 11 2004, p. 179-188,
19.
Matthias Tichy and Holger Giese,
A Self-Optimizing Run-Time Architecture for Configurable Dependability of Services.
Architecting Dependable Systems II, (Rogério de Lemos and Cristina Gacek and Alexander Romanovsky, ed.), vol. 3069, Lecture Notes in Computer Science (LNCS), Springer Verlag, 2004. p. 25–51,
20.
Sven Burmester and Matthias Gehrke and Holger Giese and Simon Oberthür,
Making Mechatronic Agents Resource-aware in order to Enable Safe Dynamic Resource Allocation,
Proc. of Fourth ACM International Conference on Embedded Software 2004 (EMSOFT 2004), Pisa, Italy, (B. Georgio, ed.), ACM Press, 9 2004, p. 175-183,
21.
Thorsten Hestermeyer and Oliver Oberschelp and Holger Giese,
Structured Information Processing For Self-optimizing Mechatronic Systems,
Proc. of 1st International Conference on Informatics in Control, Automation and Robotics (ICINCO 2004), Setubal, Portugal, (Helder Araujo and Alves Vieira and Jose Braz and Bruno Encarnacao and Marina Carvalho, ed.), INSTICC Press, 8 2004, p. 230-237,
22.
Holger Giese and Matthias Tichy and Daniela Schilling,
Compositional Hazard Analysis of UML Components and Deployment Models,
Proc. of the 23rd International Conference on Computer Safety, Reliability and Security (SAFECOMP), Potsdam, Germany, (M. Heisel and P. Liggesmeyer and S. Wittmann, ed.), vol. 3219, Lecture Notes in Computer Science (LNCS), Springer Verlag, 9 2004,
23.
Holger Giese and Guido Wirtz,
The OCoN Approach for Object-Oriented Distributed Software Systems Modeling,
Computer Systems Science & Engineering 16 ( 2001), no. 3, 157-172,
24.
Guido Wirtz and Mathias Weske and Holger Giese,
The OCoN Approach to Workflow Modeling in Object-Oriented Systems,
Information Systems Frontiers 3 ( 2001), no. 3, 357-376,
25.
Holger Giese and Guido Wirtz,
Visual Modeling of Object-oriented Distributed Systems,
Journal of Visual Languages and Computing 12 ( 2001), no. 2, 183-202,
26.
Guido Wirtz and Mathias Weske and Holger Giese,
Extending UML with Workflow Modeling Capabilities,
7th International Conference on Cooperative Information Systems (CoopIS-2000), 6-8 September, Eilat, Israel, (Opher Etzion and Peter Scheuermann, ed.), vol. 1901, Lecture Notes in Computer Science (LNCS), Springer Verlag, 9 2000, p. 30-41,
27.
Holger Giese and Guido Wirtz,
Early Evaluation of Design Options for Distributed Systems,
Int. Symposium on Software Engineering for Parallel and Distributed Systems (PDSE'2000), Limerick, Ireland, IEEE Press, 6 2000,
28.
Holger Giese and Jörg Graf and Guido Wirtz,
Closing the Gap Between Object-Oriented Modeling of Structure and Behavior,
UML'99 - The Second International Conference on The Unified Modeling Language Fort Collins, Colorado, USA, (Robert France and Bernhard Rumpe, ed.), vol. 1723, Lecture Notes in Computer Science (LNCS), Springer Verlag, 10 1999, p. 534-549,
29.
Holger Giese and Jörg Graf and Guido Wirtz,
Seamless Visual Object-Oriented Behavior Modeling for Distributed Software Systems,
IEEE Symposium On Visual Languages, Tokyo, Japan, IEEE Press, 9 1999,