BibTeX records: Avner Landver

download as .bib file

@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 = {Wed, 16 Oct 2019 14:14:57 +0200},
  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}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics