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
20012024

Research activity per year

Search results

  • 2004

    Heuristics for model checking Java programs

    Groce, A. & Visser, W., 2004, In: International Journal on Software Tools for Technology Transfer. 6, 4, p. 260-276 17 p.

    Research output: Contribution to journal › Article › peer-review

    72 Scopus citations

  • Modular verification of software components in C

    Chaki, S., Clarke, E. M., Groce, A., Jha, S. & Veith, H., Jun 2004, In: IEEE Transactions on Software Engineering. 30, 6, p. 388-402 15 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    182 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

  • VeriAgent: An approach to integrating UML and formal verification tools

    Mota, E., Clarke, E., Groce, A., Oliveira, W., Falcão, M. & Kanda, J., May 17 2004, In: Electronic Notes in Theoretical Computer Science. 95, p. 111-129 19 p.

    Research output: Contribution to journal › Conference article › peer-review

    Open Access
    12 Scopus citations
  • 2003

    Modular verification of software components in C

    Chaki, S., Clarke, E., Groce, A., Jha, S. & Veith, H., 2003, In: Proceedings - International Conference on Software Engineering. p. 385-395 11 p.

    Research output: Contribution to journal › Conference article › peer-review

    Open Access
    193 Scopus citations

  • 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

    33 Scopus citations

  • What went wrong: Explaining counterexamples

    Groce, A. & Visser, W., 2003, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2648, p. 121-135 15 p.

    Research output: Contribution to journal › Article › peer-review

    152 Scopus citations
  • 2002

    Adaptive model checking

    Groce, A., Peled, D. & Yannakakis, M., 2002, Tools and Algorithms for the Construction and Analysis of Systems - 8th Int. Conf., TACAS 2002, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2002, Proc.. Katoen, J.-P. & Stevens, P. (eds.). Springer-Verlag, p. 357-370 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2280 LNCS).

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

    Open Access
    92 Scopus citations

  • AMC: An adaptive model checker

    Groce, A., Peled, D. & Yannakakis, M., 2002, Computer Aided Verification - 14th International Conference, CAV 2002, Proceedings. Brinksma, E. & Larsen, K. G. (eds.). Springer-Verlag, p. 521-525 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2404).

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

    11 Scopus citations

  • Heuristic model checking for java programs

    Groce, A. & Visser, W., 2002, Model Checking Software - 9th International SPIN Workshop, Proceedings. Bosnacki, D. & Leue, S. (eds.). Springer-Verlag, p. 242-245 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2318 LNCS).

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

    20 Scopus citations

  • Model checking Java programs using structural heuristics

    Groce, A. & Visser, W., 2002, Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis. Frankl, P. G. (ed.). Association for Computing Machinery (ACM), p. 12-21 10 p. (Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis).

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

    62 Scopus citations
  • 2001

    Efficient model checking via büchi tableau automata

    Bhat, G. S., Cleaveland, R. & Groce, A., 2001, Computer Aided Verification - 13th International Conference, CAV 2001, Proceedings. Comon, H., Finkel, A. & Berry, G. (eds.). Springer-Verlag, p. 38-52 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2102).

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

    Open Access
    19 Scopus citations