BibTeX records: Elad Elster

download as .bib file

@inproceedings{DBLP:conf/date/AronsEOSS08,
  author    = {Tamarah Arons and
               Elad Elster and
               Shlomit Ozer and
               Jonathan Shalev and
               Eli Singerman},
  editor    = {Donatella Sciuto},
  title     = {Efficient Symbolic Simulation of Low Level Software},
  booktitle = {Design, Automation and Test in Europe, {DATE} 2008, Munich, Germany,
               March 10-14, 2008},
  pages     = {825--830},
  publisher = {{ACM}},
  year      = {2008},
  url       = {https://doi.org/10.1109/DATE.2008.4484776},
  doi       = {10.1109/DATE.2008.4484776},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/conf/date/AronsEOSS08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mtv/AronsEMS06,
  author    = {Tamarah Arons and
               Elad Elster and
               Terry Murphy and
               Eli Singerman},
  editor    = {Magdy S. Abadir and
               Li{-}C. Wang and
               Jayanta Bhadra},
  title     = {Embedded Software Validation: Applying Formal Techniques for Coverage
               and Test Generation},
  booktitle = {Seventh International Workshop on Microprocessor Test and Verification
               {(MTV} 2006), Common Challenges and Solutions, 4-5 December 2006,
               Austin, Texas, {USA}},
  pages     = {45--51},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {https://doi.org/10.1109/MTV.2006.11},
  doi       = {10.1109/MTV.2006.11},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/conf/mtv/AronsEMS06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AronsEFMMSSTVZ05,
  author    = {Tamarah Arons and
               Elad Elster and
               Limor Fix and
               Sela Mador{-}Haim and
               Michael Mishaeli and
               Jonathan Shalev and
               Eli Singerman and
               Andreas Tiemeyer and
               Moshe Y. Vardi and
               Lenore D. Zuck},
  editor    = {Kousha Etessami and
               Sriram K. Rajamani},
  title     = {Formal Verification of Backward Compatibility of Microcode},
  booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
               2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3576},
  pages     = {185--198},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11513988\_20},
  doi       = {10.1007/11513988\_20},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/conf/cav/AronsEFMMSSTVZ05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics