Christoph Etzien

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 3

Top Topics

Analytical Models

Parallel Architectures

Heterogeneous Systems

Development Processes

Top Venues

EAI Endorsed Trans. Ind. Networks Intell. Syst.

ISORC Workshops

Publications

Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien
An Application of SMC to continuous validation of heterogeneous systems. EAI Endorsed Trans. Ind. Networks Intell. Syst. 4 (10) (2017)
Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien
An Application of SMC to continuous validation of heterogeneous systems. EAI Endorsed Trans. Ind. Networks Intell. Syst. 4 (11) (2017)
Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien
An Application of SMC to continuous validation of heterogeneous systems. SimuTools (2016)
Tayfun Gezgin, Christoph Etzien
Correct by Prognosis: Methodology for a Contract-Based Refinement of Evolution Models. CSDM (Posters) (2014)
Christoph Etzien, Tayfun Gezgin, Sibylle B. Fröschle, Stefan Henkler, Achim Rettberg
Contracts for evolving systems. ISORC (2013)
Stephanie Kemper, Christoph Etzien
A Visual Logic for the Description of Highway Traffic Scenarios. CSDM (2013)
Tayfun Gezgin, Christoph Etzien, Stefan Henkler, Achim Rettberg
Towards a Rigorous Modeling Formalism for Systems of Systems. ISORC Workshops (2012)
Christian Ellen, Christoph Etzien, Markus Oertel
Automatic transition between structural system views in a safety relevant embedded systems development process. DATE (2012)