Christoph Kuznik

According to our database, Christoph Kuznik authored at least 12 papers between 2009 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung.

Christoph Kuznik, Bertrand Defo, Wolfgang Müller

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2014

WiP abstract: Fault effect modeling in a heterogeneous SystemC virtual platform framework for cyber-physical systems.

Markus Becker, Christoph Kuznik, Wolfgang Müller

Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software.

Markus Becker, Christoph Kuznik, Wolfgang Mueller

Proceedings of the 17th Euromicro Conference on Digital System Design, 2014

Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges.

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

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

2012

XEMU: an efficient QEMU based binary mutation testing framework for embedded software.

Markus Becker, Daniel Baldin, Christoph Kuznik, Mabel M. Joy, Tao Xie, Wolfgang Müller

Proceedings of the 12th International Conference on Embedded Software, 2012

Binary mutation testing through dynamic translation.

Markus Becker, Christoph Kuznik, Mabel M. Joy, Tao Xie, Wolfgang Müller

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks, 2012

The system verification methodology for advanced TLM verification.

Marcio F. da S. Oliveira, Christoph Kuznik, Hoang Minh Le, Daniel Große, Finn Haedicke, Wolfgang Müller, Rolf Drechsler, Wolfgang Ecker, Volkan Esen

Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, 2012

2011

Native Binary Mutation Analysis for Embedded Software and Virtual Prototypes in SystemC.

Christoph Kuznik, Wolfgang Müller

Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011

Aspect enhanced functional coverage driven verification in the SystemC HDVL.

Christoph Kuznik, Wolfgang Müller

Proceedings of the International SoC Design Conference, 2011

2010

Verification of a CAN bus model in SystemC with functional coverage.

Christoph Kuznik, Gilles B. Defo, Wolfgang Müller

Proceedings of the IEEE Fifth International Symposium on Industrial Embedded Systems, 2010

Timing modeling and analysis for AUTOSAR-based software development - a case study.

Kay Klobedanz, Christoph Kuznik, Andreas Thuy, Wolfgang Müller

Proceedings of the Design, Automation and Test in Europe, 2010

2009

Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study.

Kay Klobedanz, Christoph Kuznik, Ahmed Elfeky, Wolfgang Müller

Proceedings of the Analysis, 2009