Christoph Etzien

According to our database, Christoph Etzien authored at least 6 papers between 2012 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

An Application of SMC to continuous validation of heterogeneous systems.

Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien

EAI Endorsed Trans. Ind. Networks Intell. Syst., 2017

2014

Correct by Prognosis: Methodology for a Contract-Based Refinement of Evolution Models.

Tayfun Gezgin, Christoph Etzien

Proceedings of the Poster Workshop at the 2014 Complex Systems Design & Management International Conference co-located with 5th International Conference on Complex System Design & Management (CSD&M 2014), 2014

2013

Contracts for evolving systems.

Christoph Etzien, Tayfun Gezgin, Sibylle B. Fröschle, Stefan Henkler, Achim Rettberg

Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013

A Visual Logic for the Description of Highway Traffic Scenarios.

Stephanie Kemper, Christoph Etzien

Proceedings of the Complex Systems Design & Management, 2013

2012

Towards a Rigorous Modeling Formalism for Systems of Systems.

Tayfun Gezgin, Christoph Etzien, Stefan Henkler, Achim Rettberg

Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012

Automatic transition between structural system views in a safety relevant embedded systems development process.

Christian Ellen, Christoph Etzien, Markus Oertel

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012