Hasso-Plattner-Institut für Softwaresystemtechnik
Publikationsliste nach Kategorien
Publikationsliste nach Kategorien
 Anfang  |  Zurück  |  1  2  3  4  5  6  |  Vorwärts  |  Ende     Advanced Search
Export als BibTeX
Aufsätze:
1.
Young-Joo Moon and Alexandra Silva and Christian Krause and Farhad Arbab,
A Compositional Model to Reason about end-to-end QoS in Stochastic Reo Connectors,
Science of Computer Programming (), 2011,
2.
Natallia Kokash and Christian Krause and Erik de Vink,
Reo+mCRL2: A Framework for Model-checking Dataflow in Service Compositions,
Formal Aspects of Computing ():1–30, 2011,
3.
Christian Krause and Ziyan Maraikar and Alexander Lazovik and Farhad Arbab,
Modeling dynamic reconfigurations in Reo using high-level replacement systems,
Science of Computer Programming 76(1):23–36, 2011,
4.
Enrico Biermann and Claudia Ermel and Leen Lambers and Ulrike Prange and Olga Runge and Gabriele Taentzer,
Introduction to AGG and EMF Tiger by Modeling a Conference Scheduling System,
Software Tools for Technology Transfer Volume 12 Juli 2010(Numbers 3-4), 7 2010,
5.
Andreas Seibel and Stefan Neumann and Holger Giese,
Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance,
Software and System Modeling 9(4):493-528, 2010, 10.1007/s10270-009-0146-z
6.
Holger Giese and Robert Wagner,
From model transformation to incremental bidirectional model synchronization,
Software and Systems Modeling (SoSyM) 8(1), 3 2009,
7.
Holger Giese and Stefan Henkler and Martin Hirsch,
A Multi-Paradigm Approach Supporting the Modular Execution of Reconfigurable Hybrid Systems,
SIMULATION – Volume 87 Issue 9 September 2011 pp. 775 - 808. (tr-ri-08-297), 12 2008,
8.
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,
9.
Holger Giese and Florian Klein,
Systematic Verification of Multi-Agent Systems based on Rigorous Executable Specifications,
International Journal on Agent-Oriented Software Engineering (IJAOSE) 1(1):28–62, 4 2007,
10.
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,
11.
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,
12.
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,
13.
Holger Giese and Guido Wirtz,
The OCoN Approach for Object-Oriented Distributed Software Systems Modeling,
Computer Systems Science & Engineering 16(3):157-172, 2001,
14.
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,
15.
Holger Giese and Guido Wirtz,
Visual Modeling of Object-oriented Distributed Systems,
Journal of Visual Languages and Computing 12(2):183-202, 2001,
16.
Holger Giese and Stephan Philippi,
Visuelle Verhaltensmodellierung verteilter und nebenläufiger Systeme, Bericht vom 8. GROOM-Workshop,
GI Softwaretechnik-Trends 21(1), 2001, (German)
17.
Holger Giese and Jörg Graf and Guido Wirtz,
Präzisierung des UML-Metamodells durch ein semantisches Objektmodell,
GI Softwaretechnik-Trends 20(2), 2000, Beitrag fur den 7-ten GROOM-Workshop ''UML – Erweiterungen (Profile) und Konzepte der Metamodellierung'', (German)
Bücher:
18.
Holger Giese (ed.), Architecting Critical Systems, vol. 6150 of Lecture Notes in Computer Science. Springer, Berlin, 1 edition, 2010
19.
Betty H. C. Cheng and Holger Giese and Paola Inverardi and Jeff Magee and Rogerio De Lemos (ed.), Software Engineering for Self-Adaptive Systems, vol. 5525 of Lecture Notes in Computer Science. Springer, Berlin, 1 edition, 2009
20.
21.
Ricardo Choren and Alessandro Garcia and Holger Giese and Ho-fung Leung and Carlos Lucena and Alexander Romanovsky (ed.), Software Engineering for Multi-Agent Systems V: Research Issues and Practical Applications (Lecture Notes in Computer Science), Springer, 1 edition, 9 2007
22.
Ricardo Choren and Alessandro Garcia and Holger Giese and Ho-fung Leung and Carlos Lucena and Alexander Romanovsky (ed.), Software Engineering for Multi-Agent Systems V - Research Issues and Practical Applications, vol. 4408 of Lecture Notes in Computer Science. Springer Verlag, 2007
23.
Ursula Frank and Holger Giese and Florian Klein and Oliver Oberschelp and Andreas Schmidt and Bernd Schulz and Henner Vöcking and Katrin Witting, Jürgen Gausemeier (ed.), Selbstoptimierende Systeme des Maschinenbaus - Definitionen und Konzepte, of HNI-Verlagsschriftenreihe. Heinz Nixdorf Institut, Universität Paderborn, Paderborn, Germany, first edition, 2004
24.
Holger Giese, Object-Oriented Design and Architecture of Distributed Systems, of Berichte aus der Informatik. Shaker Verlag, 2001
Beiträge in Büchern:
25.
Holger Giese and Stefan Neumann and Oliver Niggemann and Bernhard Sch/atz, Model-Based Integration, vol. 6100 of MBEERTS'07, Springer-Verlag, 2010,
26.
Gregor Gabrysiak and Holger Giese and Andreas Seibel, Towards Next Generation Design Thinking: Scenario-Based Prototyping for Designing Complex Software Systems with Multiple Users, of Understanding Innovation, chapter 4, Springer-Verlag, 1 edition, 2010,
27.
Holger Giese and Stefan Henkler and Martin Hirsch, Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML, vol. 5135 of Lecture Notes in Computer Science, pages 248–272. Springer Verlag, 2008,
Beiträge zu Sammlungen:
28.
Thomas Vogel and Andreas Seibel and Holger Giese. The Role of Models and Megamodels at Runtime. In Juergen Dingel and Arnor Solberg, ed., Models in Software Engineering, Workshops and Symposia at MODELS 2010, Oslo, Norway, October 3-8, 2010, Reports and Revised Selected Papers, vol. 6627 of Lecture Notes in Computer Science (LNCS), pages 224-238. Springer-Verlag, 5 2011.
29.
Thomas Vogel and Stefan Neumann and Stephan Hildebrandt and Holger Giese and Basil Becker. Incremental Model Synchronization for Efficient Run-Time Monitoring. In Sudipto Ghosh, ed., Models in Software Engineering, Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers, vol. 6002 of Lecture Notes in Computer Science (LNCS), pages 124-139. Springer-Verlag, 4 2010.
30.
Hartmut Ehrig and Annegret Habel and Leen Lambers. Parallelism and Concurrency Theorems for Rules with Nested Application Conditions. In Festschrift dedicated to Hans-Jorg Kreowski at the Occasion of his 60th Birthday, vol. 26 EC-EASST, 2010.
31.
Basil Becker and Stefan Neumann and Martin Schenk and Arian Treffer and Holger Giese. Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration. In Sudipto Ghosh, ed., Models in Software Engineering, Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers, vol. 6002 of Lecture Notes in Computer Science (LNCS), pages 83-97. Springer-Verlag, 2010.
32.
Fernando Orejas and Leen Lambers. Symbolic Attributed Graphs for Attributed Graph Transformation. In Graph and Model Transformation 2010, vol. 30 EC-EASST, 2010.
33.
Holger Giese and Stefan Henkler and Martin Hirsch and Vladimir Roubin and Matthias Tichy. Modeling Techniques for Software-Intensive Systems. In Pierre F. Tiako, ed., Designing Software-Intensive Systems: Methods and Principles, Idea Group Publishing, 2007.
34.
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.
35.
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.
36.
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.
37.
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.
38.
Holger Giese and Florian Klein and Sven Burmester. Pattern Synthesis from Multiple Scenarios for Parameterized Real-Timed UML Models. In Stefan Leue and Tarja Systä, ed., Scenarios: Models, Algorithms and Tools, vol. 3466 of Lecture Notes in Computer Science (LNCS), pages 193-211. Springer Verlag, 4 2005.
39.
Holger Giese and Florian Klein. Autonomous Shuttle System Case Study. In Stefan Leue and Tarja Systä, ed., Scenarios: Models, Algorithms and Tools, vol. 3466 of Lecture Notes in Computer Science (LNCS), pages 90-94. Springer Verlag, 4 2005.
40.
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.
41.
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.
Tagungsbände:
42.
Holger Giese and Garbor Karsai and Edward Lee and Bernhard Rumpe and Bernhard Schatz, (ed.). Model-Based Engineering of Embedded Real-Time Systems, International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers. volume 6100 of Lecture Notes in Computer Science, 2011. Springer Berlin / Heidelberg.
43.
Holger Giese and Michaela Huhn and Bernhard Schatz and Ulrich Nickel, (ed.). Proc. of the 5th Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), 22.-24.04.2009, Schloss Dagstuhl, Germany. number 2009-1 in Informatik-Bericht, Technische Universität Braunschweig , 4 2009.
44.
Holger Giese and Mattthias Gehrke and Joachim Stroop, (ed.). Proceedings of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time System (OMER4), Heinz Nixdorf MuseumsForum, Paderborn, Germany. October 13 and 14, 2005. number 191 in HNI-Verlagsschriftenreihe, Paderborn, Germany, 2009. Heinz Nixdorf Institut, Universität Paderborn .
45.
Holger Giese and Michaela Huhn and Bernhard Schatz and Ulrich Nickel, (ed.). Proc. of the 4th Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), 07.-09.04.2008, Schloss Dagstuhl, Germany. number 2008-2 in Informatik-Bericht, Technische Universität Braunschweig, 4 2008.
46.
Mirko Conrad and Holger Giese and Bernhard Rumpe and Bernhard Schätz, (ed.). Proc. of the 3rd Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), 15.-18.1.2007, Schloss Dagstuhl, Germany. number 2007-1 in Informatik-Bericht, Technische Universität Braunschweig, 1 2007.
47.
Holger Giese and Bernhard Westfechtel, (ed.). Proc. of the Fourth International Fujaba Days 2006. volume tr-ri-06-275 of 9 2006.
Export als BibTeX
 Anfang  |  Zurück  |  1  2  3  4  5  6  |  Vorwärts  |  Ende