Anvesh Komuravelli

Publication Activity (10 Years)

Years Active: 2008-2016
Publications (10 Years): 4

Top Topics

Automated Verification

Recursive Programs

Top Venues

Publications

Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki
SMT-based model checking for recursive programs. Formal Methods Syst. Des. 48 (3) (2016)
Anvesh Komuravelli, Nikolaj Bjørner, Arie Gurfinkel, Kenneth L. McMillan
Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays. CoRR (2015)
Anvesh Komuravelli, Nikolaj Bjørner, Arie Gurfinkel, Kenneth L. McMillan
Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays. FMCAD (2015)
Arie Gurfinkel, Temesghen Kahsai, Anvesh Komuravelli, Jorge A. Navas
The SeaHorn Verification Framework. CAV (1) (2015)
Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki
SMT-based Model Checking for Recursive Programs. CoRR (2014)
Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki
SMT-Based Model Checking for Recursive Programs. CAV (2014)
Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki, Edmund M. Clarke
Automatic Abstraction in SMT-Based Unbounded Software Model Checking. CoRR (2013)
Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki, Edmund M. Clarke
Automatic Abstraction in SMT-Based Unbounded Software Model Checking. CAV (2013)
Qiusong Yang, Edmund M. Clarke, Anvesh Komuravelli, Mingshu Li
Assumption Generation for Asynchronous Systems by Abstraction Refinement. FACS (2012)
Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke
Learning Probabilistic Systems from Tree Samples CoRR (2012)
Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke
Assume-Guarantee Abstraction Refinement for Probabilistic Systems. CAV (2012)
Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke
Learning Probabilistic Systems from Tree Samples. LICS (2012)
Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke
Assume-Guarantee Abstraction Refinement for Probabilistic Systems CoRR (2012)
Anvesh Komuravelli, Srobona Mitra, Ansuman Banerjee, Pallab Dasgupta
Backward Reasoning with Formal Properties: A Methodology for Bug Isolation on Simulation Traces. Asian Test Symposium (2011)
Ying-Chih Wang, Anvesh Komuravelli, Paolo Zuliani, Edmund M. Clarke
Analog circuit verification by statistical model checking. ASP-DAC (2011)
Rajdeep Mukhopadhyay, Anvesh Komuravelli, Pallab Dasgupta, Subrat Kumar Panda, Siddhartha Mukhopadhyay
A static verification approach for architectural integration of mixed-signal integrated circuits. Integr. 43 (1) (2010)
Haijun Gong, Paolo Zuliani, Anvesh Komuravelli, James R. Faeder, Edmund M. Clarke
Analysis and verification of the HMGB1 signaling pathway. BMC Bioinform. 11 (S-7) (2010)
Haijun Gong, Paolo Zuliani, Anvesh Komuravelli, James R. Faeder, Edmund M. Clarke
Computational Modeling and Verification of Signaling Pathways in Cancer. ANB (2010)
Anvesh Komuravelli, Matús Mihalák
Exploring Polygonal Environments by Simple Robots with Faulty Combinatorial Vision. SSS (2009)
Anvesh Komuravelli, Arnab Sinha, Arijit Bishnu
Connectivity preserving transformations for higher dimensional binary images. Discret. Appl. Math. 157 (16) (2009)
Anvesh Komuravelli, Arnab Sinha, Arijit Bishnu
Connectivity Preserving Voxel Transformation. IWCIA (2008)