Christian Ellen

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 0

Top Topics

Development Process

Continuous Domains

Top Venues

Int. J. Softw. Tools Technol. Transf.

SAFECOMP Workshops

Publications

Christian Ellen, Sebastian Gerwinn, Martin Fränzle
Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains. Int. J. Softw. Tools Technol. Transf. 17 (4) (2015)
Andreas Baumgart, Christian Ellen
A Recipe for Tool Interoperability. MODELSWARD (2014)
Christian Ellen, Sven Sieverding, Hardi Hungar
Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements. FMICS (2014)
Omar Kacimi, Christian Ellen, Markus Oertel, Daniel Sojka
Creating a Reference Technology Platform - Performing Model-based Safety Analysis in a Heterogeneous Development Environment. MODELSWARD (2014)
Christian Ellen, Martin Böschen, Thomas Peikenkamp
MTBF Inconsistency Analysis on Inferred Product Breakdown Structures. SAFECOMP Workshops (2014)
Sadegh Esmaeil Zadeh Soudjani, Sebastian Gerwinn, Christian Ellen, Martin Fränzle, Alessandro Abate
Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads. QEST (2014)
Sven Sieverding, Christian Ellen, Peter Battram
Sequence Diagram Test Case Specification and Virtual Integration Analysis using Timed-Arc Petri Nets FESCA (2013)
Christian Ellen, Sebastian Gerwinn, Martin Fränzle
Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems. FORMATS (2012)
Christian Ellen, Christoph Etzien, Markus Oertel
Automatic transition between structural system views in a safety relevant embedded systems development process. DATE (2012)