The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alex Groce: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Girish Bhat, Rance Cleaveland, Alex Groce
    Efficient Model Checking Via Büchi Tableau Automata. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:38-52 [Conf]
  2. Alex Groce, Daniel Kroening, Flavio Lerda
    Understanding Counterexamples with explain. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:453-456 [Conf]
  3. Alex Groce, Doron Peled, Mihalis Yannakakis
    AMC: An Adaptive Model Checker. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:521-525 [Conf]
  4. Sagar Chaki, Edmund M. Clarke, Alex Groce, Ofer Strichman
    Predicate Abstraction with Minimum Predicates. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:19-34 [Conf]
  5. Daniel Kroening, Alex Groce, Edmund M. Clarke
    Counterexample Guided Abstraction Refinement Via Program Execution. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2004, pp:224-238 [Conf]
  6. Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith
    Modular Verification of Software Components in C. [Citation Graph (0, 0)][DBLP]
    ICSE, 2003, pp:385-395 [Conf]
  7. Alex Groce, Gerard J. Holzmann, Rajeev Joshi
    Randomized Differential Testing as a Prelude to Formal Verification. [Citation Graph (0, 0)][DBLP]
    ICSE, 2007, pp:621-631 [Conf]
  8. Alex Groce, Willem Visser
    Model checking Java programs using structural heuristics. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2002, pp:12-21 [Conf]
  9. Sagar Chaki, Alex Groce, Ofer Strichman
    Explaining abstract counterexamples. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2004, pp:73-82 [Conf]
  10. Alex Groce, Willem Visser
    Heuristic Model Checking for Java Programs. [Citation Graph (0, 0)][DBLP]
    SPIN, 2002, pp:242-245 [Conf]
  11. Alex Groce, Willem Visser
    What Went Wrong: Explaining Counterexamples. [Citation Graph (0, 0)][DBLP]
    SPIN, 2003, pp:121-135 [Conf]
  12. Alex Groce
    Error Explanation with Distance Metrics. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:108-122 [Conf]
  13. Alex Groce, Rajeev Joshi
    Exploiting Traces in Program Analysis. [Citation Graph (0, 0)][DBLP]
    TACAS, 2006, pp:379-393 [Conf]
  14. Alex Groce, Doron Peled, Mihalis Yannakakis
    Adaptive Model Checking. [Citation Graph (0, 0)][DBLP]
    TACAS, 2002, pp:357-370 [Conf]
  15. Alex Groce, Daniel Kroening
    Making the Most of BMC Counterexamples. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:119, n:2, pp:67-81 [Journal]
  16. Edjard Mota, Edmund M. Clarke, Alex Groce, Waleska Oliveira, Marcia Falcão, Jorge Kanda
    VeriAgent: an Approach to Integrating UML and Formal Verification Tools. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:111-129 [Journal]
  17. Sagar Chaki, Edmund M. Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav
    Efficient Verification of Sequential and Concurrent C Programs. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2004, v:25, n:2-3, pp:129-166 [Journal]
  18. Alex Groce, Doron Peled, Mihalis Yannakakis
    Adaptive Model Checking. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2006, v:14, n:5, pp:729-744 [Journal]
  19. Alex Groce, Willem Visser
    Heuristics for model checking Java programs. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:6, n:4, pp:260-276 [Journal]
  20. Alex Groce, Sagar Chaki, Daniel Kroening, Ofer Strichman
    Error explanation with distance metrics. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:3, pp:229-247 [Journal]
  21. Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith
    Modular Verification of Software Components in C. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2004, v:30, n:6, pp:388-402 [Journal]

  22. From scripts to specifications: the evolution of a flight software testing effort. [Citation Graph (, )][DBLP]


  23. Random testing and model checking: building a common framework for nondeterministic exploration. [Citation Graph (, )][DBLP]


  24. Random Test Run Length and Effectiveness. [Citation Graph (, )][DBLP]


  25. Verifying C++ with STL containers via predicate abstraction. [Citation Graph (, )][DBLP]


  26. Swarm Verification. [Citation Graph (, )][DBLP]


  27. Tackling Large Verification Problems with the Swarm Tool. [Citation Graph (, )][DBLP]


  28. New Challenges in Model Checking. [Citation Graph (, )][DBLP]


  29. Extending Model Checking with Dynamic Analysis. [Citation Graph (, )][DBLP]


  30. Automated Testing of Planning Models. [Citation Graph (, )][DBLP]


  31. Rule Systems for Runtime Verification: A Short Tutorial. [Citation Graph (, )][DBLP]


  32. Model driven code checking. [Citation Graph (, )][DBLP]


  33. An Entry Point for Formal Methods: Specification and Analysis of Event Logs [Citation Graph (, )][DBLP]


Search in 0.013secs, Finished in 0.015secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002