A Reference Technology Platform with Common Interfaces for Distributed Heterogeneous Data

booktitle

Proceedings of the of the Embedded World 2012 Exhibition and Conference

Title of Conference

Embedded World 2012 Exhibition and Conference

Alle Autoren

Andreas Baumgart, Christian Ellen, Markus Oertel, Philip Rehkop, Stefan Farfeleder, Stefan Schulz

Year

2012

Title

Automatic Transition Between Structural System Views in a Safety Relevant Embedded Systems Development Process

booktitle

Proceedings of the Conference on Design, Automation and Test in Europe

Title of Conference

Proceedings of the Conference on Design, Automation and Test in Europe

Alle Autoren

Ellen, Christian; Etzien Christoph; Oertel, Markus

Year

2012

Title

Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems

booktitle

Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK

Title of Conference

Formal Modeling and Analysis of Timed Systems (FORMATS)

Alle Autoren

Ellen, Christian; Gerwinn, Sebastian; Fränzle, Martin

Year

2012

Title

Modeling TCL via DTMC

Title of Conference

Joint Workshop on Compositional Modelling and Analysis of Quantitative Systems

Alle Autoren

Ellen, Christian; Fränzle, Martin; Gerwinn, Sebastian; Müllner, Nils

Year

2012