Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Arie Gurfinkel
2010 – today
- 2013
[c47]Aws Albarghouthi, Arie Gurfinkel, Yi Li, Sagar Chaki, Marsha Chechik: UFO: Verification with Interpolants and Abstract Interpretation - (Competition Contribution). TACAS 2013: 637-640- [c46]Sagar Chaki, Arie Gurfinkel, Soonho Kong, Ofer Strichman: Compositional Sequentialization of Periodic Programs. VMCAI 2013: 536-554
- 2012
- [j11]Arie Gurfinkel, Marsha Chechik: Robust Vacuity for Branching Temporal Logic. ACM Trans. Comput. Log. 13(1): 1 (2012)
- [j10]Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, Richard J. Trefler: Reachability Problems in Piecewise FIFO Systems. ACM Trans. Comput. Log. 13(1): 7 (2012)
- [c45]Aws Albarghouthi, Yi Li, Arie Gurfinkel, Marsha Chechik: Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification. CAV 2012: 672-678
- [c44]Wesley Jin, Sagar Chaki, Cory Cohen, Arie Gurfinkel, Jeffrey Havrilla, Charles Hines, Priya Narasimhan: Binary Function Clustering Using Semantic Hashes. ICMLA (1) 2012: 386-391
- [c43]
- [c42]Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik: From Under-Approximations to Over-Approximations and Back. TACAS 2012: 157-172
- [c41]Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik: Whale: An Interpolation-Based Algorithm for Inter-procedural Verification. VMCAI 2012: 39-55
- [c40]Sagar Chaki, Arie Gurfinkel, Ofer Strichman: Regression Verification for Multi-threaded Programs. VMCAI 2012: 119-135
- [i2]Arie Gurfinkel, Simone Fulvio Rollini, Natasha Sharygina: Propositional Interpolation Systems for Model Checking. CoRR abs/1212.4650 (2012)
- 2011
- [j9]Ou Wei, Arie Gurfinkel, Marsha Chechik: On the consistency, expressiveness, and precision of partial modeling formalisms. Inf. Comput. 209(1): 20-47 (2011)
- [j8]Sagar Chaki, Arie Gurfinkel: Automated assume-guarantee reasoning for omega-regular systems and specifications. ISSE 7(2): 131-139 (2011)
- [c39]Sagar Chaki, Arie Gurfinkel, Ofer Strichman: Time-bounded analysis of real-time systems. FMCAD 2011: 72-80
- [c38]Sagar Chaki, Cory Cohen, Arie Gurfinkel: Supervised learning for provenance-similarity of binaries. KDD 2011: 15-23
- [c37]Arie Gurfinkel, Sagar Chaki, Samir Sapra: Efficient Predicate Abstraction of Program Summaries. NASA Formal Methods 2011: 131-145
- [c36]Shoham Ben-David, Marsha Chechik, Arie Gurfinkel, Sebastián Uchitel: CSSL: a logic for specifying conditional scenarios. SIGSOFT FSE 2011: 37-47
- 2010
- [j7]Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel, Marsha Chechik: Exploiting resolution proofs to speed up LTL vacuity detection for BMC. STTT 12(5): 319-335 (2010)
- [j6]Arie Gurfinkel, Sagar Chaki: Combining predicate and numeric abstraction for software model checking. STTT 12(6): 409-427 (2010)
- [c35]Aws Albarghouthi, Arie Gurfinkel, Ou Wei, Marsha Chechik: Abstract Analysis of Symbolic Executions. CAV 2010: 495-510
- [c34]Ipek Ozkaya, J. Andrés Díaz Pace, Arie Gurfinkel, Sagar Chaki: Using Architecturally Significant Requirements for Guiding System Evolution. CSMR 2010: 127-136
- [c33]Hana Chockler, Arie Gurfinkel, Ofer Strichman: Variants of LTL Query Checking. Haifa Verification Conference 2010: 76-92
- [c32]Sagar Chaki, Arie Gurfinkel: Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications. NASA Formal Methods 2010: 57-66
- [c31]
- [i1]Arie Gurfinkel, Marsha Chechik: Robust Vacuity for Branching Temporal Logic. CoRR abs/1002.4616 (2010)
2000 – 2009
- 2009
- [c30]Sagar Chaki, Arie Gurfinkel, Ofer Strichman: Decision diagrams for linear arithmetic. FMCAD 2009: 53-60
- [c29]Naghmeh Ghafari, Arie Gurfinkel, Richard J. Trefler: Verification of Parameterized Systems with Combinations of Abstract Domains. FMOODS/FORTE 2009: 57-72
- [c28]
- 2008
- [c27]Arie Gurfinkel, Ou Wei, Marsha Chechik: Model Checking Recursive Programs with Exact Predicate Abstraction. ATVA 2008: 95-110
- [c26]Hana Chockler, Arie Gurfinkel, Ofer Strichman: Beyond Vacuity: Towards the Strongest Passing Formula. FMCAD 2008: 1-8
- [c25]Arie Gurfinkel, Sagar Chaki: Combining Predicate and Numeric Abstraction for Software Model Checking. FMCAD 2008: 1-9
- [c24]Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie: Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates. ASE 2008: 387-390
- [c23]Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie: PtYasm: Software Model Checking with Proof Templates. ASE 2008: 479-480
- 2007
- [j5]Marsha Chechik, Arie Gurfinkel: A framework for counterexample generation and exploration. STTT 9(5-6): 429-445 (2007)
- [c22]Marsha Chechik, Mihaela Gheorghiu, Arie Gurfinkel: Finding Environment Guarantees. FASE 2007: 352-367
- [c21]Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel, Marsha Chechik: Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC. FMCAD 2007: 3-12
- [c20]Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, Richard J. Trefler: Algorithmic Analysis of Piecewise FIFO Systems. FMCAD 2007: 45-52
- [c19]Mihaela Gheorghiu, Arie Gurfinkel, Marsha Chechik: Finding State Solutions to Temporal Logic Queries. IFM 2007: 273-292
- 2006
- [j4]Marsha Chechik, Arie Gurfinkel, Benet Devereux, Albert Y. C. Lai, Steve M. Easterbrook: Data structures for symbolic multi-valued model-checking. Formal Methods in System Design 29(3): 295-344 (2006)
- [c18]Arie Gurfinkel, Ou Wei, Marsha Chechik: Yasm: A Software Model-Checker for Verification and Refutation. CAV 2006: 170-174
- [c17]
- [c16]Arie Gurfinkel, Ou Wei, Marsha Chechik: Systematic Construction of Abstractions for Model-Checking. VMCAI 2006: 381-397
- 2005
- [j3]Sergey Berezin, Clark Barrett, Igor Shikanian, Marsha Chechik, Arie Gurfinkel, David L. Dill: A Practical Approach to Partial Functions in CVC Lite. Electr. Notes Theor. Comput. Sci. 125(3): 13-23 (2005)
- [c15]
- [c14]Ou Wei, Arie Gurfinkel, Marsha Chechik: Identification and Counter Abstraction for Full Virtual Symmetry. CHARME 2005: 285-300
- [c13]Marsha Chechik, Arie Gurfinkel: A Framework for Counterexample Generation and Exploration. FASE 2005: 220-236
- [c12]Shiva Nejati, Arie Gurfinkel, Marsha Chechik: Stuttering Abstraction for Model Checkin. SEFM 2005: 311-320
- [c11]Marsha Chechik, Arie Gurfinkel: Model-Checking Software Using Precise Abstractions. VSTTE 2005: 347-353
- 2004
- [c10]
- [c9]
- 2003
- [j2]Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Arie Gurfinkel: Multi-valued symbolic model-checking. ACM Trans. Softw. Eng. Methodol. 12(4): 371-408 (2003)
- [j1]Arie Gurfinkel, Marsha Chechik, Benet Devereux: Temporal Logic Query Checking: A Tool for Model Exploration. IEEE Trans. Software Eng. 29(10): 898-914 (2003)
- [c8]
- [c7]Arie Gurfinkel, Marsha Chechik: Multi-Valued Model Checking via Classical Model Checking. CONCUR 2003: 263-277
- [c6]Arie Gurfinkel, Marsha Chechik: Generating Counterexamples for Multi-valued Model-Checking. FME 2003: 503-521
- [c5]Steve M. Easterbrook, Marsha Chechik, Benet Devereux, Arie Gurfinkel, Albert Y. C. Lai, Victor Petrovykh, Anya Tafliovich, Christopher D. Thompson-Walsh: \chiChek: A Model Checker for Multi-Valued Reasoning. ICSE 2003: 804-805
- [c4]
- 2002
- [c3]Marsha Chechik, Arie Gurfinkel, Benet Devereux: chi-Chek: A Multi-valued Model-Checker. CAV 2002: 505-509
- [c2]Arie Gurfinkel, Benet Devereux, Marsha Chechik: Model exploration with temporal logic query checking. SIGSOFT FSE 2002: 139-148
- 2001
- [c1]Marsha Chechik, Benet Devereux, Arie Gurfinkel: Model-Checking Infinite State-Space Systems with Fine-Grained Abstractions Using SPIN. SPIN 2001: 16-36
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-11 21:50 CEST by the dblp team