Hasso-Plattner-Institut für Softwaresystemtechnik

>> Projekte > Abgeschlossene Projekte > SFB 614

Fachgebiet Systemanalyse und Modellierung

Leitung:
Prof. Dr. Holger Giese

Call for Paper

10.02.2012
FMOODS & FORTE 2012

IFIP International Conference on Formal Techniques for Distributed Systems joint international...

19.03.2012
MoDELS 2012

ACM/IEEE 15th International Conference on Model-Driven Engineering Language and Systems

RSS-Feed abonnieren

weitere RSS-Feeds

SFB 614: Teilprojekt B1 Entwurfstechniken

Der Sonderforschungsbereich 614 ,,Selbstoptimierende Systeme des Maschinenbaus", der im Juli 2002 an der Universität Paderborn durch die Deutsche Forschungsgemeinschaft eingerichtet wurde, hat sich zum Ziel gesetzt, Methoden und Werkzeuge für die Entwicklung selbstoptimierender Systeme zu entwickeln, und fasst zu diesem Zweck die beiden Forschungsgebiete Mechatronik und Informatik zusammen. Das Teilprojekt B1 für Entwurfstechniken befasst sich dabei mit UML-basierten Entwurfstechniken für selbstoptimierende Multiagentensysteme (MAS) mit mechatronischen Komponenten.

Basis der Arbeiten im Teilprojekt B1 ist ein auf kompositionaler Verifikation und domänenspezifischen Entwurfsmustern beruhender Ansatz zur Modellierung diskreter Echtzeitsysteme. Darauf aufbauend werden Ansätze zur Modellierung hybrider Agenten mit diskretem und kontinuierlichem Verhalten, sowie deren Online-Rekonfiguration unter besonderer Berücksichtigung von Sicherheit und Zuverlässigkeit erforscht.

Veröffentlichungen im SFB 614

