Christoph Kuznik

12 papers A* 1A 2C 2Misc 2Unranked 5
YearRankTypeTitle / Venue / Authors
2014 A* conf
Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges.
DAC
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, Andreas 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
2014 — conf
Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung.
MBMV
Christoph Kuznik, Bertrand Defo, Wolfgang Müller
2014 C conf
Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software.
DSD
Markus Becker, Christoph Kuznik, Wolfgang Müller
2014 — conf
WiP abstract: Fault effect modeling in a heterogeneous SystemC virtual platform framework for cyber-physical systems.
ICCPS
Markus Becker, Christoph Kuznik, Wolfgang Müller
2012 A conf
Binary mutation testing through dynamic translation.
DSN
Markus Becker, Christoph Kuznik, Mabel M. Joy, Tao Xie, Wolfgang Müller
2012 Misc conf
The system verification methodology for advanced TLM verification.
CODES+ISSS
Marcio Ferreira da Silva Oliveira, Christoph Kuznik, Hoang Minh Le, Daniel Große, Finn Haedicke, Wolfgang Müller, Rolf Drechsler, Wolfgang Ecker, Volkan Esen
2012 Misc conf
XEMU: an efficient QEMU based binary mutation testing framework for embedded software.
EMSOFT
Markus Becker, Daniel Baldin, Christoph Kuznik, Mabel M. Joy, Tao Xie, Wolfgang Müller
2011 — conf
Aspect enhanced functional coverage driven verification in the SystemC HDVL.
ISOCC
Christoph Kuznik, Wolfgang Müller
2011 C conf
Native Binary Mutation Analysis for Embedded Software and Virtual Prototypes in SystemC.
PRDC
Christoph Kuznik, Wolfgang Müller
2010 A conf
Timing modeling and analysis for AUTOSAR-based software development - a case study.
DATE
Kay Klobedanz, Christoph Kuznik, Andreas Thuy, Wolfgang Müller
2010 — conf
Verification of a CAN bus model in SystemC with functional coverage.
SIES
Christoph Kuznik, Gilles B. Defo, Wolfgang Müller
2009 — conf
Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study.
IESS
Kay Klobedanz, Christoph Kuznik, Ahmed Elfeky, Wolfgang Müller