| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Holger Giese, Stefan Henkler, Martin Hirsch |
A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems.  |
Simulation  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Krause, Holger Giese |
Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements |
INFINITY |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Giese, Bernhard Rumpe, Bernhard Schätz, Janos Sztipanovits |
Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441). |
Dagstuhl Reports |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
Model-Based Engineering of Embedded Real-Time Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Seibel, Regina Hebig, Stefan Neumann, Holger Giese |
A Dedicated Language for Context Composition and Execution of True Black-Box Model Transformations. |
SLE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Basil Becker, Leen Lambers, Johannes Dyck, Stefanie Birth, Holger Giese |
Iterative Development of Consistency-Preserving Rule-Based Refactorings. |
ICMT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Vogel, Holger Giese |
Requirements and Assessment of Languages and Frameworks for Adaptation Models. |
MoDELS Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Regina Hebig, Andreas Seibel, Holger Giese |
Toward a comparable characterization for software development activities in context of MDE. |
ICSSP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
SEAMS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Martin Hanysz, Tobias Hoppe, Axel Uhl, Andreas Seibel, Holger Giese, Philipp Berger, Stephan Hildebrandt |
Navigating Across Non-Navigable Ecore References via OCL. |
ECEASST |
2010 |
DBLP BibTeX RDF |
|
| 1 | Andreas Seibel, Stefan Neumann, Holger Giese |
Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance. |
Software and System Modeling |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregor Gabrysiak, Holger Giese, Andreas Seibel |
Deriving behavior of multi-user processes from interactive requirements validation. |
ASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
MBEES |
2010 |
DBLP BibTeX RDF |
|
| 1 | Holger Giese (eds.) |
Architecting Critical Systems, First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings |
ISARCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Vogel, Andreas Seibel, Holger Giese |
The Role of Models and Megamodels at Runtime. |
MoDELS Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Henkler, Simon Oberthür, Holger Giese, Andreas Seibel |
Model-Driven Runtime Resource Predictions for Advanced Mechatronic Systems with Dynamic Data Structures. |
ISORC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Giese, Stephan Hildebrandt, Stefan Neumann |
Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent. |
Graph Transformations and Model-Driven Engineering |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP DOI BibTeX RDF |
autonomic computing, adaptive software |
| 1 | Holger Giese, Stephan Hildebrandt, Andreas Seibel |
Improved Flexibility and Scalability by Interpreting Story Diagrams. |
ECEASST |
2009 |
DBLP BibTeX RDF |
|
| 1 | Holger Giese, Robert Wagner |
From model transformation to incremental bidirectional model synchronization. |
Software and System Modeling |
2009 |
DBLP DOI BibTeX RDF |
Incremental model synchronization, Model transformation, Triple graph grammars |
| 1 | Holger Giese, Stephan Hildebrandt, Stefan Neumann |
Towards Integrating SysML and AUTOSAR Modeling via Bidirectional Model Synchronization. |
MBEES |
2009 |
DBLP BibTeX RDF |
|
| 1 | Holger Giese, Michaela Huhn, Ulrich Nickel 0002, Bernhard Schätz (eds.) |
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, Schloss Dagstuhl, Germany, 2009, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme |
MBEES |
2009 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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] |
Software Engineering for Self-Adaptive Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker |
Model-driven architectural monitoring and adaptation for autonomic systems. |
ICAC |
2009 |
DBLP DOI BibTeX RDF |
software architecture, model transformation, autonomic computing, model-driven engineering, model synchronization |
| 1 | Basil Becker, Holger Giese, Stefan Neumann, Martin Schenck, Arian Treffer |
Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration. |
MoDELS Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker |
Incremental Model Synchronization for Efficient Run-Time Monitoring. |
MoDELS Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2008 |
DBLP DOI BibTeX RDF |
Multi-agent systems, UML, Real-time, Components, Control, Reconfiguration, Hybrid systems, Self-optimization, Mechatronic |
| 1 | Basil Becker, Holger Giese |
Incremental verification of inductive invariants for the run-time evolution of self-adaptive software-intensive systems. |
ASE Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Giese, Michaela Huhn, Ulrich Nickel 0002, Bernhard Schätz (eds.) |
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, Schloss Dagstuhl, Germany, 7.-9. April 2008, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme |
MBEES |
2008 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee (eds.) |
Software Engineering for Self-Adaptive Systems, 13.1. - 18.1.2008 |
Software Engineering for Self-Adaptive Systems |
2008 |
DBLP BibTeX RDF |
|
| 1 | Holger Giese (eds.) |
Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers |
MoDELS Workshops |
2008 |
DBLP BibTeX RDF |
|
| 1 | Basil Becker, Holger Giese |
On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles. |
ISORC |
2008 |
DBLP DOI BibTeX RDF |
real-time coordination, verification, invariant, graph transformations, service-oriented, autonomous vehicles, structural adaptation |
| 1 | Basil Becker, Holger Giese |
Modeling of correct self-adaptive systems: a graph transformation system based approach. |
CSTST |
2008 |
DBLP DOI BibTeX RDF |
invariant checking, modeling, correctness, graph transformations, self-adaptive systems |
| 1 | Marin Litoiu, Holger Giese |
Seams 2008: software engineering for adaptive and self-managing systems. |
ICSE Companion |
2008 |
DBLP DOI BibTeX RDF |
autonomic computing, adaptive software |
| 1 | Holger Giese, Florian Klein |
Systematic verification of multi-agent systems based on rigorous executable specifications. |
IJAOSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
MBEES |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Schätz, Holger Giese |
Models of Reactive Systems - Communication, Concurrency, and Causality. |
Model-Based Engineering of Embedded Real-Time Systems |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Giese, Stefan Neumann, Oliver Niggemann, Bernhard Schätz |
Model-Based Integration. |
Model-Based Engineering of Embedded Real-Time Systems |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz (eds.) |
Model-Based Engineering of Embedded Real-Time Systems, 4.11. - 9.11.2007 |
Model-Based Engineering of Embedded Real-Time Systems |
2007 |
DBLP BibTeX RDF |
|
| 1 | Florian Klein, Holger Giese |
Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
Visual Specification Language, Temporal Logic, Property Specification |
| 1 | Holger Giese |
Workshops and Symposia at MODELS 2007. |
MoDELS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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]. |
SELMAS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Holger Giese, Stefan Henkler, Martin Hirsch |
Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML. |
WADS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Giese, Alexander Vilbig |
Separation of non-orthogonal concerns in software architecture and design. |
Software and System Modeling |
2006 |
DBLP DOI BibTeX RDF |
Software architecture, Consistency, Separation of concern, Design by contract, Behavior synthesis |
| 1 | Kendra Cooper, Holger Giese, Ingolf H. Krüger |
Visual modeling for software intensive systems. |
J. Vis. Lang. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Giese, Stefan Henkler |
A survey of approaches for the visual model-driven development of next generation software-intensive systems. |
J. Vis. Lang. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Giese |
Reusable Services and Semi-automatic Service Composition for Automotive Software. |
ASWSD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Giese, Stefan Henkler |
Architecture-driven platform independent deterministic replay for distributed hard real-time systems. |
ROSATEA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
MBEES |
2006 |
DBLP BibTeX RDF |
|
| 1 | Holger Giese, Stefan Henkler, Martin Hirsch, Florian Klein |
Nobody's perfect: interactive synthesis from parametrized real-time scenarios. |
SCESM |
2006 |
DBLP DOI BibTeX RDF |
scenario-based synthesis, model checking, patterns, diagnosis |
| 1 | Holger Giese, Matthias Tichy |
Component-Based Hazard Analysis: Optimal Designs, Product Lines, and Online-Reconfiguration. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Giese, Robert Wagner |
Incremental Model Synchronization with Triple Graph Grammars. |
MoDELS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Giese, Tihamer Levendovszky, Hans Vangheluwe |
Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools. |
MoDELS Workshops |
2006 |
DBLP DOI BibTeX RDF |
Multi-Paradgim Modeling, Modeling, Meta-modeling, Multi-Formalism |
| 1 | Holger Giese, Norma Montealegre, Thomas Müller, Simon Oberthür, Bernd Schulz |
Acute Stress Response for Self-optimizing Mechatronic Systems. |
BICC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, Daniela Schilling |
Symbolic invariant verification for systems with dynamic structural adaptation. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
gormal verification, hraph transformation systems, structural invariants, transition invariants, embedded systems, mechatronics, symbolic algorithms |
| 1 | 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 |
DBLP DOI BibTeX RDF |
agent-oriented design methods, dependability, agent-oriented software engineering |
| 1 | Holger Giese, Ekkart Kindler, Florian Klein, Robert Wagner |
Reconciling scenario-centered controller design with state-based system models. |
ACM SIGSOFT Software Engineering Notes |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Klein, Holger Giese |
Analysis and design of physical and social contexts in multi-agent systems using UML. |
ACM SIGSOFT Software Engineering Notes |
2005 |
DBLP DOI BibTeX RDF |
UML |
| 1 | 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 |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Tichy, Holger Giese, Daniela Schilling, Wladimir Pauls |
Computing optimal self-repair actions: damage minimization versus repair time. |
ACM SIGSOFT Software Engineering Notes |
2005 |
DBLP DOI BibTeX RDF |
distributed systems, dependability, deployment, self-healing |
| 1 | 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 |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Burmester, Holger Giese |
Visual Integration of UML 2.0 and Block Diagrams for Flexible Reconfiguration in MECHATRONIC UML. |
VL/HCC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Giese, Ingolf H. Krüger, Kendra Cooper |
Visual Modeling for Software Intensive Systems. |
VL/HCC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Giese, Pascal Roques, Timothy Lethbridge |
Summary of the Educator's Symposium. |
MoDELS Satellite Events |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Giese, Martin Hirsch |
Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML. |
MoDELS Satellite Events |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Burmester, Holger Giese, Wilhelm Schäfer |
Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code. |
ECMDA-FA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Giese |
Towards the Model-Driven Development of Self-Optimizing Mechatronic Systems. |
MBEES |
2005 |
DBLP BibTeX RDF |
|
| 1 | Florian Klein, Holger Giese |
Grounding Social Interactions in the Environment. |
E4MAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Klein, Holger Giese |
Analysis and Design of Physical and Social Contexts in Multi-agent Systems. |
SELMAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Giese |
Modeling and Verification of Cooperative Self-adaptive Mechatronic Systems. |
Monterey Workshop |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
model checking, UML, embedded systems, real-time, MDA, safety-critical |
| 1 | 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 |
2004 |
DBLP DOI BibTeX RDF |
Tool coupling, Meta-Model Extension, Meta-Model Integration, Consistency, Patterns |
| 1 | Sven Burmester, Matthias Gehrke, Holger Giese, Simon Oberthür |
Making mechatronic agents resource-aware in order to enable safe dynamic resource allocation. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
real-time systems, dynamic resource allocation, resource awareness |
| 1 | Matthias Tichy, Daniela Schilling, Holger Giese |
Design of self-managing dependable systems with UML and fault tolerance patterns. |
WOSS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Giese, Matthias Tichy, Daniela Schilling |
Compositional Hazard Analysis of UML Component and Deployment Models. |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Burmester, Holger Giese, Matthias Tichy |
Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML. |
MDAFA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Klein, Holger Giese |
Separation of Concerns for Mechatronic Multi-agent Systems Through Dynamic Communities. |
SELMAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Giese, Ingolf Krüger |
Third Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM'04). (PDF / PS) |
ICSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Giese, Sven Burmester, Wilhelm Schäfer, Oliver Oberschelp |
Modular design and verification of component-based mechatronic systems with online-reconfiguration. |
SIGSOFT FSE |
2004 |
DBLP DOI BibTeX RDF |
unified modelling language (UML), real-time, components, reconfiguration, hybrid systems |
| 1 | Sven Burmester, Holger Giese, Oliver Oberschelp |
Hybrid UML Components for the Design of Complex Self-Optimizing Mechatronic Systems. |
ICINCO |
2004 |
DBLP BibTeX RDF |
|
| 1 | Thorsten Hestermeyer, Oliver Oberschelp, Holger Giese |
Structured Information Processing for Self-Optimizing Mechatronic Systems. |
ICINCO |
2004 |
DBLP BibTeX RDF |
|
| 1 | Matthias Tichy, Holger Giese |
Seamless UML Support for Service-Based Software Architectures. |
FIDJI |
2003 |
DBLP DOI BibTeX RDF |
Development methodologies for UML, service-based architectures, design of distributed Java applications |
| 1 | Holger Giese, Florian Klein, Sven Burmester |
Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models. |
Scenarios: Models, Transformations and Tools |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Giese, Florian Klein |
Autonomous Shuttle System Case Study. |
Scenarios: Models, Transformations and Tools |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Tichy, Holger Giese |
A Self-optimizing Run-Time Architecture for Configurable Dependability of Services. |
WADS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Giese, Matthias Tichy, Sven Burmester, Stephan Flake |
Towards the compositional verification of real-time UML designs. |
ESEC / SIGSOFT FSE |
2003 |
DBLP DOI BibTeX RDF |
unified modelling language (UML), embedded systems, real-time, pattern, object constraint language (OCL) |
| 1 | Holger Giese, Martin Kardos, Ulrich Nickel 0002 |
Towards Design Verification and Validation at Multiple Levels of Abstraction. |
DIPES |
2002 |
DBLP BibTeX RDF |
|
| 1 | Matthias Gehrke, Holger Giese, Ulrich Nickel 0002, Jörg Niere, Matthias Tichy, Jörg P. Wadsack, Albert Zündorf |
Reporting about industrial strength software engineering courses for undergraduates. |
ICSE |
2002 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")