BibTeX records: Yakir Vizel

download as .bib file

@inproceedings{DBLP:conf/esop/ItzhakySV24,
  author       = {Shachar Itzhaky and
                  Sharon Shoham and
                  Yakir Vizel},
  editor       = {Stephanie Weirich},
  title        = {Hyperproperty Verification as {CHC} Satisfiability},
  booktitle    = {Programming Languages and Systems - 33rd European Symposium on Programming,
                  {ESOP} 2024, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2024, Luxembourg City, Luxembourg,
                  April 6-11, 2024, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14577},
  pages        = {212--241},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-57267-8\_9},
  doi          = {10.1007/978-3-031-57267-8\_9},
  timestamp    = {Sun, 14 Apr 2024 18:32:18 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/ItzhakySV24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/BardJV24,
  author       = {Joachim Bard and
                  Swen Jacobs and
                  Yakir Vizel},
  editor       = {Rayna Dimitrova and
                  Ori Lahav and
                  Sebastian Wolff},
  title        = {Automatic and Incremental Repair for Speculative Information Leaks},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 25th International
                  Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
                  Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14500},
  pages        = {291--313},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-50521-8\_14},
  doi          = {10.1007/978-3-031-50521-8\_14},
  timestamp    = {Mon, 15 Jan 2024 09:04:26 +0100},
  biburl       = {https://dblp.org/rec/conf/vmcai/BardJV24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/RappoportGV23,
  author       = {Omer Rappoport and
                  Orna Grumberg and
                  Yakir Vizel},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {Structure-Guided Solution of Constrained Horn Clauses},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14216},
  pages        = {117--138},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45332-8\_6},
  doi          = {10.1007/978-3-031-45332-8\_6},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/RappoportGV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/RothenbergGVS23,
  author       = {Bat{-}Chen Rothenberg and
                  Orna Grumberg and
                  Yakir Vizel and
                  Eytan Singher},
  editor       = {Kristin Yvonne Rozier and
                  Swarat Chaudhuri},
  title        = {Condition Synthesis Realizability via Constrained Horn Clauses},
  booktitle    = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
                  Houston, TX, USA, May 16-18, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13903},
  pages        = {380--396},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33170-1\_23},
  doi          = {10.1007/978-3-031-33170-1\_23},
  timestamp    = {Mon, 26 Jun 2023 16:06:04 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/RothenbergGVS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2304-12588,
  author       = {Shachar Itzhaky and
                  Sharon Shoham and
                  Yakir Vizel},
  title        = {Hyperproperty Verification as {CHC} Satisfiability},
  journal      = {CoRR},
  volume       = {abs/2304.12588},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2304.12588},
  doi          = {10.48550/ARXIV.2304.12588},
  eprinttype    = {arXiv},
  eprint       = {2304.12588},
  timestamp    = {Wed, 03 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2304-12588.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2305-10092,
  author       = {Joachim Bard and
                  Swen Jacobs and
                  Yakir Vizel},
  title        = {Automatic and Incremental Repair for Speculative Information Leaks},
  journal      = {CoRR},
  volume       = {abs/2305.10092},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2305.10092},
  doi          = {10.48550/ARXIV.2305.10092},
  eprinttype    = {arXiv},
  eprint       = {2305.10092},
  timestamp    = {Wed, 24 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2305-10092.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/isse/PriyaZSVBG22,
  author       = {Siddharth Priya and
                  Xiang Zhou and
                  Yusen Su and
                  Yakir Vizel and
                  Yuyan Bao and
                  Arie Gurfinkel},
  title        = {Verifying verified code},
  journal      = {Innov. Syst. Softw. Eng.},
  volume       = {18},
  number       = {3},
  pages        = {335--346},
  year         = {2022},
  url          = {https://doi.org/10.1007/s11334-022-00443-9},
  doi          = {10.1007/S11334-022-00443-9},
  timestamp    = {Thu, 22 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isse/PriyaZSVBG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/PriyaSBZVG22,
  author       = {Siddharth Priya and
                  Yusen Su and
                  Yuyan Bao and
                  Xiang Zhou and
                  Yakir Vizel and
                  Arie Gurfinkel},
  editor       = {Alberto Griggio and
                  Neha Rungta},
  title        = {Bounded Model Checking for {LLVM}},
  booktitle    = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
                  Italy, October 17-21, 2022},
  pages        = {214--224},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_28},
  doi          = {10.34727/2022/ISBN.978-3-85448-053-2\_28},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/PriyaSBZVG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cav/2022-1,
  editor       = {Sharon Shoham and
                  Yakir Vizel},
  title        = {Computer Aided Verification - 34th International Conference, {CAV}
                  2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13371},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-13185-1},
  doi          = {10.1007/978-3-031-13185-1},
  isbn         = {978-3-031-13184-4},
  timestamp    = {Tue, 09 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/2022-1.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cav/2022-2,
  editor       = {Sharon Shoham and
                  Yakir Vizel},
  title        = {Computer Aided Verification - 34th International Conference, {CAV}
                  2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13372},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-13188-2},
  doi          = {10.1007/978-3-031-13188-2},
  isbn         = {978-3-031-13187-5},
  timestamp    = {Tue, 09 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/2022-2.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/PriyaZSVBG21,
  author       = {Siddharth Priya and
                  Xiang Zhou and
                  Yusen Su and
                  Yakir Vizel and
                  Yuyan Bao and
                  Arie Gurfinkel},
  editor       = {Zhe Hou and
                  Vijay Ganesh},
  title        = {Verifying Verified Code},
  booktitle    = {Automated Technology for Verification and Analysis - 19th International
                  Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12971},
  pages        = {187--202},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88885-5\_13},
  doi          = {10.1007/978-3-030-88885-5\_13},
  timestamp    = {Mon, 18 Oct 2021 08:49:54 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/PriyaZSVBG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/DurejaGIV21,
  author       = {Rohit Dureja and
                  Arie Gurfinkel and
                  Alexander Ivrii and
                  Yakir Vizel},
  title        = {{IC3} with Internal Signals},
  booktitle    = {Formal Methods in Computer Aided Design, {FMCAD} 2021, New Haven,
                  CT, USA, October 19-22, 2021},
  pages        = {63--71},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.34727/2021/isbn.978-3-85448-046-4\_14},
  doi          = {10.34727/2021/ISBN.978-3-85448-046-4\_14},
  timestamp    = {Tue, 07 Dec 2021 17:02:16 +0100},
  biburl       = {https://dblp.org/rec/conf/fmcad/DurejaGIV21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/vmcai/2021,
  editor       = {Fritz Henglein and
                  Sharon Shoham and
                  Yakir Vizel},
  title        = {Verification, Model Checking, and Abstract Interpretation - 22nd International
                  Conference, {VMCAI} 2021, Copenhagen, Denmark, January 17-19, 2021,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12597},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-67067-2},
  doi          = {10.1007/978-3-030-67067-2},
  isbn         = {978-3-030-67066-5},
  timestamp    = {Wed, 13 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vmcai/2021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2106-00664,
  author       = {Arie Gurfinkel and
                  Sharon Shoham and
                  Yakir Vizel},
  title        = {Quantifiers on Demand},
  journal      = {CoRR},
  volume       = {abs/2106.00664},
  year         = {2021},
  url          = {https://arxiv.org/abs/2106.00664},
  eprinttype    = {arXiv},
  eprint       = {2106.00664},
  timestamp    = {Wed, 09 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2106-00664.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2107-00723,
  author       = {Siddharth Priya and
                  Xiang Zhou and
                  Yusen Su and
                  Yakir Vizel and
                  Yuyan Bao and
                  Arie Gurfinkel},
  title        = {Verifying Verified Code},
  journal      = {CoRR},
  volume       = {abs/2107.00723},
  year         = {2021},
  url          = {https://arxiv.org/abs/2107.00723},
  eprinttype    = {arXiv},
  eprint       = {2107.00723},
  timestamp    = {Wed, 07 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-00723.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/todaes/HuangZSVGM19,
  author       = {Bo{-}Yuan Huang and
                  Hongce Zhang and
                  Pramod Subramanyan and
                  Yakir Vizel and
                  Aarti Gupta and
                  Sharad Malik},
  title        = {Instruction-Level Abstraction {(ILA):} {A} Uniform Specification for
                  System-on-Chip (SoC) Verification},
  journal      = {{ACM} Trans. Design Autom. Electr. Syst.},
  volume       = {24},
  number       = {1},
  pages        = {10:1--10:24},
  year         = {2019},
  url          = {https://doi.org/10.1145/3282444},
  doi          = {10.1145/3282444},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/todaes/HuangZSVGM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/BloemJV19,
  author       = {Roderick Bloem and
                  Swen Jacobs and
                  Yakir Vizel},
  editor       = {Yu{-}Fang Chen and
                  Chih{-}Hong Cheng and
                  Javier Esparza},
  title        = {Efficient Information-Flow Verification Under Speculative Execution},
  booktitle    = {Automated Technology for Verification and Analysis - 17th International
                  Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11781},
  pages        = {499--514},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31784-3\_29},
  doi          = {10.1007/978-3-030-31784-3\_29},
  timestamp    = {Mon, 03 Jan 2022 17:11:32 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/BloemJV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/ShemerGSV19,
  author       = {Ron Shemer and
                  Arie Gurfinkel and
                  Sharon Shoham and
                  Yakir Vizel},
  editor       = {Isil Dillig and
                  Serdar Tasiran},
  title        = {Property Directed Self Composition},
  booktitle    = {Computer Aided Verification - 31st International Conference, {CAV}
                  2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
                  {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11561},
  pages        = {161--179},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-25540-4\_9},
  doi          = {10.1007/978-3-030-25540-4\_9},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/ShemerGSV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/KrishnanVGG19,
  author       = {Hari Govind Vediramana Krishnan and
                  Yakir Vizel and
                  Vijay Ganesh and
                  Arie Gurfinkel},
  editor       = {Isil Dillig and
                  Serdar Tasiran},
  title        = {Interpolating Strong Induction},
  booktitle    = {Computer Aided Verification - 31st International Conference, {CAV}
                  2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
                  {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11562},
  pages        = {367--385},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-25543-5\_21},
  doi          = {10.1007/978-3-030-25543-5\_21},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/KrishnanVGG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1905-07705,
  author       = {Ron Shemer and
                  Arie Gurfinkel and
                  Sharon Shoham and
                  Yakir Vizel},
  title        = {Property Directed Self Composition},
  journal      = {CoRR},
  volume       = {abs/1905.07705},
  year         = {2019},
  url          = {http://arxiv.org/abs/1905.07705},
  eprinttype    = {arXiv},
  eprint       = {1905.07705},
  timestamp    = {Tue, 28 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1905-07705.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1906-01583,
  author       = {Hari Govind V. K. and
                  Yakir Vizel and
                  Vijay Ganesh and
                  Arie Gurfinkel},
  title        = {Interpolating Strong Induction},
  journal      = {CoRR},
  volume       = {abs/1906.01583},
  year         = {2019},
  url          = {http://arxiv.org/abs/1906.01583},
  eprinttype    = {arXiv},
  eprint       = {1906.01583},
  timestamp    = {Thu, 13 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1906-01583.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcad/SubramanyanHVGM18,
  author       = {Pramod Subramanyan and
                  Bo{-}Yuan Huang and
                  Yakir Vizel and
                  Aarti Gupta and
                  Sharad Malik},
  title        = {Template-Based Parameterized Synthesis of Uniform Instruction-Level
                  Abstractions for SoC Verification},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {37},
  number       = {8},
  pages        = {1692--1705},
  year         = {2018},
  url          = {https://doi.org/10.1109/TCAD.2017.2764482},
  doi          = {10.1109/TCAD.2017.2764482},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/SubramanyanHVGM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/GurfinkelSV18,
  author       = {Arie Gurfinkel and
                  Sharon Shoham and
                  Yakir Vizel},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {Quantifiers on Demand},
  booktitle    = {Automated Technology for Verification and Analysis - 16th International
                  Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11138},
  pages        = {248--266},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-01090-4\_15},
  doi          = {10.1007/978-3-030-01090-4\_15},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/GurfinkelSV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/YangVSGM18,
  author       = {Weikun Yang and
                  Yakir Vizel and
                  Pramod Subramanyan and
                  Aarti Gupta and
                  Sharad Malik},
  editor       = {Hana Chockler and
                  Georg Weissenbacher},
  title        = {Lazy Self-composition for Security Verification},
  booktitle    = {Computer Aided Verification - 30th International Conference, {CAV}
                  2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
                  UK, July 14-17, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10982},
  pages        = {136--156},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-96142-2\_11},
  doi          = {10.1007/978-3-319-96142-2\_11},
  timestamp    = {Fri, 09 Apr 2021 18:35:26 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/YangVSGM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1801-01114,
  author       = {Bo{-}Yuan Huang and
                  Hongce Zhang and
                  Pramod Subramanyan and
                  Yakir Vizel and
                  Aarti Gupta and
                  Sharad Malik},
  title        = {Instruction-Level Abstraction {(ILA):} {A} Uniform Specification for
                  System-on-Chip (SoC) Verification},
  journal      = {CoRR},
  volume       = {abs/1801.01114},
  year         = {2018},
  url          = {http://arxiv.org/abs/1801.01114},
  eprinttype    = {arXiv},
  eprint       = {1801.01114},
  timestamp    = {Wed, 24 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1801-01114.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jetc/GolnariYMVM17,
  author       = {Pareesa Ameneh Golnari and
                  Yavuz Yetim and
                  Margaret Martonosi and
                  Yakir Vizel and
                  Sharad Malik},
  title        = {{PPU:} {A} Control Error-Tolerant Processor for Streaming Applications
                  with Formal Guarantees},
  journal      = {{ACM} J. Emerg. Technol. Comput. Syst.},
  volume       = {13},
  number       = {3},
  pages        = {43:1--43:29},
  year         = {2017},
  url          = {https://doi.org/10.1145/2990502},
  doi          = {10.1145/2990502},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jetc/GolnariYMVM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/VizelNM17,
  author       = {Yakir Vizel and
                  Alexander Nadel and
                  Sharad Malik},
  editor       = {Daryl Stewart and
                  Georg Weissenbacher},
  title        = {Solving linear arithmetic with SAT-based model checking},
  booktitle    = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
                  Austria, October 2-6, 2017},
  pages        = {47--54},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.23919/FMCAD.2017.8102240},
  doi          = {10.23919/FMCAD.2017.8102240},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/VizelNM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/smt/VizelNM17,
  author       = {Yakir Vizel and
                  Alexander Nadel and
                  Sharad Malik},
  editor       = {Martin Brain and
                  Liana Hadarean},
  title        = {Solving Constraints over Bit-Vectors with SAT-based Model Checking},
  booktitle    = {Proceedings of the 15th International Workshop on Satisfiability Modulo
                  Theories affiliated with the International Conference on Computer-Aided
                  Verification {(CAV} 2017), Heidelberg, Germany, July 22 - 23, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1889},
  pages        = {101--107},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1889/paper9.pdf},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smt/VizelNM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/VizelGSM17,
  author       = {Yakir Vizel and
                  Arie Gurfinkel and
                  Sharon Shoham and
                  Sharad Malik},
  editor       = {Ahmed Bouajjani and
                  David Monniaux},
  title        = {{IC3} - Flipping the {E} in {ICE}},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 18th International
                  Conference, {VMCAI} 2017, Paris, France, January 15-17, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10145},
  pages        = {521--538},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-52234-0\_28},
  doi          = {10.1007/978-3-319-52234-0\_28},
  timestamp    = {Sat, 09 Apr 2022 12:46:16 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/VizelGSM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/VizelNR15,
  author       = {Yakir Vizel and
                  Alexander Nadel and
                  Vadim Ryvchin},
  title        = {Efficient generation of small interpolants in {CNF}},
  journal      = {Formal Methods Syst. Des.},
  volume       = {47},
  number       = {1},
  pages        = {51--74},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10703-015-0224-5},
  doi          = {10.1007/S10703-015-0224-5},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/VizelNR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pieee/VizelWM15,
  author       = {Yakir Vizel and
                  Georg Weissenbacher and
                  Sharad Malik},
  title        = {Boolean Satisfiability Solvers and Their Applications in Model Checking},
  journal      = {Proc. {IEEE}},
  volume       = {103},
  number       = {11},
  pages        = {2021--2035},
  year         = {2015},
  url          = {https://doi.org/10.1109/JPROC.2015.2455034},
  doi          = {10.1109/JPROC.2015.2455034},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pieee/VizelWM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/VizelGM15,
  author       = {Yakir Vizel and
                  Arie Gurfinkel and
                  Sharad Malik},
  editor       = {Daniel Kroening and
                  Corina S. Pasareanu},
  title        = {Fast Interpolating {BMC}},
  booktitle    = {Computer Aided Verification - 27th International Conference, {CAV}
                  2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
                  {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9206},
  pages        = {641--657},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-21690-4\_43},
  doi          = {10.1007/978-3-319-21690-4\_43},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/VizelGM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/SubramanyanVRM15,
  author       = {Pramod Subramanyan and
                  Yakir Vizel and
                  Sayak Ray and
                  Sharad Malik},
  editor       = {Roope Kaivola and
                  Thomas Wahl},
  title        = {Template-based Synthesis of Instruction-Level Abstractions for SoC
                  Verification},
  booktitle    = {Formal Methods in Computer-Aided Design, {FMCAD} 2015, Austin, Texas,
                  USA, September 27-30, 2015},
  pages        = {160--167},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/FMCAD.2015.7542266},
  doi          = {10.1109/FMCAD.2015.7542266},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/SubramanyanVRM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iccad/GolnariVM15,
  author       = {Ameneh Golnari and
                  Yakir Vizel and
                  Sharad Malik},
  editor       = {Diana Marculescu and
                  Frank Liu},
  title        = {Error-Tolerant Processors: Formal Specification and Verification},
  booktitle    = {Proceedings of the {IEEE/ACM} International Conference on Computer-Aided
                  Design, {ICCAD} 2015, Austin, TX, USA, November 2-6, 2015},
  pages        = {286--293},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/ICCAD.2015.7372582},
  doi          = {10.1109/ICCAD.2015.7372582},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccad/GolnariVM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/il/Vizel14,
  author       = {Yakir Vizel},
  title        = {SAT-based model checking using interpolation and {IC3}},
  school       = {Technion - Israel Institute of Technology, Israel},
  year         = {2014},
  url          = {https://technion.primo.exlibrisgroup.com/permalink/972TEC\_INST/q1jq5o/alma990024985850203971},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/phd/il/Vizel14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/VizelG14,
  author       = {Yakir Vizel and
                  Arie Gurfinkel},
  editor       = {Armin Biere and
                  Roderick Bloem},
  title        = {Interpolating Property Directed Reachability},
  booktitle    = {Computer Aided Verification - 26th International Conference, {CAV}
                  2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
                  Austria, July 18-22, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8559},
  pages        = {260--276},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-08867-9\_17},
  doi          = {10.1007/978-3-319-08867-9\_17},
  timestamp    = {Mon, 03 Jan 2022 22:13:44 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/VizelG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/GurfinkelV14,
  author       = {Arie Gurfinkel and
                  Yakir Vizel},
  title        = {DRUPing for interpolates},
  booktitle    = {Formal Methods in Computer-Aided Design, {FMCAD} 2014, Lausanne, Switzerland,
                  October 21-24, 2014},
  pages        = {99--106},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/FMCAD.2014.6987601},
  doi          = {10.1109/FMCAD.2014.6987601},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmcad/GurfinkelV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/natosec/GrumbergSV14,
  author       = {Orna Grumberg and
                  Sharon Shoham and
                  Yakir Vizel},
  editor       = {Orna Grumberg and
                  Helmut Seidl and
                  Maximilian Irlbeck},
  title        = {SAT-based Model Checking: Interpolation, IC3, and Beyond},
  booktitle    = {Software Systems Safety},
  series       = {{NATO} Science for Peace and Security Series, {D:} Information and
                  Communication Security},
  volume       = {36},
  pages        = {17--41},
  publisher    = {{IOS} Press},
  year         = {2014},
  url          = {https://doi.org/10.3233/978-1-61499-385-8-17},
  doi          = {10.3233/978-1-61499-385-8-17},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/series/natosec/GrumbergSV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/VizelRN13,
  author       = {Yakir Vizel and
                  Vadim Ryvchin and
                  Alexander Nadel},
  editor       = {Natasha Sharygina and
                  Helmut Veith},
  title        = {Efficient Generation of Small Interpolants in {CNF}},
  booktitle    = {Computer Aided Verification - 25th International Conference, {CAV}
                  2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8044},
  pages        = {330--346},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39799-8\_23},
  doi          = {10.1007/978-3-642-39799-8\_23},
  timestamp    = {Wed, 07 Dec 2022 23:12:58 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/VizelRN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/VizelGS13,
  author       = {Yakir Vizel and
                  Orna Grumberg and
                  Sharon Shoham},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {Intertwined Forward-Backward Reachability Analysis Using Interpolants},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {308--323},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_22},
  doi          = {10.1007/978-3-642-36742-7\_22},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/VizelGS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/VizelGS12,
  author       = {Yakir Vizel and
                  Orna Grumberg and
                  Sharon Shoham},
  editor       = {Gianpiero Cabodi and
                  Satnam Singh},
  title        = {Lazy abstraction and SAT-based reachability in hardware model checking},
  booktitle    = {Formal Methods in Computer-Aided Design, {FMCAD} 2012, Cambridge,
                  UK, October 22-25, 2012},
  pages        = {173--181},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://ieeexplore.ieee.org/document/6462570/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/VizelGS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/VizelG09,
  author       = {Yakir Vizel and
                  Orna Grumberg},
  title        = {Interpolation-sequence based model checking},
  booktitle    = {Proceedings of 9th International Conference on Formal Methods in Computer-Aided
                  Design, {FMCAD} 2009, 15-18 November 2009, Austin, Texas, {USA}},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/FMCAD.2009.5351148},
  doi          = {10.1109/FMCAD.2009.5351148},
  timestamp    = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/VizelG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aspdac/ArmoniFFHVVZ07,
  author       = {Roy Armoni and
                  Limor Fix and
                  Ranan Fraer and
                  Tamir Heyman and
                  Moshe Y. Vardi and
                  Yakir Vizel and
                  Yael Zbar},
  title        = {Deeper Bound in {BMC} by Combining Constant Propagation and Abstraction},
  booktitle    = {Proceedings of the 12th Conference on Asia South Pacific Design Automation,
                  {ASP-DAC} 2007, Yokohama, Japan, January 23-26, 2007},
  pages        = {304--309},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ASPDAC.2007.358003},
  doi          = {10.1109/ASPDAC.2007.358003},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aspdac/ArmoniFFHVVZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.