[87] | Model-Driven Development of Safe Self-Optimizing Mechatronic Systems with MechatronicUML (Holger Giese, Wilhelm Schäfer), Chapter in Assurances for Self-Adaptive Systems (Javier Camara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes, eds.), Springer, volume 7740, 2013. |
[86] | Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures (Stefan Henkler, Simon Oberthur, Holger Giese, Andreas Seibel), In International Journal of Computer Systems Science and Engineering, volume 27, 2011. |
[85] | A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems (Holger Giese, Stefan Henkler, Martin Hirsch), In SIMULATION, volume 87, 2011. |
[84] | Synthesis of Real-Time Component Behavior (Stefan Henkler, Andreas Seibel, Holger Giese), Technical report tr-ri-08-296, Computer Science Department, University of Paderborn, 2008. |
[83] | Integration of Legacy Components in Mechatronic UML Architectures (Christian Brenner, Holger Giese, Stefan Henkler, Martin Hirsch, Claudia Priesterjahn), In Proc. of the 6th International Fujaba Days 2008, Dresden, Germany (Uwe Assmann, Jendrik Johannes, Albert Zündorf, eds.), 2008. |
[82] | Tool Support for the Design of Self-Optimizing Mechatronic Multi-Agent Systems (Sven Burmester, Holger Giese, Eckehard Münch, Oliver Oberschelp, Florian Klein, Peter Scheideler), In International Journal on Software Tools for Technology Transfer (STTT), Springer Verlag, volume 10, 2008. |
[81] | Safe Online-Reconfiguration of Self-Optimizing Mechatronic Systems (Semir Osmic, Eckehard Münch, Ansgar Trächtler, Stefan Henkler, Wilhelm Schäfer, Holger Giese, Martin Hirsch), In Selbstoptimierende mechatronische Systeme: Die Zukunft gestalten. 7. Internationales Heinz Nixdorf Symposium für industrielle Informationstechnik (Jürgen Gausemeier, Franz Rammig, Wilhelm Schäfer, eds.), 2008. |
[80] | On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles (Basil Becker, Holger Giese), In In Proc. of 11th International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC), IEEE Computer Society Press, 2008. |
[79] | Modeling Collaborations with Dynamic Structural Adaptation in Mechatronic UML (Martin Hirsch, Stefan Henkler, Holger Giese), In Proceedings of the 2008 International Workshop on Software Engineering for Adaptive and Self-managing Systems, ACM, 2008. |
[78] | Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML (Holger Giese, Stefan Henkler, Martin Hirsch), Chapter in , Springer Verlag, volume 5135, 2008. |
[77] | Considering Runtime Restrictions in Self-Healing Distributed Systems (Christoph Danne, Viktor Dück, Benjamin Klöpper, Jürgen Brinkmann, Matthias Tichy), In Proceedings of the IEEE 21st International Conference on Advanced Information Networking and Applications (AINA-07), Niagara Falls, Canada, IEEE Computer Society Press, 2007. |
[76] | Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View (Sven Burmester, Holger Giese, Stefan Henkler, Martin Hirsch, Matthias Tichy, Vadim Boiko, Alfonso Gambuzza, Eckehard Münch, Henner Vöcking), In Proc. of the 29th International Conference on Software Engineering (ICSE), Minneapolis, Minnesota, USA, IEEE Computer Society Press, 2007. |
[75] | Potenziale und Risiken der Selbstoptimierung für die Verlässlichkeit mechatronischer Systeme (Ursula Frank, Holger Giese, Thomas Müller, Simon Oberthür, Christoph Romaus, Matthias Tichy, Henner Vöcking), In Proc. of the Fifth Paderborner Workshop Entwurf mechatronischer Systeme, HNI-Verlagsschriftenreihe, 2007. |
[74] | The Challenges of Building Advanced Mechatronic Systems (Wilhelm Schäfer, Heike Wehrheim), In ICSE - Future of Software Engineering, Minneapolis, MN, USA, 2007. (accepted) |
[73] | Incremental Model Synchronization with Triple Graph Grammars (Holger Giese, Robert Wagner), In Proc. of the 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS), Genova, Italy (Oscar Nierstrasz, John Whittle, David Harel, Gianna Reggio, eds.), Springer Verlag, volume 4199, 2006. |
[72] | Component-Based Hazard Analysis: Optimal Designs, Product Lines, and Online-Reconfiguration (Holger Giese, Matthias Tichy), In Proc. of the 25th International Conference on Computer Safety, Security and Reliability (SAFECOMP), Gdansk, Poland, Springer Verlag, volume 4166, 2006. |
[71] | Acute stress response for self-optimizing mechatronic systems (Holger Giese, N. Montealegre, T. Müller, S. Oberthür, B. Schulz), In Proc. of the IFIP Conference on Biologically Inspired Cooperative Computing (BICC 2006), Santiago, Chile, August 20-25, 2006, Springer Science and Business Media, 2006. |
[70] | Separation of Non-Orthogonal Concerns in Software Architecture and Design (Holger Giese, Alexander Vilbig), In Software and Systems Modeling, Springer Verlag, volume 5, 2006. |
[69] | Nobody's perfect: Interactive Synthesis from Parametrized Real-Time Scenarios (Holger Giese, Stefan Henkler, Martin Hirsch, Florian Klein), In Proc. of the $5^th$ ICSE 2006 Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'06),Shanghai, China, ACM Press, 2006. |
[68] | Building Reliable Systems based on Self-Organizing Multi-Agent Systems (Florian Klein, Matthias Tichy), In Proc. of the $5^th$ ICSE 2006 Workshop on Software Engineering for Large-scale Multi-Agent Systems (SELMAS'06), Shanghai, China, ACM Press, 2006. |
[67] | Software Engineering for Large-Scale Multi-agent Systems SELMAS'06, ACM Press, 2006. |
[66] | Analysis and Design of Physical and Social Contexts in Multi-Agent Systems (Florian Klein, Holger Giese), Chapter in Software Engineering for Multi-Agent Systems IV (Alessandro Garcia, Ricardo Choren, Carlos Lucena, Alexander Romanovsky, Tom Holvoet, Paolo Giorgini, eds.), Springer Verlag, volume 3914, 2006. |
[65] | Hybrid UML Components for the Design of Complex Self-optimizing Mechatronic Systems (Sven Burmester, Holger Giese, Oliver Oberschelp), Chapter in Informatics in Control, Automation and Robotics I (J. Braz, H. Araújo, A. Vieira, B. Encarnacao, eds.), Springer Verlag, 2006. |
[64] | Grounding Social Interactions in the Environment (Florian Klein, Holger Giese), Chapter in Environments for Multiagent Systems II (Danny Weyns, Van Parunak, Fabien Michel, eds.), Springer Verlag, volume 3830, 2006. |
[63] | Modular Verificaton of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML (Holger Giese, Martin Hirsch), Chapter in Satellite Events at the MoDELS 2005 Conference: MoDELS 2005 International Workshops, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers (Jean-Michel Bruel, ed.), Springer Verlag, volume 3844, 2006. |
[62] | Proc. of the 2nd Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), (Holger Giese, Bernhard Rumpe, Bernhard Schätz, eds.), 2006. |
[61] | Systematic Requirements-Driven Evaluation and Synthesis of Alternative Principle Solutions for Advanced Mechatronic Systems (Björn Axenath, Holger Giese, Florian Klein, Ursula Frank), In Proc. of the 14th IEEE International Requirements Engineering Conference (RE'06), Minneapolis/St. Paul, Minnesota, USA, IEEE Computer Science, 2006. |
[60] | Software Engineering for Large-Scale Multi-agent Systems SELMAS'06 (Ricardo Choren, Alessandro Garcia, Holger Giese, Ho-fung Leung, Carlos Lucena, Alexander Romanovsky), In ICSE '06: Proceedings of the 26th International Conference on Software Engineering, ACM Press, 2006. |
[59] | A Multi-Paradigm Modeling Approach for Reconfigurable Mechatronic Systems (Stefan Henkler, Martin Hirsch), In 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 (Holger Giese, Tihamer Levendovszky, eds.), volume 2006/1, 2006. |
[58] | Analysis and Modeling of Real-Time with Mechatronic UML taking Clock Drift into Account (Holger Giese, Stefan Henkler, Martin Hirsch), 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 (Sébastien Gérard, S. Graf, Oystein Haugen, Ilena Ober, B. Selic, eds.), volume 343, 2006. |
[57] | A PlugIn for the Development of Resource Aware Components with Mechatronic UML (Holger Giese, Stefan Henkler, Martin Hirsch), In Proc. of the fourth International Fujaba Days 2006, Bayreuth, Germany (Holger Giese, Bernhard Westfechtel, eds.), University of Paderborn, volume tr-ri-06-275, 2006. |
[56] | Modellbasierte Entwicklung vernetzter, mechatronischer Systeme am Beispiel der Konvoifahrt autonom agierender Schienenfahrzeuge (Holger Giese, Stefan Henkler, Martin Hirsch, Matthias Tichy, Henner Vöcking), In Proc. of the Fourth Paderborner Workshop Entwurf mechatronischer Systeme, volume 189, 2006. |
[55] | Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code (Sven Burmester, Holger Giese, Wilhelm Schäfer), In Proc. of the European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA 2005), Nürnberg, Germany, Springer Verlag, volume 3748, 2005. |
[54] | Syntax and Semantics of Hybrid Components (Sven Burmester, Holger Giese, Martin Hirsch), Technical report tr-ri-05-264, University of Paderborn, 2005. |
[53] | Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML (Holger Giese, Martin Hirsch), 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, 2005. |
[52] | A Plugin for Checking Inductive Invariants when Modeling with Class Diagrams and Story Patterns (Basil Becker, Holger Giese, Daniela Schilling), In Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, 2005. |
[51] | Worst-Case Execution Time Optimization of Story Patterns for Hard Real-Time Systems (Sven Burmester, Holger Giese, Andreas Seibel, Matthias Tichy), In Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, 2005. |
[50] | Extending Fault Tolerance Patterns by Visual Degradation Rules (Matthias Tichy, Holger Giese), 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, 2005. |
[49] | Visual Model-Driven Development of Software Intensive Systems: A Survey of available Techniques and Tools (Sven Burmester, Holger Giese, Stefan Henkler), 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, 2005. |
[48] | Visual Integration of UML 2.0 and Block Diagrams for Flexible Reconfiguration in Mechatronic UML (Sven Burmester, Holger Giese), In Proc. of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05), Dallas, Texas, USA, IEEE Computer Society Press, 2005. |
[47] | The Fujaba Real-Time Tool Suite: Model-Driven Development of Safety-Critical, Real-Time Systems (Sven Burmester, Holger Giese, Martin Hirsch, Daniela Schilling, Matthias Tichy), In Proc. of the 27th International Conference on Software Engineering (ICSE), St. Louis, Missouri, USA, ACM Press, 2005. |
[46] | Analysis and Design of Physical and Social Contexts in MultiAgent Systems using UML (Florian Klein, Holger Giese), 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, Paolo Giorgini, eds.), ACM Press, 2005. |
[45] | Autonomous Shuttle System Case Study (Holger Giese, Florian Klein), Chapter in Scenarios: Models, Algorithms and Tools (Stefan Leue, Tarja Systä, eds.), Springer Verlag, volume 3466, 2005. |
[44] | Separation of concerns for mechatronic multi-agent systems through dynamic communities (Florian Klein, Holger Giese), Chapter in Software Engineering for Multi-Agent Systems III: Research Issues and Practical Applications (Ricardo Choren, Alessandro Garcia, Carlos Lucena, Alexander Romanovsky, eds.), Springer Verlag, volume 3390, 2005. |
[43] | A Design Methodology for Self-Optimizing Systems (Jürgen Gausemeier, Ursula Frank, Holger Giese, Florian Klein, Andreas Schmidt, Daniel Steffen, Matthias Tichy), 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.), GZVB, volume II, 2005. |
[42] | Laufzeitunterstützung für Test, Überwachung und Diagnose bei der modellbasierten Entwicklung mit Mechatronic UML (Stefan Henkler), Master's thesis, University of Paderborn, 2005. |
[41] | Computing Optimal Self-Repair Actions: Damage Minimization versus Repair Time (Matthias Tichy, Holger Giese, Daniela Schilling, Wladimir Pauls), In Proc. of the ICSE 2005 Workshop on Architecting Dependable Systems, St. Louis, Missouri, USA (Rogério de Lemos, Alexander Romanovsky, eds.), ACM Press, 2005. |
[40] | A summary of the ICSE 2004 workshop on scenarios and state machines: models, algorithms, and tools (Holger Giese, Ingolf Krüger), In , ACM Press, volume 30, 2005. |
[39] | Verteilungsmodellierung für zuverlässige, komponentenbasierte Software in eingebetteten Systemen mit UML (Wladimir Pauls), Master's thesis, University of Paderborn, Department of Computer Science,Paderborn, Germany, 2005. |
[38] | The SceBaSy PlugIn for the Scenario-Based Synthesis of Real-Time Coordination Patterns for Mechatronic UML (Holger Giese, Sergej Tissen), In Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, 2005. |
[37] | Reconciling Scenario-Centered Controller Design with State-Based System Models (Holger Giese, Ekkart Kindler, Florian Klein, Robert Wagner), 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, Alexander Egyed, eds.), ACM Press, 2005. |
[36] | Towards the Model-Driven Development of Self-Optimizing Mechatronic Systems (Holger Giese), 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, Bernhard Schätz, eds.), 2005. (Technical Report TUBS-SSE-2005-01, TU Braunschweig, Germany) |
[35] | Modular Design and Verification of Component-Based Mechatronic Systems with Online-Reconfiguration (Holger Giese, Sven Burmester, Wilhelm Schäfer, Oliver Oberschelp), In Proc. of 12th ACM SIGSOFT Foundations of Software Engineering 2004 (FSE 2004), Newport Beach, USA, ACM Press, 2004. |
[34] | Design of Self-Managing Dependable Systems with UML and Fault Tolerance Patterns (Matthias Tichy, Daniela Schilling, Holger Giese), In Proc. of the Workshop on Self-Managed Systems (WOSS) 2004, FSE 2004 Workshop, Newport Beach, USA, 2004. |
[33] | Incremental Design and Formal Verification with UML/RT in the FUJABA Real-Time Tool Suite (Sven Burmester, Holger Giese, Martin Hirsch, Daniela Schilling), 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, 2004. |
[32] | Partitioning and Modular Code Synthesis for Reconfigurable Mechatronic Software Components (Sven Burmester, Holger Giese, Alfonso Gambuzza, Oliver Oberschelp), In Proc. of European Simulation and Modelling Conference (ESMc'2004), Paris, France (C. Bobeanu, ed.), EOROSIS Publications, 2004. |
[31] | Compositional Hazard Analysis of UML Component and Deployment Models (Holger Giese, Matthias Tichy, Daniela Schilling), In Proc. of the 23rd International Conference on Computer Safety, Reliability and Security (SAFECOMP), Potsdam, Germany (Maritta Heisel, Peter Liggesmeyer, S. Wittmann, eds.), Springer Verlag, volume 3219, 2004. |
[30] | Design and Simulation of Self-Optimizing Mechatronic Systems with Fujaba and CAMeL (Sven Burmester, Holger Giese, Florian Klein), In Proc. of the 2nd International Fujaba Days 2004, Darmstadt, Germany (Andy Schürr, Albert Zündorf, eds.), University of Paderborn, volume tr-ri-04-253, 2004. |
[29] | Making Mechatronic Agents Resource-aware in order to Enable Safe Dynamic Resource Allocation (Sven Burmester, Matthias Gehrke, Holger Giese, Simon Oberthür), In Proc. of Fourth ACM International Conference on Embedded Software 2004 (EMSOFT 2004), Pisa, Italy (B. Georgio, ed.), ACM Press, 2004. |
[28] | Component Templates for Dependable Real-Time Systems (Matthias Tichy, Basil Becker, Holger Giese), In Proceedings of the 2nd International Fujaba Days 2004, Darmstadt, Germany (Andy Schürr, Albert Zündorf, eds.), University of Paderborn, volume tr-ri-04-253, 2004. |
[27] | Hybrid UML Components for the Design of Complex Self-optimizing Mechatronic Systems (Sven Burmester, Holger Giese, Oliver Oberschelp), 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, Marina Carvalho, eds.), INSTICC Press, 2004. |
[26] | Structured Information Processing For Self-optimizing Mechatronic Systems (Thorsten Hestermeyer, Oliver Oberschelp, Holger Giese), 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, Marina Carvalho, eds.), INSTICC Press, 2004. |
[25] | Shared Experiences In Intelligent Transportation Systems (Wilhelm Dangelmaier, Holger Giese, Florian Klein, Hendrik Renken, Peter Scheideler), In Proc. of the IAV 2004 - The 5th Symposium on Intelligent Autonomous Vehicles, Lisbon, Portugal (M. Ribeiro, J. Santos-Victor, eds.), Elsevier Science, 2004. |
[24] | Modular Generation and Simulation of Mechatronic Systems (Oliver Oberschelp, Alfonso Gambuzza, Sven Burmester, Holger Giese), In Proc. of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI), Orlando, USA (N. Callaos, W. Lesso, B. Sanchez, eds.), International Institute of Informatics and Systemics (IIIS), 2004. |
[23] | Proc. of the Third Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM04), (Holger Giese, Ingolf Krüger, eds.), IEE, 2004. (Workshop W5S of the 26th International Conference on Software Engineering) |
[22] | Modeling Reconfigurable Mechatronic Systems with Mechatronic UML (Sven Burmester, Matthias Tichy, Holger Giese), In Proc. of Model Driven Architecture: Foundations and Applications (MDAFA 2004), Linköping, Sweden (U. Aßmann, ed.), 2004. |
[21] | Analysis and Synthesis for Parameterized Timed Sequence Diagrams (Holger Giese, Sven Burmester), In Proc. of the 3rd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (ICSE 2003 Workshop W5S), Edinburgh, Scotland (Holger Giese, Ingolf Krüger, eds.), IEEE, 2004. |
[20] | Advanced separation of concerns for mechatronic multi-agent systems through dynamic communities (Florian Klein, Holger Giese), 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, al, eds.), IEE, 2004. |
[19] | Ontologiebasiertes Rapid Prototyping für kognitive Multiagentensysteme (Florian Klein, Holger Giese), In Modellierung 2004 - Praktischer Einsatz von Modellen, Workshop W4: Ontologien in der und für die Softwaretechnik, Conradin Verlag, Marburg, 2004. |
[18] | Effizientes Model Checking von UML-RT Modellen und Realtime Statecharts mit UPPAAL (Martin Hirsch), Master's thesis, University of Paderborn, 2004. |
[17] | A Self-Optimizing Run-Time Architecture for Configurable Dependability of Services (Matthias Tichy, Holger Giese), Chapter in Architecting Dependable Systems II (Rogério de Lemos, Cristina Gacek, Alexander Romanovsky, eds.), Springer Verlag, volume 3069, 2004. |
[16] | Third Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM'04) (Holger Giese, Ingolf Krüger), In Proc. of the 26th International Conference on Software Engineering, IEEE Computer Society Press, 2004. |
[15] | Selbstoptimierende Systeme des Maschinenbaus - Definitionen und Konzepte (Ursula Frank, Holger Giese, Florian Klein, Oliver Oberschelp, Andreas Schmidt, Bernd Schulz, Henner Vöcking, Katrin Witting), (Jürgen Gausemeier, ed.), Heinz Nixdorf Institut, Universität Paderborn, 2004. |
[14] | Supporting Model-Based Development with Unambiguous Specifications, Formal Verification and Correct-by-Construction Embedded Software (Wolfram Hohmann), In Proc. of SAE World Congress 2004, 2004. |
[13] | Hybrid UML Components for the Correct Design of Self-optimizing Mechatronic Systems (Sven Burmester, Holger Giese, Oliver Oberschelp), Technical report tr-ri-03-246, University of Paderborn, 2004. |
[12] | Seamless UML Support for Service-based Software Architectures (Matthias Tichy, Holger Giese), In Proc. of the International Workshop on scientiFic engIneering of Distributed Java applIcations (FIDJI) 2003, Luxembourg (Nicolas Guelfi, E. Artesiano, G. Reggio, eds.), Springer Verlag, volume 2952, 2003. |
[11] | Multi-Agent System Design for Safety-Critical Self-Optimizing Mechatronic Systems with UML (Holger Giese, Sven Burmester, Florian Klein, Daniela Schilling, Matthias Tichy), In OOPSLA 2003 - Second International Workshop on Agent-Oriented Methodologies (Brian Henderson-Sellers, J Debenham, eds.), 2003. |
[10] | Towards the Incremental Model Checking of Complex RealTime UML Models (Martin Hirsch, Holger Giese), In Proc. of the first International Fujaba Days 2003, Kassel, Germany (Holger Giese, Albert Zündorf, eds.), University of Paderborn, volume tr-ri-04-247, 2003. |
[9] | A Plug-In for Flexible and Incremental Consistency Management (Robert Wagner, Holger Giese, Ulrich Nickel), In Proc. of the Workshop on Consistency Problems in UML-based Software Development II, International Conference on the Unified Modeling Language 2003, San Francisco, USA, Blekinge Institute of Technology, Sweden, volume 6, 2003. |
[8] | The Fujaba Real-Time Statechart PlugIn (Sven Burmester, Holger Giese), In Proc. of the first International Fujaba Days 2003, Kassel, Germany (Holger Giese, Albert Zündorf, eds.), University of Paderborn, volume tr-ri-04-247, 2003. |
[7] | Code Generation for Hard Real-time Systems from Real-time Statecharts (Sven Burmester, Holger Giese, Wilhelm Schäfer), Technical report tr-ri-03-244, University of Paderborn, 2003. |
[6] | Multi-Agent System Design for Safety-Critical Self-Optimizing Mechatronic Systems with UML (Holger Giese, Sven Burmester, Florian Klein, Daniela Schilling, Matthias Tichy), In Proceedings of the Conference on Object-Oriented Programming, Systems, Languages (OOPSLA) 2003 - Second International Workshop on Agent-Oriented Methodologies, Anaheim, CA, USA, 2003. |
[5] | Towards the Compositional Verification of Real-Time UML Designs (Holger Giese, Matthias Tichy, Sven Burmester, Wilhelm Schäfer, Stephan Flake), 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), Helsinki, Finland, ACM Press, 2003. |
[4] | Towards the Compositional Verification of Real-Time UML Designs (Holger Giese, D. Schilling, Matthias Tichy, Sven Burmester, Wilhelm Schäfer, S. Flake), Technical report tr-ri-03-241, Lehrstuhl für Softwaretechnik, Universität Paderborn, 2003. |
[3] | Towards Scenario-Based Synthesis for Parametric Timed Automata (Holger Giese), In Proc. of the 2nd International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM, ICSE 2003 Workshop 8), Portland, USA, 2003. |
[2] | Visualization of the execution of Real-Time Statecharts (Matthias Tichy, Margarete Kudak), In Proc. of the first International Fujaba Days 2003, Kassel, Germany (Holger Giese, Albert Zündorf, eds.), University of Paderborn, volume tr-ri-04-247, 2003. |
[1] | Mechatronics (David Bradley, Derek Seward, David Dawson, Stuart Burge), Stanley Thornes, 2000. (ISBN 0-7487-5443-1) |