2009 | ||
---|---|---|
85 | Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee: Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar] Springer 2009 | |
84 | Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker: Model-driven architectural monitoring and adaptation for autonomic systems. ICAC 2009: 67-68 | |
83 | Stefan Henkler, Joel Greenyer, Martin Hirsch, Wilhelm Schäfer, Kahtan Alhawash, Tobias Eckardt, Christian Heinzemann, Renate Loffler, Andreas Seibel, Holger Giese: Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite. ICSE 2009: 615-618 | |
82 | 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 | |
81 | Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Jesper Andersson, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Giovanna Di Marzo Serugendo, Schahram Dustdar, Anthony Finkelstein, Cristina Gacek, Kurt Geihs, Vincenzo Grassi, Gabor Karsai, Holger M. Kienle, Jeff Kramer, Marin Litoiu, Sam Malek, Raffaela Mirandola, Hausi A. Müller, Sooyong Park, Mary Shaw, Matthias Tichy, Massimo Tivoli, Danny Weyns, Jon Whittle: Software Engineering for Self-Adaptive Systems: A Research Roadmap. Software Engineering for Self-Adaptive Systems 2009: 1-26 | |
80 | Yuriy Brun, Giovanna Di Marzo Serugendo, Cristina Gacek, Holger Giese, Holger M. Kienle, Marin Litoiu, Hausi A. Müller, Mauro Pezzè, Mary Shaw: Engineering Self-Adaptive Systems through Feedback Loops. Software Engineering for Self-Adaptive Systems 2009: 48-70 | |
79 | Holger Giese, Robert Wagner: From model transformation to incremental bidirectional model synchronization. Software and System Modeling 8(1): 21-43 (2009) | |
2008 | ||
78 | Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee: Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 | |
77 | Holger Giese: Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers Springer 2008 | |
76 | 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 | |
75 | Basil Becker, Holger Giese: Modeling of correct self-adaptive systems: a graph transformation system based approach. CSTST 2008: 508-516 | |
74 | Marin Litoiu, Holger Giese: Seams 2008: software engineering for adaptive and self-managing systems. ICSE Companion 2008: 1063-1064 | |
73 | Basil Becker, Holger Giese: On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles. ISORC 2008: 203-210 | |
72 | 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 | |
71 | 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 | |
70 | 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) | |
2007 | ||
69 | Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz: Model-Based Engineering of Embedded Real-Time Systems, 4.11. - 9.11.2007 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 | |
68 | Ricardo Choren, Alessandro F. Garcia, Holger Giese, Ho-fung Leung, Carlos José Pereira de Lucena, Alexander B. Romanovsky: Software Engineering for Multi-Agent Systems V, Research Issues and Practical Applications [the book is a result of SELMAS 2006]. Springer 2007 | |
67 | Florian Klein, Holger Giese: Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams. FASE 2007: 185-199 | |
66 | 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 | |
65 | Holger Giese: Workshops and Symposia at MODELS 2007. MoDELS 2007: 682-690 | |
64 | 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 | |
63 | 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 | |
62 | Holger Giese, Stefan Henkler, Martin Hirsch: Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML. WADS 2007: 248-272 | |
61 | Holger Giese, Florian Klein: Systematic verification of multi-agent systems based on rigorous executable specifications. IJAOSE 1(1): 28-62 (2007) | |
2006 | ||
60 | Holger Giese: Reusable Services and Semi-automatic Service Composition for Automotive Software. ASWSD 2006: 161-181 | |
59 | Holger Giese, Norma Montealegre, Thomas Müller, Simon Oberthür, Bernd Schulz: Acute Stress Response for Self-optimizing Mechatronic Systems. BICC 2006: 157-167 | |
58 | 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 | |
57 | Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, Daniela Schilling: Symbolic invariant verification for systems with dynamic structural adaptation. ICSE 2006: 72-81 | |
56 | Holger Giese, Robert Wagner: Incremental Model Synchronization with Triple Graph Grammars. MoDELS 2006: 543-557 | |
55 | Holger Giese, Tihamer Levendovszky, Hans Vangheluwe: Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools. MoDELS Workshops 2006: 252-262 | |
54 | 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 | |
53 | Holger Giese, Stefan Henkler: Architecture-driven platform independent deterministic replay for distributed hard real-time systems. ROSATEA 2006: 28-38 | |
52 | Holger Giese, Matthias Tichy: Component-Based Hazard Analysis: Optimal Designs, Product Lines, and Online-Reconfiguration. SAFECOMP 2006: 156-169 | |
51 | Holger Giese, Stefan Henkler, Martin Hirsch, Florian Klein: Nobody's perfect: interactive synthesis from parametrized real-time scenarios. SCESM 2006: 67-74 | |
50 | 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) | |
49 | Kendra Cooper, Holger Giese, Ingolf H. Krüger: Visual modeling for software intensive systems. J. Vis. Lang. Comput. 17(6): 503-507 (2006) | |
48 | 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) | |
47 | Holger Giese, Alexander Vilbig: Separation of non-orthogonal concerns in software architecture and design. Software and System Modeling 5(2): 136-169 (2006) | |
2005 | ||
46 | Florian Klein, Holger Giese: Grounding Social Interactions in the Environment. E4MAS 2005: 139-162 | |
45 | 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 | |
44 | 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 | |
43 | Holger Giese, Pascal Roques, Timothy Lethbridge: Summary of the Educator's Symposium. MoDELS Satellite Events 2005: 302-305 | |
42 | Holger Giese, Martin Hirsch: Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML. MoDELS Satellite Events 2005: 67-78 | |
41 | Florian Klein, Holger Giese: Analysis and Design of Physical and Social Contexts in Multi-agent Systems. SELMAS 2005: 91-108 | |
40 | Sven Burmester, Holger Giese: Visual Integration of UML 2.0 and Block Diagrams for Flexible Reconfiguration in MECHATRONIC UML. VL/HCC 2005: 109-116 | |
39 | Holger Giese, Ingolf H. Krüger, Kendra Cooper: Visual Modeling for Software Intensive Systems. VL/HCC 2005: 4 | |
38 | 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) | |
37 | 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) | |
36 | 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) | |
35 | 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) | |
34 | 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) | |
2004 | ||
33 | 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 | |
32 | Sven Burmester, Holger Giese, Oliver Oberschelp: Hybrid UML Components for the Design of Complex Self-Optimizing Mechatronic Systems. ICINCO (3) 2004: 222-229 | |
31 | Thorsten Hestermeyer, Oliver Oberschelp, Holger Giese: Structured Information Processing for Self-Optimizing Mechatronic Systems. ICINCO (3) 2004: 230-237 | |
30 | Holger Giese, Ingolf Krüger: Third Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM'04). ICSE 2004: 766-767 | |
29 | Sven Burmester, Holger Giese, Matthias Tichy: Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML. MDAFA 2004: 47-61 | |
28 | Holger Giese, Matthias Tichy, Daniela Schilling: Compositional Hazard Analysis of UML Component and Deployment Models. SAFECOMP 2004: 166-179 | |
27 | Florian Klein, Holger Giese: Separation of Concerns for Mechatronic Multi-agent Systems Through Dynamic Communities. SELMAS 2004: 272-289 | |
26 | 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 | |
25 | Matthias Tichy, Daniela Schilling, Holger Giese: Design of self-managing dependable systems with UML and fault tolerance patterns. WOSS 2004: 105-109 | |
24 | 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) | |
2003 | ||
23 | Holger Giese, Matthias Tichy, Sven Burmester, Stephan Flake: Towards the compositional verification of real-time UML designs. ESEC / SIGSOFT FSE 2003: 38-47 | |
22 | Matthias Tichy, Holger Giese: Seamless UML Support for Service-Based Software Architectures. FIDJI 2003: 128-138 | |
21 | 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 | |
20 | Holger Giese, Florian Klein: Autonomous Shuttle System Case Study. Scenarios: Models, Transformations and Tools 2003: 90-94 | |
19 | Matthias Tichy, Holger Giese: A Self-optimizing Run-Time Architecture for Configurable Dependability of Services. WADS 2003: 25-50 | |
2002 | ||
18 | Holger Giese, Martin Kardos, Ulrich Nickel: Towards Design Verification and Validation at Multiple Levels of Abstraction. DIPES 2002: 71-80 | |
17 | 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 | |
2001 | ||
16 | Holger Giese, Ulrich Nickel: Towards Service-Based Flexible Production Control Systems and their Modular Modeling and Simulation. OMER 2001: 106-121 | |
15 | Holger Giese, Guido Wirtz: The OCoN approach for object-oriented distributed software systems modeling. Comput. Syst. Sci. Eng. 16(3): 157-172 (2001) | |
14 | Guido Wirtz, Mathias Weske, Holger Giese: The OCoN Approach to Workflow Modeling in Object-Oriented Systems. Information Systems Frontiers 3(3): 357-376 (2001) | |
13 | Holger Giese, Guido Wirtz: Visual Modeling of Object-Oriented Distributed Systems. J. Vis. Lang. Comput. 12(2): 183-202 (2001) | |
12 | 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) | |
11 | Holger Giese: Bericht über die Modellierung 2001 vom 28. - 30. März 2001 in Bad Lippspringe. Softwaretechnik- Trends 21(3): (2001) | |
2000 | ||
10 | Guido Wirtz, Mathias Weske, Holger Giese: Extending UML with Workflow Modeling Capabilities. CoopIS 2000: 30-41 | |
9 | Guido Wirtz, Holger Giese: Skalierbare Beschreibung des Verhaltens verteilter Software-Systeme. FBT 2000: 41-50 | |
8 | Holger Giese: Contract-Based Component System Design. HICSS 2000 | |
7 | Holger Giese, Guido Wirtz: Early Evaluation of Design Options for Distributed Systems. PDSE 2000: 150-157 | |
1999 | ||
6 | Holger Giese, Jörg Graf, Guido Wirtz: Contract-based Coordination of Distributed Object Systems. PDPTA 1999: 25-31 | |
5 | Holger Giese, Jörg Graf, Guido Wirtz: Closing the Gap Between Object-Oriented Modeling of Structure and Behavior. UML 1999: 534-549 | |
4 | Holger Giese, Jörg Graf, Guido Wirtz: Seamless Visual Object-Oriented Behavior Modeling for Distributed Software Systems. VL 1999: 156-163 | |
1998 | ||
3 | Holger Giese, Jörg Graf, Guido Wirtz: Modeling Distributed Software Systems with Object Coordination Nets. PDSE 1998: 39- | |
1997 | ||
2 | Guido Wirtz, Jörg Graf, Holger Giese: Ruling the Behavior of Distributed Software Components. PDPTA 1997: 107-116 | |
1 | Holger Giese, Guido Wirtz: Modular Development of Correct Meander Programs. PDPTA 1997: 178-181 |