No photo of Eran Yahav

View Scopus Profile

Eran Yahav

Prof.

 https://orcid.org/0000-0003-4305-6314
    Calculated based on number of publications stored in Pure and citations from Scopus
    1996 …2023

    Research activity per year

    Filter
    Chapter

    Search results

    • 2016

      Analysis and synthesis with "big code"

      Yahav, E., 19 Apr 2016, Dependable Software Systems Engineering. Vol. 45. p. 244-282 39 p.

      Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    • 2013

      Alias analysis for object-oriented programs

      Sridharan, M., Chandra, S., Dolby, J., Fink, S. J. & Yahav, E., 2013, Aliasing in Object-Oriented Programming: Types, Analysis, and Verification. p. 196-232 37 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7850).

      Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

      83 Scopus citations

    • Interprocedural shape analysis for effectively cutpoint-free programs

      Kreiker, J., Reps, T., Rinetzky, N., Sagiv, M., Wilhelm, R. & Yahav, E., 2013, Programming Logics: Essays in Memory of Harald Ganzinger. Voronkov, A. & Weidenbach, C. (eds.). p. 414-445 32 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7797 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

      5 Scopus citations
    • 2011

      Static specification mining using automata-based abstractions

      Yahav, E., Shoham, S., Fink, S. & Pistoia, M., 1 Jan 2011, Mining Software Specifications: Methodologies and Applications. p. 159-199 41 p.

      Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    • The SAFE Experience

      Yahav, E. & Fink, S., 2011, Engineering of Software: The Continuing Contributions of Leon J. Osterweil. Tarr, P. L. & Wolf, A. L. (eds.). Berlin, Heidelberg, p. 17-33 17 p.

      Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    • 2003

      Establishing local temporal heap safety properties with applications to compile-time memory management

      Shaham, R., Yahav, E., Kolodner, E. K. & Sagiv, M., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Cousot, R. (ed.). p. 483-503 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2694).

      Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

      30 Scopus citations

    • Typestate verification: Abstraction techniques and complexity results

      Field, J., Goyal, D., Ramalingam, G. & Yahav, E., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Cousot, R. (ed.). p. 439-462 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2694).

      Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

      Open Access
      21 Scopus citations

    • Verifying temporal heap properties specified via evolution logic

      Yahav, E., Reps, T., Sagiv, M. & Wilhelm, R., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Degano, P. (ed.). p. 204-222 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2618).

      Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

      Open Access
      36 Scopus citations