| 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 | 107 | 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, 485-504, 2015 | 45 | 2015 |
| Detecting consistencies and inconsistencies of pattern-based functional requirements C Ellen, S Sieverding, H Hungar Formal Methods for Industrial Critical Systems: 19th International …, 2014 | 36 | 2014 |
| 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 | 16 | 2014 |
| A recipe for tool interoperability A Baumgart, C Ellen 2014 2nd International Conference on Model-Driven Engineering and Software …, 2014 | 14 | 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 | 10 | 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 | 10 | 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 | 10 | 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 | 8 | 2012 |
| 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 | 2 | 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 | 2 | 2012 |
| Modeling TCL via DTMC C Ellen, M Fränzle, S Gerwinn, N Müllner | | 2012 |
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerified email at cs.ox.ac.uk
