Anvesh Komuravelli

Identifiers

• name variant Anvesh Komuravelli 0.60 · backfill

Papers (5)

1. Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays cs.LO · 2015 · author #1
2. SMT-based Model Checking for Recursive Programs cs.LO · 2014 · author #1
3. Automatic Abstraction in SMT-Based Unbounded Software Model Checking cs.LO · 2013 · author #1
4. Learning Probabilistic Systems from Tree Samples cs.LO · 2012 · author #1
5. Assume-Guarantee Abstraction Refinement for Probabilistic Systems cs.LO · 2012 · author #1

Mentions

• 1508.01288 #1 · backfill · confidence 0.70 Anvesh Komuravelli
• 1405.4028 #1 · backfill · confidence 0.70 Anvesh Komuravelli
• 1306.1945 #1 · backfill · confidence 0.70 Anvesh Komuravelli
• 1207.5091 #1 · backfill · confidence 0.70 Anvesh Komuravelli
• 1207.5086 #1 · backfill · confidence 0.70 Anvesh Komuravelli

Frequent Coauthors

• Arie Gurfinkel 3 shared papers
• Edmund M. Clarke 3 shared papers
• Corina S. Pasareanu 2 shared papers
• Sagar Chaki 2 shared papers
• Kenneth L. McMillan 1 shared papers
• Nikolaj Bjorner 1 shared papers