Dokumente

2010

Holger Giese, Stefan Henkler, and Martin Hirsch, 'A Multi-Paradigm Approach Supporting the Modular Execution of Reconfigurable Hybrid Systems', in Transactions of the Society for Modeling and Simulation International, pp. 528--566, December 2010. accepted.

Stefan Henkler, Simon Oberthür, Holger Giese, and Andreas Seibel, 'Model-Driven Runtime Resource Predictions for Advanced Mechatronic Systems with Dynamic Data Structures', in In Proc. of 13th International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC), pp. 202--209, IEEE Computer Society Press, 5 2010. accepted.

2009

Stefan Henkler, Joel Greenyer, Martin Hirsch, Wilhelm Schäfer, Kathan Alhawash, Tobias Eckardt, Christian Heinzemann, Renate Löffler, Andreas Seibel, and Holger Giese, 'Synthesis of Timed Behavior From Scenarios in the Fujaba Real-Time Tool Suite', in Proc. of the 31th International Conference on Software Engineering (ICSE), Vancouver, Canada, pp. 615--618, May 2009.

Holger Giese and Robert Wagner, 'From model transformation to incremental bidirectional model synchronization', Software and Systems Modeling (SoSyM), vol. 8, pp. 21--43, February 2009. Online First. DOI: http://dx.doi.org/10.1007/s10270-008-0089-9.

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, and Jon Whittle, 'Software Engineering for Self-Adaptive Systems: A Research Roadmap', in Software Engineering for Self-Adaptive Systems (Betty H.~C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, and Jeff Magee, eds.), vol. 5525 of Lecture Notes in Computer Science, pp. 1--26, Springer, 2009.

2008

Stefan Henkler, Andreas Seibel, and Holger Giese, 'Synthesis of Real-Time Component Behavior', Tech. Rep. tr-ri-08-296, Computer Science Department, University of Paderborn, December 2008.

Holger Giese, Stefan Henkler, and Martin Hirsch, 'A Multi-Paradigm Approach Supporting the Modular Execution of Reconfigurable Hybrid Systems', Tech. Rep. tr-ri-08-297, Computer Science Department, University of Paderborn, December 2008.

Christian Brenner, Holger Giese, Stefan Henkler, Martin Hirsch, and Claudia Priesterjahn, 'Integration of Legacy Components in Mechatronic UML Architectures', in Proc. of the 6^th International Fujaba Days 2008, Dresden, Germany (Uwe Aßmann, Jendrik Johannes, and Albert Zündorf, eds.), pp. 52--55, September 2008.

Sven Burmester, Holger Giese, Eckehard Münch, Oliver Oberschelp, 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), vol. 10, pp. 207--222, June 2008.

Martin Hirsch, Stefan Henkler, and Holger Giese, 'Modeling Collaborations with Dynamic Structural Adaptation in Mechatronic UML', in Proc. of the ICSE 2008 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'08),Leipzig, Germany, pp. 33--40, ACM Press, May 2008.

Stefan Henkler and Martin Hirsch, 'Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View', in Proc. of the Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), 7.3.-12.3.2008, Schloss Dagstuhl, Germany (Bernhard Schätz, Holger Giese, Ulrich Nickel, and Michaela Huhn, eds.), no. 2008-02 in Informatik-Bericht, (Technische Universität Braunschweig), pp. 78--87, April 2008.

Semir Osmic, Eckehard Münch, Ansgar Trächtler, Stefan Henkler, Wilhelm Schäfer, Holger Giese, and Martin Hirsch, 'Safe Online-Reconfiguration of Self-Optimzing Mechatronic Systems', in Selbstoptimierende mechatronische Systeme: Die Zukunft gestalten. 7. Internationales Heinz Nixdorf Symposium für industrielle Informationstechnik (Jürgen Gausemeier, Franz Rammig, and Wilhelm Schäfer, eds.), pp. 411--426, February 2008.

Holger Giese, Stefan Henkler, Martin Hirsch, Vladimir Roubin, and Matthias Tichy, 'Modeling Techniques for Software-Intensive Systems', in Designing Software-Intensive Systems: Methods and Principles (Dr. Pierre~F. Tiako, ed.), pp. 21--58, Langston University, OK, 2008.

Holger Giese, Stefan Henkler, and Martin Hirsch, 'Combining Compositional Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML', in Architecting Dependable Systems V (Rogério de Lemos, Felicita~Di Giandomenico, Cristina Gacek, Henry Muccini, and Marlon Vieira, eds.), vol. 5135 of LNCS, pp. 248--273, SPRINGER, 2008.

