default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ofer Strichman
@inproceedings{DBLP:conf/vmcai/XiaoLHXLPSV24,
author = {Shengping Xiao and
Yongkang Li and
Xinyue Huang and
Yicong Xu and
Jianwen Li and
Geguang Pu and
Ofer Strichman and
Moshe Y. Vardi},
editor = {Rayna Dimitrova and
Ori Lahav and
Sebastian Wolff},
title = {Model-Guided Synthesis for {LTL} over Finite Traces},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 25th International
Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14499},
pages = {186--207},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-50524-9\_9},
doi = {10.1007/978-3-031-50524-9\_9},
timestamp = {Sun, 14 Jan 2024 19:41:04 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/XiaoLHXLPSV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BloemCES22,
author = {Roderick Bloem and
Hana Chockler and
Masoud Ebrahimi and
Ofer Strichman},
title = {Specifiable robustness in reactive synthesis},
journal = {Formal Methods Syst. Des.},
volume = {60},
number = {2},
pages = {259--276},
year = {2022},
url = {https://doi.org/10.1007/s10703-023-00418-x},
doi = {10.1007/S10703-023-00418-X},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/BloemCES22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/ZhangXLPS22,
author = {Xiaoyu Zhang and
Shengping Xiao and
Jianwen Li and
Geguang Pu and
Ofer Strichman},
editor = {Tulika Mitra and
Evangeline F. Y. Young and
Jinjun Xiong},
title = {Combining {BMC} and Complementary Approximate Reachability to Accelerate
Bug-Finding},
booktitle = {Proceedings of the 41st {IEEE/ACM} International Conference on Computer-Aided
Design, {ICCAD} 2022, San Diego, California, USA, 30 October 2022
- 3 November 2022},
pages = {126:1--126:9},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3508352.3549393},
doi = {10.1145/3508352.3549393},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccad/ZhangXLPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sat/2022,
editor = {Kuldeep S. Meel and
Ofer Strichman},
title = {25th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {236},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://www.dagstuhl.de/dagpub/978-3-95977-242-6},
isbn = {978-3-95977-242-6},
timestamp = {Wed, 21 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-08157,
author = {Dor Cohen and
Ofer Strichman},
title = {Automated Repair of Neural Networks},
journal = {CoRR},
volume = {abs/2207.08157},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.08157},
doi = {10.48550/ARXIV.2207.08157},
eprinttype = {arXiv},
eprint = {2207.08157},
timestamp = {Tue, 19 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-08157.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-14364,
author = {Chaked R. J. Sayedoff and
Ofer Strichman},
title = {Regression verification of unbalanced recursive functions with multiple
calls (long version)},
journal = {CoRR},
volume = {abs/2207.14364},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.14364},
doi = {10.48550/ARXIV.2207.14364},
eprinttype = {arXiv},
eprint = {2207.14364},
timestamp = {Tue, 02 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-14364.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/NofS21,
author = {Yair Nof and
Ofer Strichman},
title = {Real-time solving of computationally hard problems using optimal algorithm
portfolios},
journal = {Ann. Math. Artif. Intell.},
volume = {89},
number = {7},
pages = {693--710},
year = {2021},
url = {https://doi.org/10.1007/s10472-020-09704-4},
doi = {10.1007/S10472-020-09704-4},
timestamp = {Tue, 13 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/NofS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BloemCES21,
author = {Roderick Bloem and
Hana Chockler and
Masoud Ebrahimi and
Ofer Strichman},
title = {Vacuity in synthesis},
journal = {Formal Methods Syst. Des.},
volume = {57},
number = {3},
pages = {473--495},
year = {2021},
url = {https://doi.org/10.1007/s10703-021-00381-5},
doi = {10.1007/S10703-021-00381-5},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/BloemCES21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/IvriiS21,
author = {Alexander Ivrii and
Ofer Strichman},
title = {Exploiting Isomorphic Subgraphs in {SAT}},
booktitle = {Formal Methods in Computer Aided Design, {FMCAD} 2021, New Haven,
CT, USA, October 19-22, 2021},
pages = {204--211},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.34727/2021/isbn.978-3-85448-046-4\_29},
doi = {10.34727/2021/ISBN.978-3-85448-046-4\_29},
timestamp = {Tue, 07 Dec 2021 17:02:16 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/IvriiS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-10267,
author = {Alexander Ivrii and
Ofer Strichman},
title = {Exploiting Isomorphic Subgraphs in {SAT} (Long version)},
journal = {CoRR},
volume = {abs/2103.10267},
year = {2021},
url = {https://arxiv.org/abs/2103.10267},
eprinttype = {arXiv},
eprint = {2103.10267},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-10267.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/ChocklerKKS20,
author = {Hana Chockler and
Pascal Kesseli and
Daniel Kroening and
Ofer Strichman},
title = {Learning the Language of Software Errors},
journal = {J. Artif. Intell. Res.},
volume = {67},
pages = {881--903},
year = {2020},
url = {https://doi.org/10.1613/jair.1.11798},
doi = {10.1613/JAIR.1.11798},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/ChocklerKKS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-03453,
author = {Tomer Cohen and
Lior Finkelman and
Gal Grimberg and
Gadi Shenhar and
Ofer Strichman and
Yonatan Strichman and
Stav Yeger},
title = {A combination of 'pooling' with a prediction model can reduce by 73{\%}
the number of {COVID-19} (Corona-virus) tests},
journal = {CoRR},
volume = {abs/2005.03453},
year = {2020},
url = {https://arxiv.org/abs/2005.03453},
eprinttype = {arXiv},
eprint = {2005.03453},
timestamp = {Sun, 10 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-03453.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/DruckerHOPS19,
author = {Nir Drucker and
Hsi{-}Ming Ho and
Jo{\"{e}}l Ouaknine and
Michal Penn and
Ofer Strichman},
title = {Cyclic-routing of Unmanned Aerial Vehicles},
journal = {J. Comput. Syst. Sci.},
volume = {103},
pages = {18--45},
year = {2019},
url = {https://doi.org/10.1016/j.jcss.2019.02.002},
doi = {10.1016/J.JCSS.2019.02.002},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/DruckerHOPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BloemC0S19,
author = {Roderick Bloem and
Hana Chockler and
Masoud Ebrahimi and
Ofer Strichman},
editor = {Clark W. Barrett and
Jin Yang},
title = {Synthesizing Reactive Systems Using Robustness and Recovery Specifications},
booktitle = {2019 Formal Methods in Computer Aided Design, {FMCAD} 2019, San Jose,
CA, USA, October 22-25, 2019},
pages = {147--151},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.23919/FMCAD.2019.8894276},
doi = {10.23919/FMCAD.2019.8894276},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/BloemC0S19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entropy/CohenS18,
author = {Dor Cohen and
Ofer Strichman},
title = {The Impact of Entropy and Solution Density on Selected {SAT} Heuristics},
journal = {Entropy},
volume = {20},
number = {9},
pages = {713},
year = {2018},
url = {https://doi.org/10.3390/e20090713},
doi = {10.3390/E20090713},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entropy/CohenS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/Strichman18,
author = {Ofer Strichman},
title = {Special issue: program equivalence},
journal = {Formal Methods Syst. Des.},
volume = {52},
number = {3},
pages = {227--228},
year = {2018},
url = {https://doi.org/10.1007/s10703-018-0318-y},
doi = {10.1007/S10703-018-0318-Y},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/Strichman18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/LahiriMSU18,
author = {Shuvendu K. Lahiri and
Andrzej S. Murawski and
Ofer Strichman and
Mattias Ulbrich},
title = {Program Equivalence (Dagstuhl Seminar 18151)},
journal = {Dagstuhl Reports},
volume = {8},
number = {4},
pages = {1--19},
year = {2018},
url = {https://doi.org/10.4230/DagRep.8.4.1},
doi = {10.4230/DAGREP.8.4.1},
timestamp = {Tue, 02 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/LahiriMSU18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/interfaces/Strichman17,
author = {Ofer Strichman},
title = {Near-Optimal Course Scheduling at the Technion},
journal = {Interfaces},
volume = {47},
number = {6},
pages = {537--554},
year = {2017},
url = {https://doi.org/10.1287/inte.2017.0920},
doi = {10.1287/INTE.2017.0920},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/interfaces/Strichman17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MorenoSCV17,
author = {Gabriel A. Moreno and
Ofer Strichman and
Sagar Chaki and
Radislav Vaisman},
title = {Decision-Making with Cross-Entropy for Self-Adaptation},
booktitle = {12th {IEEE/ACM} International Symposium on Software Engineering for
Adaptive and Self-Managing Systems, SEAMS@ICSE 2017, Buenos Aires,
Argentina, May 22-23, 2017},
pages = {90--101},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/SEAMS.2017.7},
doi = {10.1109/SEAMS.2017.7},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/MorenoSCV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BloemCES17,
author = {Roderick Bloem and
Hana Chockler and
Masoud Ebrahimi and
Ofer Strichman},
editor = {Ahmed Bouajjani and
David Monniaux},
title = {Synthesizing Non-Vacuous Systems},
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 = {55--72},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-52234-0\_4},
doi = {10.1007/978-3-319-52234-0\_4},
timestamp = {Sat, 09 Apr 2022 12:46:16 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/BloemCES17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hvc/2017,
editor = {Ofer Strichman and
Rachel Tzoref{-}Brill},
title = {Hardware and Software: Verification and Testing - 13th International
Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November
13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10629},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70389-3},
doi = {10.1007/978-3-319-70389-3},
isbn = {978-3-319-70388-6},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CohenS17,
author = {Dor Cohen and
Ofer Strichman},
title = {The impact of Entropy and Solution Density on selected {SAT} heuristics},
journal = {CoRR},
volume = {abs/1706.05637},
year = {2017},
url = {http://arxiv.org/abs/1706.05637},
eprinttype = {arXiv},
eprint = {1706.05637},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CohenS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/txtcs/KroeningS16,
author = {Daniel Kroening and
Ofer Strichman},
title = {Decision Procedures - An Algorithmic Point of View, Second Edition},
series = {Texts in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-50497-0},
doi = {10.1007/978-3-662-50497-0},
isbn = {978-3-662-50496-3},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/txtcs/KroeningS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/VekslerS16,
author = {Michael Veksler and
Ofer Strichman},
title = {Learning general constraints in {CSP}},
journal = {Artif. Intell.},
volume = {238},
pages = {135--153},
year = {2016},
url = {https://doi.org/10.1016/j.artint.2016.06.002},
doi = {10.1016/J.ARTINT.2016.06.002},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/VekslerS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/DruckerPS16,
author = {Nir Drucker and
Michal Penn and
Ofer Strichman},
editor = {Claude{-}Guy Quimper},
title = {Cyclic Routing of Unmanned Aerial Vehicles},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
- 13th International Conference, {CPAIOR} 2016, Banff, AB, Canada,
May 29 - June 1, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9676},
pages = {125--141},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33954-2\_10},
doi = {10.1007/978-3-319-33954-2\_10},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/DruckerPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/StrichmanV16,
author = {Ofer Strichman and
Maor Veitsman},
editor = {John S. Fitzgerald and
Constance L. Heitmeyer and
Stefania Gnesi and
Anna Philippou},
title = {Regression Verification for Unbalanced Recursive Functions},
booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9995},
pages = {645--658},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48989-6\_39},
doi = {10.1007/978-3-319-48989-6\_39},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/StrichmanV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/GuthmannST16,
author = {Ofer Guthmann and
Ofer Strichman and
Anna Trostanetski},
editor = {Ruzica Piskac and
Muralidhar Talupur},
title = {Minimal unsatisfiable core extraction for {SMT}},
booktitle = {2016 Formal Methods in Computer-Aided Design, {FMCAD} 2016, Mountain
View, CA, USA, October 3-6, 2016},
pages = {57--64},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/FMCAD.2016.7886661},
doi = {10.1109/FMCAD.2016.7886661},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/GuthmannST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/ElenbogenKS15,
author = {Dima Elenbogen and
Shmuel Katz and
Ofer Strichman},
title = {Proving mutual termination},
journal = {Formal Methods Syst. Des.},
volume = {47},
number = {2},
pages = {204--229},
year = {2015},
url = {https://doi.org/10.1007/s10703-015-0234-3},
doi = {10.1007/S10703-015-0234-3},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/ElenbogenKS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/ChakiGS15,
author = {Sagar Chaki and
Arie Gurfinkel and
Ofer Strichman},
title = {Regression verification for multi-threaded programs (with extensions
to locks and dynamic thread creation)},
journal = {Formal Methods Syst. Des.},
volume = {47},
number = {3},
pages = {287--301},
year = {2015},
url = {https://doi.org/10.1007/s10703-015-0237-0},
doi = {10.1007/S10703-015-0237-0},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/ChakiGS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informs/VaismanSG15,
author = {Radislav Vaisman and
Ofer Strichman and
Ilya B. Gertsbakh},
title = {Model Counting of Monotone Conjunctive Normal Form Formulas with Spectra},
journal = {{INFORMS} J. Comput.},
volume = {27},
number = {2},
pages = {406--415},
year = {2015},
url = {https://doi.org/10.1287/ijoc.2014.0633},
doi = {10.1287/IJOC.2014.0633},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informs/VaismanSG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ChapmanCKKST15,
author = {Martin Chapman and
Hana Chockler and
Pascal Kesseli and
Daniel Kroening and
Ofer Strichman and
Michael Tautschnig},
editor = {Bernd Finkbeiner and
Geguang Pu and
Lijun Zhang},
title = {Learning the Language of Error},
booktitle = {Automated Technology for Verification and Analysis - 13th International
Symposium, {ATVA} 2015, Shanghai, China, October 12-15, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9364},
pages = {114--130},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24953-7\_9},
doi = {10.1007/978-3-319-24953-7\_9},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/ChapmanCKKST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/VekslerS15,
author = {Michael Veksler and
Ofer Strichman},
editor = {Laurent Michel},
title = {Learning General Constraints in {CSP}},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
- 12th International Conference, {CPAIOR} 2015, Barcelona, Spain,
May 18-22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9075},
pages = {410--426},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-18008-3\_28},
doi = {10.1007/978-3-319-18008-3\_28},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/VekslerS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/IvriiRS15,
author = {Alexander Ivrii and
Vadim Ryvchin and
Ofer Strichman},
editor = {Marijn Heule and
Sean A. Weaver},
title = {Mining Backbone Literals in Incremental {SAT} - {A} New Kind of Incremental
Data},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2015 - 18th
International Conference, Austin, TX, USA, September 24-27, 2015,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9340},
pages = {88--103},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24318-4\_8},
doi = {10.1007/978-3-319-24318-4\_8},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/IvriiRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/NadelRS14,
author = {Alexander Nadel and
Vadim Ryvchin and
Ofer Strichman},
title = {Accelerated Deletion-based Extraction of Minimal Unsatisfiable Cores},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {9},
number = {1},
pages = {27--51},
year = {2014},
url = {https://doi.org/10.3233/sat190100},
doi = {10.3233/SAT190100},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/NadelRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/NadelRS14,
author = {Alexander Nadel and
Vadim Ryvchin and
Ofer Strichman},
editor = {Carsten Sinz and
Uwe Egly},
title = {Ultimately Incremental {SAT}},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2014 - 17th
International Conference, Held as Part of the Vienna Summer of Logic,
{VSL} 2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8561},
pages = {206--218},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09284-3\_16},
doi = {10.1007/978-3-319-09284-3\_16},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/NadelRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/StrichmanK13,
author = {Ofer Strichman and
Daniel Kroening},
title = {Preface to the special issue "SI: Satisfiability Modulo Theories"},
journal = {Formal Methods Syst. Des.},
volume = {42},
number = {1},
pages = {1--2},
year = {2013},
url = {https://doi.org/10.1007/s10703-012-0172-2},
doi = {10.1007/S10703-012-0172-2},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/StrichmanK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/ChocklerGS13,
author = {Hana Chockler and
Arie Gurfinkel and
Ofer Strichman},
title = {Beyond vacuity: towards the strongest passing formula},
journal = {Formal Methods Syst. Des.},
volume = {43},
number = {3},
pages = {552--571},
year = {2013},
url = {https://doi.org/10.1007/s10703-013-0192-6},
doi = {10.1007/S10703-013-0192-6},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/ChocklerGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/GodlinS13,
author = {Benny Godlin and
Ofer Strichman},
title = {Regression verification: proving the equivalence of similar programs},
journal = {Softw. Test. Verification Reliab.},
volume = {23},
number = {3},
pages = {241--258},
year = {2013},
url = {https://doi.org/10.1002/stvr.1472},
doi = {10.1002/STVR.1472},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/GodlinS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ChakiGS13,
author = {Sagar Chaki and
Arie Gurfinkel and
Ofer Strichman},
title = {Verifying periodic programs with priority inheritance locks},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {137--144},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679402/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/ChakiGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/NadelRS13,
author = {Alexander Nadel and
Vadim Ryvchin and
Ofer Strichman},
title = {Efficient {MUS} extraction with resolution},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {197--200},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679410/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/NadelRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sum/KenigGS13,
author = {Batya Kenig and
Avigdor Gal and
Ofer Strichman},
editor = {Weiru Liu and
V. S. Subrahmanian and
Jef Wijsen},
title = {A New Class of Lineage Expressions over Probabilistic Databases Computable
in P-Time},
booktitle = {Scalable Uncertainty Management - 7th International Conference, {SUM}
2013, Washington, DC, USA, September 16-18, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8078},
pages = {219--232},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40381-1\_17},
doi = {10.1007/978-3-642-40381-1\_17},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sum/KenigGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/ChakiGKS13,
author = {Sagar Chaki and
Arie Gurfinkel and
Soonho Kong and
Ofer Strichman},
editor = {Roberto Giacobazzi and
Josh Berdine and
Isabella Mastroeni},
title = {Compositional Sequentialization of Periodic Programs},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 14th International
Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7737},
pages = {536--554},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35873-9\_31},
doi = {10.1007/978-3-642-35873-9\_31},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/ChakiGKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/ElenbogenKS12,
author = {Dima Elenbogen and
Shmuel Katz and
Ofer Strichman},
editor = {Armin Biere and
Amir Nahir and
Tanja E. J. Vos},
title = {Proving Mutual Termination of Programs},
booktitle = {Hardware and Software: Verification and Testing - 8th International
Haifa Verification Conference, {HVC} 2012, Haifa, Israel, November
6-8, 2012. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7857},
pages = {24--39},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-39611-3\_9},
doi = {10.1007/978-3-642-39611-3\_9},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/ElenbogenKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/NadelRS12,
author = {Alexander Nadel and
Vadim Ryvchin and
Ofer Strichman},
editor = {Alessandro Cimatti and
Roberto Sebastiani},
title = {Preprocessing in Incremental {SAT}},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2012 - 15th
International Conference, Trento, Italy, June 17-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7317},
pages = {256--269},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31612-8\_20},
doi = {10.1007/978-3-642-31612-8\_20},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/NadelRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/ChakiGS12,
author = {Sagar Chaki and
Arie Gurfinkel and
Ofer Strichman},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Regression Verification for Multi-threaded Programs},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {119--135},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_9},
doi = {10.1007/978-3-642-27940-9\_9},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/ChakiGS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/Bar-IlanFHSS11,
author = {Omer Bar{-}Ilan and
Oded Fuhrmann and
Shlomo Hoory and
Ohad Shacham and
Ofer Strichman},
title = {Reducing the size of resolution proofs in linear time},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {13},
number = {3},
pages = {263--272},
year = {2011},
url = {https://doi.org/10.1007/s10009-010-0167-5},
doi = {10.1007/S10009-010-0167-5},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/Bar-IlanFHSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/FournierZKS11,
author = {Laurent Fournier and
Avi Ziv and
Ekaterina Kutsy and
Ofer Strichman},
title = {A probabilistic analysis of coverage methods},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {16},
number = {4},
pages = {38:1--38:20},
year = {2011},
url = {https://doi.org/10.1145/2003695.2003698},
doi = {10.1145/2003695.2003698},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/todaes/FournierZKS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KroeningOSWW11,
author = {Daniel Kroening and
Jo{\"{e}}l Ouaknine and
Ofer Strichman and
Thomas Wahl and
James Worrell},
editor = {Ganesh Gopalakrishnan and
Shaz Qadeer},
title = {Linear Completeness Thresholds for Bounded Model Checking},
booktitle = {Computer Aided Verification - 23rd International Conference, {CAV}
2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6806},
pages = {557--572},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22110-1\_44},
doi = {10.1007/978-3-642-22110-1\_44},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/KroeningOSWW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ChakiGS11,
author = {Sagar Chaki and
Arie Gurfinkel and
Ofer Strichman},
editor = {Per Bjesse and
Anna Slobodov{\'{a}}},
title = {Time-bounded analysis of real-time systems},
booktitle = {International Conference on Formal Methods in Computer-Aided Design,
{FMCAD} '11, Austin, TX, USA, October 30 - November 02, 2011},
pages = {72--80},
publisher = {{FMCAD} Inc.},
year = {2011},
url = {http://dl.acm.org/citation.cfm?id=2157669},
timestamp = {Mon, 09 Aug 2021 15:21:44 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/ChakiGS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/RyvchinS11,
author = {Vadim Ryvchin and
Ofer Strichman},
editor = {Karem A. Sakallah and
Laurent Simon},
title = {Faster Extraction of High-Level Minimal Unsatisfiable Cores},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2011 - 14th
International Conference, {SAT} 2011, Ann Arbor, MI, USA, June 19-22,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6695},
pages = {174--187},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21581-0\_15},
doi = {10.1007/978-3-642-21581-0\_15},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/RyvchinS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MatsliahS10,
author = {Arie Matsliah and
Ofer Strichman},
title = {Underapproximation for model-checking based on universal circuits},
journal = {Inf. Comput.},
volume = {208},
number = {4},
pages = {315--326},
year = {2010},
url = {https://doi.org/10.1016/j.ic.2010.01.001},
doi = {10.1016/J.IC.2010.01.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/MatsliahS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/VekslerS10,
author = {Michael Veksler and
Ofer Strichman},
editor = {Maria Fox and
David Poole},
title = {A Proof-Producing {CSP} Solver},
booktitle = {Proceedings of the Twenty-Fourth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2010, Atlanta, Georgia, USA, July 11-15, 2010},
pages = {204--209},
publisher = {{AAAI} Press},
year = {2010},
url = {https://doi.org/10.1609/aaai.v24i1.7543},
doi = {10.1609/AAAI.V24I1.7543},
timestamp = {Mon, 04 Sep 2023 16:23:45 +0200},
biburl = {https://dblp.org/rec/conf/aaai/VekslerS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GodlinS10,
author = {Benny Godlin and
Ofer Strichman},
editor = {Zohar Manna and
Doron A. Peled},
title = {Inference Rules for Proving the Equivalence of Recursive Procedures},
booktitle = {Time for Verification, Essays in Memory of Amir Pnueli},
series = {Lecture Notes in Computer Science},
volume = {6200},
pages = {167--184},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13754-9\_8},
doi = {10.1007/978-3-642-13754-9\_8},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GodlinS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/ChocklerGS10,
author = {Hana Chockler and
Arie Gurfinkel and
Ofer Strichman},
editor = {Sharon Barner and
Ian G. Harris and
Daniel Kroening and
Orna Raz},
title = {Variants of {LTL} Query Checking},
booktitle = {Hardware and Software: Verification and Testing - 6th International
Haifa Verification Conference, {HVC} 2010, Haifa, Israel, October
4-7, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6504},
pages = {76--92},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19583-9\_11},
doi = {10.1007/978-3-642-19583-9\_11},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hvc/ChocklerGS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sat/2010,
editor = {Ofer Strichman and
Stefan Szeider},
title = {Theory and Applications of Satisfiability Testing - {SAT} 2010, 13th
International Conference, {SAT} 2010, Edinburgh, UK, July 11-14, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6175},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14186-7},
doi = {10.1007/978-3-642-14186-7},
isbn = {978-3-642-14185-0},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/KroeningS09,
author = {Daniel Kroening and
Ofer Strichman},
title = {A framework for Satisfiability Modulo Theories},
journal = {Formal Aspects Comput.},
volume = {21},
number = {5},
pages = {485--494},
year = {2009},
url = {https://doi.org/10.1007/s00165-009-0105-z},
doi = {10.1007/S00165-009-0105-Z},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/KroeningS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/ChocklerS09,
author = {Hana Chockler and
Ofer Strichman},
title = {Before and after vacuity},
journal = {Formal Methods Syst. Des.},
volume = {34},
number = {1},
pages = {37--58},
year = {2009},
url = {https://doi.org/10.1007/s10703-008-0060-y},
doi = {10.1007/S10703-008-0060-Y},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/ChocklerS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/GershmanS09,
author = {Roman Gershman and
Ofer Strichman},
title = {HaifaSat: a {SAT} solver based on an Abstraction/Refinement model},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {6},
number = {1-3},
pages = {33--51},
year = {2009},
url = {https://doi.org/10.3233/sat190061},
doi = {10.3233/SAT190061},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/GershmanS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BryantKOSSB09,
author = {Randal E. Bryant and
Daniel Kroening and
Jo{\"{e}}l Ouaknine and
Sanjit A. Seshia and
Ofer Strichman and
Bryan A. Brady},
title = {An abstraction-based decision procedure for bit-vector arithmetic},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {11},
number = {2},
pages = {95--104},
year = {2009},
url = {https://doi.org/10.1007/s10009-009-0101-x},
doi = {10.1007/S10009-009-0101-X},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BryantKOSSB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Strichman09,
author = {Ofer Strichman},
editor = {Ahmed Bouajjani and
Oded Maler},
title = {Regression Verification: Proving the Equivalence of Similar Programs},
booktitle = {Computer Aided Verification, 21st International Conference, {CAV}
2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5643},
pages = {63},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02658-4\_8},
doi = {10.1007/978-3-642-02658-4\_8},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Strichman09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/RyabtsevS09,
author = {Michael Ryabtsev and
Ofer Strichman},
editor = {Ahmed Bouajjani and
Oded Maler},
title = {Translation Validation: From Simulink to {C}},
booktitle = {Computer Aided Verification, 21st International Conference, {CAV}
2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5643},
pages = {696--701},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02658-4\_57},
doi = {10.1007/978-3-642-02658-4\_57},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/RyabtsevS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GodlinS09,
author = {Benny Godlin and
Ofer Strichman},
title = {Regression verification},
booktitle = {Proceedings of the 46th Design Automation Conference, {DAC} 2009,
San Francisco, CA, USA, July 26-31, 2009},
pages = {466--471},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1629911.1630034},
doi = {10.1145/1629911.1630034},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/GodlinS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ChakiGS09,
author = {Sagar Chaki and
Arie Gurfinkel and
Ofer Strichman},
title = {Decision diagrams for linear arithmetic},
booktitle = {Proceedings of 9th International Conference on Formal Methods in Computer-Aided
Design, {FMCAD} 2009, 15-18 November 2009, Austin, Texas, {USA}},
pages = {53--60},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/FMCAD.2009.5351143},
doi = {10.1109/FMCAD.2009.5351143},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/ChakiGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/txtcs/KroeningS08,
author = {Daniel Kroening and
Ofer Strichman},
title = {Decision Procedures - An Algorithmic Point of View},
series = {Texts in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-74105-3},
doi = {10.1007/978-3-540-74105-3},
isbn = {978-3-540-74104-6},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/txtcs/KroeningS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/GodlinS08,
author = {Benny Godlin and
Ofer Strichman},
title = {Inference rules for proving the equivalence of recursive procedures},
journal = {Acta Informatica},
volume = {45},
number = {6},
pages = {403--439},
year = {2008},
url = {https://doi.org/10.1007/s00236-008-0075-2},
doi = {10.1007/S00236-008-0075-2},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/GodlinS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/ChakiS08,
author = {Sagar Chaki and
Ofer Strichman},
title = {Three optimizations for Assume-Guarantee reasoning with L\({}^{\mbox{*}}\)},
journal = {Formal Methods Syst. Des.},
volume = {32},
number = {3},
pages = {267--284},
year = {2008},
url = {https://doi.org/10.1007/s10703-007-0042-5},
doi = {10.1007/S10703-007-0042-5},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/ChakiS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/GershmanKS08,
author = {Roman Gershman and
Maya Koifman and
Ofer Strichman},
title = {An approach for extracting a small unsatisfiable core},
journal = {Formal Methods Syst. Des.},
volume = {33},
number = {1-3},
pages = {1--27},
year = {2008},
url = {https://doi.org/10.1007/s10703-008-0051-z},
doi = {10.1007/S10703-008-0051-Z},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/GershmanKS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ChocklerGS08,
author = {Hana Chockler and
Arie Gurfinkel and
Ofer Strichman},
editor = {Alessandro Cimatti and
Robert B. Jones},
title = {Beyond Vacuity: Towards the Strongest Passing Formula},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2008, Portland, Oregon,
USA, 17-20 November 2008},
pages = {1--8},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/FMCAD.2008.ECP.28},
doi = {10.1109/FMCAD.2008.ECP.28},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/ChocklerGS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/GoldwasserSF08,
author = {Dan Goldwasser and
Ofer Strichman and
Shai Fine},
editor = {Alessandro Cimatti and
Robert B. Jones},
title = {A Theory-Based Decision Heuristic for {DPLL(T)}},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2008, Portland, Oregon,
USA, 17-20 November 2008},
pages = {1--8},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/FMCAD.2008.ECP.17},
doi = {10.1109/FMCAD.2008.ECP.17},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/GoldwasserSF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/Bar-IlanFHSS08,
author = {Omer Bar{-}Ilan and
Oded Fuhrmann and
Shlomo Hoory and
Ohad Shacham and
Ofer Strichman},
editor = {Hana Chockler and
Alan J. Hu},
title = {Linear-Time Reductions of Resolution Proofs},
booktitle = {Hardware and Software: Verification and Testing, 4th International
Haifa Verification Conference, {HVC} 2008, Haifa, Israel, October
27-30, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5394},
pages = {114--128},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01702-5\_14},
doi = {10.1007/978-3-642-01702-5\_14},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/Bar-IlanFHSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/RyvchinS08,
author = {Vadim Ryvchin and
Ofer Strichman},
editor = {Hans Kleine B{\"{u}}ning and
Xishun Zhao},
title = {Local Restarts},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2008, 11th
International Conference, {SAT} 2008, Guangzhou, China, May 12-15,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4996},
pages = {271--276},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79719-7\_25},
doi = {10.1007/978-3-540-79719-7\_25},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/RyvchinS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/MatsliahS07,
author = {Arie Matsliah and
Ofer Strichman},
editor = {Werner Damm and
Holger Hermanns},
title = {Underapproximation for Model-Checking Based on Random Cryptographic
Constructions},
booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
2007, Berlin, Germany, July 3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4590},
pages = {339--351},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73368-3\_39},
doi = {10.1007/978-3-540-73368-3\_39},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/MatsliahS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/ChocklerS07,
author = {Hana Chockler and
Ofer Strichman},
title = {Easier and More Informative Vacuity Checks},
booktitle = {5th {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2007), May 30 - June 1st, Nice,
France},
pages = {189--198},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/MEMCOD.2007.371225},
doi = {10.1109/MEMCOD.2007.371225},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/ChocklerS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChakiS07,
author = {Sagar Chaki and
Ofer Strichman},
editor = {Orna Grumberg and
Michael Huth},
title = {Optimized L*-Based Assume-Guarantee Reasoning},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
13th International Conference, {TACAS} 2007, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2007
Braga, Portugal, March 24 - April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4424},
pages = {276--291},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71209-1\_22},
doi = {10.1007/978-3-540-71209-1\_22},
timestamp = {Mon, 11 Sep 2023 15:43:49 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ChakiS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BryantKOSSB07,
author = {Randal E. Bryant and
Daniel Kroening and
Jo{\"{e}}l Ouaknine and
Sanjit A. Seshia and
Ofer Strichman and
Bryan A. Brady},
editor = {Orna Grumberg and
Michael Huth},
title = {Deciding Bit-Vector Arithmetic with Abstraction},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
13th International Conference, {TACAS} 2007, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2007
Braga, Portugal, March 24 - April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4424},
pages = {358--372},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71209-1\_28},
doi = {10.1007/978-3-540-71209-1\_28},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BryantKOSSB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RozanovS08,
author = {Mirron Rozanov and
Ofer Strichman},
editor = {Sava Krstic and
Albert Oliveras},
title = {Generating Minimum Transitivity Constraints in P-time for Deciding
Equality Logic},
booktitle = {Proceedings of the 5th International Workshop on Satisfiability Modulo
Theories, SMT@CAV 2007, Berlin, Germany, July 1-2, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {198},
number = {2},
pages = {3--17},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.04.077},
doi = {10.1016/J.ENTCS.2008.04.077},
timestamp = {Mon, 13 Feb 2023 09:31:37 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RozanovS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bmc/2006,
editor = {Ofer Strichman and
Armin Biere},
title = {Proceedings of the Fourth International Workshop on Bounded Model
Checking, BMC@FLoC 2006, Seattle, WA, USA, August 15, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {3},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/174/issue/3},
timestamp = {Fri, 27 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bmc/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/RodehS06,
author = {Yoav Rodeh and
Ofer Strichman},
title = {Building small equality graphs for deciding equality logic with uninterpreted
functions},
journal = {Inf. Comput.},
volume = {204},
number = {1},
pages = {26--59},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2005.08.001},
doi = {10.1016/J.IC.2005.08.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/RodehS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GroceCKS06,
author = {Alex Groce and
Sagar Chaki and
Daniel Kroening and
Ofer Strichman},
title = {Error explanation with distance metrics},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {8},
number = {3},
pages = {229--247},
year = {2006},
url = {https://doi.org/10.1007/s10009-005-0202-0},
doi = {10.1007/S10009-005-0202-0},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/GroceCKS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GershmanKS06,
author = {Roman Gershman and
Maya Koifman and
Ofer Strichman},
editor = {Thomas Ball and
Robert B. Jones},
title = {Deriving Small Unsatisfiable Cores with Dominators},
booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4144},
pages = {109--122},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817963\_13},
doi = {10.1007/11817963\_13},
timestamp = {Tue, 09 Jul 2024 07:54:49 +0200},
biburl = {https://dblp.org/rec/conf/cav/GershmanKS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/StrichmanB07,
author = {Ofer Strichman and
Armin Biere},
editor = {Ofer Strichman and
Armin Biere},
title = {Preface},
booktitle = {Proceedings of the Fourth International Workshop on Bounded Model
Checking, BMC@FLoC 2006, Seattle, WA, USA, August 15, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {3},
pages = {1--2},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.12.024},
doi = {10.1016/J.ENTCS.2006.12.024},
timestamp = {Fri, 27 Jan 2023 12:08:58 +0100},
biburl = {https://dblp.org/rec/journals/entcs/StrichmanB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bmc/2005,
editor = {Armin Biere and
Ofer Strichman},
title = {Proceedings of the Third International Workshop on Bounded Model Checking,
BMC@CAV 2005, Edinburgh, UK, July 11, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {1},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/144/issue/1},
timestamp = {Fri, 16 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bmc/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BiereS05,
author = {Armin Biere and
Ofer Strichman},
title = {Introductory paper},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {2},
pages = {87--88},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0186-1},
doi = {10.1007/S10009-004-0186-1},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BiereS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/ClarkeKOS05,
author = {Edmund M. Clarke and
Daniel Kroening and
Jo{\"{e}}l Ouaknine and
Ofer Strichman},
title = {Computational challenges in bounded model checking},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {2},
pages = {174--183},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0182-5},
doi = {10.1007/S10009-004-0182-5},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/ClarkeKOS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GuptaS05,
author = {Anubhav Gupta and
Ofer Strichman},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {Abstraction Refinement for Bounded Model Checking},
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 = {112--124},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_11},
doi = {10.1007/11513988\_11},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/GuptaS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/MeirS05,
author = {Orly Meir and
Ofer Strichman},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {Yet Another Decision Procedure for Equality Logic},
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 = {307--320},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_32},
doi = {10.1007/11513988\_32},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/MeirS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/GershmanS05,
author = {Roman Gershman and
Ofer Strichman},
editor = {Shmuel Ur and
Eyal Bin and
Yaron Wolfsthal},
title = {HaifaSat: {A} New Robust {SAT} Solver},
booktitle = {Hardware and Software Verification and Testing, First International
Haifa Verification Conference, Haifa, Israel, November 13-16, 2005,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3875},
pages = {76--89},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11678779\_6},
doi = {10.1007/11678779\_6},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/GershmanS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GrumbergLST05,
author = {Orna Grumberg and
Flavio Lerda and
Ofer Strichman and
Michael Theobald},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {Proof-guided underapproximation-widening for multi-process systems},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {122--131},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040316},
doi = {10.1145/1040305.1040316},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/GrumbergLST05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/GershmanS05,
author = {Roman Gershman and
Ofer Strichman},
editor = {Fahiem Bacchus and
Toby Walsh},
title = {Cost-Effective Hyper-Resolution for Preprocessing {CNF} Formulas},
booktitle = {Theory and Applications of Satisfiability Testing, 8th International
Conference, {SAT} 2005, St. Andrews, UK, June 19-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3569},
pages = {423--429},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11499107\_34},
doi = {10.1007/11499107\_34},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/GershmanS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/StrichmanG05,
author = {Ofer Strichman and
Benny Godlin},
editor = {Bertrand Meyer and
Jim Woodcock},
title = {Regression Verification - {A} Practical Way to Verify Programs},
booktitle = {Verified Software: Theories, Tools, Experiments, First {IFIP} {TC}
2/WG 2.3 Conference, {VSTTE} 2005, Zurich, Switzerland, October 10-13,
2005, Revised Selected Papers and Discussions},
series = {Lecture Notes in Computer Science},
volume = {4171},
pages = {496--501},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-69149-5\_54},
doi = {10.1007/978-3-540-69149-5\_54},
timestamp = {Fri, 17 Feb 2023 09:02:02 +0100},
biburl = {https://dblp.org/rec/conf/vstte/StrichmanG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BiereS06,
author = {Armin Biere and
Ofer Strichman},
editor = {Armin Biere and
Ofer Strichman},
title = {Preface},
booktitle = {Proceedings of the Third International Workshop on Bounded Model Checking,
BMC@CAV 2005, Edinburgh, UK, July 11, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {1},
pages = {1},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.07.015},
doi = {10.1016/J.ENTCS.2005.07.015},
timestamp = {Fri, 16 Dec 2022 10:14:23 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BiereS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PnueliS06,
author = {Amir Pnueli and
Ofer Strichman},
editor = {Alessandro Armando and
Alessandro Cimatti},
title = {Reduced Functional Consistency of Uninterpreted Functions},
booktitle = {Proceedings of the Third Workshop on Pragmatics of Decision Procedures
in Automated Reasoning, PDPAR@CAV 2005, Edinburgh, UK, July 12, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {2},
pages = {53--65},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.006},
doi = {10.1016/J.ENTCS.2005.12.006},
timestamp = {Fri, 16 Dec 2022 10:24:43 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PnueliS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bmc/2004,
editor = {Armin Biere and
Ofer Strichman},
title = {Proceedings of the 2nd International Workshop on Bounded Model Checking,
BMC@CAV 2004, Boston, MA, USA, July 18, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {119},
number = {2},
publisher = {Elsevier},
year = {2005},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/119/issue/2},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bmc/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/Strichman04,
author = {Ofer Strichman},
title = {Accelerating Bounded Model Checking of Safety Properties},
journal = {Formal Methods Syst. Des.},
volume = {24},
number = {1},
pages = {5--24},
year = {2004},
url = {https://doi.org/10.1023/B:FORM.0000004785.67232.f8},
doi = {10.1023/B:FORM.0000004785.67232.F8},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/Strichman04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/ChakiCGOSY04,
author = {Sagar Chaki and
Edmund M. Clarke and
Alex Groce and
Jo{\"{e}}l Ouaknine and
Ofer Strichman and
Karen Yorav},
title = {Efficient Verification of Sequential and Concurrent {C} Programs},
journal = {Formal Methods Syst. Des.},
volume = {25},
number = {2-3},
pages = {129--166},
year = {2004},
url = {https://doi.org/10.1023/B:FORM.0000040026.56959.91},
doi = {10.1023/B:FORM.0000040026.56959.91},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/ChakiCGOSY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/ClarkeGS04,
author = {Edmund M. Clarke and
Anubhav Gupta and
Ofer Strichman},
title = {SAT-based counterexample-guided abstraction refinement},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {23},
number = {7},
pages = {1113--1123},
year = {2004},
url = {https://doi.org/10.1109/TCAD.2004.829807},
doi = {10.1109/TCAD.2004.829807},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcad/ClarkeGS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/TalupurSSP04,
author = {Muralidhar Talupur and
Nishant Sinha and
Ofer Strichman and
Amir Pnueli},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Range Allocation for Separation Logic},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {148--161},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_12},
doi = {10.1007/978-3-540-27813-9\_12},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/TalupurSSP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KroeningOSS04,
author = {Daniel Kroening and
Jo{\"{e}}l Ouaknine and
Sanjit A. Seshia and
Ofer Strichman},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Abstraction-Based Satisfiability Solving of Presburger Arithmetic},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {308--320},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_24},
doi = {10.1007/978-3-540-27813-9\_24},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KroeningOSS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ChakiGS04,
author = {Sagar Chaki and
Alex Groce and
Ofer Strichman},
editor = {Richard N. Taylor and
Matthew B. Dwyer},
title = {Explaining abstract counterexamples},
booktitle = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
October 31 - November 6, 2004},
pages = {73--82},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1029894.1029908},
doi = {10.1145/1029894.1029908},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ChakiGS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/ClarkeKOS04,
author = {Edmund M. Clarke and
Daniel Kroening and
Jo{\"{e}}l Ouaknine and
Ofer Strichman},
editor = {Bernhard Steffen and
Giorgio Levi},
title = {Completeness and Complexity of Bounded Model Checking},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 5th International
Conference, {VMCAI} 2004, Venice, Italy, January 11-13, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2937},
pages = {85--96},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24622-0\_9},
doi = {10.1007/978-3-540-24622-0\_9},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/ClarkeKOS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BiereS05,
author = {Armin Biere and
Ofer Strichman},
editor = {Armin Biere and
Ofer Strichman},
title = {Preface},
booktitle = {Proceedings of the 2nd International Workshop on Bounded Model Checking,
BMC@CAV 2004, Boston, MA, USA, July 18, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {119},
number = {2},
pages = {1},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.12.020},
doi = {10.1016/J.ENTCS.2004.12.020},
timestamp = {Tue, 13 Dec 2022 11:43:14 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BiereS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0402002,
author = {Ofer Strichman},
title = {Deciding Disjunctive Linear Arithmetic with {SAT}},
journal = {CoRR},
volume = {cs.LO/0402002},
year = {2004},
url = {http://arxiv.org/abs/cs/0402002},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0402002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ac/BiereCCSZ03,
author = {Armin Biere and
Alessandro Cimatti and
Edmund M. Clarke and
Ofer Strichman and
Yunshan Zhu},
title = {Bounded model checking},
journal = {Adv. Comput.},
volume = {58},
pages = {117--148},
year = {2003},
url = {https://doi.org/10.1016/S0065-2458(03)58003-2},
doi = {10.1016/S0065-2458(03)58003-2},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ac/BiereCCSZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/PnueliRSS03,
author = {Amir Pnueli and
Yoav Rodeh and
Ofer Strichman and
Michael Siegel},
title = {Erratum ("The small model property: how small can it be?"
Volume 178, Number 1 [2002], pages 279-293)},
journal = {Inf. Comput.},
volume = {184},
number = {1},
pages = {227},
year = {2003},
url = {https://doi.org/10.1016/S0890-5401(03)00117-2},
doi = {10.1016/S0890-5401(03)00117-2},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/PnueliRSS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/ChakiCGS03,
author = {Sagar Chaki and
Edmund M. Clarke and
Alex Groce and
Ofer Strichman},
editor = {Daniel Geist and
Enrico Tronci},
title = {Predicate Abstraction with Minimum Predicates},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {19--34},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_5},
doi = {10.1007/978-3-540-39724-3\_5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/ChakiCGS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/KroeningS03,
author = {Daniel Kroening and
Ofer Strichman},
editor = {Lenore D. Zuck and
Paul C. Attie and
Agostino Cortesi and
Supratik Mukhopadhyay},
title = {Efficient Computation of Recurrence Diameters},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 4th International
Conference, {VMCAI} 2003, New York, NY, USA, January 9-11, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2575},
pages = {298--309},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36384-X\_24},
doi = {10.1007/3-540-36384-X\_24},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/KroeningS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/StrichmanB03,
author = {Ofer Strichman and
Armin Biere},
editor = {Ofer Strichman and
Armin Biere},
title = {Preface},
booktitle = {First International Workshop on Bounded Model Checking, BMC@CAV 2003,
Boulder, Colorado, USA, July 13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {4},
pages = {541--542},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)82541-1},
doi = {10.1016/S1571-0661(05)82541-1},
timestamp = {Tue, 13 Dec 2022 11:40:46 +0100},
biburl = {https://dblp.org/rec/journals/entcs/StrichmanB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bmc/2003,
editor = {Ofer Strichman and
Armin Biere},
title = {First International Workshop on Bounded Model Checking, BMC@CAV 2003,
Boulder, Colorado, USA, July 13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {4},
publisher = {Elsevier},
year = {2003},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/89/issue/4},
timestamp = {Tue, 13 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bmc/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/PnueliRSS02,
author = {Amir Pnueli and
Yoav Rodeh and
Ofer Strichman and
Michael Siegel},
title = {The Small Model Property: How Small Can It Be?},
journal = {Inf. Comput.},
volume = {178},
number = {1},
pages = {279--293},
year = {2002},
url = {https://doi.org/10.1006/inco.2002.3175},
doi = {10.1006/INCO.2002.3175},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/PnueliRSS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/StrichmanSB02,
author = {Ofer Strichman and
Sanjit A. Seshia and
Randal E. Bryant},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Deciding Separation Formulas with {SAT}},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {209--222},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_16},
doi = {10.1007/3-540-45657-0\_16},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/StrichmanSB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ClarkeGKS02,
author = {Edmund M. Clarke and
Anubhav Gupta and
James H. Kukula and
Ofer Strichman},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {{SAT} Based Abstraction-Refinement Using {ILP} and Machine Learning
Techniques},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {265--279},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_20},
doi = {10.1007/3-540-45657-0\_20},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/ClarkeGKS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Strichman02,
author = {Ofer Strichman},
editor = {Mark D. Aagaard and
John W. O'Leary},
title = {On Solving Presburger and Linear Arithmetic with {SAT}},
booktitle = {Formal Methods in Computer-Aided Design, 4th International Conference,
{FMCAD} 2002, Portland, OR, USA, November 6-8, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2517},
pages = {160--170},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36126-X\_10},
doi = {10.1007/3-540-36126-X\_10},
timestamp = {Fri, 10 Jan 2020 14:50:18 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/Strichman02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/interfaces/ShtrichmanBP01,
author = {Ofer Shtrichman and
Rami Ben{-}Haim and
Moshe Asher Pollatschek},
title = {Using Simulation to Increase Efficiency in an Army Recruitment Office},
journal = {Interfaces},
volume = {31},
number = {4},
pages = {61--70},
year = {2001},
url = {https://doi.org/10.1287/inte.31.4.61.9665},
doi = {10.1287/INTE.31.4.61.9665},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/interfaces/ShtrichmanBP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/RodehS01,
author = {Yoav Rodeh and
Ofer Strichman},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Finite Instantiations in Equivalence Logic with Uninterpreted Functions},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {144--154},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_13},
doi = {10.1007/3-540-44585-4\_13},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/RodehS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Shtrichman01,
author = {Ofer Strichman},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Pruning Techniques for the SAT-Based Bounded Model Checking Problem},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {58--70},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_4},
doi = {10.1007/3-540-44798-9\_4},
timestamp = {Sun, 02 Jun 2019 21:23:48 +0200},
biburl = {https://dblp.org/rec/conf/charme/Shtrichman01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/PnueliRS01,
author = {Amir Pnueli and
Yoav Rodeh and
Ofer Strichman},
editor = {Ramesh Hariharan and
Madhavan Mukund and
V. Vinay},
title = {Range Allocation for Equivalence Logic},
booktitle = {{FST} {TCS} 2001: Foundations of Software Technology and Theoretical
Computer Science, 21st Conference, Bangalore, India, December 13-15,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2245},
pages = {317--333},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45294-X\_27},
doi = {10.1007/3-540-45294-X\_27},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/PnueliRS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Shtrichman00,
author = {Ofer Strichman},
editor = {E. Allen Emerson and
A. Prasad Sistla},
title = {Tuning {SAT} Checkers for Bounded Model Checking},
booktitle = {Computer Aided Verification, 12th International Conference, {CAV}
2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1855},
pages = {480--494},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722167\_36},
doi = {10.1007/10722167\_36},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/Shtrichman00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/PnueliSS99,
author = {Amir Pnueli and
Ofer Strichman and
Michael Siegel},
editor = {Ernst{-}R{\"{u}}diger Olderog and
Bernhard Steffen},
title = {Translation Validation: From {SIGNAL} to {C}},
booktitle = {Correct System Design, Recent Insight and Advances, (to Hans Langmaack
on the occasion of his retirement from his professorship at the University
of Kiel)},
series = {Lecture Notes in Computer Science},
volume = {1710},
pages = {231--255},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48092-7\_11},
doi = {10.1007/3-540-48092-7\_11},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/PnueliSS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PnueliRSS99,
author = {Amir Pnueli and
Yoav Rodeh and
Ofer Strichman and
Michael Siegel},
editor = {Nicolas Halbwachs and
Doron A. Peled},
title = {Deciding Equality Formulas by Small Domains Instantiations},
booktitle = {Computer Aided Verification, 11th International Conference, {CAV}
'99, Trento, Italy, July 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1633},
pages = {455--469},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48683-6\_39},
doi = {10.1007/3-540-48683-6\_39},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/PnueliRSS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/PnueliSS98,
author = {Amir Pnueli and
Ofer Strichman and
Michael Siegel},
title = {The Code Validation Tool {CVT:} Automatic Verification of a Compilation
Process},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {2},
number = {2},
pages = {192--201},
year = {1998},
url = {https://doi.org/10.1007/s100090050027},
doi = {10.1007/S100090050027},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/PnueliSS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/PnueliSS98,
author = {Amir Pnueli and
Ofer Strichman and
Michael Siegel},
editor = {Dieter Hutter and
Werner Stephan and
Paolo Traverso and
Markus Ullmann},
title = {Translation Validation: From {DC+} to C*},
booktitle = {Applied Formal Methods - FM-Trends 98, International Workshop on Current
Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1641},
pages = {137--150},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-48257-1\_8},
doi = {10.1007/3-540-48257-1\_8},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/PnueliSS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/PnueliSS98,
author = {Amir Pnueli and
Ofer Strichman and
Michael Siegel},
editor = {Kim Guldstrand Larsen and
Sven Skyum and
Glynn Winskel},
title = {Translation Validation for Synchronous Languages},
booktitle = {Automata, Languages and Programming, 25th International Colloquium,
ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1443},
pages = {235--246},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055057},
doi = {10.1007/BFB0055057},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/PnueliSS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-08-22 20:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
