Automatic transition between structural system views in a safety relevant embedded systems development process. - Christian Ellen; Christoph Etzien; Markus Oertel (DATE, 2012)

Towards a Rigorous Modeling Formalism for Systems of Systems. - Tayfun Gezgin; Christoph Etzien; Stefan Henkler; Achim Rettberg (ISORC Workshops, 2012)

A Visual Logic for the Description of Highway Traffic Scenarios. - Stephanie Kemper; Christoph Etzien (CSDM, 2013)

Contracts for evolving systems. - Christoph Etzien; Tayfun Gezgin; Sibylle B. Fröschle; Stefan Henkler; Achim Rettberg (ISORC, 2013)

Correct by Prognosis: Methodology for a Contract-Based Refinement of Evolution Models. - Tayfun Gezgin; Christoph Etzien (CSDM (Posters), 2014)

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)