BibTeX records: Ittai Balaban

download as .bib file

@article{DBLP:journals/jcss/BalabanPSZ12,
  author       = {Ittai Balaban and
                  Amir Pnueli and
                  Yaniv Sa'ar and
                  Lenore D. Zuck},
  title        = {Verification of multi-linked heaps},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {78},
  number       = {3},
  pages        = {853--876},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.jcss.2011.08.003},
  doi          = {10.1016/J.JCSS.2011.08.003},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/BalabanPSZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/TipFKEBS11,
  author       = {Frank Tip and
                  Robert M. Fuhrer and
                  Adam Kiezun and
                  Michael D. Ernst and
                  Ittai Balaban and
                  Bjorn De Sutter},
  title        = {Refactoring using type constraints},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {33},
  number       = {3},
  pages        = {9:1--9:47},
  year         = {2011},
  url          = {https://doi.org/10.1145/1961204.1961205},
  doi          = {10.1145/1961204.1961205},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/TipFKEBS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/BalabanPZ10,
  author       = {Ittai Balaban and
                  Amir Pnueli and
                  Lenore D. Zuck},
  editor       = {Dennis Dams and
                  Ulrich Hannemann and
                  Martin Steffen},
  title        = {Proving the Refuted: Symbolic Model Checkers as Proof Generators},
  booktitle    = {Concurrency, Compositionality, and Correctness, Essays in Honor of
                  Willem-Paul de Roever},
  series       = {Lecture Notes in Computer Science},
  volume       = {5930},
  pages        = {221--236},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11512-7\_14},
  doi          = {10.1007/978-3-642-11512-7\_14},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/BalabanPZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/us/Balaban07,
  author       = {Ittai Balaban},
  title        = {Shape Analysis by Abstraction, Augmentation, and Transformation},
  school       = {New York University, {USA}},
  year         = {2007},
  url          = {https://cs.nyu.edu/media/publications/balaban\_ittai.pdf},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/us/Balaban07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijfcs/BalabanPZ07,
  author       = {Ittai Balaban and
                  Amir Pnueli and
                  Lenore D. Zuck},
  title        = {Modular Ranking Abstraction},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {18},
  number       = {1},
  pages        = {5--44},
  year         = {2007},
  url          = {https://doi.org/10.1142/S0129054107004553},
  doi          = {10.1142/S0129054107004553},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/BalabanPZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/BalabanPZ07,
  author       = {Ittai Balaban and
                  Amir Pnueli and
                  Lenore D. Zuck},
  editor       = {Byron Cook and
                  Andreas Podelski},
  title        = {Shape Analysis of Single-Parent Heaps},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 8th International
                  Conference, {VMCAI} 2007, Nice, France, January 14-16, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4349},
  pages        = {91--105},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-69738-1\_7},
  doi          = {10.1007/978-3-540-69738-1\_7},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/BalabanPZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/BalabanPZ06,
  author       = {Ittai Balaban and
                  Amir Pnueli and
                  Lenore D. Zuck},
  editor       = {Michele Bugliesi and
                  Bart Preneel and
                  Vladimiro Sassone and
                  Ingo Wegener},
  title        = {Invisible Safety of Distributed Protocols},
  booktitle    = {Automata, Languages and Programming, 33rd International Colloquium,
                  {ICALP} 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {4052},
  pages        = {528--539},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11787006\_45},
  doi          = {10.1007/11787006\_45},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/BalabanPZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/BalabanCP06,
  author       = {Ittai Balaban and
                  Ariel Cohen and
                  Amir Pnueli},
  editor       = {E. Allen Emerson and
                  Kedar S. Namjoshi},
  title        = {Ranking Abstraction of Recursive Programs},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 7th International
                  Conference, {VMCAI} 2006, Charleston, SC, USA, January 8-10, 2006,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3855},
  pages        = {267--281},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11609773\_18},
  doi          = {10.1007/11609773\_18},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/BalabanCP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BalabanFPZ05,
  author       = {Ittai Balaban and
                  Yi Fang and
                  Amir Pnueli and
                  Lenore D. Zuck},
  editor       = {Kousha Etessami and
                  Sriram K. Rajamani},
  title        = {{IIV:} An Invisible Invariant Verifier},
  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        = {408--412},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11513988\_39},
  doi          = {10.1007/11513988\_39},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BalabanFPZ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/BalabanPZ05,
  author       = {Ittai Balaban and
                  Amir Pnueli and
                  Lenore D. Zuck},
  editor       = {Farn Wang},
  title        = {Ranking Abstraction as Companion to Predicate Abstraction},
  booktitle    = {Formal Techniques for Networked and Distributed Systems - {FORTE}
                  2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan,
                  October 2-5, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3731},
  pages        = {1--12},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562436\_1},
  doi          = {10.1007/11562436\_1},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/BalabanPZ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/oopsla/BalabanTF05,
  author       = {Ittai Balaban and
                  Frank Tip and
                  Robert M. Fuhrer},
  editor       = {Ralph E. Johnson and
                  Richard P. Gabriel},
  title        = {Refactoring support for class library migration},
  booktitle    = {Proceedings of the 20th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
                  Programming, Systems, Languages, and Applications, {OOPSLA} 2005,
                  October 16-20, 2005, San Diego, CA, {USA}},
  pages        = {265--279},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1094811.1094832},
  doi          = {10.1145/1094811.1094832},
  timestamp    = {Fri, 25 Jun 2021 14:48:54 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/BalabanTF05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/BalabanPZ05,
  author       = {Ittai Balaban and
                  Amir Pnueli and
                  Lenore D. Zuck},
  editor       = {Radhia Cousot},
  title        = {Shape Analysis by Predicate Abstraction},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 6th International
                  Conference, {VMCAI} 2005, Paris, France, January 17-19, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3385},
  pages        = {164--180},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-30579-8\_12},
  doi          = {10.1007/978-3-540-30579-8\_12},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/BalabanPZ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

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