Christian Ellen
Christian Ellen
Verified email at
Cited by
Cited by
Modeling options for demand side participation of thermostatically controlled loads
M Kamgarpour, C Ellen, SEZ Soudjani, S Gerwinn, JL Mathieu, N Müllner, ...
2013 IREP Symposium Bulk Power System Dynamics and Control-IX Optimization …, 2013
Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains
C Ellen, S Gerwinn, M Fränzle
International Journal on Software Tools for Technology Transfer 17 (4), 485-504, 2015
Detecting consistencies and inconsistencies of pattern-based functional requirements
C Ellen, S Sieverding, H Hungar
International Workshop on Formal Methods for Industrial Critical Systems …, 2014
Formal synthesis and validation of inhomogeneous thermostatically controlled loads
SEZ Soudjani, S Gerwinn, C Ellen, M Fränzle, A Abate
International Conference on Quantitative Evaluation of Systems, 57-73, 2014
A recipe for tool interoperability
A Baumgart, C Ellen
2014 2nd International Conference on Model-Driven Engineering and Software …, 2014
Creating a reference technology platform: performing model-based safety analysis in a heterogeneous development environment
O Kacimi, C Ellen, M Oertel, D Sojka
2014 2nd International Conference on Model-Driven Engineering and Software …, 2014
Sequence Diagram Test Case Specification and Virtual Integration Analysis using Timed-Arc Petri Nets
S Sieverding, C Ellen, P Battram
FESCA, 17-31, 2013
Confidence bounds for statistical model checking of probabilistic hybrid systems
C Ellen, S Gerwinn, M Fränzle
International Conference on Formal Modeling and Analysis of Timed Systems …, 2012
A reference technology platform with common interfaces for distributed heterogeneous data
A Baumgart, C Ellen, M Oertel, P Rehkop, S Farfeleder, S Schulz
Proceedings of the of the Embedded World 2012 Exhibition and Conference …, 2012
MTBF inconsistency analysis on inferred product breakdown structures
C Ellen, M Böschen, T Peikenkamp
International Conference on Computer Safety, Reliability, and Security, 108-118, 2014
Automatic transition between structural system views in a safety relevant embedded systems development process
C Ellen, C Etzien, M Oertel
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE), 820-823, 2012
Modeling TCL via DTMC
C Ellen, M Fränzle, S Gerwinn, N Müllner
The system can't perform the operation now. Try again later.
Articles 1–12