BibTeX records: Sela Mador-Haim

download as .bib file

@inproceedings{DBLP:conf/pldi/UdupaRDMMA13,
  author    = {Abhishek Udupa and
               Arun Raghavan and
               Jyotirmoy V. Deshmukh and
               Sela Mador{-}Haim and
               Milo M. K. Martin and
               Rajeev Alur},
  editor    = {Hans{-}Juergen Boehm and
               Cormac Flanagan},
  title     = {{TRANSIT:} specifying protocols with concolic snippets},
  booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
               {PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
  pages     = {287--296},
  publisher = {{ACM}},
  year      = {2013},
  url       = {https://doi.org/10.1145/2491956.2462174},
  doi       = {10.1145/2491956.2462174},
  timestamp = {Fri, 30 Nov 2018 12:21:40 +0100},
  biburl    = {https://dblp.org/rec/conf/pldi/UdupaRDMMA13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Mador-HaimMSMAOAMSW12,
  author    = {Sela Mador{-}Haim and
               Luc Maranget and
               Susmit Sarkar and
               Kayvan Memarian and
               Jade Alglave and
               Scott Owens and
               Rajeev Alur and
               Milo M. K. Martin and
               Peter Sewell and
               Derek Williams},
  editor    = {P. Madhusudan and
               Sanjit A. Seshia},
  title     = {An Axiomatic Memory Model for {POWER} Multiprocessors},
  booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
               2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7358},
  pages     = {495--512},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31424-7\_36},
  doi       = {10.1007/978-3-642-31424-7\_36},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/conf/cav/Mador-HaimMSMAOAMSW12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Mador-HaimAM11,
  author    = {Sela Mador{-}Haim and
               Rajeev Alur and
               Milo M. K. Martin},
  editor    = {Leon Stok and
               Nikil D. Dutt and
               Soha Hassoun},
  title     = {Litmus tests for comparing memory consistency models: how long do
               they need to be?},
  booktitle = {Proceedings of the 48th Design Automation Conference, {DAC} 2011,
               San Diego, California, USA, June 5-10, 2011},
  pages     = {504--509},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/2024724.2024842},
  doi       = {10.1145/2024724.2024842},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/dac/Mador-HaimAM11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Mador-HaimAM10,
  author    = {Sela Mador{-}Haim and
               Rajeev Alur and
               Milo M. K. Martin},
  editor    = {Tayssir Touili and
               Byron Cook and
               Paul B. Jackson},
  title     = {Generating Litmus Tests for Contrasting Memory Consistency Models},
  booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
               2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6174},
  pages     = {273--287},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-14295-6\_26},
  doi       = {10.1007/978-3-642-14295-6\_26},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/conf/cav/Mador-HaimAM10.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/tacas/GlusmanKMFV03,
  author    = {Marcelo Glusman and
               Gila Kamhi and
               Sela Mador{-}Haim and
               Ranan Fraer and
               Moshe Y. Vardi},
  editor    = {Hubert Garavel and
               John Hatcliff},
  title     = {Multiple-Counterexample Guided Iterative Abstraction Refinement: An
               Industrial Evaluation},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               9th International Conference, {TACAS} 2003, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2003,
               Warsaw, Poland, April 7-11, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2619},
  pages     = {176--191},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-36577-X\_13},
  doi       = {10.1007/3-540-36577-X\_13},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/tacas/GlusmanKMFV03.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/fmcad/Mador-HaimF98,
  author    = {Sela Mador{-}Haim and
               Limor Fix},
  editor    = {Ganesh Gopalakrishnan and
               Phillip J. Windley},
  title     = {Input Elimination and Abstraction in Model Checking},
  booktitle = {Formal Methods in Computer-Aided Design, Second International Conference,
               {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1522},
  pages     = {304--320},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/3-540-49519-3\_20},
  doi       = {10.1007/3-540-49519-3\_20},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/conf/fmcad/Mador-HaimF98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics