BibTeX records: Sebastian Simon

download as .bib file

@inproceedings{DBLP:conf/date/SinghDSSGFSKBEM19,
  author    = {Eshan Singh and
               Keerthikumara Devarajegowda and
               Sebastian Simon and
               Ralf Schnieder and
               Karthik Ganesan and
               Mohammad Rahmani Fadiheh and
               Dominik Stoffel and
               Wolfgang Kunz and
               Clark W. Barrett and
               Wolfgang Ecker and
               Subhasish Mitra},
  title     = {Symbolic {QED} Pre-silicon Verification for Automotive Microcontroller
               Cores: Industrial Case Study},
  booktitle = {{DATE}},
  pages     = {1000--1005},
  publisher = {{IEEE}},
  year      = {2019}
}
@article{DBLP:journals/corr/abs-1902-01494,
  author    = {Eshan Singh and
               Keerthikumara Devarajegowda and
               Sebastian Simon and
               Ralf Schnieder and
               Karthik Ganesan and
               Mohammad Rahmani Fadiheh and
               Dominik Stoffel and
               Wolfgang Kunz and
               Clark W. Barrett and
               Wolfgang Ecker and
               Subhasish Mitra},
  title     = {Symbolic {QED} Pre-silicon Verification for Automotive Microcontroller
               Cores: Industrial Case Study},
  journal   = {CoRR},
  volume    = {abs/1902.01494},
  year      = {2019}
}
@inproceedings{DBLP:conf/ets/SimonBRKM17,
  author    = {Sebastian Simon and
               Deeksha Bhat and
               Alexander W. Rath and
               J{\'{e}}r{\^{o}}me Kirscher and
               Linus Maurer},
  title     = {Coverage-driven mixed-signal verification of smart power ICs in a
               {UVM} environment},
  booktitle = {{ETS}},
  pages     = {1--6},
  publisher = {{IEEE}},
  year      = {2017}
}
@inproceedings{DBLP:conf/mbmv/SimonKRZM17,
  author    = {Sebastian Simon and
               J{\'{e}}r{\^{o}}me Kirscher and
               Alexander W. Rath and
               Zhiqiang Zhang and
               Linus Maurer},
  title     = {Pre-silicon Verification of an Automotive Battery Management System
               in the Context of the Application},
  booktitle = {{MBMV}},
  pages     = {91--102},
  publisher = {Shaker Verlag},
  year      = {2017}
}
@inproceedings{DBLP:conf/smacd/SimonKKRPM16,
  author    = {Sebastian Simon and
               Ozlem Karaca and
               J{\'{e}}r{\^{o}}me Kirscher and
               Alexander W. Rath and
               Georg Pelz and
               Linus Maurer},
  title     = {Safety-oriented mixed-signal verification of automotive power devices
               in a {UVM} environment},
  booktitle = {{SMACD}},
  pages     = {1--4},
  publisher = {{IEEE}},
  year      = {2016}
}
@inproceedings{DBLP:conf/vlsi/RathSEE16,
  author    = {Alexander W. Rath and
               Sebastian Simon and
               Volkan Esen and
               Wolfgang Ecker},
  title     = {Automatically comparing analog behavior using Earth Mover's Distance},
  booktitle = {VLSI-SoC},
  pages     = {1--8},
  publisher = {{IEEE}},
  year      = {2016}
}
@inproceedings{DBLP:conf/vlsi/RathSEE16a,
  author    = {Alexander W. Rath and
               Sebastian Simon and
               Volkan Esen and
               Wolfgang Ecker},
  title     = {Earth Mover's Distance as a Comparison Metric for Analog Behavior},
  booktitle = {VLSI-SoC (Selected Papers)},
  series    = {{IFIP} Advances in Information and Communication Technology},
  volume    = {508},
  pages     = {173--191},
  publisher = {Springer},
  year      = {2016}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics