Sven Burmester

发表

Worst-Case Execution Time Optimization of Story Patterns for Hard Real-Time Systems

Holger Giese, Matthias Tichy, Andreas Seibel, 2005 .

Tool Integration at the Meta-Model Level within the FUJABA Tool Suite

Holger Giese, Matthias Tichy, Jörg Niere, 2003 .

Modular Generation and Simulation of Mechatronic Systems

Holger Giese, Sven Burmester, Oliver Oberschelp, 2004 .

Hybrid UML Components for the Correct Design of Self-optimizing Mechatronic Systems∗

Holger Giese, Sven Burmester, 2005 .

Making mechatronic agents resource-aware in order to enable safe dynamic resource allocation

Holger Giese, Matthias Gehrke, Simon Oberthür, 2004, EMSOFT '04.

Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models

Holger Giese, Florian Klein, Sven Burmester, 2003, Scenarios: Models, Transformations and Tools.

The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems

Holger Giese, Matthias Tichy, Martin Hirsch, 2005, ICSE.

Design and Simulation of Self-Optimizing Mechatronic Systems with Fujaba and CAMeL

Holger Giese, Florian Klein, Sven Burmester, 2004 .

Model driven engineering of reconfigurable mechatronic systems

Sven Burmester, 2006 .

Method for creating a description of requirements for an incorporated system.

Christian Wewetzer, Klaus Lamberg, Sven Burmester, 2007 .

PARTITIONING AND MODULAR CODE SYNTHESIS FOR RECONFIGURABLE MECHATRONIC SOFTWARE COMPONENTS

Holger Giese, Sven Burmester, Oliver Oberschelp, 2004 .

Tool integration at the meta-model level: the Fujaba approach

Holger Giese, Matthias Tichy, Robert Wagner, 2004, International Journal on Software Tools for Technology Transfer.

Incremental Design and Formal Verification with UML/RT in the FUJABA Real-Time Tool Suite

Holger Giese, Martin Hirsch, Sven Burmester, 2004 .

Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code

Holger Giese, Wilhelm Schäfer, Sven Burmester, 2005, ECMDA-FA.

Real-Time Statechart Semantics

Holger Giese, Sven Burmester, H. Giese, 2003 .

Modular design and verification of component-based mechatronic systems with online-reconfiguration

Holger Giese, Wilhelm Schäfer, Sven Burmester, 2004, SIGSOFT '04/FSE-12.

Tool support for the design of self-optimizing mechatronic multi-agent systems

Holger Giese, Florian Klein, Sven Burmester, 2008, International Journal on Software Tools for Technology Transfer.

The Fujaba Real-Time Statechart PlugIn

Sven Burmester, Holger Giesey, 2003 .

Visual Model-Driven Development of Software Intensive Systems: A Survey of available Techniques and Tools∗

Holger Giese, Stefan Henkler, Sven Burmester, 2005 .

Towards the compositional verification of real-time UML designs

Holger Giese, Matthias Tichy, Stephan Flake, 2003, ESEC/FSE-11.

Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML

Holger Giese, Matthias Tichy, Sven Burmester, 2004, MDAFA.

Visual integration of UML 2.0 and block diagrams for flexible reconfiguration in mechatronic UML

Holger Giese, Sven Burmester, 2005, 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05).

Multi-Agent System Design for Safety-Critical Self-Optimizing Mechatronic Systems with UML

Holger Giese, Matthias Tichy, Sven Burmester, 2003 .

Modeling Reconfigurable Mechatronic Systems with Mechatronic UML

Holger Giese, Matthias Tichy, Sven Burmester, 2004 .

Hybrid UML Components for the Design of Complex Self-Optimizing Mechatronic Systems

Holger Giese, Sven Burmester, Oliver Oberschelp, 2004, ICINCO.

Syntax and Semantics of Hybrid Components

Martin Hirsch, Sven Burmester, 2005 .