Dietrich Travkin and Ingo Stürmer, 'Tool Supported Quality Assessment and Improvement in MATLAB Simulink and Stateflow Models', in Postproc. of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany (Matthias Gehrke, Holger Giese, and Joachim Stroop, eds.), 2008.

2007

Stefan Henkler and Martin Hirsch, 'Compositional Validation of Distributed Real Time Systems', in Proc. of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany, 30.-31.10.2007 (Matthias Gehrke, Holger Giese, and Joachim Stroop, eds.), vol. tr-ri-07-286, pp. 52--56, University of Paderborn, October 2007.

Ingo Stürmer and Dietrich Travkin, 'Automated Transformation of MATLAB Simulink and Stateflow Models', in Proc. of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany, 30.-31.10.2007 (Matthias Gehrke, Holger Giese, and Joachim Stroop, eds.), vol. tr-ri-07-286, pp. 57--62, University of Paderborn, October 2007.

Holger Giese, Stefan Henkler, Martin Hirsch, and Claudia Priesterjahn, 'Model-Based Testing of Mechatronic Systems', in Proc. of the 5th International Fujaba Days 2007, Kassel, Germany (Leif Geiger, Holger Giese, and Albert Zündorf, eds.), pp. 1--4, September 2007.

Holger Giese, Stefan Henkler, Martin Hirsch, Florian Klein, and Michael Spijkerman, 'Monitoring of Structural and Temporal Properties', in Proc. of the 5th International Fujaba Days 2007, Kassel, Germany (Leif Geiger, Holger Giese, and Albert Zündorf, eds.), pp. 1--4, September 2007.

Jürgen Gausemeier, Holger Giese, Wilhelm Schäfer, Björn Axenath, Ursula Frank, Stefan Henkler, Sebastian Pook, and Matthias Tichy, 'Towards the Design of Self-Optimizing Mechatronic Systems: Consistency between Domain-Spanning and Domain-Specific Models', in Proc. of the 16th International Conference on Engineering Design (ICED), Paris, France, August 2007.

Sven Burmester, Holger Giese, Stefan Henkler, Martin Hirsch, Matthias Tichy, Alfonso Gambuzza, Eckehard Müch, 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, pp. 801--804, IEEE Computer Society Press, May 2007.

Holger Giese and Florian Klein, 'Systematic Verification of Multi-Agent Systems based on Rigorous Executable Specifications', International Journal on Agent-Oriented Software Engineering (IJAOSE), vol. 1, pp. 28--62, April 2007.

Ursula Frank, Holger Giese, Thomas Müller, Simon Oberthür, Christoph Romaus, 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, HNI-Verlagsschriftenreihe, March 2007.

Florian Klein and Holger Giese, 'Joint Structural and Temporal Property Specification using Timed Story Sequence Diagrams', in Proc. of 10th International Conference on Fundamental Approaches to Software Engineering (FASE) 2007, held as part of ETAPS 2007, Lisboa, Portugal, March 24-April 1, 2007 (Matt Dwyer and Antónia Lopes, eds.), vol. 4422 of LNCS, pp. 185--199, Springer Verlag, March 2007.

Matthias Gehrke, Martin Hirsch, Wilhelm Schäfer, Oliver Niggemann, Dirk Stichling, and Ulrich Nickel, 'Typisierung und Verifikation zeitlicher Anforderungen automotiver Software Systeme', in Proc. of the Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), 15.-18.1.2007, Schloss Dagstuhl, Germany (Mirko conrad, Holger Giese, Bernhard Rumpe, and Bernhard Schätz, eds.), no. 2007-1 in Informatik-Bericht, (Technische Universität Braunschweig), pp. 73--82, January 2007.

2006

Holger Giese and Stefan Henkler, 'A Survey of Approaches for the Visual Model-Driven Development of Next Generation Software-Intensive Systems', in Journal of Visual Languages and Computing, vol. 17, pp. 528--550, December 2006.

Holger Giese, Stefan Henkler, and Martin Hirsch, 'Analysis and Modeling of Real-Time with Mechatronic UML taking Clock Drift into Account', in 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, vol. 343 of Research Report, (University of Oslo), pp. 41--60, October 2006.

Holger Giese and Robert Wagner, 'Incremental Model Synchronization with Triple Graph Grammars', in Proc. of the 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS), Genova, Italy (Oscar Nierstrasz, John Whittle, David Harel, and Gianna Reggio, eds.), vol. 4199 of Lecture Notes in Computer Science (LNCS), pp. 543--557, Springer Verlag, October 2006.

