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.

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.

Regina Hebig and Andreas Seibel and Holger Giese. Toward a Comparable Characterization for Software Development Activities in Context of MDE. In International Conference on Software and Systems Process (ICSSP), 2011.

Basil Becker and Leen Lambers and Johannes Dyck and Stefanie Birth and Holger Giese. Iterative Development of Consistency-Preserving Rule-Based Refactorings. In Jordi Cabot and Eelco Visser, ed., Theory and Practice of Model Transformations, Fourth International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings, volume 6707 of Lecture Notes in Computer Science, pages 123-137, 2011. Springer / Heidelberg.

Andreas Seibel and Regina Hebig and Stefan Neumann and Holger Giese. A Dedicated Language for Context Composition and Execution of True Black-Box Model Transformations. In 4th International Conference on Software Language Engineering (SLE 2011) , Braga, Portugal, 7 2011. to be published

Christian Krause and Holger Giese. Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements. In volume 73 of Electronic Proceedings in Theoretical Computer Science, pages 64–78, 2011. Open Publishing Association.

Holger Giese and Stephan Hildebrandt and Leen Lambers. Toward Bridging the Gap Between Formal Semantics and Implementation of Triple Graph Grammars. Technical Report 37, Hasso Plattner Institute at the University of Potsdam, 2010.

Stefan Henkler and Simon Oberthur and Holger Giese and Andreas Seibel. Model-Driven Runtime Resource Predictions for Advanced Mechatronic Systems with Dynamic Data Structures. In Proceedings of 13th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing, 5 2010. IEEE, IEEE Computer Society Press.

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

Holger Giese (ed.), Architecting Critical Systems, vol. 6150 of Lecture Notes in Computer Science. Springer, Berlin, 1 edition, 2010

Holger Giese and Stefan Neumann and Oliver Niggemann and Bernhard Sch/atz, Model-Based Integration, vol. 6100 of MBEERTS'07, Springer-Verlag, 2010,

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,

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.

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.

Thomas Vogel and Holger Giese. Adaptation and Abstract Runtime Models. In Proceedings of the 5th Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010) at the 32nd IEEE/ACM International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, pages 39-48, 5 2010. ACM.

Gregor Gabrysiak and Holger Giese and Andreas Seibel. Using Ontologies for Flexibly Specifying Multi-User Processes. In Proc. of FlexiTools Workshop at ICSE 2010, Cape Town, South Africa, 5 2010.

Regina Hebig and Holger Giese and Basil Becker. Making Control Loops Explicit When Architecting Self-Adaptive Systems. In SOAR '10: Proceedings of the second international workshop on Self-Organizing Architectures, pages 21–28, Washington, DC, USA, 6 2010. ACM.

Holger Giese and Stefan Henkler and Martin Hirsch. A Multi-Paradigm Approach Supporting the Modular Execution of Reconfigurable Hybrid Systems. In Transactions of the Society for Modeling and Simulation International, pages 528–566, 12 2010. accepted

Gregor Gabrysiak and Holger Giese and Andreas Seibel. Deriving Behavior of Multi-User Processes From Interactive Requirements Validation. In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, of ASE'10, pages 355–356, Antwerp, Belgium, 9 2010. ACM.

Gregor Gabrysiak and Holger Giese and Andreas Seibel and Stefan Neumann. Teaching Requirements Engineering with Virtual Stakeholders without Software Engineering Knowledge. In Joy Betty and Ljerka Beus-Dukic, ed., In Proceedings of Requirements Engineering Education and Training Workshop (REET), Sydney, Australia, 9 2010. IEEE Computer Society.

Martin Hanysz and Tobias Hoppe and Axel Uhl and Andreas Seibel and Holger Giese and Philipp Berger and Stephan Hildebrandt. Navigating Across Non-Navigable Ecore References via OCL. In Proc. of International Workshop on OCL and Textual Modelling at the 13th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems (MoDELS 2010), Oslo, Norway, 2010.

Thomas Vogel and Andreas Seibel and Holger Giese. Toward Megamodels at Runtime. In Nelly Bencomo and Gordon Blair and Franck Fleurey and Cedric Jeanneret, ed., Proceedings of the 5th International Workshop on Models@run.time at the 13th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems (MoDELS 2010), Oslo, Norway, volume 641 of CEUR Workshop Proceedings, pages 13-24, 10 2010. CEUR-WS.org. (best paper)

Regina Hebig and Andreas Seibel and Holger Giese. On the Unification of Megamodels. In Proceedings of the 4th International Workshop on Multi Paradigm Modeling (MPM'10) at the 13th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems (MoDELS 2010), Oslo, Norway, 10 2010.

Holger Giese and Stefan Neumann and Stephan Hildebrandt. Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent. In Gregor Engels and Claus Lewerentz and Wilhelm Schäfer and Andy Schürr and B. Westfechtel, ed., Graph Transformations and Model Driven Enginering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, volume 5765 of Lecture Notes in Computer Science, pages 555-579, 2010. Springer Berlin / Heidelberg. 10.1007/978-3-642-17322-6_24

Gregor Gabrysiak and Jonathan A. Edelman and Holger Giese and Andreas Seibel. How Tangible can Virtual Prototypes be?. In Proceedings of the 8th Design Thinking Research Symposium, pages 163-174, 10 2010.

Holger Giese and Stephan Hildebrandt and Leen Lambers. Toward Bridging the Gap Between Formal Semantics and Implementation of Triple Graph Grammars. In Proceedings of MoDeVVa 2010, Models Workshop on Model-Driven Engineering, Verification and Validation, Oslo, Norway, 2010.

Sebastian Wätzoldt and Stephan Hildebrandt and Andreas Seibel and Gregor Gabrysiak and Holger Giese. Towards Scalable and Self-Optimizing Software for Multi-Core and Cloud Computing. Technical Report 42, Proceedings of the Fall 2010 Future SOC Lab Day; Universitätsverlag Potsdam, 2010.

Holger Giese and Stephan Hildebrandt and Andreas Seibel. Improved Flexibility and Scalability by Interpreting Story Diagrams. In Tiziana Magaria and Julia Padberg and Gabriele Taentzer, ed., Proceedings of the Eighth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2009), volume 18 2009. Electronic Communications of the EASST.

Stefan Henkler and Joel Greenyer and Martin Hirsch and Wilhelm Schäfer and Kathan Alhawash and Tobias Eckardt and Christian Heinzemann and Renate Löffler and Andreas Seibel and Holger Giese. Synthesis of Timed Behavior From Scenarios in the Fujaba Real-Time Tool Suite. In Proc. of the 31th International Conference on Software Engineering (ICSE), Vancouver, Canada, 5 2009.

