BibTeX records: Sela Mador-Haim

• > Home > Persons > Sela Mador-Haim

@inproceedings{DBLP:conf/jurix/Mador-HaimH23,
  author       = {Sela Mador{-}Haim and
                  Ari Hershowitz},
  editor       = {Giovanni Sileno and
                  Jerry Spanakis and
                  Gijs van Dijck},
  title        = {Executing United States Bills into Law: {A} Working Application in
                  the United States House},
  booktitle    = {Legal Knowledge and Information Systems - {JURIX} 2023: The Thirty-sixth
                  Annual Conference, Maastricht, The Netherlands, 18-20 December 2023},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {379},
  pages        = {237--246},
  publisher    = {{IOS} Press},
  year         = {2023},
  url          = {https://doi.org/10.3233/FAIA230969},
  doi          = {10.3233/FAIA230969},
  timestamp    = {Wed, 31 Jan 2024 15:45:22 +0100},
  biburl       = {https://dblp.org/rec/conf/jurix/Mador-HaimH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jurix/HershowitzM23,
  author       = {Ari Hershowitz and
                  Sela Mador{-}Haim},
  editor       = {Giovanni Sileno and
                  Jerry Spanakis and
                  Gijs van Dijck},
  title        = {"Comparative Prints Suite" of the United States House of
                  Representatives: {NLP} for Tracking Changes in Bills and Laws},
  booktitle    = {Legal Knowledge and Information Systems - {JURIX} 2023: The Thirty-sixth
                  Annual Conference, Maastricht, The Netherlands, 18-20 December 2023},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {379},
  pages        = {379--382},
  publisher    = {{IOS} Press},
  year         = {2023},
  url          = {https://doi.org/10.3233/FAIA230993},
  doi          = {10.3233/FAIA230993},
  timestamp    = {Wed, 31 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jurix/HershowitzM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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}
}