Arie Gurfinkel

Identifiers

• name variant Arie Gurfinkel 0.60 · backfill

Papers (10)

1. Interpolating Strong Induction cs.LO · 2019 · author #4
2. Property Directed Self Composition cs.PL · 2019 · author #2
3. Local Reasoning for Parameterized First Order Protocols cs.LO · 2019 · author #2
4. Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts cs.SE · 2017 · author #6
5. Synthesis from Assume-Guarantee Contracts using Skolemized Proofs of Realizability cs.SE · 2016 · author #5
6. Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays cs.LO · 2015 · author #3
7. SMT-based Model Checking for Recursive Programs cs.LO · 2014 · author #2
8. Automatic Abstraction in SMT-Based Unbounded Software Model Checking cs.LO · 2013 · author #2
9. Interpolation Properties and SAT-based Model Checking cs.LO · 2012 · author #1
10. Robust Vacuity for Branching Temporal Logic cs.LO · 2010 · author #1

Mentions

• 1508.01288 #3 · backfill · confidence 0.70 Arie Gurfinkel
• 1405.4028 #2 · backfill · confidence 0.70 Arie Gurfinkel
• 1306.1945 #2 · backfill · confidence 0.70 Arie Gurfinkel
• 1212.4650 #1 · backfill · confidence 0.70 Arie Gurfinkel
• 1002.4616 #1 · backfill · confidence 0.70 Arie Gurfinkel

Frequent Coauthors

• Anvesh Komuravelli 3 shared papers
• Andreas Katis 2 shared papers
• Andrew Gacek 2 shared papers
• Grigory Fedyukovich 2 shared papers
• John Backes 2 shared papers
• Michael W. Whalen 2 shared papers
• Sagar Chaki 2 shared papers
• Yakir Vizel 2 shared papers
• Edmund M. Clarke 1 shared papers
• Hari Govind V K 1 shared papers
• Huajun Guo 1 shared papers
• Kenneth L. McMillan 1 shared papers
• Marsha Chechik 1 shared papers
• Natasha Sharygina 1 shared papers
• Nikolaj Bjorner 1 shared papers
• Richard Trefler 1 shared papers
• Ron Shemer 1 shared papers
• Rylo Ashmore 1 shared papers
• Sharon Shoham 1 shared papers
• Simone Fulvio Rollini 1 shared papers