Anvesh Komuravelli

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