|
Sven Burmester, 'Model-Driven
Engineering of Reconfigurable Mechatronic Systems', Logos Verlag Berlin,
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, Springer Verlag, March 2006.
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.
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.
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.
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.
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, 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.
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, EUROSIS Publications, October 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.
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.
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.
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
European Software Engineering Conference (ESEC), Helsinki, Finland, pp.
38–47, ACM Press, September 2003.
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, 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.
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.
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.
Sven Burmester, Holger Giese,
Stefan Henkler, Martin Hirsch, Matthias Tichy, Vadim Boiko, Alfonso Gambuzza,
Eckehard Münch, and Henner Vöcking. ‘Tool Support for Developing Advanced
Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with
CAMeL-View’, In Proc. of the 29th International Conference on Software
Engineering (ICSE), Minneapolis, Minnesota, USA, pp. 801–804, May 2007.
IEEE Computer Society Press.
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, May 2005. ACM Press.
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.
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.
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.
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.
Sven Burmester, 'Generierung
von Java Real-Time Code für zeitbehaftete UML Modelle', Master thesis,
University of Paderborn, Department of Computer Science, Paderborn, Germany,
September 2002.