Holger Giese, Sabine Glesner, Johannes Leitner, Wilhelm Schäfer, and Robert Wagner, 'Towards Verified Model Transformations', in Proc. of the 3^rd International Workshop on Model Development, Validation and Verification (MoDeV²a), Genova, Italy (David Hearnden, Jörn~Guy Süß, Benoît Baudry, and Nicolas Rapin, eds.), pp. 78--93, Le Commissariat à l'Energie Atomique - CEA, October 2006.

Florian Klein and Holger Giese, 'Integrated Visual Specification of Structural and Temporal Properties', Tech. Rep. tr-ri-06-277, Computer Science Department, University of Paderborn, October 2006.

Holger Giese, Stefan Henkler, and Martin Hirsch, 'A PlugIn for the Development of Resource Aware Components with Mechatronic UML', in Proc. of the fourth International Fujaba Days 2006, Bayreuth, Germany (Holger Giese and Bernhard Westfechtel, eds.), vol. tr-ri-06-275 of Technical Report, pp. 51--55, University of Paderborn, September 2006.

Holger Giese and Bernhard Westfechtel, eds., Proc. of the Fourth International Fujaba Days 2006, vol. tr-ri-06-275, September 2006.

Björn Axenath, Holger Giese, 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, September 11-15, 2006, pp. 156--165, IEEE Computer Science, September 2006.

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, Lecture Notes in Computer Science (LNCS), pp. 156--169, Springer Verlag, September 2006.

Matthias Tichy, Holger Giese, and Andreas Seibel, 'Story Diagrams in Real-Time Software', in Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany (Holger Giese and Bernhard Westfechtel, eds.), vol. tr-ri-06-275 of Technical Report, pp. 15--22, University of Paderborn, September 2006.

Matthias Tichy, Matthias Meyer, and Holger Giese, 'On Semantic Issues in Story Diagrams', in Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany (Holger Giese and Bernhard Westfechtel, eds.), vol. tr-ri-06-275 of Technical Report, pp. 10--14, University of Paderborn, September 2006.

Holger Giese, Matthias Meyer, and Robert Wagner, 'A Prototype for Guideline Checking and Model Transformation in Matlab/Simulink', in Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany (Holger Giese and Bernhard Westfechtel, eds.), vol. tr-ri-06-275 of Technical Report, pp. 56--60, University of Paderborn, September 2006.

Robert Wagner, 'Developing Model Transformations with Fujaba', in Proc. of the 4^th International Fujaba Days 2006, Bayreuth, Germany (Holger Giese and Bernhard Westfechtel, eds.), vol. tr-ri-06-275 of Technical Report, pp. 79--82, University of Paderborn, September 2006.

Holger Giese and Florian Klein, 'Visual Specification of Structural and Temporal Properties', in Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany (Holger Giese and Bernhard Westfechtel, eds.), vol. tr-ri-06-275 of Technical Report, pp. 23--30, University of Paderborn, September 2006.

Holger Giese and Florian Klein, 'Beyond Story Patterns: Story Decision Diagrams', in Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany (Holger Giese and Bernhard Westfechtel, eds.), vol. tr-ri-06-275 of Technical Report, pp. 2--9, University of Paderborn, September 2006.

Holger Giese and Stefan Henkler, 'Architecture-Driven Platform Independent Deterministic Replay for Distributed Hard Real-Time Systems', in Proceedings of the 2nd International Workshop on The Role of Software Architecture for Testing and Analysis (ROSATEA2006), (New York, NY, USA), pp. 28--38, ACM Press, July 2006.

Holger Giese and A. Vilbig, 'Separation of Non-Orthogonal Concerns in Software Architecture and Design', Software and System Modeling (SoSyM), vol. 5, pp. 136 -- 169, June 2006.

Holger Giese, Stefan Henkler, Martin Hirsch, 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, vol. 189 of HNI-Verlagsschriftenreihe, pp. 457--473, May 2006.

Holger Giese, Stefan Henkler, 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, pp. 67--74, ACM Press, May 2006.

Florian Klein and Holger Giese, 'Analysis and Design of Physical and Social Contexts in Multi-Agent Systems', in Software Engineering for Multi-Agent Systems IV (A. Garcia, R. Choren, C. Lucena, A. Romanovsky, T. Holvoet, and P. Giorgini, eds.), vol. 3914 of Lecture Notes in Computer Science (LNCS), pp. 91--108, Springer Verlag, April 2006.

Holger Giese and Florian Klein, 'Visual Specification of Structural and Temporal Properties', Tech. Rep. tr-ri-06-276, Computer Science Department, University of Paderborn, April 2006.

