Anvesh Komuravelli

According to our database, Anvesh Komuravelli authored at least 15 papers between 2008 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2016

SMT-based model checking for recursive programs.

Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki

Formal Methods Syst. Des., 2016

2015

Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays.

Anvesh Komuravelli, Nikolaj S. Bjørner, Arie Gurfinkel, Kenneth L. McMillan

Proceedings of the Formal Methods in Computer-Aided Design, 2015

The SeaHorn Verification Framework.

Arie Gurfinkel, Temesghen Kahsai, Anvesh Komuravelli, Jorge A. Navas

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2013

Automatic Abstraction in SMT-Based Unbounded Software Model Checking.

Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki, Edmund M. Clarke

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Learning Probabilistic Systems from Tree Samples.

Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

Assumption Generation for Asynchronous Systems by Abstraction Refinement.

Qiusong Yang, Edmund M. Clarke, Anvesh Komuravelli, Mingshu Li

Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

Assume-Guarantee Abstraction Refinement for Probabilistic Systems.

Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Backward Reasoning with Formal Properties: A Methodology for Bug Isolation on Simulation Traces.

Anvesh Komuravelli, Srobona Mitra, Ansuman Banerjee, Pallab Dasgupta

Proceedings of the 20th IEEE Asian Test Symposium, 2011

Analog circuit verification by statistical model checking.

Ying-Chih Wang, Anvesh Komuravelli, Paolo Zuliani, Edmund M. Clarke

Proceedings of the 16th Asia South Pacific Design Automation Conference, 2011

2010

A static verification approach for architectural integration of mixed-signal integrated circuits.

Rajdeep Mukhopadhyay, Anvesh Komuravelli, Pallab Dasgupta, Subrat Kumar Panda, Siddhartha Mukhopadhyay

Integr., 2010

Analysis and verification of the HMGB1 signaling pathway.

Haijun Gong, Paolo Zuliani, Anvesh Komuravelli, James R. Faeder, Edmund M. Clarke

BMC Bioinform., 2010

Computational Modeling and Verification of Signaling Pathways in Cancer.

Haijun Gong, Paolo Zuliani, Anvesh Komuravelli, James R. Faeder, Edmund M. Clarke

Proceedings of the Algebraic and Numeric Biology - 4th International Conference, 2010

2009

Connectivity preserving transformations for higher dimensional binary images.

Anvesh Komuravelli, Arnab Sinha, Arijit Bishnu

Discret. Appl. Math., 2009

Exploring Polygonal Environments by Simple Robots with Faulty Combinatorial Vision.

Anvesh Komuravelli, Matús Mihalák

Proceedings of the Stabilization, 2009

2008

Connectivity Preserving Voxel Transformation.

Anvesh Komuravelli, Arnab Sinha, Arijit Bishnu

Proceedings of the Combinatorial Image Analysis, 12th International Workshop, 2008