|
Search the dblp DataBase
Arie Gurfinkel:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Marsha Chechik, Arie Gurfinkel
TLQSolver: A Temporal Logic Query Checker. [Citation Graph (0, 0)][DBLP] CAV, 2003, pp:210-214 [Conf]
- Marsha Chechik, Arie Gurfinkel, Benet Devereux
chi-Chek: A Multi-valued Model-Checker. [Citation Graph (0, 0)][DBLP] CAV, 2002, pp:505-509 [Conf]
- 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]
- Arie Gurfinkel, Marsha Chechik
How Thorough Is Thorough Enough? [Citation Graph (0, 0)][DBLP] CHARME, 2005, pp:65-80 [Conf]
- 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]
- Arie Gurfinkel, Marsha Chechik
Multi-Valued Model Checking via Classical Model Checking. [Citation Graph (0, 0)][DBLP] CONCUR, 2003, pp:263-277 [Conf]
- Marsha Chechik, Arie Gurfinkel
A Framework for Counterexample Generation and Exploration. [Citation Graph (0, 0)][DBLP] FASE, 2005, pp:220-236 [Conf]
- Arie Gurfinkel, Marsha Chechik
Generating Counterexamples for Multi-valued Model-Checking. [Citation Graph (0, 0)][DBLP] FME, 2003, pp:503-521 [Conf]
- Arie Gurfinkel, Marsha Chechik
Extending Extended Vacuity. [Citation Graph (0, 0)][DBLP] FMCAD, 2004, pp:306-321 [Conf]
- 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]
- Shiva Nejati, Arie Gurfinkel, Marsha Chechik
Stuttering Abstraction for Model Checkin. [Citation Graph (0, 0)][DBLP] SEFM, 2005, pp:311-320 [Conf]
- 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]
- 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]
- Arie Gurfinkel, Marsha Chechik
Proof-Like Counter-Examples. [Citation Graph (0, 0)][DBLP] TACAS, 2003, pp:160-175 [Conf]
- Arie Gurfinkel, Marsha Chechik
How Vacuous Is Vacuous? [Citation Graph (0, 0)][DBLP] TACAS, 2004, pp:451-466 [Conf]
- Arie Gurfinkel, Marsha Chechik
Why Waste a Perfectly Good Abstraction?. [Citation Graph (0, 0)][DBLP] TACAS, 2006, pp:212-226 [Conf]
- Arie Gurfinkel, Ou Wei, Marsha Chechik
Systematic Construction of Abstractions for Model-Checking. [Citation Graph (0, 0)][DBLP] VMCAI, 2006, pp:381-397 [Conf]
- 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]
- 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]
- 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]
- Marsha Chechik, Mihaela Gheorghiu, Arie Gurfinkel
Finding Environment Guarantees. [Citation Graph (0, 0)][DBLP] FASE, 2007, pp:352-367 [Conf]
- Mihaela Gheorghiu, Arie Gurfinkel, Marsha Chechik
Finding State Solutions to Temporal Logic Queries. [Citation Graph (0, 0)][DBLP] IFM, 2007, pp:273-292 [Conf]
Model Checking Recursive Programs with Exact Predicate Abstraction. [Citation Graph (, )][DBLP]
Abstract Analysis of Symbolic Executions. [Citation Graph (, )][DBLP]
Beyond Vacuity: Towards the Strongest Passing Formula. [Citation Graph (, )][DBLP]
Algorithmic Analysis of Piecewise FIFO Systems. [Citation Graph (, )][DBLP]
Decision diagrams for linear arithmetic. [Citation Graph (, )][DBLP]
Combining Predicate and Numeric Abstraction for Software Model Checking. [Citation Graph (, )][DBLP]
Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC. [Citation Graph (, )][DBLP]
Verification of Parameterized Systems with Combinations of Abstract Domains. [Citation Graph (, )][DBLP]
PtYasm: Software Model Checking with Proof Templates. [Citation Graph (, )][DBLP]
Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates. [Citation Graph (, )][DBLP]
Boxes: A Symbolic Abstract Domain of Boxes. [Citation Graph (, )][DBLP]
Mixed Transition Systems Revisited. [Citation Graph (, )][DBLP]
Model-Checking Software Using Precise Abstractions. [Citation Graph (, )][DBLP]
Robust Vacuity for Branching Temporal Logic [Citation Graph (, )][DBLP]
Search in 0.005secs, Finished in 0.282secs
|