Christoph Etzien

Towards a Rigorous Modeling Formalism for Systems of Systems

Achim Rettberg, Stefan Henkler, Tayfun Gezgin, 2012, 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops.

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

Tayfun Gezgin, Christoph Etzien, 2014, CSDM.

A Visual Logic for the Description of Highway Traffic Scenarios

Stephanie Kemper, Christoph Etzien, S. Kemper, 2013, CSDM.

An Application of SMC to continuous validation of heterogeneous systems

Axel Legay, Marco Marazza, Valerio Senni, 2016, EAI Endorsed Trans. Ind. Networks Intell. Syst..

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

Markus Oertel, Christian Ellen, Christoph Etzien, 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Contracts for evolving systems

Achim Rettberg, Stefan Henkler, Tayfun Gezgin, 2013, 16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013).

An Application of SMC to continuous validation of heterogeneous systems

Axel Legay, Marco Marazza, Valerio Senni, 2017, EAI Endorsed Trans. Ind. Networks Intell. Syst..

Statistical Model Checking of Systems of Systems: An Industrial Approach

Axel Legay, Marco Marazza, Valerio Senni, 2015 .