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:
dienstags 12.30- 13.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

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