Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study. - Kay Klobedanz; Christoph Kuznik; Ahmed Elfeky; Wolfgang Müller 003 (IESS, 2009)

Timing modeling and analysis for AUTOSAR-based software development - a case study. - Kay Klobedanz; Christoph Kuznik; Andreas Thuy; Wolfgang Müller 003 (DATE, 2010)

Verification of a CAN bus model in SystemC with functional coverage. - Christoph Kuznik; Gilles B. Defo; Wolfgang Müller 003 (SIES, 2010)

Aspect enhanced functional coverage driven verification in the SystemC HDVL. - Christoph Kuznik; Wolfgang Müller 003 (ISOCC, 2011)

Native Binary Mutation Analysis for Embedded Software and Virtual Prototypes in SystemC. - Christoph Kuznik; Wolfgang Müller 003 (PRDC, 2011)

The system verification methodology for advanced TLM verification. - Marcio Ferreira da Silva Oliveira; Christoph Kuznik; Hoang Minh Le 001; Daniel Große; Finn Haedicke; Wolfgang Müller 003; Rolf Drechsler; Wolfgang Ecker; Volkan Esen (CODES+ISSS, 2012)

Binary mutation testing through dynamic translation. - Markus Becker 001; Christoph Kuznik; Mabel M. Joy; Tao Xie 006; Wolfgang Müller 003 (DSN, 2012)

XEMU: an efficient QEMU based binary mutation testing framework for embedded software. - Markus Becker 001; Daniel Baldin; Christoph Kuznik; Mabel M. Joy; Tao Xie 006; Wolfgang Müller 003 (EMSOFT, 2012)

Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges. - Jan-Hendrik Oetjens; Nico Bannow; Markus Becker 001; Oliver Bringmann 001; Andreas Burger; Moomen Chaari; Samarjit Chakraborty; Rolf Drechsler; Wolfgang Ecker; Kim Grüttner; Thomas Kruse; Christoph Kuznik; et al. (DAC, 2014)

Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software. - Markus Becker 001; Christoph Kuznik; Wolfgang Müller 003 (DSD, 2014)

WiP abstract: Fault effect modeling in a heterogeneous SystemC virtual platform framework for cyber-physical systems. - Markus Becker 001; Christoph Kuznik; Wolfgang Müller 003 (ICCPS, 2014)

Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung. - Christoph Kuznik; Bertrand Defo; Wolfgang Müller 003 (MBMV, 2014)