Sven Burmester, Holger Giese, and Oliver Oberschelp, 'Hybrid UML Components for the Design of Complex Self-optimizing Mechatronic Systems', in Informatics in Control, Automation and Robotics I (J. Braz, H. Araújo, A. Vieira, and B. Encarnacao, eds.), Springer, March 2006.

Florian Klein and Holger Giese, 'Grounding Social Interactions in the Environment', in Environments for Multiagent Systems II (Danny Weyns, Van Parunak, and Fabien Michel, eds.), vol. 3830 of Lecture Notes in Artificial Intelligence (LNAI), pp. 139--162, Springer Verlag, March 2006.

Holger Giese and Martin Hirsch, 'Modular Verificaton of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML', in Satellite Events at the MoDELS 2005 Conference, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers (Jean-Michel Bruel, ed.), vol. 3844 of Lecture Notes in Computer Science (LNCS), pp. 67--78, Springer Verlag, January 2006.

Matthias Gehrke, Petra Nawratil, Oliver Niggemann, Wilhelm Schäfer, and Martin Hirsch, 'Scenario-Based Verification of Automotive Software Systems', in Proc. of the Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), 9.-13.1.2005, Schloss Dagstuhl, Germany (Holger Giese, Bernhard Rumpe, and Bernhard Schätz, eds.), no. 2006-1 in Informatik-Bericht, (Technische Universität Braunschweig), pp. 35--42, January 2006.

Holger Giese, Bernhard Rumpe, and Bernhard Schätz, eds., Proc.~of the Second Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), 9.-13.1.2005, Schloss Dagstuhl, Germany, January 2006. Technical Report TUBS-SSE-2006-01, TU Braunschweig, Germany.

Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, and Daniela Schilling, 'Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation', in Proc. of the 28^th International Conference on Software Engineering (ICSE), Shanghai, China, pp. 72--81, ACM Press, 2006.

2005

Holger Giese and Martin Hirsch, 'Checking and Automatic Abstraction for Timed and Hybrid Refinement in Mechtronic UML', Tech. Rep. tr-ri-03-266, University of Paderborn, Paderborn, Germany, December 2005.

Sven Burmester, 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, vol. 3748 of Lecture Notes in Computer Science (LNCS), pp. 25--40, Springer Verlag, November 2005.

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, pp. 7--26, October 2005.

Sven Burmester, Holger Giese, and Martin Hirsch, 'Syntax and Semantics of Hybrid Components', Tech. Rep. tr-ri-05-264, University of Paderborn, October 2005.

Holger Giese and Albert Zündorf, eds., Proc. of the Third International Fujaba Days 2005, vol. tr-ri-05-259, September 2005.

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, pp. 109--116, IEEE Computer Society Press, September 2005.

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, pp. 67--70, September 2005.

Sven Burmester, Holger Giese, 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, pp. 71--78, September 2005.

Basil Becker, 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, pp. 1--4, September 2005.

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, pp. 67--74, September 2005.

Sven Burmester, 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, pp. 11--18, September 2005.

Dietrich Travkin and Matthias Meyer, 'Generation of Type Safe Association Implementations', in Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany (Holger Giese and Albert Zündorf, eds.), vol. tr-ri-05-259 of Technical Report, pp. 63--66, University of Paderborn, September 2005.

Matthias Meyer and Jörg Niere, 'Calculation and Visualization of Software Product Metrics', in Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany (Holger Giese and Albert Zündorf, eds.), vol. tr-ri-05-259 of Technical Report, pp. 41--44, University of Paderborn, September 2005.

Sven Burmester, Holger Giese, and Matthias Tichy, 'Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML', in Model Driven Architecture: Foundations and Applications (Uwe Assmann, Arend Rensink, and Mehmet Aksit, eds.), vol. 3599 of Lecture Notes in Computer Science (LNCS), pp. 47--61, Springer Verlag, August 2005.

Sven Burmester, Holger Giese, Martin Hirsch, 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, pp. 670--671, ACM Press, May 2005.

Florian Klein and Holger Giese, 'Analysis and Design of Physical and Social Contexts in MultiAgent Systems using UML', in 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 (Ricardo Choren, Alessandro Garcia, Carlos Lucena, Alexander Romanovsky, Tom Holvoet, and Paolo Giorgini, eds.), pp. 1--7, ACM Press, May 2005.

Holger Giese, Ekkart Kindler, Florian Klein, and Robert Wagner, 'Reconciling Scenario-Centered Controller Design with State-Based System Models', in 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 (Yves Bontemps and Alexander Egyed, eds.), pp. 1--5, ACM Press, May 2005.

