Takip et
Christian Ellen
Christian Ellen
offis.de üzerinde doğrulanmış e-posta adresine sahip
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
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
1062013
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, 485-504, 2015
442015
Detecting consistencies and inconsistencies of pattern-based functional requirements
C Ellen, S Sieverding, H Hungar
Formal Methods for Industrial Critical Systems: 19th International …, 2014
322014
Formal synthesis and validation of inhomogeneous thermostatically controlled loads
S Esmaeil Zadeh Soudjani, S Gerwinn, C Ellen, M Fränzle, A Abate
Quantitative Evaluation of Systems: 11th International Conference, QEST 2014 …, 2014
162014
A recipe for tool interoperability
A Baumgart, C Ellen
2014 2nd International Conference on Model-Driven Engineering and Software …, 2014
132014
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
102014
Sequence Diagram Test Case Specification and Virtual Integration Analysis using Timed-Arc Petri Nets
S Sieverding, C Ellen, P Battram
FESCA, 17-31, 2013
102013
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
92012
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
62012
MTBF inconsistency analysis on inferred product breakdown structures
C Ellen, M Böschen, T Peikenkamp
Computer Safety, Reliability, and Security: SAFECOMP 2014 Workshops: ASCoMS …, 2014
22014
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
22012
Modeling TCL via DTMC
C Ellen, M Fränzle, S Gerwinn, N Müllner
2012
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–12