The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Arie Gurfinkel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Marsha Chechik, Arie Gurfinkel
    TLQSolver: A Temporal Logic Query Checker. [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:210-214 [Conf]
  2. Marsha Chechik, Arie Gurfinkel, Benet Devereux
    chi-Chek: A Multi-valued Model-Checker. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:505-509 [Conf]
  3. Arie Gurfinkel, Ou Wei, Marsha Chechik
    Yasm: A Software Model-Checker for Verification and Refutation. [Citation Graph (0, 0)][DBLP]
    CAV, 2006, pp:170-174 [Conf]
  4. Arie Gurfinkel, Marsha Chechik
    How Thorough Is Thorough Enough? [Citation Graph (0, 0)][DBLP]
    CHARME, 2005, pp:65-80 [Conf]
  5. Ou Wei, Arie Gurfinkel, Marsha Chechik
    Identification and Counter Abstraction for Full Virtual Symmetry. [Citation Graph (0, 0)][DBLP]
    CHARME, 2005, pp:285-300 [Conf]
  6. Arie Gurfinkel, Marsha Chechik
    Multi-Valued Model Checking via Classical Model Checking. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2003, pp:263-277 [Conf]
  7. Marsha Chechik, Arie Gurfinkel
    A Framework for Counterexample Generation and Exploration. [Citation Graph (0, 0)][DBLP]
    FASE, 2005, pp:220-236 [Conf]
  8. Arie Gurfinkel, Marsha Chechik
    Generating Counterexamples for Multi-valued Model-Checking. [Citation Graph (0, 0)][DBLP]
    FME, 2003, pp:503-521 [Conf]
  9. Arie Gurfinkel, Marsha Chechik
    Extending Extended Vacuity. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2004, pp:306-321 [Conf]
  10. Steve M. Easterbrook, Marsha Chechik, Benet Devereux, Arie Gurfinkel, Albert Y. C. Lai, Victor Petrovykh, Anya Tafliovich, Christopher Thompson-Walsh
    \chiChek: A Model Checker for Multi-Valued Reasoning. [Citation Graph (0, 0)][DBLP]
    ICSE, 2003, pp:804-805 [Conf]
  11. Shiva Nejati, Arie Gurfinkel, Marsha Chechik
    Stuttering Abstraction for Model Checkin. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:311-320 [Conf]
  12. Arie Gurfinkel, Benet Devereux, Marsha Chechik
    Model exploration with temporal logic query checking. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2002, pp:139-148 [Conf]
  13. Marsha Chechik, Benet Devereux, Arie Gurfinkel
    Model-Checking Infinite State-Space Systems with Fine-Grained Abstractions Using SPIN. [Citation Graph (0, 0)][DBLP]
    SPIN, 2001, pp:16-36 [Conf]
  14. Arie Gurfinkel, Marsha Chechik
    Proof-Like Counter-Examples. [Citation Graph (0, 0)][DBLP]
    TACAS, 2003, pp:160-175 [Conf]
  15. Arie Gurfinkel, Marsha Chechik
    How Vacuous Is Vacuous? [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:451-466 [Conf]
  16. Arie Gurfinkel, Marsha Chechik
    Why Waste a Perfectly Good Abstraction?. [Citation Graph (0, 0)][DBLP]
    TACAS, 2006, pp:212-226 [Conf]
  17. Arie Gurfinkel, Ou Wei, Marsha Chechik
    Systematic Construction of Abstractions for Model-Checking. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:381-397 [Conf]
  18. Marsha Chechik, Arie Gurfinkel, Benet Devereux, Albert Y. C. Lai, Steve M. Easterbrook
    Data structures for symbolic multi-valued model-checking. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2006, v:29, n:3, pp:295-344 [Journal]
  19. Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Arie Gurfinkel
    Multi-valued symbolic model-checking. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2003, v:12, n:4, pp:371-408 [Journal]
  20. Arie Gurfinkel, Marsha Chechik, Benet Devereux
    Temporal Logic Query Checking: A Tool for Model Exploration. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2003, v:29, n:10, pp:898-914 [Journal]
  21. Marsha Chechik, Mihaela Gheorghiu, Arie Gurfinkel
    Finding Environment Guarantees. [Citation Graph (0, 0)][DBLP]
    FASE, 2007, pp:352-367 [Conf]
  22. Mihaela Gheorghiu, Arie Gurfinkel, Marsha Chechik
    Finding State Solutions to Temporal Logic Queries. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:273-292 [Conf]

  23. Model Checking Recursive Programs with Exact Predicate Abstraction. [Citation Graph (, )][DBLP]


  24. Abstract Analysis of Symbolic Executions. [Citation Graph (, )][DBLP]


  25. Beyond Vacuity: Towards the Strongest Passing Formula. [Citation Graph (, )][DBLP]


  26. Algorithmic Analysis of Piecewise FIFO Systems. [Citation Graph (, )][DBLP]


  27. Decision diagrams for linear arithmetic. [Citation Graph (, )][DBLP]


  28. Combining Predicate and Numeric Abstraction for Software Model Checking. [Citation Graph (, )][DBLP]


  29. Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC. [Citation Graph (, )][DBLP]


  30. Verification of Parameterized Systems with Combinations of Abstract Domains. [Citation Graph (, )][DBLP]


  31. PtYasm: Software Model Checking with Proof Templates. [Citation Graph (, )][DBLP]


  32. Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates. [Citation Graph (, )][DBLP]


  33. Boxes: A Symbolic Abstract Domain of Boxes. [Citation Graph (, )][DBLP]


  34. Mixed Transition Systems Revisited. [Citation Graph (, )][DBLP]


  35. Model-Checking Software Using Precise Abstractions. [Citation Graph (, )][DBLP]


  36. Robust Vacuity for Branching Temporal Logic [Citation Graph (, )][DBLP]


Search in 0.037secs, Finished in 0.039secs
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