Matthias Tichy, Holger Giese, Daniela Schilling, and Wladimir Pauls, 'Computing Optimal Self-Repair Actions: Damage Minimization versus Repair Time', in Proc. of the ICSE 2005 Workshop on Architecting Dependable Systems, St. Louis, Missouri, USA (Rogério de Lemos and Alexander Romanovsky, eds.), pp. 1--6, ACM Press, May 2005.

Holger Giese and Florian Klein, 'Autonomous Shuttle System Case Study', in Scenarios: Models, Algorithms and Tools (Stefan Leue and Tarja Systä, eds.), vol. 3466 of Lecture Notes in Computer Science (LNCS), pp. 90--94, Springer Verlag, April 2005.

Holger Giese, Florian Klein, and Sven Burmester, 'Pattern Synthesis from Multiple Scenarios for Parameterized Real-Timed UML Models', in Scenarios: Models, Algorithms and Tools (Stefan Leue and Tarja Systä, eds.), vol. 3466 of Lecture Notes in Computer Science (LNCS), pp. 193--211, Springer Verlag, April 2005.

Florian Klein and Holger Giese, 'Separation of concerns for mechatronic multi-agent systems through dynamic communities', in Software Engineering for Multi-Agent Systems III: Research Issues and Practical Applications (Ricardo Choren, Alessandro Garcia, Carlos Lucena, and Alexander Romanovsky, eds.), vol. 3390 of Lecture Notes in Computer Science (LNCS), pp. 272--289, Springer Verlag, February 2005.

Jürgen Gausemeier, Ursula Frank, Holger Giese, Florian Klein, Andreas Schmidt, Daniel Steffen, and Matthias Tichy, 'A Design Methodology for Self-Optimizing Systems', in Contributions to the 6th Braunschweig conference of Automation, Assistance and Embedded Real Time Platforms for Transportation - Air-planes, Vehicles, Trains - (AAET2005) (Gesamtzentrum für Verkehr Braunschweig~e.V., ed.), vol. II, pp. 456--479, GZVB, February 2005.

Holger Giese and A. Vilbig, 'Separation of Non-Orthogonal Concerns in Software Architecture and Design', Tech. Rep. tr-ri-05-254, Lehrstuhl für Softwaretechnik, Universität Paderborn, Paderborn, Deutschland, January 2005. (Version 2).

Holger Giese, 'Towards the Model-Driven Development of Self-Optimizing Mechatronic Systems', in Proc. of the Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), 10.-14.9.2005, Schloss Dagstuhl, Germany (Torsten Kleín, Bernhard Rumpe, and Bernhard Schätz, eds.), pp. 11--22, January 2005. Technical Report TUBS-SSE-2005-01, TU Braunschweig, Germany.

Holger Giese, Pascal Roques, and Timothy~C. Lethbridge, 'Summary of the Educator's Symposium', in MoDELS'05 Stellite event proceedings, Lecture Notes in Computer Science (LNCS), Springer Verlag, 2005.

Holger Giese and Ingolf Krüger, 'A summary of the ICSE 2004 workshop on scenarios and state machines: models, algorithms, and tools', SIGSOFT Softw. Eng. Notes, vol. 30, no. 1, p. 2, 2005.

2004

Holger Giese and Daniela Schilling, 'Towards the Automatic Verification of Inductive Invariants for Infinite State UML Models', Tech. Rep. tr-ri-04-252, University of Paderborn, Paderborn, Germany, December 2004.

Holger Giese, Sven Burmester, 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, pp. 179--188, ACM Press, November 2004.

Ursula Frank, Holger Giese, Florian Klein, Oliver Oberschelp, Andreas Schmidt, Bernd Schulz, Henner Vöcking, and Katrin Witting, 'Selbstoptimierende Systeme des Maschinenbaus - Definitionen und Konzepte',. No. Band 155 in HNI-Verlagsschriftenreihe, Paderborn, Germany: Bonifatius GmbH, first ed., November 2004.

Matthias Tichy, 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, October 2004.

Sven Burmester, Holger Giese, 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, pp. 1--20, October 2004.