Thomas Vogel and Stefan Neumann and Stephan Hildebrandt and Holger Giese and Basil Becker. Model-Driven Architectural Monitoring and Adaptation for Autonomic Systems. In Proceedings of the 6th IEEE/ACM International Conference on Autonomic Computing and Communications (ICAC 2009), Barcelona, Spain, pages 67-68, 6 2009. ACM.

Gregor Gabrysiak and Holger Giese and Andreas Seibel. Interactive Visualization for Elicitation and Validation of Requirements with Scenario-Based Prototyping. In Proceedings of the 4th International Workshop on Requirements Engineering Visualization (REV 2009), Washington, DC, USA, 2009. IEEE Computer Society.

Basil Becker and Holger Giese and Stefan Neumann and Martin Schenck and Arian Treffer. Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration. In Stefan Van Baelen and Thomas Weigert and Ileana Ober and Huascar Espinoza, ed., Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009), volume 507 of CEUR Workshop Proceedings, pages 123-137, 10 2009. CEUR-WS.org.

Holger Giese and Robert Wagner,
From model transformation to incremental bidirectional model synchronization,
Software and Systems Modeling (SoSyM) 8(1), 3 2009,

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

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 .

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.

Holger Giese and Stephan Hildebrandt and Stefan Neumann. Towards Integrating SysML and AUTOSAR Modeling via Bidirectional Model Synchronization. In 5th Workshop on Model-Based Development of Embedded Systems (MBEES), 2009.

Holger Giese and Andreas Seibel and Thomas Vogel. A Model-Driven Configuration Management System for Advanced IT Service Management. In Nelly Bencomo and Gordon Blair and Robert France and Cedric Jeanneret and Freddy Munoz, ed., Proceedings of the 4th International Workshop on Models@run.time at the 12th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems (MoDELS 2009), Denver, Colorado, USA, volume 509 of CEUR Workshop Proceedings, pages 61-70, 10 2009. CEUR-WS.org.

Thomas Vogel and Stefan Neumann and Stephan Hildebrandt and Holger Giese and Basil Becker. Incremental Model Synchronization for Efficient Run-time Monitoring. In Nelly Bencomo and Gordon Blair and Robert France and Cedric Jeanneret and Freddy Munoz, ed., Proceedings of the 4th International Workshop on Models@run.time at the 12th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems (MoDELS 2009), Denver, Colorado, USA, volume 509 of CEUR Workshop Proceedings, pages 1-10, 10 2009. CEUR-WS.org. (best paper)

Holger Giese and Stephan Hildebrandt and Andreas Seibel. Feature Report: Modeling and Interpreting EMF-based Story Diagrams. In Proceedings of the 7th International Fujaba Days, 2009.

Basil Becker and Holger Giese and Stefan Neumann. Correct Dynamic Service-Oriented Architectures: Modeling and Compositional Verification with Dynamic Collaborations. Technical Report 29, Hasso Plattner Institute at the University of Potsdam, 2009.

Holger Giese and Stephan Hildebrandt. Efficient Model Synchronization of Large-Scale Models. Technical Report 28, Hasso Plattner Institute at the University of Potsdam, 2009.

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,

Basil Becker and Holger Giese and Stephan Hildebrandt and Andreas Seibel. Fujaba's Future in the MDA Jungle - Fully Integrating Fujaba and the Eclipse Modeling Framework?. In Proceedings of the 6th International Fujaba Days, 9 2008.

Basil Becker and Holger Giese. On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles. In In Proc. of 11th International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC), pages 203–210, 5 2008. IEEE Computer Society Press.

Basil Becker and Holger Giese. Modeling of Correct Self-Adaptive Systems: A Graph Transformation System Based Approach. In CSTST '08: Proc. 5th Intl. Conference on Soft Computing as Transdisciplinary Science and Technology, pages 508 - 516, 2008. ACM Press.

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,

Semir Osmic and Eckehard Münch and Ansgar Trächtler and Stefan Henkler and Wilhelm Schäfer and Holger Giese and Martin Hirsch. Safe Online-Reconfiguration of Self-Optimzing Mechatronic Systems. In Jürgen Gausemeier and Franz Rammig and Wilhelm Schäfer, ed., Selbstoptimierende mechatronische Systeme: Die Zukunft gestalten. 7. Internationales Heinz Nixdorf Symposium für industrielle Informationstechnik, pages 1-16, 4 2008.

Holger Giese. Reusable Services and Semi-Automatic Service Composition for Automotive Software. In Manfred Broy and Ingolf Krüger, ed., Automotive Software – Model-Driven Development of Reliable Automotive Services. Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers, of Lecture Notes in Computer Science, 2008. Springer Verlag.

Martin Hirsch and Stefan Henkler and Holger Giese. Modeling Collaborations with Dynamic Structural Adaptation in Mechatronic UML. In Proc. of the ICSE 2008 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS''08), Leipzig, Germany, 5 2008. ACM Press.

Cristina Gacek and Holger Giese and Ethan Hadar. Friends or Foes? – A Conceptual Analysis of Self-Adaptation and IT Change Management. In Proc. of the ICSE 2008 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS''08), Leipzig, Germany, 5 2008. ACM Press.

Holger Giese. Dependability, Certification, and the Model-Driven Development of Advanced Software-Intensive Systems: Obstacles, Possibilities, and Challenges. In Michaela Huhn and Hardi Hungar and Doron Peled, ed., Tools for the Model-based Development of Certifiable, Dependable Systems, of Dagstuhl Seminar Proceedings, Dagstuhl, Germany, 2008. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany.

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,

Holger Giese (ed.), Models in Software Engineering: Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers, vol. 5002 of Lecture Notes in Computer Science. Springer, 1 edition, 8 2008

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.

Holger Giese and Stephan Hildebrandt. Incremental Model Synchronization for Multiple Updates. In Proceedings of the 3rd International Workshop on Graph and Model Transformations, May 12, 2008, Leipzig, Germany, 2008. ACM Press.

Basil Becker and Holger Giese. Incremental Verification of Inductive Invariants for the Run-Time Evolution of Self-Adaptive Software-Intensive Systems. In Proc. 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops, pages 33-40, 2008. IEEE Computer Society Press.

