dblp.uni-trier.dewww.uni-trier.de

Holger Giese Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
83EEBetty 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
82EEStefan 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
81EEBetty 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
80EEBetty 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
79EEYuriy 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
78EEHolger Giese, Robert Wagner: From model transformation to incremental bidirectional model synchronization. Software and System Modeling 8(1): 21-43 (2009)
2008
77 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
76 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
75EEBasil Becker, Holger Giese: Incremental verification of inductive invariants for the run-time evolution of self-adaptive software-intensive systems. ASE Workshops 2008: 33-40
74EEMarin Litoiu, Holger Giese: Seams 2008: software engineering for adaptive and self-managing systems. ICSE Companion 2008: 1063-1064
73EEBasil Becker, Holger Giese: On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles. ISORC 2008: 203-210
72EEBetty 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
71EEBetty 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
70EESven 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
67EEFlorian Klein, Holger Giese: Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams. FASE 2007: 185-199
66EESven 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
65EEHolger Giese: Workshops and Symposia at MODELS 2007. MoDELS 2007: 682-690
64EEHolger 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
63EEHolger 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
62EEHolger Giese, Stefan Henkler, Martin Hirsch: Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML. WADS 2007: 248-272
61EEHolger Giese, Florian Klein: Systematic verification of multi-agent systems based on rigorous executable specifications. IJAOSE 1(1): 28-62 (2007)
2006
60EEHolger Giese: Reusable Services and Semi-automatic Service Composition for Automotive Software. ASWSD 2006: 161-181
59EEHolger Giese, Norma Montealegre, Thomas Müller, Simon Oberthür, Bernd Schulz: Acute Stress Response for Self-optimizing Mechatronic Systems. BICC 2006: 157-167
58EERicardo 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
57EEBasil Becker, Dirk Beyer, Holger Giese, Florian Klein, Daniela Schilling: Symbolic invariant verification for systems with dynamic structural adaptation. ICSE 2006: 72-81
56EEHolger Giese, Robert Wagner: Incremental Model Synchronization with Triple Graph Grammars. MoDELS 2006: 543-557
55EEHolger Giese, Tihamer Levendovszky, Hans Vangheluwe: Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools. MoDELS Workshops 2006: 252-262
54EEBjö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
53EEHolger Giese, Stefan Henkler: Architecture-driven platform independent deterministic replay for distributed hard real-time systems. ROSATEA 2006: 28-38
52EEHolger Giese, Matthias Tichy: Component-Based Hazard Analysis: Optimal Designs, Product Lines, and Online-Reconfiguration. SAFECOMP 2006: 156-169
51EEHolger Giese, Stefan Henkler, Martin Hirsch, Florian Klein: Nobody's perfect: interactive synthesis from parametrized real-time scenarios. SCESM 2006: 67-74
50EEAlessandro 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)
49EEKendra Cooper, Holger Giese, Ingolf H. Krüger: Visual modeling for software intensive systems. J. Vis. Lang. Comput. 17(6): 503-507 (2006)
48EEHolger 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)
47EEHolger Giese, Alexander Vilbig: Separation of non-orthogonal concerns in software architecture and design. Software and System Modeling 5(2): 136-169 (2006)
2005
46EEFlorian Klein, Holger Giese: Grounding Social Interactions in the Environment. E4MAS 2005: 139-162
45EESven 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
44EESven 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
43EEHolger Giese, Pascal Roques, Timothy Lethbridge: Summary of the Educator's Symposium. MoDELS Satellite Events 2005: 302-305
42EEHolger Giese, Martin Hirsch: Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML. MoDELS Satellite Events 2005: 67-78
41EEFlorian Klein, Holger Giese: Analysis and Design of Physical and Social Contexts in Multi-agent Systems. SELMAS 2005: 91-108
40EESven Burmester, Holger Giese: Visual Integration of UML 2.0 and Block Diagrams for Flexible Reconfiguration in MECHATRONIC UML. VL/HCC 2005: 109-116
39EEHolger Giese, Ingolf H. Krüger, Kendra Cooper: Visual Modeling for Software Intensive Systems. VL/HCC 2005: 4
38EEHolger 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)
37EEHolger 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)
36EEFlorian 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)
35EEAlessandro 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)
34EEMatthias 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
33EESven 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
30EEHolger Giese, Ingolf Krüger: Third Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM'04). ICSE 2004: 766-767
29EESven Burmester, Holger Giese, Matthias Tichy: Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML. MDAFA 2004: 47-61
28EEHolger Giese, Matthias Tichy, Daniela Schilling: Compositional Hazard Analysis of UML Component and Deployment Models. SAFECOMP 2004: 166-179
27EEFlorian Klein, Holger Giese: Separation of Concerns for Mechatronic Multi-agent Systems Through Dynamic Communities. SELMAS 2004: 272-289
26EEHolger 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
25EEMatthias Tichy, Daniela Schilling, Holger Giese: Design of self-managing dependable systems with UML and fault tolerance patterns. WOSS 2004: 105-109
24EESven 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
23EEHolger Giese, Matthias Tichy, Sven Burmester, Stephan Flake: Towards the compositional verification of real-time UML designs. ESEC / SIGSOFT FSE 2003: 38-47
22EEMatthias Tichy, Holger Giese: Seamless UML Support for Service-Based Software Architectures. FIDJI 2003: 128-138
21EEHolger Giese, Florian Klein, Sven Burmester: Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models. Scenarios: Models, Transformations and Tools 2003: 193-211
20EEHolger Giese, Florian Klein: Autonomous Shuttle System Case Study. Scenarios: Models, Transformations and Tools 2003: 90-94
19EEMatthias 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
17EEMatthias 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)
14EEGuido 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
10EEGuido 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
8EEHolger Giese: Contract-Based Component System Design. HICSS 2000
7EEHolger 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
4EEHolger Giese, Jörg Graf, Guido Wirtz: Seamless Visual Object-Oriented Behavior Modeling for Distributed Software Systems. VL 1999: 156-163
1998
3EEHolger 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