Sven Burmester, Holger Giese, Alfonso Gambuzza, and Oliver Oberschelp, 'Partitioning and Modular Code Synthesis for Reconfigurable Mechatronic Software Components', in Proc. of European Simulation and Modelling Conference (ESMc'2004), Paris, France (C. Bobeanu, ed.), pp. 66--73, EOROSIS Publications, October 2004.

Holger Giese, Matthias Tichy, and Daniela Schilling, 'Compositional Hazard Analysis of UML Components and Deployment Models', in Proc. of the 23rd International Conference on Computer Safety, Reliability and Security (SAFECOMP), Potsdam, Germany, vol. 3219 of Lecture Notes in Computer Science (LNCS), Springer Verlag, September 2004.

Sven Burmester, Matthias Gehrke, Holger Giese, and Simon Oberthür, 'Making Mechatronic Agents Resource-aware in order to Enable Safe Dynamic Resource Allocation', in Proc. of Fourth ACM International Conference on Embedded Software 2004 (EMSOFT 2004), Pisa, Italy (B. Georgio, ed.), pp. 175--183, ACM Press, September 2004.

Matthias Tichy, Basil Becker, and Holger Giese, 'Component Templates for Dependable Real-Time Systems', in Proc. of the 2nd International Fujaba Days 2004, Darmstadt, Germany (Andy Schürr and Albert Zündorf, eds.), vol. tr-ri-04-253 of Technical Report, pp. 27--30, University of Paderborn, September 2004.

Sven Burmester, Holger Giese, and Florian Klein, 'Design and Simulation of Self-Optimizing Mechatronic Systems with Fujaba and CAMeL', in Proc. of the 2nd International Fujaba Days 2004, Darmstadt, Germany (Andy Schürr and Albert Zündorf, eds.), vol. tr-ri-04-253 of Technical Report, pp. 19--22, University of Paderborn, September 2004.

Thorsten Hestermeyer, Oliver Oberschelp, and Holger Giese, 'Structured Information Processing For Self-optimizing Mechatronic Systems', in Proc. of 1st International Conference on Informatics in Control, Automation and Robotics (ICINCO 2004), Setubal, Portugal (Helder Araujo, Alves Vieira, Jose Braz, Bruno Encarnacao, and Marina Carvalho, eds.), pp. 230--237, INSTICC Press, August 2004.

Sven Burmester, Holger Giese, and Oliver Oberschelp, 'Hybrid UML Components for the Design of Complex Self-optimizing Mechatronic Systems', in Proc. of 1st International Conference on Informatics in Control, Automation and Robotics (ICINCO 2004), Setubal, Portugal (Helder Araujo, Alves Vieira, Jose Braz, Bruno Encarnacao, and Marina Carvalho, eds.), pp. 222--229, INSTICC Press, August 2004.

Sven Burmester, Holger Giese, Jörg Niere, Matthias Tichy, Jörg~P. Wadsack, Robert Wagner, Lothar Wendehals, and Albert Zündorf, 'Tool Integration at the Meta-Model Level within the FUJABA Tool Suite', International Journal on Software Tools for Technology Transfer (STTT), vol. 6, pp. 203--218, August 2004.

Oliver Oberschelp, Alfonso Gambuzza, Sven Burmester, and Holger Giese, 'Modular Generation and Simulation of Mechatronic Systems', in Proc. of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI), Orlando, USA (N. Callaos, W. Lesso, and B. Sanchez, eds.), pp. 1--6, International Institute of Informatics and Systemics (IIIS), July 2004.

Wilhelm Dangelmaier, Holger Giese, Florian Klein, Hendrik Renken, and Peter Scheideler, 'Shared Experiences In Intelligent Transportation Systems', in Proc. of the IAV 2004 - The 5th Symposium on Intelligent Autonomous Vehicles, Lisbon, Portugal (M. Ribeiro and J. Santos-Victor, eds.), pp. 231--236, Elsevier Science, July 2004.

Sven Burmester, Matthias Tichy, and Holger Giese, 'Modeling Reconfigurable Mechatronic Systems with Mechatronic UML', in Proc. of Model Driven Architecture: Foundations and Applications (MDAFA 2004), Linköping, Sweden (U. Aßmann, ed.), pp. 155--169, June 2004.

Holger Giese and Sven Burmester, 'Analysis and Synthesis for Parameterized Timed Sequence Diagrams', in Proc. of the 3rd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (ICSE 2003 Workshop W5S), Edinburgh, Scotland (Holger Giese and Ingolf Krüger, eds.), pp. 43--50, IEE, May 2004.

Florian Klein and Holger Giese, 'Advanced separation of concerns for mechatronic multi-agent systems through dynamic communities', in 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 (Ricardo~Choren et al., ed.), pp. 112--119, IEE, May 2004.

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, Marburg, 2004, pp. 33--42, Conradin Verlag, Marburg, March 2004.