Christian Brenner and Holger Giese and Stefan Henkler and Martin Hirsch and Claudia Priesterjahn. Integration of Legacy Components in Mechatronic UML Architectures. In Uwe Assmann and Jendrik Johannes and Albert Zündorf, ed., Proc. of the 6th International Fujaba Days 2008, Dresden, Germany, pages 52–55, , 9 2008.

Betty H.C. Cheng and Holger Giese and Paola Inverardi and Jeff Magee and Rogerio de Lemos and Jesper Andersson and Basil Becker and Nelly Bencomo and Yuriy Brun and Bojan Cukic and Giovanna Di Marzo Serugendo and Schahram Dustdar and Anthony Finkelstein and Cristina Gacek and Kurt Geihs and Vincenzo Grassi and Gabor Karsai and Holger Kienle and Jeff Kramer and Marin Litoiu and Sam Malek and Raffaela Mirandola and Hausi Muller and Sooyong Park and Mary Shaw and Matthias Tichy and Massimo Tivoli and Danny Weyns and Jon Whittle. 08031 – Software Engineering for Self-Adaptive Systems: A Research Road Map. In Betty H.C. Cheng and Rogerio de Lemos and Holger Giese and Paola Inverardi and Jeff Magee, ed., Software Engineering for Self-Adaptive Systems, of Dagstuhl Seminar Proceedings, Dagstuhl, Germany, 2008. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany.

Stefan Henkler and Andreas Seibel and Holger Giese. Synthesis of Real-Time Component Behavior. Technical Report tr-ri-08-296, Computer Science Department, University of Paderborn, 12 2008.

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.

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.

Sven Burmester and Holger Giese and Stefan Henkler and Martin Hirsch and Matthias Tichy and Vadim Boiko and Alfonso Gambuzza and Eckehard Münch and Henner Vöcking. Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View. In Proc. of the 29th International Conference on Software Engineering (ICSE), Minneapolis, Minnesota, USA, pages 801–804, 5 2007. IEEE Computer Society Press.

Ursula Frank and Holger Giese and Thomas Müller and Simon Oberthür and Christoph Romaus and Matthias Tichy and Henner Vöcking. Potenziale und Risiken der Selbstoptimierung für die Verlässlichkeit mechatronischer Systeme. In Proc. of the Fifth Paderborner Workshop Entwurf mechatronischer Systeme, 3 2007. HNI-Verlagsschriftenreihe.

Holger Giese and Tihamer Levendovszky and Hans Vangheluwe. Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools. In Models in Software Engineering: Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers, volume 4364 of Lecture Notes in Computer Science, 2007. Springer Verlag.

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

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

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.

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.

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,

Jürgen Gausemeier and Holger Giese and Wilhelm Schäfer and Björn Axenath and Ursula Frank and Stefan Henkler and Sebastian Pook and Matthias Tichy. Towards the Design of Self-Optimizing Mechatronic Systems: Consistency between Domain-Spanning and Domain-Specific Models. In Proc. of the 16th International Conference on Engineering Design (ICED), Paris, France, 8 2007.

Holger Giese and Stefan Henkler and Martin Hirsch and Florian Klein and Michael Spijkerman. Monitoring of Structural and Temporal Properties. In Leif Geiger and Holger Giese and Albert Zündorf, ed., Proc. of the 5th International Fujaba Days 2007, Kassel, Germany, pages 1-4, 9 2007.

Holger Giese and Stefan Henkler and Martin Hirsch and Claudia Priesterjahn. Model-Based Testing of Mechatronic Systems. In Leif Geiger and Holger Giese and Albert Zündorf, ed., Proc. of the 5th International Fujaba Days 2007, Kassel, Germany, pages 1-4, 9 2007.

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,

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,

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.

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.

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.

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.

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.

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.

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.

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.

Holger Giese and N. Montealegre and T. Müller and S. Oberthür and B. Schulz. Acute stress response for self-optimizing mechatronic systems. In Proc. of the IFIP Conference on Biologically Inspired Cooperative Computing (BICC 2006), Santiago, Chile, August 20-25, 2006, 8 2006. Springer Science and Business Media.

Holger Giese and Stefan Henkler. Architecture-Driven Platform Independent Deterministic Replay for Distributed Hard Real-Time Systems. In Proceedings of the 2nd International Workshop on The Role of Software Architecture for Testing and Analysis (ROSATEA2006), pages 28–38, New York, NY, USA, 7 2006. ACM Press.

Holger Giese and Stefan Henkler and Martin Hirsch and Florian Klein. Nobody's perfect: Interactive Synthesis from Parametrized Real-Time Scenarios. In Proc. of the 5^th ICSE 2006 Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'06),Shanghai, China, pages 67-74, 5 2006. ACM Press.

Holger Giese and Stefan Henkler and Martin Hirsch. Analysis and Modeling of Real-Time with Mechatronic UML taking Clock Drift into Account. In Sébastien Gérard and S. Graf and \O. Haugen and I. Ober and B. Selic, ed., Proc. of the International Workshop on Modeling and Analysis of Real-Time and Embedded Systems (MARTES), Satellite Event of the 9th International Conference on Model Driven Engineering Languages and Systems, MoDELS/UML2006, Genova, Italy, volume 343 of Research Report, pages 41-60, University of Oslo, 2006.

Holger Giese and Matthias Meyer and Robert Wagner. A Prototype for Guideline Checking and Model Transformation in Matlab/Simulink. In Holger Giese and Bernhard Westfechtel, ed., Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany, volume tr-ri-06-275 of Technical Report, pages 56–60, 2006. University of Paderborn.

Holger Giese and Florian Klein. Beyond Story Patterns: Story Decision Diagrams. In Holger Giese and Bernhard Westfechtel, ed., Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany, volume tr-ri-06-275 of Technical Report, pages 2–9, 2006. University of Paderborn.

Holger Giese and Florian Klein. Visual Specification of Structural and Temporal Properties. In Holger Giese and Bernhard Westfechtel, ed., Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany, volume tr-ri-06-275 of Technical Report, pages 23–30, 2006. University of Paderborn.

Matthias Tichy and Holger Giese and Andreas Seibel. Story Diagrams in Real-Time Software. In Holger Giese and Bernhard Westfechtel, ed., Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany, volume tr-ri-06-275 of Technical Report, pages 15–22, 9 2006. University of Paderborn.

Holger Giese and Stefan Henkler and Martin Hirsch and Matthias Tichy and Henner Vöcking. Modellbasierte Entwicklung vernetzter, mechatronischer Systeme am Beispiel der Konvoifahrt autonom agierender Schienenfahrzeuge. In Proc. of the Fourth Paderborner Workshop Entwurf mechatronischer Systeme, volume 189 of HNI-Verlagsschriftenreihe, pages 457-473, 2006.

