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    = {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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics