20032025

Research activity per year

Filter
Chapter

Search results

  • 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. CRC Press, p. 159-199 41 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • 2004

    Monotonic abstraction-refinement for CTL

    Shoham, S. & Grumberg, O., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jensen, K. & Podelski, A. (eds.). Springer Verlag, p. 546-560 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2988).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    68 Scopus citations