Coauthor Index

1Kahtan Alhawash [82]
2Jesper Andersson [80]
3Björn Axenath [54]
4Basil Becker [57] [73] [75] [80]
5Nelly Bencomo [80]
6Dirk Beyer [57]
7Yuriy Brun [79] [80]
8Sven Burmester [21] [23] [24] [26] [29] [32] [33] [40] [44] [45] [66] [70]
9Betty H. C. Cheng [71] [72] [77] [80] [81] [83]
10Ricardo Choren [35] [50] [58] [68]
11Kendra Cooper [39] [49]
12Bojan Cukic [80]
13Schahram Dustdar [80]
14Tobias Eckardt [82]
15Anthony Finkelstein [80]
16Stephan Flake [23]
17Ursula Frank [54]
18Cristina Gacek [79] [80]
19Alfonso Gambuzza [66]
20Alessandro F. Garcia (Alessandro Garcia) [35] [50] [58] [68]
21David Garlan [81]
22Matthias Gehrke [17] [33]
23Kurt Geihs [80]
24Paolo Giorgini [35]
25Jörg Graf [2] [3] [4] [5] [6]
26Vincenzo Grassi [80]
27Joel Greenyer [82]
28Christian Heinzemann [82]
29Stefan Henkler [48] [51] [53] [62] [66] [82]
30Thorsten Hestermeyer [31]
31Martin Hirsch [42] [44] [51] [62] [66] [82]
32Tom Holvoet [35]
33Paola Inverardi [71] [72] [77] [80] [83]
34Martin Kardos [18]
35Gabor Karsai [63] [64] [69] [80]
36Holger M. Kienle [79] [80]
37Ekkart Kindler [37]
38Florian Klein [20] [21] [27] [36] [37] [41] [46] [50] [51] [54] [57] [61] [67] [70]
39Jeff Kramer [80]
40Ingolf Krüger (Ingolf H. Krüger) [30] [38] [39] [49]
41Edward Lee [63] [64] [69]
42Rogério de Lemos [71] [72] [77] [80] [81] [83]
43Timothy Lethbridge (Timothy C. Lethbridge) [43]
44Ho-fung Leung (Ho-Fung Leung) [50] [58] [68]
45Tihamer Levendovszky [55]
46Marin Litoiu [74] [79] [80] [81]
47Renate Loffler [82]
48Carlos José Pereira de Lucena [35] [50] [58] [68]
49Jeff Magee (Jeff N. Magee) [71] [72] [77] [80] [81] [83]
50Sam Malek [80]
51Raffaela Mirandola [80]
52Norma Montealegre [59]
53Hausi A. Müller [79] [80] [81]
54Thomas Müller [59]
55Eckehard Münch [66] [70]
56Ulrich Nickel [16] [17] [18]
57Jörg Niere [17] [24]
58Oliver Oberschelp [26] [31] [32] [70]
59Simon Oberthür [33] [59]
60Sooyong Park [80]
61Wladimir Pauls [34]
62Mauro Pezzè [79]
63Stephan Philippi [12]
64Eric Platon [50]
65Alexander Romanovsky (Alexander B. Romanovsky) [35] [50] [58] [68]
66Pascal Roques [43]
67Bernhard Rumpe [63] [64] [69]
68Wilhelm Schäfer [26] [45] [82]
69Bernhard Schätz [63] [64] [69]
70Peter Scheideler [70]
71Daniela Schilling [25] [28] [34] [44] [57]
72Bernd Schulz [59]
73Andreas Seibel [82]
74Giovanna Di Marzo Serugendo [79] [80]
75Mary Shaw [79] [80]
76Richard Taylor [81]
77Matthias Tichy [17] [19] [22] [23] [24] [25] [28] [29] [34] [44] [52] [66] [80]
78Massimo Tivoli [80]
79Hans Vangheluwe [55]
80Alexander Vilbig [47]
81Henner Vöcking [66]
82Jörg P. Wadsack [17] [24]
83Robert Wagner [24] [37] [56] [78]
84Lothar Wendehals [24]
85Mathias Weske [10] [14]
86Danny Weyns [35] [80]
87Jon Whittle (Jonathan Whittle) [80]
88Guido Wirtz [1] [2] [3] [4] [5] [6] [7] [9] [10] [13] [14] [15]
89Albert Zündorf [17] [24]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)