Holger Giese Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
j25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Leen Lambers, Stephan Hildebrandt, Holger Giese, Fernando Orejas: Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case. ECEASST 49 (2012)
j24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stephan Hildebrandt, Leen Lambers, Basil Becker, Holger Giese: Integration of Triple Graph Grammars and Constraints. ECEASST 54 (2012)
c90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ulrike Golas, Leen Lambers, Hartmut Ehrig, Holger Giese: Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars - Flexible Relations between Source and Target Elements. ICGT 2012: 141-155
c89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Leen Lambers: Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking. ICGT 2012: 249-263
c88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christian Krause, Holger Giese: Probabilistic Graph Transformation Systems. ICGT 2012: 311-325
c87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Regina Hebig, Gregor Gabrysiak, Holger Giese: Towards patterns for MDE-related processes to detect and handle changeability risks. ICSSP 2012: 38-47
c86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Leen Lambers, Basil Becker, Stephan Hildebrandt, Stefan Neumann, Thomas Vogel, Sebastian Wätzoldt: Graph Transformations for MDE, Adaptation, and Models at Runtime. SFM 2012: 137-191
c85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sebastian Wätzoldt, Stefan Neumann, Falk Benke, Holger Giese: Integrated Software Development for Embedded Robotic Systems. SIMPAR 2012: 335-348
c84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gregor Gabrysiak, Regina Hebig, Holger Giese: Simulation-Assisted Elicitation and Validation of Behavioral Specifications for Multiple Stakeholders. WETICE 2012: 220-225
e16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Grigore Rosu (Eds.): Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings. Lecture Notes in Computer Science 7273, Springer 2012, isbn 978-3-642-30792-8
e15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz (Eds.): Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, Schloss Dagstuhl, Germany, 2012, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. fortiss GmbH, München 2012
2011
j23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefan Henkler, Simon Oberthür, Holger Giese, Andreas Seibel: Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures. Comput. Syst. Sci. Eng. 26(6) (2011)
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Stefan Henkler, Martin Hirsch: A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems. Simulation 87(9): 775-808 (2011)
c83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stephan Hildebrandt, Leen Lambers, Holger Giese, Dominic Petrick, Ingo Richter: Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations. AGTIVE 2011: 238-253
c82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Basil Becker, Leen Lambers, Johannes Dyck, Stefanie Birth, Holger Giese: Iterative Development of Consistency-Preserving Rule-Based Refactorings. ICMT 2011: 123-137
c81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Regina Hebig, Andreas Seibel, Holger Giese: Toward a comparable characterization for software development activities in context of MDE. ICSSP 2011: 33-42
c80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Vogel, Holger Giese: Requirements and Assessment of Languages and Frameworks for Adaptation Models. MoDELS Workshops 2011: 167-182
c79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gregor Gabrysiak, Holger Giese, Andreas Seibel: Why should I help you to teach requirements engineering? REET 2011: 9-13
c78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andreas Seibel, Regina Hebig, Stefan Neumann, Holger Giese: A Dedicated Language for Context Composition and Execution of True Black-Box Model Transformations. SLE 2011: 19-39
c77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christian Krause, Holger Giese: Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements. INFINITY 2011: 64-78
e14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz (Eds.): Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers. Lecture Notes in Computer Science 6100, Springer 2011, isbn 978-3-642-16276-3
e13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Betty H. C. Cheng (Eds.): 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2011, Waikiki, Honolulu , HI, USA, May 23-24, 2011. ACM 2011, isbn 978-1-4503-0575-4
e12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz (Eds.): Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, Schloss Dagstuhl, Germany, 2011, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. fortiss GmbH, München 2011
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Bernhard Rumpe, Bernhard Schätz, Janos Sztipanovits: Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441). Dagstuhl Reports 1(11): 1-22 (2011)
2010
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martin Hanysz, Tobias Hoppe, Axel Uhl, Andreas Seibel, Holger Giese, Philipp Berger, Stephan Hildebrandt: Navigating Across Non-Navigable Ecore References via OCL. ECEASST 36 (2010)
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andreas Seibel, Stefan Neumann, Holger Giese: Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance. Software and System Modeling 9(4): 493-528 (2010)
c76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Stephan Hildebrandt, Stefan Neumann: Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent. Graph Transformations and Model-Driven Engineering 2010: 555-579
c75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Mauro Pezzè, Richard Taylor: Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010). ICSE (2) 2010: 447-448
c74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefan Henkler, Simon Oberthür, Holger Giese, Andreas Seibel: Model-Driven Runtime Resource Predictions for Advanced Mechatronic Systems with Dynamic Data Structures. ISORC 2010: 58-65
c73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gregor Gabrysiak, Holger Giese, Andreas Seibel: Deriving behavior of multi-user processes from interactive requirements validation. ASE 2010: 355-356
c72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Vogel, Andreas Seibel, Holger Giese: The Role of Models and Megamodels at Runtime. MoDELS Workshops 2010: 224-238
c71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gregor Gabrysiak, Holger Giese, Andreas Seibel, Stefan Neumann: Teaching requirements engineering with virtual stakeholders without software engineering knowledge. REET 2010: 36-45
e11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese (Ed.): Architecting Critical Systems, First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings. Lecture Notes in Computer Science 6150, Springer 2010, isbn 978-3-642-13555-2
e10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz (Eds.): Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, Schloss Dagstuhl, Germany, 2010, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. fortiss GmbH, München 2010
2009
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Stephan Hildebrandt, Andreas Seibel: Improved Flexibility and Scalability by Interpreting Story Diagrams. ECEASST 18 (2009)
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Robert Wagner: From model transformation to incremental bidirectional model synchronization. Software and System Modeling 8(1): 21-43 (2009)
c70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
c69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
c68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker: Model-driven architectural monitoring and adaptation for autonomic systems. ICAC 2009: 67-68
c67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor: SEAMS 2009: Software engineering for adaptive and self-managing systems. ICSE Companion 2009: 463-464
c66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefan Henkler, Joel Greenyer, Martin Hirsch, Wilhelm Schäfer, Kahtan Alhawash, Tobias Eckardt, Christian Heinzemann, Renate Löffler, Andreas Seibel, Holger Giese: Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite. ICSE 2009: 615-618
c65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Stephan Hildebrandt, Stefan Neumann: Towards Integrating SysML and AUTOSAR Modeling via Bidirectional Model Synchronization. MBEES 2009: 155-164
c64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Basil Becker, Holger Giese, Stefan Neumann, Martin Schenck, Arian Treffer: Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration. MoDELS Workshops 2009: 83-97
c63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker: Incremental Model Synchronization for Efficient Run-Time Monitoring. MoDELS Workshops 2009: 124-139
e9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee (Eds.): Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar]. Lecture Notes in Computer Science 5525, Springer 2009, isbn 978-3-642-02160-2
e8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Michaela Huhn, Ulrich Nickel, Bernhard Schätz (Eds.): Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, Schloss Dagstuhl, Germany, 2009, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. Informatik-Bericht 2009-01, TU Braunschweig, Institut für Software Systems Engineering 2009
2008
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sven Burmester, Holger Giese, Eckehard Münch, Oliver Oberschelp, Florian Klein, Peter Scheideler: Tool support for the design of self-optimizing mechatronic multi-agent systems. STTT 10(3): 207-222 (2008)
c62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos: 08031 -- Software Engineering for Self-Adaptive Systems: A Research Road Map. Software Engineering for Self-Adaptive Systems 2008
c61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Betty H. C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos: 08031 Abstracts Collection -- Software Engineering for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems 2008
c60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marin Litoiu, Holger Giese: Seams 2008: software engineering for adaptive and self-managing systems. ICSE Companion 2008: 1063-1064
c59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Basil Becker, Holger Giese: On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles. ISORC 2008: 203-210
c58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Basil Becker, Holger Giese: Incremental verification of inductive invariants for the run-time evolution of self-adaptive software-intensive systems. ASE Workshops 2008: 33-40
c57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Basil Becker, Holger Giese: Modeling of correct self-adaptive systems: a graph transformation system based approach. CSTST 2008: 508-516
e7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
e6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Michaela Huhn, Ulrich Nickel, Bernhard Schätz (Eds.): Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, Schloss Dagstuhl, Germany, 7.-9. April 2008, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. Informatik-Bericht 2008-2, TU Braunschweig, Institut für Software Systems Engineering 2008
e5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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. Lecture Notes in Computer Science 5002, Springer 2008, isbn 978-3-540-69069-6
2007
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Florian Klein: Systematic verification of multi-agent systems based on rigorous executable specifications. IJAOSE 1(1): 28-62 (2007)
c56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz: 07451 Summary - Model-Based Engineering of Embedded Real-Time Systems. Model-Based Engineering of Embedded Real-Time Systems 2007
c55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz: 07451 Abstracts Collection - Model-Based Engineering of Embedded Real-Time Systems. Model-Based Engineering of Embedded Real-Time Systems 2007
c54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bernhard Schätz, Holger Giese: Models of Reactive Systems - Communication, Concurrency, and Causality. Model-Based Engineering of Embedded Real-Time Systems 2007: 3-15
c53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
c52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Florian Klein, Holger Giese: Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams. FASE 2007: 185-199
c51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Stefan Henkler, Martin Hirsch: Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML. WADS 2007: 248-272
c50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sven Burmester, Holger Giese, Stefan Henkler, Martin Hirsch, Matthias Tichy, Alfonso Gambuzza, Eckehard Münch, Henner Vöcking: Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View. ICSE 2007: 801-804
c49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ingo Stürmer, Heiko Dörr, Holger Giese, Udo Kelter, Andy Schürr, Albert Zündorf: Das MATE Projekt - visuelle Spezifikation von MATLAB Simulink/Stateflow Analysen und Transformationen. MBEES 2007: 83-94
c48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese: Workshops and Symposia at MODELS 2007. MoDELS 2007: 682-690
e4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
e3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mirko Conrad, Holger Giese, Bernhard Rumpe, Bernhard Schätz (Eds.): Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, Schloss Dagstuhl, Germany, 15.-18. Januar 2007, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. Informatik-Bericht 2007-1, TU Braunschweig, Institut für Software Systems Engineering 2007
e2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ricardo Choren, Alessandro F. Garcia, Holger Giese, Ho-fung Leung, Carlos José Pereira de Lucena, Alexander B. Romanovsky (Eds.): Software Engineering for Multi-Agent Systems V, Research Issues and Practical Applications [the book is a result of SELMAS 2006]. Lecture Notes in Computer Science 4408, Springer 2007, isbn 978-3-540-73130-6
2006
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alessandro Garcia, Holger Giese, Alexander Romanovsky, Ricardo Choren, Ho-fung Leung, Carlos José Pereira de Lucena, Florian Klein, Eric Platon: Software engineering for large-scale multi-agent systems - SELMAS 2006: workshop report. ACM SIGSOFT Software Engineering Notes 31(5): 24-32 (2006)
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Alexander Vilbig: Separation of non-orthogonal concerns in software architecture and design. Software and System Modeling 5(2): 136-169 (2006)
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kendra Cooper, Holger Giese, Ingolf H. Krüger: Visual modeling for software intensive systems. J. Vis. Lang. Comput. 17(6): 503-507 (2006)
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Stefan Henkler: A survey of approaches for the visual model-driven development of next generation software-intensive systems. J. Vis. Lang. Comput. 17(6): 528-550 (2006)
c47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese: Reusable Services and Semi-automatic Service Composition for Automotive Software. ASWSD 2006: 161-181
c46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, Daniela Schilling: Symbolic invariant verification for systems with dynamic structural adaptation. ICSE 2006: 72-81
c45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ricardo Choren, Ho-fung Leung, Alessandro F. Garcia, Carlos José Pereira de Lucena, Holger Giese, Alexander Romanovsky: Fifth workshop on software engineering for large-scale multi-agent systems (SELMAS). ICSE 2006: 1022-1023
c44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Norma Montealegre, Thomas Müller, Simon Oberthür, Bernd Schulz: Acute Stress Response for Self-optimizing Mechatronic Systems. BICC 2006: 157-167
c43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Stefan Henkler: Architecture-driven platform independent deterministic replay for distributed hard real-time systems. ROSATEA 2006: 28-38
c42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Tihamer Levendovszky, Hans Vangheluwe: Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools. MoDELS Workshops 2006: 252-262
c41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Robert Wagner: Incremental Model Synchronization with Triple Graph Grammars. MoDELS 2006: 543-557
c40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Björn Axenath, Holger Giese, Florian Klein, Ursula Frank: Systematic Requirements-Driven Evaluation and Synthesis of Alternative Principle Solutions for Advanced Mechatronic Systems. RE 2006: 156-165
c39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Matthias Tichy: Component-Based Hazard Analysis: Optimal Designs, Product Lines, and Online-Reconfiguration. SAFECOMP 2006: 156-169
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Stefan Henkler, Martin Hirsch, Florian Klein: Nobody's perfect: interactive synthesis from parametrized real-time scenarios. SCESM 2006: 67-74
e1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Bernhard Rumpe, Bernhard Schätz (Eds.): Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, Schloss Dagstuhl, Germany, 9.-13. Januar 2006, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. Informatik-Bericht 2006-1, TU Braunschweig, Institut für Software Systems Engineering 2006
2005
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Ingolf Krüger: A summary of the ICSE 2004 workshop on "scenarios and state machines: models, algorithms, and tools". ACM SIGSOFT Software Engineering Notes 30(1): 2 (2005)
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alessandro Garcia, Ricardo Choren, Carlos José Pereira de Lucena, Alexander Romanovsky, Holger Giese, Danny Weyns, Tom Holvoet, Paolo Giorgini: Software Engineering for Large-Scale Multi-Agent Systems - SELMAS 2005: workshop report. ACM SIGSOFT Software Engineering Notes 30(4): 1-8 (2005)
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Ekkart Kindler, Florian Klein, Robert Wagner: Reconciling scenario-centered controller design with state-based system models. ACM SIGSOFT Software Engineering Notes 30(4): 1-5 (2005)
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Florian Klein, Holger Giese: Analysis and design of physical and social contexts in multi-agent systems using UML. ACM SIGSOFT Software Engineering Notes 30(4): 1-8 (2005)
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Matthias Tichy, Holger Giese, Daniela Schilling, Wladimir Pauls: Computing optimal self-repair actions: damage minimization versus repair time. ACM SIGSOFT Software Engineering Notes 30(4): 7-6 (2005)
c37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Florian Klein, Holger Giese: Grounding Social Interactions in the Environment. E4MAS 2005: 139-162
c36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sven Burmester, Holger Giese, Wilhelm Schäfer: Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code. ECMDA-FA 2005: 25-40
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sven Burmester, Holger Giese, Martin Hirsch, Daniela Schilling, Matthias Tichy: The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems. ICSE 2005: 670-671
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese: Towards the Model-Driven Development of Self-Optimizing Mechatronic Systems. MBEES 2005: 11-22
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese: Modeling and Verification of Cooperative Self-adaptive Mechatronic Systems. Monterey Workshop 2005: 258-280
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Florian Klein, Holger Giese: Analysis and Design of Physical and Social Contexts in Multi-agent Systems. SELMAS 2005: 91-108
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Martin Hirsch: Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML. MoDELS Satellite Events 2005: 67-78
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Pascal Roques, Timothy Lethbridge: Summary of the Educator's Symposium. MoDELS Satellite Events 2005: 302-305
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Ingolf H. Krüger, Kendra Cooper: Visual Modeling for Software Intensive Systems. VL/HCC 2005: 4
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sven Burmester, Holger Giese: Visual Integration of UML 2.0 and Block Diagrams for Flexible Reconfiguration in MECHATRONIC UML. VL/HCC 2005: 109-116
2004
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sven Burmester, Holger Giese, Jörg Niere, Matthias Tichy, Jörg P. Wadsack, Robert Wagner, Lothar Wendehals, Albert Zündorf: Tool integration at the meta-model level: the Fujaba approach. STTT 6(3): 203-218 (2004)
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sven Burmester, Matthias Gehrke, Holger Giese, Simon Oberthür: Making mechatronic agents resource-aware in order to enable safe dynamic resource allocation. EMSOFT 2004: 175-183
c26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sven Burmester, Holger Giese, Oliver Oberschelp: Hybrid UML Components for the Design of Complex Self-Optimizing Mechatronic Systems. ICINCO (3) 2004: 222-229
c25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thorsten Hestermeyer, Oliver Oberschelp, Holger Giese: Structured Information Processing for Self-Optimizing Mechatronic Systems. ICINCO (3) 2004: 230-237
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Ingolf Krüger: Third Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM'04). ICSE 2004: 766-767
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sven Burmester, Holger Giese, Matthias Tichy: Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML. MDAFA 2004: 47-61
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Matthias Tichy, Daniela Schilling: Compositional Hazard Analysis of UML Component and Deployment Models. SAFECOMP 2004: 166-179
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Florian Klein, Holger Giese: Separation of Concerns for Mechatronic Multi-agent Systems Through Dynamic Communities. SELMAS 2004: 272-289
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Sven Burmester, Wilhelm Schäfer, Oliver Oberschelp: Modular design and verification of component-based mechatronic systems with online-reconfiguration. SIGSOFT FSE 2004: 179-188
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Matthias Tichy, Daniela Schilling, Holger Giese: Design of self-managing dependable systems with UML and fault tolerance patterns. WOSS 2004: 105-109
2003
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Florian Klein: Autonomous Shuttle System Case Study. Scenarios: Models, Transformations and Tools 2003: 90-94
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Florian Klein, Sven Burmester: Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models. Scenarios: Models, Transformations and Tools 2003: 193-211
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Matthias Tichy, Holger Giese: Seamless UML Support for Service-Based Software Architectures. FIDJI 2003: 128-138
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Matthias Tichy, Holger Giese: A Self-optimizing Run-Time Architecture for Configurable Dependability of Services. WADS 2003: 25-50
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Matthias Tichy, Sven Burmester, Stephan Flake: Towards the compositional verification of real-time UML designs. ESEC / SIGSOFT FSE 2003: 38-47
2002
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Matthias Gehrke, Holger Giese, Ulrich Nickel, Jörg Niere, Matthias Tichy, Jörg P. Wadsack, Albert Zündorf: Reporting about industrial strength software engineering courses for undergraduates. ICSE 2002: 395-405
c12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Martin Kardos, Ulrich Nickel: Towards Design Verification and Validation at Multiple Levels of Abstraction. DIPES 2002: 71-80
2001
b1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese: Object-oriented design and architecture of distributed systems. Universität Münster 2001, pp. I-VII, 1-451
j5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Guido Wirtz: The OCoN approach for object-oriented distributed software systems modeling. Comput. Syst. Sci. Eng. 16(3): 157-172 (2001)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Guido Wirtz, Mathias Weske, Holger Giese: The OCoN Approach to Workflow Modeling in Object-Oriented Systems. Information Systems Frontiers 3(3): 357-376 (2001)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Stephan Philippi: FG 2.1.9: Bericht vom 8. Workshop des GI-Arbeitskreises GROOM am 13. und 14. November 2000 in Münster. Softwaretechnik-Trends 21(1) (2001)
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese: Bericht über die Modellierung 2001 vom 28. - 30. März 2001 in Bad Lippspringe. Softwaretechnik-Trends 21(3) (2001)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Guido Wirtz: Visual Modeling of Object-Oriented Distributed Systems. J. Vis. Lang. Comput. 12(2): 183-202 (2001)
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Ulrich Nickel: Towards Service-Based Flexible Production Control Systems and their Modular Modeling and Simulation. OMER 2001: 106-121
2000
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Guido Wirtz, Mathias Weske, Holger Giese: Extending UML with Workflow Modeling Capabilities. CoopIS 2000: 30-41
c9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Guido Wirtz, Holger Giese: Skalierbare Beschreibung des Verhaltens verteilter Software-Systeme. FBT 2000: 41-50
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese: Contract-Based Component System Design. HICSS 2000
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Guido Wirtz: Early Evaluation of Design Options for Distributed Systems. PDSE 2000: 150-157
1999
c6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Jörg Graf, Guido Wirtz: Contract-based Coordination of Distributed Object Systems. PDPTA 1999: 25-31
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Jörg Graf, Guido Wirtz: Closing the Gap Between Object-Oriented Modeling of Structure and Behavior. UML 1999: 534-549
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Jörg Graf, Guido Wirtz: Seamless Visual Object-Oriented Behavior Modeling for Distributed Software Systems. VL 1999: 156-163
1998
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Jörg Graf, Guido Wirtz: Modeling Distributed Software Systems with Object Coordination Nets. PDSE 1998: 39-
1997
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Guido Wirtz, Jörg Graf, Holger Giese: Ruling the Behavior of Distributed Software Components. PDPTA 1997: 107-116
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Holger Giese, Guido Wirtz: Modular Development of Correct Meander Programs. PDPTA 1997: 178-181