Holger Giese and Stefan Henkler and Martin Hirsch. A PlugIn for the Development of Resource Aware Components with Mechatronic UML. In Holger Giese and Bernhard Westfechtel, ed., Proc. of the fourth International Fujaba Days 2006, Bayreuth, Germany, volume tr-ri-06-275 of Technical Report, pages 51–55, 2006. University of Paderborn.

Florian Klein and Holger Giese. Integrated Visual Specification of Structural and Temporal Properties. Technical Report tr-ri-06-277, Computer Science Department, University of Paderborn, 2006.

Holger Giese and Florian Klein. Visual Specification of Structural and Temporal Properties. Technical Report tr-ri-06-276, Computer Science Department, University of Paderborn, 2006.

Holger Giese and Bernhard Rumpe and Bernhard Schätz, (ed.). Proc. of the 2nd Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES). number 2006-1 in Informatik-Bericht, Schloss Dagstuhl, Germany, 1 2006. TU Braunschweig,

Holger Giese and Bernhard Westfechtel, (ed.). Proc. of the Fourth International Fujaba Days 2006. volume tr-ri-06-275 of 9 2006.

Ricardo Choren and Alessandro Garcia and Holger Giese and Ho-fung Leung and Carlos Lucena and Alexander Romanovsky, (ed.). Software engineering for large-scale multi-agent systems - SELMAS'05. New York, NY, USA, 2006. ACM Press.

Holger Giese and Oliver Niggemann, (ed.). Postworkshop Proceedings of the Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 3), Heinz Nixdorf MuseumsForum, Paderborn, Germany. October 13 and 14, 2005. number 191 in HNI-Verlagsschriftenreihe, Paderborn, Germany, 2006. Heinz Nixdorf Institut, Universität Paderborn.

Basil Becker and Dirk Beyer and Holger Giese and Florian Klein and Daniela Schilling. Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation. In Proc. of the 28^th International Conference on Software Engineering (ICSE), Shanghai, China, 2006. ACM Press.

Holger Giese and Sabine Glesner and Johannes Leitner and Wilhelm Schäfer and Robert Wagner. Towards Verified Model to Code Transformations. In Proc. of the 3rd Workshop on Model design and Validation (MoDeV2a'06): Perspectives on Integrating MDA and V&V, ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, Genua, Italien, 10 2006. ACM/IEEE,

Stefan Henkler and Martin Hirsch. A Multi-Paradigm Modeling Approach for Reconfigurable Mechatronic Systems. In Holger Giese and Tihamer Levendovszky, ed., Proc.~of the International Workshop on Multi-Paradigm Modeling: Concepts and Tools (MPM06), Satellite Event of the the 9th International Conference on Model-Driven Engineering Languages and Systems MoDELS/UML2006, Genova, Italy, volume 2006/1 of BME-DAAI Technical Report Series, pages 15-25, Budapest University of Technology and Economics, 2006.

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.

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.

Sven Burmester and Holger Giese and Martin Hirsch and Daniela Schilling and Matthias Tichy. The Fujaba Real-Time Tool Suite: Model-Driven Development of Safety-Critical, Real-Time Systems. In Proc. of the 27th International Conference on Software Engineering (ICSE), St. Louis, Missouri, USA, pages 670-671, 5 2005. ACM Press.

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.

Sven Burmester and Holger Giese and Stefan Henkler. Visual Model-Driven Development of Software Intensive Systems: A Survey of available Techniques and Tools. In Proc. of the Workshop on Visual Modeling for Software Intensive Systems (VMSIS) at the the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05), Dallas, Texas, USA, pages 11-18, 9 2005.

Matthias Tichy and Holger Giese. Extending Fault Tolerance Patterns by Visual Degradation Rules. In Proc. of the Workshop on Visual Modeling for Software Intensive Systems (VMSIS) at the the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05), Dallas, Texas, USA, pages 67-74, 9 2005.

Matthias Tichy and Holger Giese and Daniela Schilling and Wladimir Pauls. Computing Optimal Self-Repair Actions: Damage Minimization versus Repair Time. In Rogério de Lemos and Alexander Romanovsky, ed., Proc. of the ICSE 2005 Workshop on Architecting Dependable Systems, St. Louis, Missouri, USA, pages 1–6, 2005. ACM Press.

Holger Giese and Ekkart Kindler and Florian Klein and Robert Wagner. Reconciling Scenario-Centered Controller Design with State-Based System Models. In Yves Bontemps and Alexander Egyed, ed., Proc. of the 4th Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (in Conjunction with the International Conference on Software Engineering), St. Louis, MO, USA, pages 1–5, 2005. ACM Press.

Florian Klein and Holger Giese. Analysis and Design of Physical and Social Contexts in MultiAgent Systems using UML. In Ricardo Choren and Alessandro Garcia and Carlos Lucena and Alexander Romanovsky and Tom Holvoet and Paolo Giorgini, ed., Proc. of the 4th Workshop on Software Engineering for Large-Scale Multi-Agent Systems (in Conjunction with the International Conference on Software Engineering), St. Louis, MO, USA, pages 1–7, 5 2005. ACM Press.

Holger Giese and Martin Hirsch. Modular Verificaton of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML. In Proc. of the International Workshop on Modeling and Analysis of Real-Time and Embedded Systems (MARTES), Satellite Event of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS/UML2005, pages 7-26, 10 2005.

Holger Giese and Robert Traussnig. Self-Optimizing Mechatronic Systems and Safety Standards: Challenges and Limits. In 5.~Bieleschweig Workshop: Systems Engineering: Erfahrungen mit IEC 61508, TU München, Fakultät für Maschinenwesen, Garching bei München, 2005.

Basil Becker and Holger Giese and Daniela Schilling. A Plugin for Checking Inductive Invariants when Modeling with Class Diagrams and Story Patterns. In Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, pages 1-4, 9 2005.

Sven Burmester and Holger Giese and Andreas Seibel and Matthias Tichy. Worst-Case Execution Time Optimization of Story Patterns for Hard Real-Time Systems. In Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, pages 71-78, 9 2005.

Holger Giese and Sergej Tissen. The SceBaSy PlugIn for the Scenario-Based Synthesis of Real-Time Coordination Patterns for Mechatronic UML. In Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, pages 67-70, 2005.

Sven Burmester and Holger Giese. Visual Integration of UML 2.0 and Block Diagrams for Flexible Reconfiguration in Mechatronic UML. In Proc. of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05), Dallas, Texas, USA, pages 109-116, 9 2005. IEEE Computer Society Press.

Jürgen Gausemeier and Ursula Frank and Holger Giese and Florian Klein and Andreas Schmidt and Daniel Steffen and Matthias Tichy. A Design Methodology for Self-Optimizing Systems. In Gesamtzentrum für Verkehr Braunschweig e.V., ed., Contributions to the 6th Braunschweig conference of Automation, Assistance and Embedded Real Time Platforms for Transportation - Air-planes, Vehicles, Trains - (AAET2005), volume II pages 456–479, 2 2005. GZVB.

Holger Giese and Ingolf Krüger. A summary of the ICSE 2004 workshop on scenarios and state machines: models, algorithms, and tools. In volume 30 pages 2, 2005. ACM Press.

Holger Giese. Towards the Model-Driven Development of Self-Optimizing Mechatronic Systems. In Torsten Kleín and Bernhard Rumpe and Bernhard Schätz, ed., Proc. of the Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), 10.-14.9.2005, Schloss Dagstuhl, Germany, pages 11-22, 2005. Technical Report TUBS-SSE-2005-01, TU Braunschweig, Germany

Holger Giese and Pascal Roques and Timothy C. Lethbridge. Summary of the Educator's Symposium. In MoDELS'05 Satellite event proceedings, volume 3844 of Lecture Notes in Computer Science (LNCS), 2005. Springer Verlag.

Sven Burmester and Holger Giese and Martin Hirsch. Syntax and Semantics of Hybrid Components. Technical Report tr-ri-05-264, University of Paderborn, Paderborn, Germany, 10 2005.

Holger Giese and Martin Hirsch. Checking and Automatic Abstraction for Timed and Hybrid Refinement in Mechtronic UML. Technical Report tr-ri-03-266, University of Paderborn, Paderborn, Germany, 2005.

Holger Giese and Alexander Vilbig. Separation of Non-Orthogonal Concerns in Software Architecture and Design. Technical Report tr-ri-05-254, Lehrstuhl f, Paderborn, Deutschland, 1 2005. (Version 2)

Holger Giese and Oliver Niggemann, (ed.). Preliminary Proceedings of the Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 3), Heinz Nixdorf MuseumsForum, Paderborn, Germany. October 13 and 14, 2005. number tr-ri-05-261 in Technical Report, Department of Computer Science, University of Paderborn, Paderborn, Germany, 10 2005.

Holger Giese and Pascal Roques, (ed.). Proceedings of the Educators' Symposium of the ACM / IEEE 8th International Conference on Model Driven Engineering Languages and Systems, Half Moon Resort, Montego Bay, Jamaica. October 3, 2005. number tr-ri-05-260 in Technical Report, Department of Computer Science, University of Paderborn, Paderborn, Germany, 10 2005.

Holger Giese and Albert Zündorf, (ed.). Proc. of the Third International Fujaba Days 2005. volume tr-ri-05-259 of 9 2005.

Holger Giese and Sven Burmester and Matthias Tichy. Evaluation von Modellierungswerkzeugen für Echtzeitsysteme. Technical Report tr-ri-05-258, University of Paderborn, 7 2005.

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.

Sven Burmester and Holger Giese and Matthias Tichy. Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML. In Uwe Assmann and Arend Rensink and Mehmet Aksit, ed., Model Driven Architecture: Foundations and Applications, volume 3599 of Lecture Notes in Computer Science (LNCS), pages 47-61, 8 2005. Springer Verlag.

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,

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.

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.

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.

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.

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.

Sven Burmester and Holger Giese and Alfonso Gambuzza and Oliver Oberschelp. Partitioning and Modular Code Synthesis for Reconfigurable Mechatronic Software Components. In C. Bobeanu, ed., Proc. of European Simulation and Modelling Conference (ESMc'2004), Paris, France, pages 66-73, 10 2004. EOROSIS Publications.

Sven Burmester and Holger Giese and Oliver Oberschelp. Hybrid UML Components for the Design of Complex 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 222-229, 8 2004. INSTICC Press.

Wilhelm Dangelmaier and Holger Giese and Florian Klein and Hendrik Renken and Peter Scheideler. Shared Experiences In Intelligent Transportation Systems. In M. Ribeiro and J. Santos-Victor, ed., Proc. of the IAV 2004 - The 5th Symposium on Intelligent Autonomous Vehicles, Lisbon, Portugal, pages 231–236, 7 2004. Elsevier Science.

Sven Burmester and Holger Giese and Martin Hirsch and Daniela Schilling. Incremental Design and Formal Verification with UML/RT in the FUJABA Real-Time Tool Suite. In Proc. of the International Workshop on Specification and Validation of UML Models for Real Time and Embedded Systems, SVERTS2004, Satellite Event of the 7th International Conference on the Unified Modeling Language, UML2004, pages 1-20, 10 2004.

Matthias Tichy and Basil Becker and Holger Giese. Component Templates for Dependable Real-Time Systems. In Andy Schürr and Albert Zündorf, ed., Proceedings of the 2nd International Fujaba Days 2004, Darmstadt, Germany, volume tr-ri-04-253 of Technical Report, pages 27-30, 9 2004. University of Paderborn.

Sven Burmester and Matthias Tichy and Holger Giese. Modeling Reconfigurable Mechatronic Systems with Mechatronic UML. In U. Aßmann, ed., Proc. of Model Driven Architecture: Foundations and Applications (MDAFA 2004), Linköping, Sweden, pages 155-169, 6 2004.

Oliver Oberschelp and Thorsten Hestermeyer and Holger Giese. Strukturierte Informationsverarbeitung für selbstoptimierende mechatronische Systeme. In Proc. of the Second Paderborner Workshop Intelligente Mechatronische Systeme, volume 145 of HNI-Verlagsschriftenreihe, pages 43-56, Paderborn, Germany, 2004.

Florian Klein and Holger Giese. Advanced separation of concerns for mechatronic multi-agent systems through dynamic communities. In Ricardo Choren and al, ed., Proc. of the 3rd Workshop on Software Engineering for Large-Scale Multi-Agent Systems (in Conjunction with the International Conference on Software Engineering), Edinburgh, Scotland, pages 112–119, 5 2004. IEE.

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

Sven Burmester and Holger Giese and Florian Klein. Design and Simulation of Self-Optimizing Mechatronic Systems with Fujaba and CAMeL. In Andy Schürr and Albert Zündorf, ed., Proc. of the 2nd International Fujaba Days 2004, Darmstadt, Germany, volume tr-ri-04-253 of Technical Report, pages 19-22, 9 2004. University of Paderborn.

Matthias Tichy and Daniela Schilling and Holger Giese. Design of Self-Managing Dependable Systems with UML and Fault Tolerance Patterns. In Proc. of the Workshop on Self-Managed Systems (WOSS) 2004, FSE 2004 Workshop, Newport Beach, USA, 10 2004.

Holger Giese and Ingolf Krüger. Third Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM'04). In Proc. of the 26th International Conference on Software Engineering, pages 756–757, 2004. IEEE Computer Society Press.

Florian Klein and Holger Giese. Ontologiebasiertes Rapid Prototyping für kognitive Multiagentensysteme. In Modellierung 2004 - Praktischer Einsatz von Modellen, Workshop W4: Ontologien in der und für die Softwaretechnik, pages 33–42, 3 2004. Conradin Verlag, Marburg.

Oliver Oberschelp and Alfonso Gambuzza and Sven Burmester and Holger Giese. Modular Generation and Simulation of Mechatronic Systems. In N. Callaos and W. Lesso and B. Sanchez, ed., Proc. of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI), Orlando, USA, pages 1-6, 7 2004. International Institute of Informatics and Systemics (IIIS).

