Christian Ellen

Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems

Martin Fränzle, Christian Ellen, Sebastian Gerwinn, 2012, FORMATS.

A recipe for tool interoperability

Andreas Baumgart, Christian Ellen, 2014, 2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD).

MTBF Inconsistency Analysis on Inferred Product Breakdown Structures

Martin Böschen, Thomas Peikenkamp, Christian Ellen, 2014, SAFECOMP Workshops.

Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements

Hardi Hungar, Christian Ellen, Sven Sieverding, 2014, FMICS.

Modeling options for demand side participation of thermostatically controlled loads

John Lygeros, Johanna L. Mathieu, Maryam Kamgarpour, 2013, 2013 IREP Symposium Bulk Power System Dynamics and Control - IX Optimization, Security and Control of the Emerging Power Grid.

Sequence Diagram Test Case Specification and Virtual Integration Analysis using Timed-Arc Petri Nets

Christian Ellen, Sven Sieverding, Peter Battram, 2013, FESCA.

Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads

Martin Fränzle, Alessandro Abate, Sadegh Esmaeil Zadeh Soudjani, 2014, QEST.

Creating a Reference Technology Platform

Markus Oertel, Christian Ellen, Omar Kacimi, 2014, MODELSWARD 2014.

Automatic transition between structural system views in a safety relevant embedded systems development process

Markus Oertel, Christian Ellen, Christoph Etzien, 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains

Martin Fränzle, Christian Ellen, Sebastian Gerwinn, 2014, International Journal on Software Tools for Technology Transfer.

Creating a reference technology platform: Performing model-based safety analysis in a heterogeneous development environment

Markus Oertel, Christian Ellen, Omar Kacimi, 2014, 2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD).