Automatic transition between structural system views in a safety relevant embedded systems development process. - Christian Ellen; Christoph Etzien; Markus Oertel (DATE, 2012)

Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems. - Christian Ellen; Sebastian Gerwinn; Martin Fränzle (FORMATS, 2012)

Sequence Diagram Test Case Specification and Virtual Integration Analysis using Timed-Arc Petri Nets - Sven Sieverding; Christian Ellen; Peter Battram (FESCA, 2013)

Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements. - Christian Ellen; Sven Sieverding; Hardi Hungar (FMICS, 2014)

A Recipe for Tool Interoperability. - Andreas Baumgart; Christian Ellen (MODELSWARD, 2014)

Creating a Reference Technology Platform - Performing Model-based Safety Analysis in a Heterogeneous Development Environment. - Omar Kacimi; Christian Ellen; Markus Oertel; Daniel Sojka (MODELSWARD, 2014)

Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads. - Sadegh Esmaeil Zadeh Soudjani; Sebastian Gerwinn; Christian Ellen; Martin Fränzle; Alessandro Abate (QEST, 2014)

MTBF Inconsistency Analysis on Inferred Product Breakdown Structures. - Christian Ellen; Martin Böschen; Thomas Peikenkamp (SAFECOMP Workshops, 2014)

Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains. - Christian Ellen; Sebastian Gerwinn; Martin Fränzle (Int. J. Softw. Tools Technol. Transf., 2015)