Holger Giese and Sven Burmester. Analysis and Synthesis for Parameterized Timed Sequence Diagrams. In Holger Giese and Ingolf Krüger, ed., Proc. of the 3rd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (ICSE 2003 Workshop W5S), Edinburgh, Scotland, pages 43-50, 5 2004. IEEE.

Sven Burmester and Holger Giese and Oliver Oberschelp. Hybrid UML Components for the Correct Design of Self-optimizing Mechatronic Systems. Technical Report tr-ri-03-246, University of Paderborn, Paderborn, Germany, 2004.

Holger Giese and Daniela Schilling. Towards the Automatic Verification of Inductive Invariants for Infinite State UML Models. Technical Report tr-ri-04-252, University of Paderborn, Paderborn, Germany, 12 2004.

Holger Giese and Ingolf Krüger, (ed.). Proc. of the Third Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM04). Edinburgh, Scotland, 6 2004. IEE. Workshop W5S of the 26th International Conference on Software Engineering

Holger Giese and Andy Schürr and Albert Zündorf, (ed.). Proc. of the Second International Fujaba Days 2004. volume tr-ri-04-253 of 9 2004.

Holger Giese,
Procedure for the design and/or operation of composable components (TYCS), Patent DE 100 65 286 B4 2004.12.09, , 12 2004.

Matthias Tichy and Holger Giese. Seamless UML Support for Service-based Software Architectures. In Nicolas Guelfi and E. Artesiano and G. Reggio, ed., Proc. of the International Workshop on scientiFic engIneering of Distributed Java applIcations (FIDJI) 2003, Luxembourg, volume 2952 of Lecture Notes in Computer Science (LNCS), pages 128–138, 11 2003. Springer Verlag.

Robert Wagner and Holger Giese and Ulrich Nickel. A Plug-In for Flexible and Incremental Consistency Management. In Proc. of the International Conference on the Unified Modeling Language 2003 (Workshop 7: Consistency Problems in UML-based Software Development), San Francisco, USA, of Technical Report, 10 2003. Blekinge Institute of Technology, San Francisco.

Holger Giese and Sven Burmester and Florian Klein and Daniela Schilling and Matthias Tichy. Multi-Agent System Design for Safety-Critical Self-Optimizing Mechatronic Systems with UML. In Brian Henderson-Sellers and J Debenham, ed., OOPSLA 2003 - Second International Workshop on Agent-Oriented Methodologies, pages 21–32, Anaheim, CA, USA, Center for Object Technology Applications and Research (COTAR), University of Technology, Sydney, Australia, 10 2003.

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. In Proc. of the Workshop on Tool-Integration in System Development (TIS), Helsinki, Finland, Satellite Event of the joint Conferences ESEC/FSE 2003, pages 51-56, 9 2003.

Holger Giese. Towards Scenario-Based Synthesis for Parametric Timed Automata. In Proc. of the 2nd International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM, ICSE 2003 Workshop 8), Portland, USA, 5 2003.

Martin Hirsch and Holger Giese. Towards the Incremental Model Checking of Complex RealTime UML Models. In Holger Giese and Albert Zündorf, ed., Proc. of the first International Fujaba Days 2003, Kassel, Germany, volume tr-ri-04-247 of Technical Report, pages 9–12, 10 2003. University of Paderborn.

Sven Burmester and Holger Giese. The Fujaba Real-Time Statechart PlugIn. In Holger Giese and Albert Zündorf, ed., Proc. of the first International Fujaba Days 2003, Kassel, Germany, volume tr-ri-04-247 of Technical Report, pages 1-8, 10 2003. University of Paderborn.

Sven Burmester and Holger Giese and Wilhelm Schäfer. Code Generation for Hard Real-time Systems from Real-time Statecharts. Technical Report tr-ri-03-244, University of Paderborn, Paderborn, Germany, 10 2003.

Holger Giese and D. Schilling and Matthias Tichy and Sven Burmester and Wilhelm Schäfer and S. Flake. Towards the Compositional Verification of Real-Time UML Designs. Technical Report tr-ri-03-241, Lehrstuhl für Softwaretechnik, Universität Paderborn, Paderborn, Deutschland, 7 2003.

Holger Giese. A Formal Calculus for the Compositional Pattern-Based Design of Correct Real-Time Systems.. Technical Report tr-ri-03-240, Lehrstuhl für Softwaretechnik, Universität Paderborn, Paderborn, Deutschland, 7 2003.

Holger Giese and Sven Burmester. Real-Time Statechart Semantics. Technical Report tr-ri-03-239, Lehrstuhl für Softwaretechnik, Universität Paderborn, Paderborn, Germany, 6 2003.

Matthias Gehrke and Holger Giese and Ekkart Kindler and Jörg Niere and Wilhelm Schäfer and Jörg P. Wadsack and Robert Wagner and Lothar Wendehals. Software Engineering Education: The Synergy of Combined Research and Teaching. Technical Report tr-ri-03-237, University of Paderborn, Paderborn, Germany, 1 2003.

Holger Giese and Albert Zündorf, (ed.). Proc. of the First International Fujaba Days 2003. volume tr-ri-04-247 of 10 2003.

