Follow
Anvesh Komuravelli
Title
Cited by
Cited by
Year
The SeaHorn verification framework
A Gurfinkel, T Kahsai, A Komuravelli, JA Navas
International Conference on Computer Aided Verification, 343-361, 2015
3932015
SMT-based model checking for recursive programs
A Komuravelli, A Gurfinkel, S Chaki
Formal Methods in System Design 48, 175-205, 2016
3022016
Automatic abstraction in SMT-based unbounded software model checking
A Komuravelli, A Gurfinkel, S Chaki, EM Clarke
International Conference on Computer Aided Verification, 846-862, 2013
982013
Analysis and verification of the HMGB1 signaling pathway
H Gong, P Zuliani, A Komuravelli, JR Faeder, EM Clarke
BMC bioinformatics 11, 1-13, 2010
882010
Assume-guarantee abstraction refinement for probabilistic systems
A Komuravelli, CS Păsăreanu, EM Clarke
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
632012
Compositional verification of procedural programs using horn clauses over integers and arrays
A Komuravelli, N Bjorner, A Gurfinkel, KL McMillan
2015 Formal Methods in Computer-Aided Design (FMCAD), 89-96, 2015
542015
Computational modeling and verification of signaling pathways in cancer
H Gong, P Zuliani, A Komuravelli, JR Faeder, EM Clarke
Algebraic and Numeric Biology: 4th International Conference, ANB 2010 …, 2012
302012
Learning probabilistic systems from tree samples
A Komuravelli, CS Pasareanu, EM Clarke
2012 27th Annual IEEE Symposium on Logic in Computer Science, 441-450, 2012
212012
Analog circuit verification by statistical model checking
YC Wang, A Komuravelli, P Zuliani, EM Clarke
16th Asia and South Pacific Design Automation Conference (ASP-DAC 2011), 1-6, 2011
162011
The SeaHorn verification framework
T Kahsai, JA Navas, A Gurfinkel, A Komuravelli
Computer Aided Verification 205, 2015
82015
Exploring polygonal environments by simple robots with faulty combinatorial vision
A Komuravelli, M Mihalák
Symposium on Self-Stabilizing Systems, 458-471, 2009
62009
Connectivity preserving voxel transformation
A Komuravelli, A Sinha, A Bishnu
Combinatorial Image Analysis: 12th International Workshop, IWCIA 2008 …, 2008
22008
Assumption generation for asynchronous systems by abstraction refinement
Q Yang, EM Clarke, A Komuravelli, M Li
Formal Aspects of Component Software: 9th International Symposium, FACS 2012 …, 2013
12013
A static verification approach for architectural integration of mixed-signal integrated circuits
R Mukhopadhyay, A Komuravelli, P Dasgupta, SK Panda, ...
Integration 43 (1), 58-71, 2010
12010
Connectivity preserving transformations for higher dimensional binary images
A Komuravelli, A Sinha, A Bishnu
Discrete applied mathematics 157 (16), 3372-3385, 2009
12009
The SeaHorn Verification Framework
A Komuravelli, A Gurfinkel, T Kahsai, JA Navas
2015
Building Program Verifiers from Compilers and Theorem Provers
A Gurfinkel, JA Navas, A Komuravelli, N Bjorner
2015
Compositional Verification with Abstraction, Learning, and SAT Solving
A Komuravelli
Carnegie Mellon University, 2015
2015
Backward Reasoning with Formal Properties: A methodology for bug isolation on simulation traces
A Komuravelli, S Mitra, A Banerjee, P Dasgupta
2011 Asian Test Symposium, 238-243, 2011
2011
The third and the last paper on SAMIR–ANVESH
S Sapra, A Komuravelli
A Record of The Proceedings of SIGBOVIK 2010, 159, 2010
2010
The system can't perform the operation now. Try again later.
Articles 1–20