1.	Sven Burmester and Holger Giese and Eckehard Münch and Oliver Oberschelp and Florian Klein and Peter Scheideler, Tool Support for the Design of Self-Optimizing Mechatronic Multi-Agent Systems, International Journal on Software Tools for Technology Transfer (STTT) 10(3):207-222, 6 2008,
2.	Basil Becker and Holger Giese. On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles. In In Proc. of 11th International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC), pages 203–210, 5 2008. IEEE Computer Society Press.
3.	Stefan Henkler and Andreas Seibel and Holger Giese. Synthesis of Real-Time Component Behavior. Technical Report tr-ri-08-296, Computer Science Department, University of Paderborn, 12 2008.
4.	Sven Burmester and Holger Giese and Stefan Henkler and Martin Hirsch and Matthias Tichy and Vadim Boiko and Alfonso Gambuzza and Eckehard Münch and Henner Vöcking. Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View. In Proc. of the 29th International Conference on Software Engineering (ICSE), Minneapolis, Minnesota, USA, pages 801–804, 5 2007. IEEE Computer Society Press.
5.	Ursula Frank and Holger Giese and Thomas Müller and Simon Oberthür and Christoph Romaus and Matthias Tichy and Henner Vöcking. Potenziale und Risiken der Selbstoptimierung für die Verlässlichkeit mechatronischer Systeme. In Proc. of the Fifth Paderborner Workshop Entwurf mechatronischer Systeme, 3 2007. HNI-Verlagsschriftenreihe.
6.	Holger Giese and Alexander Vilbig, Separation of Non-Orthogonal Concerns in Software Architecture and Design, Software and System Modeling (SoSyM) 5(2):136 - 169, 6 2006,
7.	Ricardo Choren and Alessandro Garcia and Holger Giese and Ho-fung Leung and Carlos Lucena and Alexander Romanovsky. Software Engineering for Large-Scale Multi-agent Systems SELMAS'06. In ICSE '06: Proceedings of the 26th International Conference on Software Engineering, New York, NY, USA, 2006. ACM Press.
8.	Florian Klein and Holger Giese. Grounding Social Interactions in the Environment. In Danny Weyns and Van Parunak and Fabien Michel, ed., Environments for Multiagent Systems II, vol. 3830 of Lecture Notes in Artificial Intelligence (LNAI), pages 139–162. Springer Verlag, 3 2006.
9.	Florian Klein and Holger Giese. Analysis and Design of Physical and Social Contexts in Multi-Agent Systems. In Alessandro Garcia and Ricardo Choren and Carlos Lucena and Alexander Romanovsky and Tom Holvoet and Paolo Giorgini, ed., Software Engineering for Multi-Agent Systems IV, vol. 3914 of Lecture Notes in Computer Science (LNCS), pages 91-108. Springer Verlag, 4 2006.
10.	Sven Burmester and Holger Giese and Oliver Oberschelp. Hybrid UML Components for the Design of Complex Self-optimizing Mechatronic Systems. In J. Braz and H. Araújo and A. Vieira and B. Encarnacao, ed., Informatics in Control, Automation and Robotics I, Springer Verlag, 3 2006.
11.	Holger Giese and Martin Hirsch. Modular Verificaton of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML. In Jean-Michel Bruel, ed., Satellite Events at the MoDELS 2005 Conference: MoDELS 2005 International Workshops, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers, vol. 3844 of Lecture Notes in Computer Science (LNCS), pages 67-78. Springer Verlag, 1 2006.
12.	Holger Giese and Robert Wagner. Incremental Model Synchronization with Triple Graph Grammars. In Oscar Nierstrasz and John Whittle and David Harel and Gianna Reggio, ed., Proc. of the 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS), Genova, Italy, volume 4199 of Lecture Notes in Computer Science (LNCS), pages 543–557, 10 2006. Springer Verlag.
13.	Holger Giese and Matthias Tichy. Component-Based Hazard Analysis: Optimal Designs, Product Lines, and Online-Reconfiguration. In Proc. of the 25th International Conference on Computer Safety, Security and Reliability (SAFECOMP), Gdansk, Poland, volume 4166 of Lecture Notes in Computer Science (LNCS), pages 156–169, 9 2006. Springer Verlag.
14.	Björn Axenath and Holger Giese and Florian Klein and Ursula Frank. Systematic Requirements-Driven Evaluation and Synthesis of Alternative Principle Solutions for Advanced Mechatronic Systems. In Proc. of the 14th IEEE International Requirements Engineering Conference (RE'06), Minneapolis/St. Paul, Minnesota, USA, pages 156–165, 9 2006. IEEE Computer Science.
15.	Holger Giese and N. Montealegre and T. Müller and S. Oberthür and B. Schulz. Acute stress response for self-optimizing mechatronic systems. In Proc. of the IFIP Conference on Biologically Inspired Cooperative Computing (BICC 2006), Santiago, Chile, August 20-25, 2006, 8 2006. Springer Science and Business Media.
16.	Holger Giese and Stefan Henkler and Martin Hirsch and Florian Klein. Nobody's perfect: Interactive Synthesis from Parametrized Real-Time Scenarios. In Proc. of the 5^th ICSE 2006 Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'06),Shanghai, China, pages 67-74, 5 2006. ACM Press.
17.	Holger Giese and Stefan Henkler and Martin Hirsch. Analysis and Modeling of Real-Time with Mechatronic UML taking Clock Drift into Account. In Sébastien Gérard and S. Graf and \O. Haugen and I. Ober and B. Selic, ed., Proc. of the International Workshop on Modeling and Analysis of Real-Time and Embedded Systems (MARTES), Satellite Event of the 9th International Conference on Model Driven Engineering Languages and Systems, MoDELS/UML2006, Genova, Italy, volume 343 of Research Report, pages 41-60, University of Oslo, 2006.
18.	Holger Giese and Stefan Henkler and Martin Hirsch and Matthias Tichy and Henner Vöcking. Modellbasierte Entwicklung vernetzter, mechatronischer Systeme am Beispiel der Konvoifahrt autonom agierender Schienenfahrzeuge. In Proc. of the Fourth Paderborner Workshop Entwurf mechatronischer Systeme, volume 189 of HNI-Verlagsschriftenreihe, pages 457-473, 2006.
19.	Holger Giese and Stefan Henkler and Martin Hirsch. A PlugIn for the Development of Resource Aware Components with Mechatronic UML. In Holger Giese and Bernhard Westfechtel, ed., Proc. of the fourth International Fujaba Days 2006, Bayreuth, Germany, volume tr-ri-06-275 of Technical Report, pages 51–55, 2006. University of Paderborn.
20.	Holger Giese and Bernhard Rumpe and Bernhard Schätz, (ed.). Proc. of the 2nd Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES). number 2006-1 in Informatik-Bericht, Schloss Dagstuhl, Germany, 1 2006. TU Braunschweig,
21.	Florian Klein and Matthias Tichy. Building Reliable Systems based on Self-Organizing Multi-Agent Systems. In Proc. of the 5^th ICSE 2006 Workshop on Software Engineering for Large-scale Multi-Agent Systems (SELMAS'06), Shanghai, China, pages 51–58, 5 2006. ACM Press.
22.	Stefan Henkler and Martin Hirsch. A Multi-Paradigm Modeling Approach for Reconfigurable Mechatronic Systems. In Holger Giese and Tihamer Levendovszky, ed., Proc.~of the International Workshop on Multi-Paradigm Modeling: Concepts and Tools (MPM06), Satellite Event of the the 9th International Conference on Model-Driven Engineering Languages and Systems MoDELS/UML2006, Genova, Italy, volume 2006/1 of BME-DAAI Technical Report Series, pages 15-25, Budapest University of Technology and Economics, 2006.
23.	Florian Klein and Holger Giese. Separation of concerns for mechatronic multi-agent systems through dynamic communities. In Ricardo Choren and Alessandro Garcia and Carlos Lucena and Alexander Romanovsky, ed., Software Engineering for Multi-Agent Systems III: Research Issues and Practical Applications, vol. 3390 of Lecture Notes in Computer Science (LNCS), pages 272–289. Springer Verlag, 2 2005.
24.	Sven Burmester and Holger Giese and Wilhelm Schäfer. Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code. In Proc. of the European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA\\\'05), Nürnberg, Germany, volume 3748 of Lecture Notes in Computer Science (LNCS), pages 25-40, 11 2005. Springer Verlag.
25.	Sven Burmester and Holger Giese and Martin Hirsch and Daniela Schilling and Matthias Tichy. The Fujaba Real-Time Tool Suite: Model-Driven Development of Safety-Critical, Real-Time Systems. In Proc. of the 27th International Conference on Software Engineering (ICSE), St. Louis, Missouri, USA, pages 670-671, 5 2005. ACM Press.
26.	Holger Giese and Florian Klein. Autonomous Shuttle System Case Study. In Stefan Leue and Tarja Systä, ed., Scenarios: Models, Algorithms and Tools, vol. 3466 of Lecture Notes in Computer Science (LNCS), pages 90-94. Springer Verlag, 4 2005.
27.	Sven Burmester and Holger Giese and Stefan Henkler. Visual Model-Driven Development of Software Intensive Systems: A Survey of available Techniques and Tools. In Proc. of the Workshop on Visual Modeling for Software Intensive Systems (VMSIS) at the the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05), Dallas, Texas, USA, pages 11-18, 9 2005.
28.	Matthias Tichy and Holger Giese. Extending Fault Tolerance Patterns by Visual Degradation Rules. In Proc. of the Workshop on Visual Modeling for Software Intensive Systems (VMSIS) at the the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05), Dallas, Texas, USA, pages 67-74, 9 2005.
29.	Matthias Tichy and Holger Giese and Daniela Schilling and Wladimir Pauls. Computing Optimal Self-Repair Actions: Damage Minimization versus Repair Time. In Rogério de Lemos and Alexander Romanovsky, ed., Proc. of the ICSE 2005 Workshop on Architecting Dependable Systems, St. Louis, Missouri, USA, pages 1–6, 2005. ACM Press.
30.	Holger Giese and Ekkart Kindler and Florian Klein and Robert Wagner. Reconciling Scenario-Centered Controller Design with State-Based System Models. In Yves Bontemps and Alexander Egyed, ed., Proc. of the 4th Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (in Conjunction with the International Conference on Software Engineering), St. Louis, MO, USA, pages 1–5, 2005. ACM Press.
31.	Florian Klein and Holger Giese. Analysis and Design of Physical and Social Contexts in MultiAgent Systems using UML. In Ricardo Choren and Alessandro Garcia and Carlos Lucena and Alexander Romanovsky and Tom Holvoet and Paolo Giorgini, ed., Proc. of the 4th Workshop on Software Engineering for Large-Scale Multi-Agent Systems (in Conjunction with the International Conference on Software Engineering), St. Louis, MO, USA, pages 1–7, 5 2005. ACM Press.
32.	Holger Giese and Martin Hirsch. Modular Verificaton of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML. In Proc. of the International Workshop on Modeling and Analysis of Real-Time and Embedded Systems (MARTES), Satellite Event of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS/UML2005, pages 7-26, 10 2005.
33.	Basil Becker and Holger Giese and Daniela Schilling. A Plugin for Checking Inductive Invariants when Modeling with Class Diagrams and Story Patterns. In Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, pages 1-4, 9 2005.
34.	Sven Burmester and Holger Giese and Andreas Seibel and Matthias Tichy. Worst-Case Execution Time Optimization of Story Patterns for Hard Real-Time Systems. In Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, pages 71-78, 9 2005.
35.	Holger Giese and Sergej Tissen. The SceBaSy PlugIn for the Scenario-Based Synthesis of Real-Time Coordination Patterns for Mechatronic UML. In Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, pages 67-70, 2005.
36.	Sven Burmester and Holger Giese. Visual Integration of UML 2.0 and Block Diagrams for Flexible Reconfiguration in Mechatronic UML. In Proc. of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05), Dallas, Texas, USA, pages 109-116, 9 2005. IEEE Computer Society Press.
37.	Jürgen Gausemeier and Ursula Frank and Holger Giese and Florian Klein and Andreas Schmidt and Daniel Steffen and Matthias Tichy. A Design Methodology for Self-Optimizing Systems. In Gesamtzentrum für Verkehr Braunschweig e.V., ed., Contributions to the 6th Braunschweig conference of Automation, Assistance and Embedded Real Time Platforms for Transportation - Air-planes, Vehicles, Trains - (AAET2005), volume II pages 456–479, 2 2005. GZVB.
38.	Holger Giese and Ingolf Krüger. A summary of the ICSE 2004 workshop on scenarios and state machines: models, algorithms, and tools. In volume 30 pages 2, 2005. ACM Press.
39.	Holger Giese. Towards the Model-Driven Development of Self-Optimizing Mechatronic Systems. In Torsten Kleín and Bernhard Rumpe and Bernhard Schätz, ed., Proc. of the Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), 10.-14.9.2005, Schloss Dagstuhl, Germany, pages 11-22, 2005. Technical Report TUBS-SSE-2005-01, TU Braunschweig, Germany
40.	Sven Burmester and Holger Giese and Martin Hirsch. Syntax and Semantics of Hybrid Components. Technical Report tr-ri-05-264, University of Paderborn, Paderborn, Germany, 10 2005.
41.	Holger Giese and Sven Burmester and Wilhelm Schäfer and Oliver Oberschelp. Modular Design and Verification of Component-Based Mechatronic Systems with Online-Reconfiguration. In Proc. of 12th ACM SIGSOFT Foundations of Software Engineering 2004 (FSE 2004), Newport Beach, USA, pages 179-188, 11 2004. ACM Press.
42.	Matthias Tichy and Holger Giese. A Self-Optimizing Run-Time Architecture for Configurable Dependability of Services. In Rogério de Lemos and Cristina Gacek and Alexander Romanovsky, ed., Architecting Dependable Systems II, vol. 3069 of Lecture Notes in Computer Science (LNCS), pages 25–51. Springer Verlag, 2004.
43.	Sven Burmester and Matthias Gehrke and Holger Giese and Simon Oberthür. Making Mechatronic Agents Resource-aware in order to Enable Safe Dynamic Resource Allocation. In B. Georgio, ed., Proc. of Fourth ACM International Conference on Embedded Software 2004 (EMSOFT 2004), Pisa, Italy, pages 175-183, 9 2004. ACM Press.
44.	Thorsten Hestermeyer and Oliver Oberschelp and Holger Giese. Structured Information Processing For Self-optimizing Mechatronic Systems. In Helder Araujo and Alves Vieira and Jose Braz and Bruno Encarnacao and Marina Carvalho, ed., Proc. of 1st International Conference on Informatics in Control, Automation and Robotics (ICINCO 2004), Setubal, Portugal, pages 230-237, 8 2004. INSTICC Press.
45.	Holger Giese and Matthias Tichy and Daniela Schilling. Compositional Hazard Analysis of UML Component and Deployment Models. In Maritta Heisel and Peter Liggesmeyer and S. Wittmann, ed., Proc. of the 23rd International Conference on Computer Safety, Reliability and Security (SAFECOMP), Potsdam, Germany, volume 3219 of Lecture Notes in Computer Science (LNCS), 9 2004. Springer Verlag.
46.	Sven Burmester and Holger Giese and Alfonso Gambuzza and Oliver Oberschelp. Partitioning and Modular Code Synthesis for Reconfigurable Mechatronic Software Components. In C. Bobeanu, ed., Proc. of European Simulation and Modelling Conference (ESMc'2004), Paris, France, pages 66-73, 10 2004. EOROSIS Publications.
47.	Sven Burmester and Holger Giese and Oliver Oberschelp. Hybrid UML Components for the Design of Complex Self-optimizing Mechatronic Systems. In Helder Araujo and Alves Vieira and Jose Braz and Bruno Encarnacao and Marina Carvalho, ed., Proc. of 1st International Conference on Informatics in Control, Automation and Robotics (ICINCO 2004), Setubal, Portugal, pages 222-229, 8 2004. INSTICC Press.
48.	Wilhelm Dangelmaier and Holger Giese and Florian Klein and Hendrik Renken and Peter Scheideler. Shared Experiences In Intelligent Transportation Systems. In M. Ribeiro and J. Santos-Victor, ed., Proc. of the IAV 2004 - The 5th Symposium on Intelligent Autonomous Vehicles, Lisbon, Portugal, pages 231–236, 7 2004. Elsevier Science.
49.	Sven Burmester and Holger Giese and Martin Hirsch and Daniela Schilling. Incremental Design and Formal Verification with UML/RT in the FUJABA Real-Time Tool Suite. In Proc. of the International Workshop on Specification and Validation of UML Models for Real Time and Embedded Systems, SVERTS2004, Satellite Event of the 7th International Conference on the Unified Modeling Language, UML2004, pages 1-20, 10 2004.
50.	Matthias Tichy and Basil Becker and Holger Giese. Component Templates for Dependable Real-Time Systems. In Andy Schürr and Albert Zündorf, ed., Proceedings of the 2nd International Fujaba Days 2004, Darmstadt, Germany, volume tr-ri-04-253 of Technical Report, pages 27-30, 9 2004. University of Paderborn.
51.	Sven Burmester and Matthias Tichy and Holger Giese. Modeling Reconfigurable Mechatronic Systems with Mechatronic UML. In U. Aßmann, ed., Proc. of Model Driven Architecture: Foundations and Applications (MDAFA 2004), Linköping, Sweden, pages 155-169, 6 2004.
52.	Florian Klein and Holger Giese. Advanced separation of concerns for mechatronic multi-agent systems through dynamic communities. In Ricardo Choren and al, ed., Proc. of the 3rd Workshop on Software Engineering for Large-Scale Multi-Agent Systems (in Conjunction with the International Conference on Software Engineering), Edinburgh, Scotland, pages 112–119, 5 2004. IEE.
53.	Ursula Frank and Holger Giese and Florian Klein and Oliver Oberschelp and Andreas Schmidt and Bernd Schulz and Henner Vöcking and Katrin Witting, Jürgen Gausemeier (ed.), Selbstoptimierende Systeme des Maschinenbaus - Definitionen und Konzepte, of HNI-Verlagsschriftenreihe. Heinz Nixdorf Institut, Universität Paderborn, Paderborn, Germany, first edition, 2004
54.	Sven Burmester and Holger Giese and Florian Klein. Design and Simulation of Self-Optimizing Mechatronic Systems with Fujaba and CAMeL. In Andy Schürr and Albert Zündorf, ed., Proc. of the 2nd International Fujaba Days 2004, Darmstadt, Germany, volume tr-ri-04-253 of Technical Report, pages 19-22, 9 2004. University of Paderborn.
55.	Matthias Tichy and Daniela Schilling and Holger Giese. Design of Self-Managing Dependable Systems with UML and Fault Tolerance Patterns. In Proc. of the Workshop on Self-Managed Systems (WOSS) 2004, FSE 2004 Workshop, Newport Beach, USA, 10 2004.
56.	Holger Giese and Ingolf Krüger. Third Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM'04). In Proc. of the 26th International Conference on Software Engineering, pages 756–757, 2004. IEEE Computer Society Press.
57.	Florian Klein and Holger Giese. Ontologiebasiertes Rapid Prototyping für kognitive Multiagentensysteme. In Modellierung 2004 - Praktischer Einsatz von Modellen, Workshop W4: Ontologien in der und für die Softwaretechnik, pages 33–42, 3 2004. Conradin Verlag, Marburg.
58.	Oliver Oberschelp and Alfonso Gambuzza and Sven Burmester and Holger Giese. Modular Generation and Simulation of Mechatronic Systems. In N. Callaos and W. Lesso and B. Sanchez, ed., Proc. of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI), Orlando, USA, pages 1-6, 7 2004. International Institute of Informatics and Systemics (IIIS).
59.	Holger Giese and Sven Burmester. Analysis and Synthesis for Parameterized Timed Sequence Diagrams. In Holger Giese and Ingolf Krüger, ed., Proc. of the 3rd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (ICSE 2003 Workshop W5S), Edinburgh, Scotland, pages 43-50, 5 2004. IEEE.
60.	Sven Burmester and Holger Giese and Oliver Oberschelp. Hybrid UML Components for the Correct Design of Self-optimizing Mechatronic Systems. Technical Report tr-ri-03-246, University of Paderborn, Paderborn, Germany, 2004.
61.	Holger Giese and Ingolf Krüger, (ed.). Proc. of the Third Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM04). Edinburgh, Scotland, 6 2004. IEE. Workshop W5S of the 26th International Conference on Software Engineering
62.	Holger Giese and Matthias Tichy and Sven Burmester and Wilhelm Schäfer and Stephan Flake. Towards the Compositional Verification of Real-Time UML Designs. In Proc. of the European Software Engineering Conference (ESEC), Helsinki, Finland, Proc.~of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering (ESEC/FSE-11), pages 38–47, 2003. ACM Press.
63.	Matthias Tichy and Holger Giese. Seamless UML Support for Service-based Software Architectures. In Nicolas Guelfi and E. Artesiano and G. Reggio, ed., Proc. of the International Workshop on scientiFic engIneering of Distributed Java applIcations (FIDJI) 2003, Luxembourg, volume 2952 of Lecture Notes in Computer Science (LNCS), pages 128–138, 11 2003. Springer Verlag.
64.	Robert Wagner and Holger Giese and Ulrich Nickel. A Plug-In for Flexible and Incremental Consistency Management. In Proc. of the International Conference on the Unified Modeling Language 2003 (Workshop 7: Consistency Problems in UML-based Software Development), San Francisco, USA, of Technical Report, 10 2003. Blekinge Institute of Technology, San Francisco.
65.	Holger Giese and Sven Burmester and Florian Klein and Daniela Schilling and Matthias Tichy. Multi-Agent System Design for Safety-Critical Self-Optimizing Mechatronic Systems with UML. In Brian Henderson-Sellers and J Debenham, ed., OOPSLA 2003 - Second International Workshop on Agent-Oriented Methodologies, pages 21–32, Anaheim, CA, USA, Center for Object Technology Applications and Research (COTAR), University of Technology, Sydney, Australia, 10 2003.
66.	Holger Giese. Towards Scenario-Based Synthesis for Parametric Timed Automata. In Proc. of the 2nd International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM, ICSE 2003 Workshop 8), Portland, USA, 5 2003.
67.	Martin Hirsch and Holger Giese. Towards the Incremental Model Checking of Complex RealTime UML Models. In Holger Giese and Albert Zündorf, ed., Proc. of the first International Fujaba Days 2003, Kassel, Germany, volume tr-ri-04-247 of Technical Report, pages 9–12, 10 2003. University of Paderborn.
68.	Sven Burmester and Holger Giese. The Fujaba Real-Time Statechart PlugIn. In Holger Giese and Albert Zündorf, ed., Proc. of the first International Fujaba Days 2003, Kassel, Germany, volume tr-ri-04-247 of Technical Report, pages 1-8, 10 2003. University of Paderborn.
69.	Sven Burmester and Holger Giese and Wilhelm Schäfer. Code Generation for Hard Real-time Systems from Real-time Statecharts. Technical Report tr-ri-03-244, University of Paderborn, Paderborn, Germany, 10 2003.
70.	Holger Giese and D. Schilling and Matthias Tichy and Sven Burmester and Wilhelm Schäfer and S. Flake. Towards the Compositional Verification of Real-Time UML Designs. Technical Report tr-ri-03-241, Lehrstuhl für Softwaretechnik, Universität Paderborn, Paderborn, Deutschland, 7 2003.