BibTeX records: Andreas Tiemeyer

download as .bib file

@article{DBLP:journals/corr/abs-1908-01324,
  author    = {Andreas Tiemeyer and
               Tom Melham and
               Daniel Kroening and
               John O'Leary},
  title     = {{CREST:} Hardware Formal Verification with {ANSI-C} Reference Specifications},
  journal   = {CoRR},
  volume    = {abs/1908.01324},
  year      = {2019},
  url       = {http://arxiv.org/abs/1908.01324},
  archivePrefix = {arXiv},
  eprint    = {1908.01324},
  timestamp = {Fri, 09 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1908-01324.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/KamhiNTW09,
  author    = {Gila Kamhi and
               Alexander Novakovsky and
               Andreas Tiemeyer and
               Adriana Wolffberg},
  title     = {{MAGENTA:} transaction-based statistical micro-architectural root-cause
               analysis},
  booktitle = {Proceedings of the 46th Design Automation Conference, {DAC} 2009,
               San Francisco, CA, USA, July 26-31, 2009},
  pages     = {639--643},
  publisher = {{ACM}},
  year      = {2009},
  url       = {https://doi.org/10.1145/1629911.1630080},
  doi       = {10.1145/1629911.1630080},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/dac/KamhiNTW09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/ArmoniKTVZ06,
  author    = {Roy Armoni and
               Dmitry Korchemny and
               Andreas Tiemeyer and
               Moshe Y. Vardi and
               Yael Zbar},
  editor    = {Klaus Havelund and
               Manuel N{\'{u}}{\~{n}}ez and
               Grigore Rosu and
               Burkhart Wolff},
  title     = {Deterministic Dynamic Monitors for Linear-Time Assertions},
  booktitle = {Formal Approaches to Software Testing and Runtime Verification, First
               Combined International Workshops, {FATES} 2006 and {RV} 2006, Seattle,
               WA, USA, August 15-16, 2006, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4262},
  pages     = {163--177},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11940197\_11},
  doi       = {10.1007/11940197\_11},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/fates/ArmoniKTVZ06.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}
}
@inproceedings{DBLP:conf/cav/ArmoniFFGPTV03,
  author    = {Roy Armoni and
               Limor Fix and
               Alon Flaisher and
               Orna Grumberg and
               Nir Piterman and
               Andreas Tiemeyer and
               Moshe Y. Vardi},
  editor    = {Warren A. Hunt Jr. and
               Fabio Somenzi},
  title     = {Enhanced Vacuity Detection in Linear Temporal Logic},
  booktitle = {Computer Aided Verification, 15th International Conference, {CAV}
               2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2725},
  pages     = {368--380},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/978-3-540-45069-6\_35},
  doi       = {10.1007/978-3-540-45069-6\_35},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/conf/cav/ArmoniFFGPTV03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ArmoniFFGGKLMSTVZ02,
  author    = {Roy Armoni and
               Limor Fix and
               Alon Flaisher and
               Rob Gerth and
               Boris Ginsburg and
               Tomer Kanza and
               Avner Landver and
               Sela Mador{-}Haim and
               Eli Singerman and
               Andreas Tiemeyer and
               Moshe Y. Vardi and
               Yael Zbar},
  editor    = {Joost{-}Pieter Katoen and
               Perdita Stevens},
  title     = {The ForSpec Temporal Logic: {A} New Temporal Property-Specification
               Language},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               8th International Conference, {TACAS} 2002, Held as Part of the Joint
               European Conference on Theory and Practice of Software, {ETAPS} 2002,
               Grenoble, France, April 8-12, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2280},
  pages     = {296--211},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-46002-0\_21},
  doi       = {10.1007/3-540-46002-0\_21},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/tacas/ArmoniFFGGKLMSTVZ02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/YangT00,
  author    = {Jin Yang and
               Andreas Tiemeyer},
  editor    = {Giovanni De Micheli},
  title     = {Lazy symbolic model checking},
  booktitle = {Proceedings of the 37th Conference on Design Automation, Los Angeles,
               CA, USA, June 5-9, 2000},
  pages     = {35--38},
  publisher = {{ACM}},
  year      = {2000},
  url       = {https://doi.org/10.1145/337292.337307},
  doi       = {10.1145/337292.337307},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/dac/YangT00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics