No photo of Alex Groce

View Scopus Profile

Alex Groce

Associate Professor

Calculated based on number of publications stored in Pure and citations from Scopus
20012023

Research activity per year

Filter
Chapter

Search results

  • 2004

    Counterexample guided abstraction refinement via program execution

    Kroening, D., Groce, A. & Clarke, E., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Davies, J., Schulte, W. & Barnett, M. (eds.). Springer-Verlag, p. 224-238 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3308).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    43 Scopus citations

  • Error explanation with distance metrics

    Groce, A., 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. 108-122 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 proceeding › Chapter

    Open Access
    73 Scopus citations

  • Understanding counterexamples with explain

    Groce, A., Kroening, D. & Lerda, F., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Alur, R. & Peled, D. A. (eds.). Springer-Verlag, p. 453-456 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3114).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    Open Access
    49 Scopus citations
  • 2003

    Predicate abstraction with minimum predicates

    Chaki, S., Clarke, E., Groce, A. & Strichman, O., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Geist, D. & Tronci, E. (eds.). Springer-Verlag, p. 19-34 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2860).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    34 Scopus citations