Matthias Tichy and Holger Giese. An Architecture for Configurable Dependability of Application Services. In Rogério de Lemos and Cristina Gacek and Alexander Romanovsky, ed., Proc. of the Workshop on Software Architectures for Dependable Systems (WADS) (International Conference on Software Engineering 2003 Workshop 7), Portland, USA, 5 2003.

Holger Giese and Matthias Tichy and Sven Burmester and Stephan Flake. Towards the compositional verification of real-time UML designs. In ESEC/FSE-11: Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering, pages 38–47, New York, NY, USA, 9 2003. ACM Press.

Holger Giese and Alexander Vilbig. Separation of Non-Orthogonal Concerns in Software Architecture and Design. Technical Report tr-ri-03-238, Universität Paderborn, Paderborn, Germany, 2 2003.

Matthias Gehrke and Holger Giese and Ulrich A. Nickel and Jörg Niere and Matthias Tichy and Jörg P. Wadsack and Albert Zündorf. Reporting about Industrial Strength Software Engineering Courses for Undergraduates. In Proc. of the 24^th International Conference on Software Engineering (ICSE), Orlando, Florida, USA, pages 395-405, 2002. ACM Press.

Holger Giese and Ulrich A. Nickel. Towards Service-Based Flexible Production Control Systems and their Modular Modeling and Simulation. In OMER - Object-oriented Modeling of Embedded Real-Time Systems, volume P5 of Lecture Notes in Informatics (LNI), 2002. Gesellschaft für Informatik.

Holger Giese and Martin Kardos and Ulrich A. Nickel. Integrating Verification in a Design Process for Distributed Production Control Systems. In Proc. of Second International Workshop on Integration of Specification Techniques for Applications in Engineering (INT2002), Grenoble, France, 4 2002.

Holger Giese and Martin Kardos and Ulrich A. Nickel. Towards Design Verification and Validation at Multiple Levels of Abstraction. In Proc. of IFIP World Computer Congress, Stream 7 on Distributed and Parallel Embedded Systems (DIPES2002), Montreal, Canada., 8 2002. Kluwer Academic Publishers.

