Person

Dipl.-Inform. Christian Ellen

 

Position im OFFIS

Wissenschaftlicher Mitarbeiter

 

Forschungsbereiche

Verkehr / Safety Analysis & Verification

 

Raum

D103

Telefon

+49 441 9722-511

Adresse

Escherweg 2, 26121 Oldenburg

E-Mail

christian.ellen [ A T ] offis.de

 

Publikationen

Titel

A Recipe for Tool Interoperability

Buchtitel

Proceedings of MODELSWARD 2014

Alle Autoren

Baumgart, Andreas and Ellen, Christian

Jahr

2014

Titel

Creating a Reference Technology Platform

Buchtitel

Proceedings of MODELSWARD 2014

Alle Autoren

Kacimi, Omar and Ellen, Christian and Oertel, Markus and Sojka, Daniel

Jahr

2014

Titel

Detecting consistencies and inconsistencies of pattern-based functional requirements

Buchtitel

Formal Methods for Industrial Critical Systems

Alle Autoren

Christian Ellen and Sven Sieverding and Hardi Hungar

Jahr

2014

Titel

Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads

Buchtitel

Quantitative Evaluation of Systems

Alle Autoren

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

Jahr

2014

Titel

MTBF Inconsistency Analysis on Inferred Product Breakdown Structures

Buchtitel

Computer Safety, Reliability, and Security

Alle Autoren

Ellen, Christian and Böschen, Martin and Peikenkamp, Thomas

Jahr

2014

Titel

Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains

Alle Autoren

Ellen, Christian and Gerwinn, Sebastian and Fränzle, Martin

Jahr

2014

Titel

Modeling Options for Demand Side Participation of Thermostatically Controlled Loads

Buchtitel

Bulk Power System Dynamics and Control - IX Optimization, Security and Control of the Emerging Power Grid (IREP), 2013 IREP Symposium

Alle Autoren

Kamgarpour, Maryam and Ellen, Christian and Esmaeil Zadeh Soudjani, Sadegh and Gerwinn, Sebastian and Mathieu, Johanna L. and Müllner, Nils and Abate, Alessandro and Callaway, Duncan S. and Fränzle, Martin and Lygeros, John

Jahr

2013

Titel

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

Buchtitel

FESCA

Alle Autoren

Sven Sieverding and Christian Ellen and Peter Battram

Jahr

2013

Titel

A Reference Technology Platform with Common Interfaces for Distributed Heterogeneous Data

Buchtitel

Proceedings of the of the Embedded World 2012 Exhibition and Conference

Titel der Konferenz

Embedded World 2012 Exhibition and Conference

Alle Autoren

Baumgart, Andreas and Ellen, Christian and Oertel, Markus and Rehkop, Philip and Farfeleder, Stefan and Schulz, Stefan

Jahr

2012

Titel

Automatic Transition Between Structural System Views in a Safety Relevant Embedded Systems Development Process

Buchtitel

Proceedings of the Conference on Design, Automation and Test in Europe

Titel der Konferenz

Proceedings of the Conference on Design, Automation and Test in Europe

Alle Autoren

Ellen, Christian and Etzien Christoph and Oertel, Markus

Jahr

2012

Titel

Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems

Buchtitel

Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK

Titel der Konferenz

Formal Modeling and Analysis of Timed Systems (FORMATS)

Alle Autoren

Ellen, Christian and Gerwinn, Sebastian and Fränzle, Martin

Jahr

2012

Titel

Modeling TCL via DTMC

Titel der Konferenz

Joint Workshop on Compositional Modelling and Analysis of Quantitative Systems

Alle Autoren

Ellen, Christian and Fränzle, Martin and Gerwinn, Sebastian and Müllner, Nils

Jahr

2012