Christian Ellen

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2015
Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains.
Int. J. Softw. Tools Technol. Transf., 2015

2014
MTBF Inconsistency Analysis on Inferred Product Breakdown Structures.
Proceedings of the Computer Safety, Reliability, and Security, 2014

Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads.
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.
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.
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.
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
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.
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.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012


  Loading...