Sharon Shoham Buchbinder

Professor

20032024

Research activity per year

Filter
Conference contribution

Search results

  • 2007

    Compositional verification and 3-valued abstractions join forces

    Shoham, S. & Grumberg, O., 2007, Static Analysis - 14th International Symposium, SAS 2007, Proceedings. Springer Verlag, p. 69-86 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4634 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    10 Scopus citations
  • Static specification mining using automata-based abstractions

    Shoham, S., Yahav, E., Fink, S. & Pistoia, M., 2007, Proceedings of the 2007 ACM International Symposium on Software Testing and Analysis, ISSTA'07. p. 174-184 11 p. (2007 ACM International Symposium on Software Testing and Analysis, ISSTA'07).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    101 Scopus citations
  • 2006

    3-Valued abstraction: More precision at less cost

    Shoham, S. & Grumberg, O., 2006, Proceedings - 21st Annual IEEE Symposium on Logic in Computer Science, LICS 2006. p. 399-408 10 p. 1691251. (Proceedings - Symposium on Logic in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    19 Scopus citations
  • 2005

    Multi-valued model checking games

    Shoham, S. & Grumberg, O., 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). p. 354-369 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3707 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    17 Scopus citations
  • 2003

    A game-based framework for CTL counterexamples and 3-valued abstraction-refinement

    Shoham, S. & Grumberg, O., 2003, Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings. Hunt, W. A. & Somenzi, F. (eds.). 978-3-540-40524-5: Springer Berlin Heidelberg, Vol. 2725. p. 275-287 13 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    33 Scopus citations