Jörg P. Wadsack and Jörg Niere and Holger Giese and Jens H. Jahnke. Towards Data Dependency Detection in Web Information Systems. In Proc. of the Database Maintenance and Reengineering Workshop (DBMR'2002), Montreal, Canada. (ICSM 2002 Workshop), 10 2002.

Holger Giese and Guido Wirtz,
The OCoN Approach for Object-Oriented Distributed Software Systems Modeling,
Computer Systems Science & Engineering 16(3):157-172, 2001,

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,

Holger Giese and Guido Wirtz,
Visual Modeling of Object-oriented Distributed Systems,
Journal of Visual Languages and Computing 12(2):183-202, 2001,

Holger Giese. Towards Ruling Component-Based Distributed Systems with Role-Based Modeling and Cross-Cutting Aspects. In Peri Tarr and Harold Ossher, ed., Workshop on Advanced Separation of Concerns in Software Engineering at ICSE 2001, Toronto, Ontario, Canada, 5 2001.

Holger Giese. Agent-Oriented Modelling of Distributed Systems with the Object Coordination Net Approach. In Daniel Moldt, ed., Workshop on Modelling of Objects, Components, and Agents (MOCA'01), 27-28 August 2001, Aarhus, Denmark, of Techreport University of Aarhus, DAIMI-PB-553, 8 2001.

Holger Giese and Ulirch A. Nickel. Towards Modular Modeling and Simulation of Production Control Systems. In Andy Schürr, ed., Proc. of the Workshop on object-oriented modeling of embedded real-time systems (OMER-2), 2001. Techreport 2001-03, Universität der Bundeswehr München

Matthias Gehrke and Holger Giese and Matthias Tichy. A Jini-supported Distributed Version and Configuration Management System. In Proc. of the International Symposium on Convergence of IT and communications (ITCom2001), Denver, USA, volume 4521 pages 7-15, 8 2001. International Society for Optical Engineering.

Holger Giese and Jörg P. Wadsack. Reengineering for Evolution of Distributed Information Systems. In Scott Tilley, ed., Proc. of the 3^rd International Workshop on Net-Centric Computing: Migrating to the Web (NCC 2001), Toronto, Canada. (ICSE 2001 Workshop 10), 2001.

Holger Giese and Stephan Philippi,
Visuelle Verhaltensmodellierung verteilter und nebenläufiger Systeme, Bericht vom 8. GROOM-Workshop,
GI Softwaretechnik-Trends 21(1), 2001, (German)

Holger Giese, Object-Oriented Design and Architecture of Distributed Systems, of Berichte aus der Informatik. Shaker Verlag, 2001

Holger Giese. Separation of Concerns and Roles in the Object Coordination Nets Approach. In K. Mehner and M. Mezini and E. Pulvermüller and A. Speck, ed., Workshop Aspektorientierung der GI-Fachgrupppe 2.1.9 Objektorientiere Software-Entwicklung 3.- 4. Mai 2001, Paderborn, Germany, of Reihe Informatik, Fachbereich Mathematik-Informatik, Universit, 2001.

Holger Giese and Ulrich A. Nickel. Towards Modular Modelling and Simulation of Production Control Systems. In In Proc. of the 2^nd Workshop on Object-Oriented Modeling of Embedded Realtime Software (OMER 2) Workshop Proceedings, Ammersee, M, 2001.

Holger Giese,
Object-Oriented Design and Architecture of Distributed Systems,
Westfälische Wilhelms-Universität Münster, Fachbereich Mathematik und Informatik, 22001,

Holger Giese. Object Coordination Nets 3.0: Reference Guide. Technical Report 1/01-I, University Münster, 2 2001.

Holger Giese. Object Coordination Nets 3.0: Synchronization Behavior Typing for Contracts. Technical Report 2/01-I, University Münster, Computer Science, Distributed Systems Group, 2 2001.

Holger Giese. Object Coordination Nets 3.0: Semantics Specification. Technical Report 3/01-I, University Münster, Computer Science, Distributed Systems Group, 2 2001.

Holger Giese. Typed Component Systems, Version 1.0. Technical Report Bericht tr-ri-01-224 Reihe Informatik, Fachbereich Mathematik-Informatik, Universität Paderborn, 2001.

Matthias Gehrke and Holger Giese and K. Mehner and Ulrich A. Nickel and Jörg Niere and Jörg P. Wadsack and Albert Zündorf,
Note On Professionalism, Eh!,
ACM SIGSOFT Software Engineering Notes, Vol 26 (4), page 50, 2001.

Matthias Gehrke and Holger Giese and K. Mehner and Ulrich A. Nickel and Jörg Niere and Jörg P. Wadsack and Albert Zündorf,
Note On Professionalism, Eh!, , 2001.

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.

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.

Holger Giese. Contract-based Component System Design. In Jr. Ralph H. Sprague, ed., Thirty-Third Annual Hawaii International Conference on System Sciences (HICSS-33), Maui, Hawaii, USA, 1 2000. IEEE Press.

Guido Wirtz and Holger Giese. Using UML and Object-Coordination-Nets for Workflow Specification. In IEEE International Conference on Systems, Man, and Cybernetics (SMC'2000), volume 5 pages 3159-3164, 2000. IEEE Press.

Holger Giese and Alexander Vilbig. Towards Aspect-oriented Design and Architecture. In Peri Tarr and Lodewijk Bergmans and Martin Griss and Harold Ossher, ed., Workshop on Advanced Separation of Concerns held at the 15th Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications October 15-19, 2000, Minneapolis, Minnesota, USA, 2000.

Holger Giese and Guido Wirtz. The OCoN Approach for Object-Oriented Distributed Software Systems Modeling. In Software Engineering and Petri Nets, Workshop within the 21st International Conference on Application and Theory of Petri Nets, Aarhus, Denmark, June 26, 2000.

Holger Giese and Guido Wirtz. Visual Modeling of Object-oriented Distributed Systems. In Workshop Visual Methods for Parallel and Distributed Programming at the IEEE International Symposium on Visual Languages (VL'2000), Seattle, WA, USA, September 14, 2000.

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)

Guido Wirtz and Holger Giese. Skalierbare Beschreibung des Verhaltens verteilter Softwaresysteme. In Proc. des 10. GI/ITG-Fachgesprächs Formale Beschreibungstechniken, GI-FG Kommunikation und verteilte Systeme, Luebeck, 22.-23.06, 6 2000. Gesellschaft für Informatik. (German)

Holger Giese. Synchronization Behavior Typing for Contracts in Component-based Systems. University Münster, Computer Science, Distributed Systems Group, 2 2000.

Holger Giese and Jörg Graf, (ed.). Objektorientierte Modellierung verteilter Systeme. Modellierungsbeispiele aus dem gleichnamigen Seminar an der Westfälische Wilhelms-Univeristät im Wintersemester 1999/2000. 3 2000. University Münster, Computer Science, Distributed Systems Group, Techreport 04/00-I (German)

Holger Giese and Stephan Philippi, (ed.). Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, 8. Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung, 13.-14. November 2000, Universität Münster. 11 2000. Techreport 24/00-I

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.

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.

Holger Giese and Jörg Graf and Guido Wirtz. Contract-based Coordination of Distributed Object Systems. In H. R. Arabnia, ed., Proc. Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA'99), Las Vegas, Nevada, 7 1999. CSREA Press.

Holger Giese and Jörg Graf and Guido Wirtz. Verhaltensmodellierung eingebetteter Systeme mit dem OCoN-Ansatz. In Peter Hofmann and Andy Schürr, ed., OMER - Objektorientierte Modellierung eingebetteter Realzeitsysteme, Workshop des Arbeitskreises GROOM der GI-Fachgruppe 2.1.9 OOSE, 28./29. Mai 1999 Herrsching am Ammersee, GERMANY, 1999. Techreport 1999-01, Universität der Bundeswehr München

Holger Giese. Towards a Dynamic Model for the UML. In Robert France and Jean-Michel Bruel and Brian Henderson-Sellers and Ana Moreira and Bernhard Rumpe, ed., 14th Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications November 1-5, 1999, Denver, Colorado, USA. Workshop: Rigorous Modeling and Analysis with the UML: Challenges and Limitations, 11 1999.

Holger Giese and Jörg Graf and Guido Wirtz. Seamless Visual Object-Oriented Behavior Modeling for Distributed Software Systems. University Münster, Computer Science, 3 1999. 04/99-I

Holger Giese. Behavior Specification for Contract based Distributed Object Systems. University Münster, 3 1999. 05/99-I

Holger Giese. Object Coordination Nets 2.0 – Semantics Specification. University Münster, Computer Science, 1999. 15/99-I

Holger Giese and Jörg Graf and Guido Wirtz. Closing the Gap Between Object-Oriented Modeling of Structure and Behavior. University Münster, 1999. 16/99-I

Holger Giese. Contract-based Component System Design. University Münster, 1 1999. 23/99-I (published Jan/2000)

Guido Wirtz and Holger Giese and Jörg Graf. A Real Object-Oriented Visual Design Language for Distributed Software Systems. University Münster, Computer Science, 3 1999. 06/99-I

Holger Giese and Jörg Graf and Guido Wirtz. Modeling Distributed Software Systems with Object Coordination Nets. In Bernd Krämer and Naoshi Uchihira and Peter Croll and Stefano Russo, ed., Int. Symposium on Software Engineering for Parallel and Distributed Systems (PDSE'98), Kyoto, Japan, pages 107-116, 7 1998. IEEE Press.

Guido Wirtz and Jörg Graf and Holger Giese. Ruling the Behavior of Distributed Software Components. In H. R. Arabnia, ed., Proc. Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA'97), Las Vegas, Nevada, 7 1997. CSREA Press.

Holger Giese and Guido Wirtz. Modular Development of Correct Meander Programs. In H. R. Arabnia, ed., Proc. Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA'97), Las Vegas, Nevada, 7 1997. CSREA Press.

Holger Giese and Jörg Graf and Guido Wirtz. Object Coordination Nets – A Formalism to Describe Parallel and Distributed Methods. Universiy Münster, Computer Science, Distributed Systems Group, 6 1997. TR-97-01

Holger Giese. Modularisierung und Abstraktion in Meander. Mastersthesis, Universität-Gesamthochschule Siegen, Technische Informatik, 10 1995. (German)

Holger Giese and P. Böckmann and G. Wirtz. Realisierung eines dynamischen CSP Programmiermodells fur ANSI-C unter Helios. In R. Flieger and R. Grebe, ed., Proc. Transputer-Anwender-Treffen, TAT-94, Aachen, Germany, pages 109-118, 9 1994. IOS Press. (German)

P. Böckmann and Holger Giese and G. Wirtz. Providing CSP-like Functionality in a Helios Environment. In R. Miles and A. Chalmers, ed., Proc. 17th WoTUG Technical Meeting, Bristol, UK, pages 175-189, 4 1994. IOS Press.