Publications in publications/sfb614-typo3.bib
87 results
2013
Holger Giese and Wilhelm Schäfer, "Model-Driven Development of Safe Self-Optimizing Mechatronic Systems with MechatronicUML", in Javier Camara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes, Eds., Assurances for Self-Adaptive Systems, vol. 7740 of Lecture Notes in Computer Science (LNCS), pp. 152-186, Springer, January 2013. [bibtex] [url]
2011
Stefan Henkler, Simon Oberthur, Holger Giese, Andreas Seibel, "Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures", International Journal of Computer Systems Science and Engineering, vol. 27, no. 1, pp. 3–16, 2011. [bibtex]
Holger Giese, Stefan Henkler and Martin Hirsch, "A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems", SIMULATION, vol. 87, no. 9, pp. 775-808, 2011. [bibtex] [url]
2008
Stefan Henkler, Andreas Seibel and Holger Giese, "Synthesis of Real-Time Component Behavior", Technical Report tr-ri-08-296, Computer Science Department, University of Paderborn, December 2008. [bibtex]
Christian Brenner, Holger Giese, Stefan Henkler, Martin Hirsch, Claudia Priesterjahn, "Integration of Legacy Components in Mechatronic UML Architectures", in Uwe Assmann, Jendrik Johannes, Albert Zündorf, Eds., Proc. of the 6th International Fujaba Days 2008, Dresden, Germany, pp. 52–55, September 2008. [bibtex]
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", International Journal on Software Tools for Technology Transfer (STTT), vol. 10, no. 3, pp. 207-222, June 2008. [bibtex] [url]
Semir Osmic, Eckehard Münch, Ansgar Trächtler, Stefan Henkler, Wilhelm Schäfer, Holger Giese, Martin Hirsch, "Safe Online-Reconfiguration of Self-Optimizing Mechatronic Systems", in Jürgen Gausemeier, Franz Rammig, Wilhelm Schäfer, Eds., Selbstoptimierende mechatronische Systeme: Die Zukunft gestalten. 7. Internationales Heinz Nixdorf Symposium für industrielle Informationstechnik, pp. 1-16, April 2008. [bibtex]
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), pp. 203–210, IEEE Computer Society Press, 5-7 May 2008. [bibtex]
Martin Hirsch, Stefan Henkler and Holger Giese, "Modeling Collaborations with Dynamic Structural Adaptation in Mechatronic UML", in Proceedings of the 2008 International Workshop on Software Engineering for Adaptive and Self-managing Systems, SEAMS '08, pp. 33–40, New York, NY, USA: ACM, 2008. [bibtex] [url]
Holger Giese, Stefan Henkler and Martin Hirsch, "Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML", in Architecting Dependable Systems V, pp. 248–272, Springer Verlag, 2008. [bibtex] [url]
2007
Christoph Danne, Viktor Dück, Benjamin Klöpper, Jürgen Brinkmann, Matthias Tichy, "Considering Runtime Restrictions in Self-Healing Distributed Systems", in Proceedings of the IEEE 21st International Conference on Advanced Information Networking and Applications (AINA-07), Niagara Falls, Canada, IEEE Computer Society Press, May 2007. [bibtex] [url]
Sven Burmester, Holger Giese, Stefan Henkler, Martin Hirsch, Matthias Tichy, Vadim Boiko, 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", in Proc. of the 29th International Conference on Software Engineering (ICSE), Minneapolis, Minnesota, USA, pp. 801–804, IEEE Computer Society Press, May 2007. [bibtex] [url]
Ursula Frank, Holger Giese, Thomas Müller, Simon Oberthür, Christoph Romaus, Matthias Tichy, 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. [bibtex] [url]
Wilhelm Schäfer and Heike Wehrheim, "The Challenges of Building Advanced Mechatronic Systems", in ICSE - Future of Software Engineering, Minneapolis, MN, USA, 2007, accepted. [bibtex]
2006
Holger Giese and Robert Wagner, "Incremental Model Synchronization with Triple Graph Grammars", in Oscar Nierstrasz, John Whittle, David Harel, Gianna Reggio, Eds., Proc. of the 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS), Genova, Italy, vol. 4199 of Lecture Notes in Computer Science (LNCS), pp. 543–557, Springer Verlag, October 2006. [bibtex] [url]
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, vol. 4166 of Lecture Notes in Computer Science (LNCS), pp. 156–169, Springer Verlag, September 2006. [bibtex] [url]
Holger Giese, N. Montealegre, T. Müller, S. Oberthür, 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, Springer Science and Business Media, August 2006. [bibtex]
Holger Giese and Alexander Vilbig, "Separation of Non-Orthogonal Concerns in Software Architecture and Design", Software and Systems Modeling, vol. 5, no. 2, pp. 136 - 169, June 2006. [bibtex]
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, pp. 51–58, ACM Press, May 2006. [bibtex] [url]
Software Engineering for Large-Scale Multi-agent Systems SELMAS'06, May 2006. [bibtex]
Holger Giese, Stefan Henkler, Martin Hirsch, 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. [bibtex]
Florian Klein and Holger Giese, "Analysis and Design of Physical and Social Contexts in Multi-Agent Systems", in Alessandro Garcia, Ricardo Choren, Carlos Lucena, Alexander Romanovsky, Tom Holvoet, Paolo Giorgini, Eds., Software Engineering for Multi-Agent Systems IV, vol. 3914 of Lecture Notes in Computer Science (LNCS), pp. 91-108, Springer Verlag, April 2006. [bibtex] [url]
Florian Klein and Holger Giese, "Grounding Social Interactions in the Environment", in Danny Weyns, Van Parunak, Fabien Michel, Eds., Environments for Multiagent Systems II, vol. 3830 of Lecture Notes in Artificial Intelligence (LNAI), pp. 139–162, Springer Verlag, March 2006. [bibtex] [url]
Sven Burmester, Holger Giese and Oliver Oberschelp, "Hybrid UML Components for the Design of Complex Self-optimizing Mechatronic Systems", in J. Braz, H. Araújo, A. Vieira, B. Encarnacao, Eds., Informatics in Control, Automation and Robotics I, Springer Verlag, March 2006. [bibtex]
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), pp. 67-78, Springer Verlag, January 2006. [bibtex] [url]
Holger Giese, Bernhard Rumpe, Bernhard Schätz, Eds., Proc. of the 2nd Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), no. 2006-1 of Informatik-Bericht, TU Braunschweig, 9-13 January 2006. [bibtex] [url]
Björn Axenath, Holger Giese, Florian Klein, 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, pp. 156–165, IEEE Computer Science, 11-15 September 2006. [bibtex] [url]
Ricardo Choren, Alessandro Garcia, Holger Giese, Ho-fung Leung, Carlos Lucena, 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: ACM Press, 2006. [bibtex]
Stefan Henkler and Martin Hirsch, "A Multi-Paradigm Modeling Approach for Reconfigurable Mechatronic Systems", in Holger Giese, Tihamer Levendovszky, Eds., 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, vol. 2006/1 of BME-DAAI Technical Report Series, pp. 15-25, 2006. [bibtex]
Holger Giese, Stefan Henkler and Martin Hirsch, "Analysis and Modeling of Real-Time with Mechatronic UML taking Clock Drift into Account", in Sébastien Gérard, S. Graf, Oystein Haugen, Ilena Ober, B. Selic, Eds., 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, pp. 41-60, 2006. [bibtex]
Holger Giese, Stefan Henkler and Martin Hirsch, "A PlugIn for the Development of Resource Aware Components with Mechatronic UML", in Holger Giese, Bernhard Westfechtel, Eds., Proc. of the fourth International Fujaba Days 2006, Bayreuth, Germany, vol. tr-ri-06-275 of Technical Report, pp. 51–55, University of Paderborn, 2006. [bibtex]
Holger Giese, Stefan Henkler, Martin Hirsch, Matthias Tichy, 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, 2006. [bibtex]
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 2005), Nürnberg, Germany, vol. 3748 of Lecture Notes in Computer Science (LNCS), pp. 25-40, Springer Verlag, November 2005. [bibtex] [url]
Holger Giese and Martin Hirsch, "Modular Verification 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. [bibtex]
Sven Burmester, Holger Giese and Martin Hirsch, "Syntax and Semantics of Hybrid Components", Technical Report tr-ri-05-264, University of Paderborn: Paderborn, Germany, October 2005. [bibtex] [url]
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. [bibtex] [url]
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. [bibtex] [url]
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. [bibtex] [url]
Sven Burmester, Holger Giese, Andreas Seibel, 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. [bibtex] [url]
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. [bibtex]
Florian Klein and Holger Giese, "Analysis and Design of Physical and Social Contexts in MultiAgent Systems using UML", in Ricardo Choren, Alessandro Garcia, Carlos Lucena, Alexander Romanovsky, Tom Holvoet, Paolo Giorgini, Eds., 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, pp. 1–7, ACM Press, May 2005. [bibtex] [url]
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", in Proc. of the 27th International Conference on Software Engineering (ICSE), St. Louis, Missouri, USA, pp. 670-671, ACM Press, May 2005. [bibtex] [url]
Holger Giese and Florian Klein, "Autonomous Shuttle System Case Study", in Stefan Leue, Tarja Systä, Eds., Scenarios: Models, Algorithms and Tools, vol. 3466 of Lecture Notes in Computer Science (LNCS), pp. 90-94, Springer Verlag, April 2005. [bibtex] [url]
Jürgen Gausemeier, Ursula Frank, Holger Giese, Florian Klein, Andreas Schmidt, Daniel Steffen, 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), vol. II, pp. 456–479, GZVB, February 2005. [bibtex] [url]
Florian Klein and Holger Giese, "Separation of concerns for mechatronic multi-agent systems through dynamic communities", in Ricardo Choren, Alessandro Garcia, Carlos Lucena, Alexander Romanovsky, Eds., Software Engineering for Multi-Agent Systems III: Research Issues and Practical Applications, vol. 3390 of Lecture Notes in Computer Science (LNCS), pp. 272–289, Springer Verlag, February 2005. [bibtex] [url]
Stefan Henkler, "Laufzeitunterstützung für Test, Überwachung und Diagnose bei der modellbasierten Entwicklung mit Mechatronic UML", Master's thesis, University of Paderborn, 2005. [bibtex] [url]
Matthias Tichy, Holger Giese, Daniela Schilling, Wladimir Pauls, "Computing Optimal Self-Repair Actions: Damage Minimization versus Repair Time", in Rogério de Lemos, Alexander Romanovsky, Eds., Proc. of the ICSE 2005 Workshop on Architecting Dependable Systems, St. Louis, Missouri, USA, pp. 1–6, ACM Press, 2005. [bibtex] [url]
Holger Giese and Ingolf Krüger, "A summary of the ICSE 2004 workshop on scenarios and state machines: models, algorithms, and tools", vol. 30, pp. 2, ACM Press, 2005. [bibtex]
Wladimir Pauls, "Verteilungsmodellierung für zuverlässige, komponentenbasierte Software in eingebetteten Systemen mit UML", Master's thesis, University of Paderborn, Department of Computer Science,Paderborn, Germany, 2005. [bibtex] [url]
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, 2005. [bibtex] [url]
Holger Giese, Ekkart Kindler, Florian Klein, Robert Wagner, "Reconciling Scenario-Centered Controller Design with State-Based System Models", in Yves Bontemps, Alexander Egyed, Eds., 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, pp. 1–5, ACM Press, 2005. [bibtex] [url]
Holger Giese, "Towards the Model-Driven Development of Self-Optimizing Mechatronic Systems", in Torsten Kleín, Bernhard Rumpe, Bernhard Schätz, Eds., Proc. of the Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), 10.-14.9.2005, Schloss Dagstuhl, Germany, pp. 11-22, 2005, Technical Report TUBS-SSE-2005-01, TU Braunschweig, Germany. [bibtex] [url]
2004
Holger Giese, Sven Burmester, Wilhelm Schäfer, 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. [bibtex] [url]
Sven Burmester, Holger Giese, Alfonso Gambuzza, 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, pp. 66-73, EOROSIS Publications, October 2004. [bibtex] [url]
Sven Burmester, Holger Giese, Martin Hirsch, 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. [bibtex] [url]
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. [bibtex] [url]
Sven Burmester, Matthias Gehrke, Holger Giese, 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, pp. 175-183, ACM Press, September 2004. [bibtex] [url]
Holger Giese, Matthias Tichy and Daniela Schilling, "Compositional Hazard Analysis of UML Component and Deployment Models", in Maritta Heisel, Peter Liggesmeyer, S. Wittmann, Eds., 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. [bibtex] [url]
Matthias Tichy, Basil Becker and Holger Giese, "Component Templates for Dependable Real-Time Systems", in Andy Schürr, Albert Zündorf, Eds., Proceedings of the 2nd International Fujaba Days 2004, Darmstadt, Germany, vol. tr-ri-04-253 of Technical Report, pp. 27-30, University of Paderborn, September 2004. [bibtex] [url]
Sven Burmester, Holger Giese and Florian Klein, "Design and Simulation of Self-Optimizing Mechatronic Systems with Fujaba and CAMeL", in Andy Schürr, Albert Zündorf, Eds., Proc. of the 2nd International Fujaba Days 2004, Darmstadt, Germany, vol. tr-ri-04-253 of Technical Report, pp. 19-22, University of Paderborn, September 2004. [bibtex] [url]
Sven Burmester, Holger Giese and Oliver Oberschelp, "Hybrid UML Components for the Design of Complex Self-optimizing Mechatronic Systems", in Helder Araujo, Alves Vieira, Jose Braz, Bruno Encarnacao, Marina Carvalho, Eds., Proc. of 1st International Conference on Informatics in Control, Automation and Robotics (ICINCO 2004), Setubal, Portugal, pp. 222-229, INSTICC Press, August 2004. [bibtex] [url]
Thorsten Hestermeyer, Oliver Oberschelp and Holger Giese, "Structured Information Processing For Self-optimizing Mechatronic Systems", in Helder Araujo, Alves Vieira, Jose Braz, Bruno Encarnacao, Marina Carvalho, Eds., Proc. of 1st International Conference on Informatics in Control, Automation and Robotics (ICINCO 2004), Setubal, Portugal, pp. 230-237, INSTICC Press, August 2004. [bibtex] [url]
Wilhelm Dangelmaier, Holger Giese, Florian Klein, Hendrik Renken, Peter Scheideler, "Shared Experiences In Intelligent Transportation Systems", in M. Ribeiro, J. Santos-Victor, Eds., Proc. of the IAV 2004 - The 5th Symposium on Intelligent Autonomous Vehicles, Lisbon, Portugal, pp. 231–236, Elsevier Science, July 2004. [bibtex]
Oliver Oberschelp, Alfonso Gambuzza, Sven Burmester, Holger Giese, "Modular Generation and Simulation of Mechatronic Systems", in N. Callaos, W. Lesso, B. Sanchez, Eds., Proc. of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI), Orlando, USA, pp. 1-6, International Institute of Informatics and Systemics (IIIS), July 2004. [bibtex] [url]
Sven Burmester, 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, pp. 155-169, June 2004. [bibtex] [url]
Holger Giese, Ingolf Krüger, Eds., Proc. of the Third Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM04), June 2004, Workshop W5S of the 26th International Conference on Software Engineering. [bibtex]
Florian Klein and Holger Giese, "Advanced separation of concerns for mechatronic multi-agent systems through dynamic communities", in Ricardo Choren, al, Eds., 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, pp. 112–119, IEE, May 2004. [bibtex] [url]
Holger Giese and Sven Burmester, "Analysis and Synthesis for Parameterized Timed Sequence Diagrams", in Holger Giese, Ingolf Krüger, Eds., Proc. of the 3rd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (ICSE 2003 Workshop W5S), Edinburgh, Scotland, pp. 43-50, IEEE, May 2004. [bibtex]
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, pp. 33–42, Conradin Verlag, Marburg, March 2004. [bibtex]
Martin Hirsch, "Effizientes Model Checking von UML-RT Modellen und Realtime Statecharts mit UPPAAL", Master's thesis, University of Paderborn, 2004. [bibtex] [url]
Matthias Tichy and Holger Giese, "A Self-Optimizing Run-Time Architecture for Configurable Dependability of Services", in Rogério de Lemos, Cristina Gacek, Alexander Romanovsky, Eds., Architecting Dependable Systems II, vol. 3069 of Lecture Notes in Computer Science (LNCS), pp. 25–51, Springer Verlag, 2004. [bibtex] [url]
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, pp. 756–757, IEEE Computer Society Press, 2004. [bibtex]
Ursula Frank, Holger Giese, Florian Klein, Oliver Oberschelp, Andreas Schmidt, Bernd Schulz, Henner Vöcking, Katrin Witting, Selbstoptimierende Systeme des Maschinenbaus - Definitionen und Konzepte, HNI-Verlagsschriftenreihe, 1st ed. Paderborn, Germany: Heinz Nixdorf Institut, Universität Paderborn, 2004. [bibtex]
Wolfram Hohmann, "Supporting Model-Based Development with Unambiguous Specifications, Formal Verification and Correct-by-Construction Embedded Software", in Proc. of SAE World Congress 2004, 2004. [bibtex] [url]
Sven Burmester, 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. [bibtex] [url]
2003
Matthias Tichy and Holger Giese, "Seamless UML Support for Service-based Software Architectures", in Nicolas Guelfi, E. Artesiano, G. Reggio, Eds., Proc. of the International Workshop on scientiFic engIneering of Distributed Java applIcations (FIDJI) 2003, Luxembourg, vol. 2952 of Lecture Notes in Computer Science (LNCS), pp. 128–138, Springer Verlag, November 2003. [bibtex] [url]
Martin Hirsch and Holger Giese, "Towards the Incremental Model Checking of Complex RealTime UML Models", in Holger Giese, Albert Zündorf, Eds., Proc. of the first International Fujaba Days 2003, Kassel, Germany, vol. tr-ri-04-247 of Technical Report, pp. 9–12, University of Paderborn, October 2003. [bibtex] [url]
Holger Giese, Sven Burmester, Florian Klein, Daniela Schilling, Matthias Tichy, "Multi-Agent System Design for Safety-Critical Self-Optimizing Mechatronic Systems with UML", in Brian Henderson-Sellers, J Debenham, Eds., OOPSLA 2003 - Second International Workshop on Agent-Oriented Methodologies, pp. 21–32, October 2003. [bibtex] [url]
Sven Burmester, 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, October 2003. [bibtex] [url]
Sven Burmester and Holger Giese, "The Fujaba Real-Time Statechart PlugIn", in Holger Giese, Albert Zündorf, Eds., Proc. of the first International Fujaba Days 2003, Kassel, Germany, vol. tr-ri-04-247 of Technical Report, pp. 1-8, University of Paderborn, October 2003. [bibtex] [url]
Holger Giese, Sven Burmester, Florian Klein, Daniela Schilling, Matthias Tichy, "Multi-Agent System Design for Safety-Critical Self-Optimizing Mechatronic Systems with UML", in Proceedings of the Conference on Object-Oriented Programming, Systems, Languages (OOPSLA) 2003 - Second International Workshop on Agent-Oriented Methodologies, Anaheim, CA, USA, October 2003. [bibtex]
Robert Wagner, Holger Giese and Ulrich Nickel, "A Plug-In for Flexible and Incremental Consistency Management", 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, vol. 6 of Research Report, Blekinge Institute of Technology, Sweden, October 2003. [bibtex] [url]
Holger Giese, Matthias Tichy, Sven Burmester, Wilhelm Schäfer, 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), Helsinki, Finland, pp. 38–47, New York, NY, USA: ACM Press, September 2003. [bibtex] [url]
Holger Giese, D. Schilling, Matthias Tichy, Sven Burmester, Wilhelm Schäfer, 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, July 2003. [bibtex] [url]
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. [bibtex] [url]
Matthias Tichy and Margarete Kudak, "Visualization of the execution of Real-Time Statecharts", in Holger Giese, Albert Zündorf, Eds., Proc. of the first International Fujaba Days 2003, Kassel, Germany, vol. tr-ri-04-247 of Technical Report, University of Paderborn, 2003. [bibtex] [url]
2000
David Bradley, Derek Seward, David Dawson, Stuart Burge, Mechatronics, Stanley Thornes, 2000, ISBN 0-7487-5443-1. [bibtex]
Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
Powered by bibtexbrowser