Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Christoph Kuznik
@inproceedings{DBLP:conf/dac/OetjensBBBBCCDEGKKLM0MPPRRRSSTV14, author = {Jan{-}Hendrik Oetjens and Nico Bannow and Markus Becker and Oliver Bringmann and Andreas Burger and Moomen Chaari and Samarjit Chakraborty and Rolf Drechsler and Wolfgang Ecker and Kim Gr{\"{u}}ttner and Thomas Kruse and Christoph Kuznik and Hoang Minh Le and Andreas Mauderer and Wolfgang M{\"{u}}ller and Daniel M{\"{u}}ller{-}Gritschneder and Frank Poppen and Hendrik Post and Sebastian Reiter and Wolfgang Rosenstiel and S. Roth and Ulf Schlichtmann and Andreas von Schwerin and Bogdan{-}Andrei Tabacaru and Alexander Viehl}, title = {Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges}, booktitle = {The 51st Annual Design Automation Conference 2014, {DAC} '14, San Francisco, CA, USA, June 1-5, 2014}, pages = {113:1--113:6}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2593069.2602976}, doi = {10.1145/2593069.2602976}, timestamp = {Wed, 25 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dac/OetjensBBBBCCDEGKKLM0MPPRRRSSTV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsd/BeckerKM14, author = {Markus Becker and Christoph Kuznik and Wolfgang Mueller}, title = {Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software}, booktitle = {17th Euromicro Conference on Digital System Design, {DSD} 2014, Verona, Italy, August 27-29, 2014}, pages = {246--253}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/DSD.2014.107}, doi = {10.1109/DSD.2014.107}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsd/BeckerKM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccps/BeckerKM14, author = {Markus Becker and Christoph Kuznik and Wolfgang M{\"{u}}ller}, title = {WiP abstract: Fault effect modeling in a heterogeneous SystemC virtual platform framework for cyber-physical systems}, booktitle = {{ACM/IEEE} International Conference on Cyber-Physical Systems, ICCPS, Berlin, Germany, April 14-17, 2014}, pages = {213}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/ICCPS.2014.6843726}, doi = {10.1109/ICCPS.2014.6843726}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iccps/BeckerKM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbmv/KuznikD014, author = {Christoph Kuznik and Bertrand Defo and Wolfgang M{\"{u}}ller}, editor = {J{\"{u}}rgen Ruf and Dirk Allmendinger and Matteo Michel}, title = {Semi-automatische Generierung von {\"{U}}berdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, {MBMV} 2014, B{\"{o}}blingen, Germany}, pages = {113--124}, publisher = {Cuvillier}, year = {2014}, timestamp = {Thu, 13 Mar 2014 18:26:03 +0100}, biburl = {https://dblp.org/rec/conf/mbmv/KuznikD014.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/codes/OliveiraKLGH0DEE12, author = {Marcio F. da S. Oliveira and Christoph Kuznik and Hoang Minh Le and Daniel Gro{\ss}e and Finn Haedicke and Wolfgang M{\"{u}}ller and Rolf Drechsler and Wolfgang Ecker and Volkan Esen}, editor = {Ahmed Jerraya and Luca P. Carloni and Naehyuck Chang and Franco Fummi}, title = {The system verification methodology for advanced {TLM} verification}, booktitle = {Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, {CODES+ISSS} 2012, part of ESWeek '12 Eighth Embedded Systems Week, Tampere, Finland, October 7-12, 2012}, pages = {313--322}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2380445.2380497}, doi = {10.1145/2380445.2380497}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/codes/OliveiraKLGH0DEE12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/BeckerKJXM12, author = {Markus Becker and Christoph Kuznik and Mabel M. Joy and Tao Xie and Wolfgang M{\"{u}}ller}, editor = {Robert S. Swarz and Philip Koopman and Michel Cukier}, title = {Binary mutation testing through dynamic translation}, booktitle = {{IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2012, Boston, MA, USA, June 25-28, 2012}, pages = {1--12}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/DSN.2012.6263914}, doi = {10.1109/DSN.2012.6263914}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/BeckerKJXM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emsoft/BeckerBKJX012, author = {Markus Becker and Daniel Baldin and Christoph Kuznik and Mabel M. Joy and Tao Xie and Wolfgang M{\"{u}}ller}, editor = {Ahmed Jerraya and Luca P. Carloni and Florence Maraninchi and John Regehr}, title = {{XEMU:} an efficient {QEMU} based binary mutation testing framework for embedded software}, booktitle = {Proceedings of the 12th International Conference on Embedded Software, {EMSOFT} 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012}, pages = {33--42}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2380356.2380368}, doi = {10.1145/2380356.2380368}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/emsoft/BeckerBKJX012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isocc/Kuznik011, author = {Christoph Kuznik and Wolfgang M{\"{u}}ller}, title = {Aspect enhanced functional coverage driven verification in the SystemC {HDVL}}, booktitle = {International SoC Design Conference, {ISOCC} 2011, Jeju, South Korea, November 17-18, 2011}, pages = {154--157}, publisher = {{IEEE}}, year = {2011}, url = {https://doi.org/10.1109/ISOCC.2011.6138670}, doi = {10.1109/ISOCC.2011.6138670}, timestamp = {Wed, 16 Oct 2019 14:14:55 +0200}, biburl = {https://dblp.org/rec/conf/isocc/Kuznik011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/prdc/KuznikM11, author = {Christoph Kuznik and Wolfgang M{\"{u}}ller}, editor = {Leon Alkalai and Timothy Tsai and Tomohiro Yoneda}, title = {Native Binary Mutation Analysis for Embedded Software and Virtual Prototypes in SystemC}, booktitle = {17th {IEEE} Pacific Rim International Symposium on Dependable Computing, {PRDC} 2011, Pasadena, CA, USA, December 12-14, 2011}, pages = {290--291}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/PRDC.2011.47}, doi = {10.1109/PRDC.2011.47}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/prdc/KuznikM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/KlobedanzKT010, author = {Kay Klobedanz and Christoph Kuznik and Andreas Thuy and Wolfgang M{\"{u}}ller}, editor = {Giovanni De Micheli and Bashir M. Al{-}Hashimi and Wolfgang M{\"{u}}ller and Enrico Macii}, title = {Timing modeling and analysis for AUTOSAR-based software development - a case study}, booktitle = {Design, Automation and Test in Europe, {DATE} 2010, Dresden, Germany, March 8-12, 2010}, pages = {642--645}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/DATE.2010.5457125}, doi = {10.1109/DATE.2010.5457125}, timestamp = {Thu, 30 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/date/KlobedanzKT010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sies/KuznikDM10, author = {Christoph Kuznik and Gilles B. Defo and Wolfgang M{\"{u}}ller}, title = {Verification of a {CAN} bus model in SystemC with functional coverage}, booktitle = {{IEEE} Fifth International Symposium on Industrial Embedded Systems, {SIES} 2010, University of Trento, Italy, July 7-9, 2010}, pages = {28--35}, publisher = {{IEEE}}, year = {2010}, url = {https://doi.org/10.1109/SIES.2010.5551379}, doi = {10.1109/SIES.2010.5551379}, timestamp = {Wed, 16 Oct 2019 14:14:53 +0200}, biburl = {https://dblp.org/rec/conf/sies/KuznikDM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iess/KlobedanzKEM09, author = {Kay Klobedanz and Christoph Kuznik and Ahmed Elfeky and Wolfgang M{\"{u}}ller}, editor = {Achim Rettberg and Mauro Cesar Zanella and Michael Amann and Michael Keckeisen and Franz J. Rammig}, title = {Development of Automotive Communication Based Real-Time Systems - {A} Steer-by-Wire Case Study}, booktitle = {Analysis, Architectures and Modelling of Embedded Systems, Third {IFIP} {TC} 10 International Embedded Systems Symposium, {IESS} 2009, Langenargen, Germany, September 14-16, 2009. Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {310}, pages = {218--225}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04284-3\_20}, doi = {10.1007/978-3-642-04284-3\_20}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iess/KlobedanzKEM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.