Coauthor Index

1Kahtan Alhawash
[c66]
2Jesper Andersson
[c70]
3Björn Axenath
[c40]
4Basil Becker
[j24] [c86] [c82] [c70] [c68] [c64] [c63] [c59] [c58] [c57] [c46]
5Nelly Bencomo
[c70]
6Falk Benke
[c85]
7Philipp Berger
[j21]
8Dirk Beyer
[c46]
9Stefanie Birth
[c82]
10Yuriy Brun
[c70] [c69]
11Sven Burmester
[j17] [c50] [c36] [c35] [c28] [j6] [c27] [c26] [c23] [c20] [c17] [c14]
12Betty H. C. Cheng
[e13] [c75] [c70] [c67] [e9] [c62] [c61] [e7]
13Ricardo Choren (Ricardo Choren Noya)
[e2] [j15] [c45] [j10]
14Mirko Conrad
[e3]
15Kendra Cooper (Kendra M. L. Cooper)
[j13] [c29]
16Bojan Cukic
[c70]
17Schahram Dustdar
[c70]
18Johannes Dyck
[c82]
19Heiko Dörr
[c49]
20Tobias Eckardt
[c66]
21Hartmut Ehrig
[c90]
22Anthony Finkelstein
[c70]
23Stephan Flake
[c14]
24Ursula Frank
[c40]
25Gregor Gabrysiak
[c87] [c84] [c79] [c73] [c71]
26Cristina Gacek
[c70] [c69]
27Alfonso Gambuzza
[c50]
28Alessandro F. Garcia (Alessandro Fabricio Garcia, Alessandro Garcia)
[e2] [j15] [c45] [j10]
29David Garlan
[c75] [c67]
30Matthias Gehrke
[c27] [c13]
31Kurt Geihs
[c70]
32Paolo Giorgini
[j10]
33Ulrike Golas (Ulrike Prange)
[c90]
34Jörg Graf
[c6] [c5] [c4] [c3] [c2]
35Vincenzo Grassi
[c70]
36Joel Greenyer
[c66]
37Martin Hanysz
[j21]
38Regina Hebig
[c87] [c84] [c81] [c78]
39Christian Heinzemann
[c66]
40Stefan Henkler
[j23] [j22] [c74] [c66] [c51] [c50] [j12] [c43] [c38]
41Thorsten Hestermeyer
[c25]
42Stephan Hildebrandt
[j25] [j24] [c86] [c83] [j21] [c76] [j19] [c68] [c65] [c63]
43Martin Hirsch
[j22] [c66] [c51] [c50] [c38] [c35] [c31]
44Tom Holvoet
[j10]
45Tobias Hoppe
[j21]
46Michaela Huhn
[e15] [e12] [e10] [e8] [e6]
47Paola Inverardi
[c70] [e9] [c62] [c61] [e7]
48Martin Kardos
[c12]
49Gabor Karsai
[e14] [c70] [c56] [c55] [e4]
50Udo Kelter
[c49]
51Holger M. Kienle
[c70] [c69]
52Ekkart Kindler
[j9]
53Jeff Kramer (Jeffrey Kramer)
[c70]
54Christian Krause (Christian Koehler, Christian Köhler 0001)
[c88] [c77]
55Ingolf Krüger (Ingolf H. Krüger)
[j13] [j11] [c29] [c24]
56Leen Lambers
[j25] [j24] [c90] [c89] [c86] [c83] [c82]
57Edward Lee
[e14] [c56] [c55] [e4]
58Rogério de Lemos
[c75] [c70] [c67] [e9] [c62] [c61] [e7]
59Timothy Lethbridge (Timothy C. Lethbridge)
[c30]
60Ho-fung Leung (Ho-Fung Leung)
[e2] [j15] [c45]
61Tihamer Levendovszky
[c42]
62Marin Litoiu
[c75] [c70] [c69] [c67] [c60]
63Carlos José Pereira de Lucena
[e2] [j15] [c45] [j10]
64Renate Löffler
[c66]
65Jeff Magee (Jeff N. Magee)
[c75] [c70] [c67] [e9] [c62] [c61] [e7]
66Sam Malek
[c70]
67Raffaela Mirandola
[c70]
68Norma Montealegre
[c44]
69Hausi A. Müller
[c75] [c70] [c69] [c67]
70Thomas Müller
[c44]
71Eckehard Münch
[j17] [c50]
72Stefan Neumann
[c86] [c85] [c78] [j20] [c76] [c71] [c68] [c65] [c64] [c63] [c53]
73Ulrich Nickel 0002
[e8] [e6] [c13] [c12] [c11]
74Jörg Niere
[j6] [c13]
75Oliver Niggemann
[c53]
76Oliver Oberschelp
[j17] [c26] [c25] [c20]
77Simon Oberthür
[j23] [c74] [c44] [c27]
78Fernando Orejas
[j25]
79Sooyong Park
[c70]
80Wladimir Pauls
[j7]
81Dominic Petrick
[c83]
82Mauro Pezzè
[c75] [c69]
83Stephan Philippi
[j3]
84Jan Phillips
[e15] [e12] [e10]
85Eric Platon
[j15]
86Ingo Richter
[c83]
87Alexander Romanovsky (Alexander B. Romanovsky)
[e2] [j15] [c45] [j10]
88Pascal Roques
[c30]
89Grigore Rosu
[e16]
90Bernhard Rumpe
[e14] [i1] [c56] [c55] [e4] [e3] [e1]
91Peter Scheideler
[j17]
92Martin Schenck
[c64]
93Daniela Schilling
[c46] [j7] [c35] [c22] [c19]
94Bernd Schulz
[c44]
95Wilhelm Schäfer
[c66] [c36] [c20]
96Bernhard Schätz
[e15] [e14] [e12] [i1] [e10] [e8] [e6] [c56] [c55] [c54] [c53] [e4] [e3] [e1]
97Andy Schürr
[c49]
98Andreas Seibel
[j23] [c81] [c79] [c78] [j21] [j20] [c74] [c73] [c72] [c71] [j19] [c66]
99Giovanna Di Marzo Serugendo
[c70] [c69]
100Mary Shaw
[c70] [c69]
101Florian Stallmann (Florian Klein)
[j17] [j16] [c52] [j15] [c46] [c40] [c38] [j9] [j8] [c37] [c32] [c21] [c18] [c17]
102Ingo Stürmer
[c49]
103Janos Sztipanovits
[i1]
104Richard Taylor
[c75] [c67]
105Matthias Tichy
[c70] [c50] [c39] [j7] [c35] [j6] [c23] [c22] [c19] [c16] [c15] [c14] [c13]
106Massimo Tivoli
[c70]
107Arian Treffer
[c64]
108Axel Uhl
[j21]
109Hans Vangheluwe
[c42]
110Alexander Vilbig
[j14]
111Thomas Vogel
[c86] [c80] [c72] [c68] [c63]
112Henner Vöcking
[c50]
113Jörg P. Wadsack
[j6] [c13]
114Robert Wagner
[j18] [c41] [j9] [j6]
115Lothar Wendehals
[j6]
116Mathias Weske
[j4] [c10]
117Danny Weyns
[c70] [j10]
118Jon Whittle (Jonathan Whittle)
[c70]
119Guido Wirtz
[j5] [j4] [j1] [c10] [c9] [c7] [c6] [c5] [c4] [c3] [c2] [c1]
120Sebastian Wätzoldt
[c86] [c85]
121Albert Zündorf
[c49] [j6] [c13]

Colors in the list of coauthors

Last update Sat May 25 21:48:30 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page