Sven Burmester, Holger Giese, and Oliver Oberschelp, 'Hybrid UML Components for the Correct Design of Self-optimizing Mechatronic Systems', Tech. Rep. tr-ri-03-246, University of Paderborn, Paderborn, Germany, January 2004.

Matthias Tichy and Holger Giese, 'A Self-Optimizing Run-Time Architecture for Configurable Dependability of Services', in Architecting Dependable Systems II (Rogério de Lemos, Cristina Gacek, and Alexander Romanovsky, eds.), vol. 3069 of Lecture Notes in Computer Science (LNCS), pp. 25--51, Springer Verlag, 2004.

Oliver Oberschelp, Thorsten Hestermeyer, and Holger Giese, 'Strukturierte Informationsverarbeitung für selbstoptimierende mechatronische Systeme', in Proc. of the Second Paderborner Workshop Intelligente Mechatronische Systeme, vol. 145 of HNI-Verlagsschriftenreihe, (Paderborn, Germany), pp. 43--56, 2004.

2003

Matthias Tichy and Holger Giese, 'Seamless UML Support for Service-based Software Architectures', in Proc. of the International Workshop on scientiFic engIneering of Distributed Java applIcations (FIDJI) 2003, Luxembourg (N. Guelfi, E. Artesiano, and G. Reggio, eds.), vol. 2952 of Lecture Notes in Computer Science (LNCS), pp. 128--138, Springer Verlag, November 2003.

Sven Burmester, Holger Giese, and Wilhelm Schäfer, 'Code Generation for Hard Real-time Systems from Real-time Statecharts', Tech. Rep. tr-ri-03-244, University of Paderborn, Paderborn, Germany, October 2003.

Sven Burmester and Holger Giese, 'The Fujaba Real-Time Statechart PlugIn', in Proc. of the first International Fujaba Days 2003, Kassel, Germany (Holger Giese and Albert Zündorf, eds.), vol. tr-ri-04-247 of Technical Report, pp. 1--8, University of Paderborn, October 2003.

Matthias Tichy and Margarete Kudak, 'Visualization of the execution of Real-Time Statecharts', in Proc. of the first International Fujaba Days 2003, Kassel, Germany (Holger Giese and Albert Zündorf, eds.), vol. tr-ri-04-247 of Technical Report, University of Paderborn, October 2003.

Martin Hirsch and Holger Giese, 'Towards the Incremental Model Checking of Complex RealTime UML Models', in Proc. of the first International Fujaba Days 2003, Kassel, Germany (Holger Giese and Albert Zündorf, eds.), vol. tr-ri-04-247 of Technical Report, pp. 9--12, University of Paderborn, October 2003.

Holger Giese, Sven Burmester, Florian Klein, Daniela Schilling, and Matthias Tichy, 'Multi-Agent System Design for Safety-Critical Self-Optimizing Mechatronic Systems with UML', in OOPSLA 2003 - Second International Workshop on Agent-Oriented Methodologies (B Henderson-Sellers and J Debenham, eds.), (Anaheim, CA, USA, Center for Object Technology Applications and Research (COTAR), University of Technology, Sydney, Australia), pp. 21--32, October 2003.

Robert Wagner, 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, Technical Report, Blekinge Institute of Technology, San Francisco, October 2003.

Holger Giese, Matthias Tichy, Sven Burmester, Wilhelm Schäfer, and Stephan Flake, 'Towards the Compositional Verification of Real-Time UML Designs', in Proc.~of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering (ESEC/FSE-11), pp. 38--47, ACM Press, September 2003.

Sven Burmester, Holger Giese, Jörg Niere, Matthias Tichy, Jörg~P. Wadsack, Robert Wagner, Lothar Wendehals, and Albert Zündorf, 'Tool Integration at the Meta-Model Level within the FUJABA Tool Suite', in Proc. of the Workshop on Tool-Integration in System Development (TIS), Helsinki, Finland, Satellite Event of the joint Conferences ESEC/FSE 2003, pp. 51--56, September 2003.

Holger Giese, 'A Formal Calculus for the Compositional Pattern-Based Design of Correct Real-Time Systems.', Tech. Rep. tr-ri-03-240, Lehrstuhl für Softwaretechnik, Universität Paderborn, Paderborn, Deutschland, July 2003.

Holger Giese, D. Schilling, Matthias Tichy, Sven Burmester, Wilhelm Schäfer, and S. Flake, 'Towards the Compositional Verification of Real-Time UML Designs', Tech. Rep. tr-ri-03-241, Lehrstuhl für Softwaretechnik, Universität Paderborn, Paderborn, Deutschland, July 2003.

