Christoph Kuznik

Publication Activity (10 Years)

Years Active: 2009-2014
Publications (10 Years): 0

Top Topics

Evaluation Methodologies

Verification Method

Embedded Software

Top Venues

Publications

Markus Becker, Christoph Kuznik, Wolfgang Müller
WiP abstract: Fault effect modeling in a heterogeneous SystemC virtual platform framework for cyber-physical systems. ICCPS (2014)
Markus Becker, Christoph Kuznik, Wolfgang Mueller
Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software. DSD (2014)
Jan-Hendrik Oetjens, Nico Bannow, Markus Becker, Oliver Bringmann, Andreas Burger, Moomen Chaari, Samarjit Chakraborty, Rolf Drechsler, Wolfgang Ecker, Kim Grüttner, Thomas Kruse, Christoph Kuznik, Hoang Minh Le, Mauderer Mauderer, Wolfgang Müller, Daniel Müller-Gritschneder, Frank Poppen, Hendrik Post, Sebastian Reiter, Wolfgang Rosenstiel, S. Roth, Ulf Schlichtmann, Andreas von Schwerin, Bogdan-Andrei Tabacaru, Alexander Viehl
Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges. DAC (2014)
Christoph Kuznik, Bertrand Defo, Wolfgang Müller
Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung. MBMV (2014)
Markus Becker, Christoph Kuznik, Mabel M. Joy, Tao Xie, Wolfgang Müller
Binary mutation testing through dynamic translation. DSN (2012)
Marcio F. da S. Oliveira, Christoph Kuznik, Hoang Minh Le, Daniel Große, Finn Haedicke, Wolfgang Müller, Rolf Drechsler, Wolfgang Ecker, Volkan Esen
The system verification methodology for advanced TLM verification. CODES+ISSS (2012)
Markus Becker, Daniel Baldin, Christoph Kuznik, Mabel M. Joy, Tao Xie, Wolfgang Müller
XEMU: an efficient QEMU based binary mutation testing framework for embedded software. EMSOFT (2012)
Christoph Kuznik, Wolfgang Müller
Aspect enhanced functional coverage driven verification in the SystemC HDVL. ISOCC (2011)
Christoph Kuznik, Wolfgang Müller
Native Binary Mutation Analysis for Embedded Software and Virtual Prototypes in SystemC. PRDC (2011)
Kay Klobedanz, Christoph Kuznik, Andreas Thuy, Wolfgang Müller
Timing modeling and analysis for AUTOSAR-based software development - a case study. DATE (2010)
Christoph Kuznik, Gilles B. Defo, Wolfgang Müller
Verification of a CAN bus model in SystemC with functional coverage. SIES (2010)
Kay Klobedanz, Christoph Kuznik, Ahmed Elfeky, Wolfgang Müller
Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study. IESS (2009)