Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Avner Landver
@inproceedings{DBLP:conf/hldvt/ShuklaHAAFLP06, author = {Sandeep K. Shukla and Alan J. Hu and Jacob Abrahams and Pranav Ashar and Harry Foster and Avner Landver and Carl Pixley}, title = {Panel: Assertion-Based Verification -What's the Big Deal?}, booktitle = {Eleventh Annual {IEEE} International High-Level Design Validation and Test Workshop 2006, Monterey, CA, USA, Nov 9-10, 2006}, pages = {183}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/HLDVT.2006.319989}, doi = {10.1109/HLDVT.2006.319989}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hldvt/ShuklaHAAFLP06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/ArmoniFFGGKLMSTVZ02, author = {Roy Armoni and Limor Fix and Alon Flaisher and Rob Gerth and Boris Ginsburg and Tomer Kanza and Avner Landver and Sela Mador{-}Haim and Eli Singerman and Andreas Tiemeyer and Moshe Y. Vardi and Yael Zbar}, editor = {Joost{-}Pieter Katoen and Perdita Stevens}, title = {The ForSpec Temporal Logic: {A} New Temporal Property-Specification Language}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, {TACAS} 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2280}, pages = {296--211}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-46002-0\_21}, doi = {10.1007/3-540-46002-0\_21}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/ArmoniFFGGKLMSTVZ02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/BeerBL98, author = {Ilan Beer and Shoham Ben{-}David and Avner Landver}, editor = {Alan J. Hu and Moshe Y. Vardi}, title = {On-the-Fly Model Checking of {RCTL} Formulas}, booktitle = {Computer Aided Verification, 10th International Conference, {CAV} '98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1427}, pages = {184--194}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0028744}, doi = {10.1007/BFB0028744}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/BeerBL98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/BeerBEGGHLPRRW97, author = {Ilan Beer and Shoham Ben{-}David and Cindy Eisner and Daniel Geist and Leonid Gluhovsky and Tamir Heyman and Avner Landver and P. Paanah and Yoav Rodeh and G. Ronin and Yaron Wolfsthal}, editor = {Orna Grumberg}, title = {RuleBase: Model Checking at {IBM}}, booktitle = {Computer Aided Verification, 9th International Conference, {CAV} '97, Haifa, Israel, June 22-25, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1254}, pages = {480--483}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-63166-6\_53}, doi = {10.1007/3-540-63166-6\_53}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/BeerBEGGHLPRRW97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/BeerBEL96, author = {Ilan Beer and Shoham Ben{-}David and Cindy Eisner and Avner Landver}, editor = {Thomas Pennino and Ellen J. Yoffa}, title = {RuleBase: An Industry-Oriented Formal Verification Tool}, booktitle = {Proceedings of the 33st Conference on Design Automation, Las Vegas, Nevada, USA, Las Vegas Convention Center, June 3-7, 1996}, pages = {655--660}, publisher = {{ACM} Press}, year = {1996}, url = {https://doi.org/10.1145/240518.240642}, doi = {10.1145/240518.240642}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dac/BeerBEL96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/GeistFLLUW96, author = {Daniel Geist and Monica Farkas and Avner Landver and Yossi Lichtenstein and Shmuel Ur and Yaron Wolfsthal}, editor = {Mandayam K. Srivas and Albert John Camilleri}, title = {Coverage-Directed Test Generation Using Symbolic Techniques}, booktitle = {Formal Methods in Computer-Aided Design, First International Conference, {FMCAD} '96, Palo Alto, California, USA, November 6-8, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1166}, pages = {143--158}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/BFb0031805}, doi = {10.1007/BFB0031805}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/fmcad/GeistFLLUW96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsyml/Landver92, author = {Avner Landver}, title = {Baire Numbers, Uncountable Cohen Sets and Perfect-Set Forcing}, journal = {J. Symb. Log.}, volume = {57}, number = {3}, pages = {1086--1107}, year = {1992}, url = {https://doi.org/10.2307/2275450}, doi = {10.2307/2275450}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsyml/Landver92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsyml/Landver92a, author = {Avner Landver}, title = {Singular sigma-Dense Trees}, journal = {J. Symb. Log.}, volume = {57}, number = {4}, pages = {1403--1416}, year = {1992}, url = {https://doi.org/10.2307/2275373}, doi = {10.2307/2275373}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsyml/Landver92a.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.