Holger Giese and Sven Burmester, 'Real-Time Statechart Semantics', Tech. Rep. tr-ri-03-239, Lehrstuhl für Softwaretechnik, Universität Paderborn, Paderborn, Germany, June 2003.

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, May 2003.

Matthias Tichy and Holger Giese, 'An Architecture for Configurable Dependability of Application Services', in Proc. of the Workshop on Software Architectures for Dependable Systems (WADS) (International Conference on Software Engineering 2003 Workshop 7), Portland, USA (Rogério de Lemos, Christina Gacek, and Alexander Romanowsky, eds.), May 2003.

Holger Giese and A. Vilbig, 'Separation of Non-Orthogonal Concerns in Software Architecture and Design', Tech. Rep. tr-ri-03-238, Lehrstuhl für Softwaretechnik, Universität Paderborn, Paderborn, Deutschland, February 2003.

Matthias Gehrke, Holger Giese, Ekkart Kindler, Jörg Niere, Wilhelm Schäfer, Jörg~P. Wadsack, Robert Wagner, and Lothar Wendehals, 'Software Engineering Education: The Synergy of Combined Research and Teaching', Tech. Rep. tr-ri-03-237, University of Paderborn, Paderborn, Germany, January 2003.

2002

Jörg~P. Wadsack, Jörg Niere, Holger Giese, and Jens~H. Jahnke, 'Towards Data Dependency Detection in Web Information Systems', in Proc. of the Database Maintenance and Reengineering Workshop (DBMR'2002), Montreal, Canada. (ICSM 2002 Workshop), October 2002.

Holger Giese, Martin Kardos, and Ulrich~A. Nickel, 'Towards Design Verification and Validation at Multiple Levels of Abstraction', in Proc. of IFIP World Computer Congress, Stream 7 on Distributed and Parallel Embedded Systems (DIPES2002), Montreal, Canada., August 2002.

Matthias Gehrke, Holger Giese, Ulrich~A. Nickel, Jörg Niere, Matthias Tichy, Jörg~P. Wadsack, and Albert Zündorf, 'Reporting about Industrial Strength Software Engineering Courses for Undergraduates', in Proc. of the 24^th International Conference on Software Engineering (ICSE), Orlando, Florida, USA, pp. 395--405, ACM Press, May 2002.

Holger Giese, Martin Kardos, and Ulrich~A. Nickel, 'Integrating Verification in a Design Process for Distributed Production Control Systems', in Proc. of Second International Workshop on Integration of Specification Techniques for Applications in Engineering (INT2002), Grenoble, France, April 2002.

Holger Giese and Ulrich~A. Nickel, 'Towards Service-Based Flexible Production Control Systems and their Modular Modeling and Simulation', in OMER - Object-oriented Modeling of Embedded Real-Time Systems, vol. P5 of Lecture Notes in Informatics (LNI), Gesellschaft für Informatik, 2002.

2001

Matthias Gehrke, Holger Giese, and Matthias Tichy, 'A Jini-supported Distributed Version and Configuration Management System', in Proc. of the International Symposium on Convergence of IT and communications (ITCom2001), Denver, USA, vol. 4521, pp. 7--15, International Society for Optical Engineering, August 2001.

Matthias Gehrke, Holger Giese, K. Mehner, Ulrich~A. Nickel, Jörg Niere, Jörg~P. Wadsack, and Albert Zündorf, 'Note On Professionalism, Eh!',, in ACM SIGSOFT Software Engineering Notes, Vol 26 (4), page 50, July 2001.

Matthias Gehrke, Holger Giese, K. Mehner, Ulrich~A. Nickel, Jörg Niere, Jörg~P. Wadsack, and Albert Zündorf, 'Note On Professionalism, Eh!', in In ICSE 2001 Window On the World, Volume 7, Issue 3. A. Weber (Editor). Toronto, Canada, May 2001.

Holger Giese and Ulrich~A. Nickel, 'Towards Modular Modelling and Simulation of Production Control Systems', in In Proc. of the 2^nd Workshop on Object-Oriented Modeling of Embedded Realtime Software (OMER 2) Workshop Proceedings, Ammersee, München., May 2001.

Holger Giese and Jörg~P. Wadsack, 'Reengineering for Evolution of Distributed Information Systems', in Proc. of the 3^rd International Workshop on Net-Centric Computing: Migrating to the Web (NCC 2001), Toronto, Canada. (ICSE 2001 Workshop 10), May 2001.