BibTeX records: Christoph Kuznik

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics