Christian Ellen

According to our database, Christian Ellen authored at least 9 papers between 2012 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2015

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

2014

MTBF Inconsistency Analysis on Inferred Product Breakdown Structures.

Christian Ellen, Martin Böschen, Thomas Peikenkamp

Proceedings of the Computer Safety, Reliability, and Security, 2014

Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads.

Sadegh Esmaeil Zadeh Soudjani, Sebastian Gerwinn, Christian Ellen, Martin Fränzle, Alessandro Abate

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

Creating a Reference Technology Platform - Performing Model-based Safety Analysis in a Heterogeneous Development Environment.

Omar Kacimi, Christian Ellen, Markus Oertel, Daniel Sojka

Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

A Recipe for Tool Interoperability.

Andreas Baumgart, Christian Ellen

Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements.

Christian Ellen, Sven Sieverding, Hardi Hungar

Proceedings of the Formal Methods for Industrial Critical Systems, 2014

2013

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

Sven Sieverding, Christian Ellen, Peter Battram

Proceedings of the Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures, 2013

2012

Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems.

Christian Ellen, Sebastian Gerwinn, Martin Fränzle

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

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

Christian Ellen, Christoph Etzien, Markus Oertel

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012