Connectivity Preserving Voxel Transformation. - Anvesh Komuravelli; Arnab Sinha; Arijit Bishnu (IWCIA, 2008)

Exploring Polygonal Environments by Simple Robots with Faulty Combinatorial Vision. - Anvesh Komuravelli; Matús Mihalák (SSS, 2009)

Connectivity preserving transformations for higher dimensional binary images. - Anvesh Komuravelli; Arnab Sinha; Arijit Bishnu (Discret. Appl. Math., 2009)

Computational Modeling and Verification of Signaling Pathways in Cancer. - Haijun Gong; Paolo Zuliani; Anvesh Komuravelli; James R. Faeder; Edmund M. Clarke (ANB, 2010)

Analysis and verification of the HMGB1 signaling pathway. - Haijun Gong; Paolo Zuliani; Anvesh Komuravelli; James R. Faeder; Edmund M. Clarke (BMC Bioinform., 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)

Analog circuit verification by statistical model checking. - Ying-Chih Wang; Anvesh Komuravelli; Paolo Zuliani; Edmund M. Clarke (ASP-DAC, 2011)

Backward Reasoning with Formal Properties: A Methodology for Bug Isolation on Simulation Traces. - Anvesh Komuravelli; Srobona Mitra; Ansuman Banerjee; Pallab Dasgupta (Asian Test Symposium, 2011)

Assume-Guarantee Abstraction Refinement for Probabilistic Systems. - Anvesh Komuravelli; Corina S. Pasareanu; Edmund M. Clarke (CAV, 2012)

Assumption Generation for Asynchronous Systems by Abstraction Refinement. - Qiusong Yang; Edmund M. Clarke; Anvesh Komuravelli; Mingshu Li 001 (FACS, 2012)

Learning Probabilistic Systems from Tree Samples. - Anvesh Komuravelli; Corina S. Pasareanu; Edmund M. Clarke (LICS, 2012)

Automatic Abstraction in SMT-Based Unbounded Software Model Checking. - Anvesh Komuravelli; Arie Gurfinkel; Sagar Chaki; Edmund M. Clarke (CAV, 2013)

The SeaHorn Verification Framework. - Arie Gurfinkel; Temesghen Kahsai; Anvesh Komuravelli; Jorge A. Navas (CAV (1), 2015)

Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays. - Anvesh Komuravelli; Nikolaj S. Bjørner; Arie Gurfinkel; Kenneth L. McMillan (FMCAD, 2015)

SMT-based model checking for recursive programs. - Anvesh Komuravelli; Arie Gurfinkel; Sagar Chaki (Formal Methods Syst. Des., 2016)