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
2692015
SMT-based model checking for recursive programs
A Komuravelli, A Gurfinkel, S Chaki
Formal Methods in System Design 48 (3), 175-205, 2016
2002016
Analysis and verification of the HMGB1 signaling pathway
H Gong, P Zuliani, A Komuravelli, JR Faeder, EM Clarke
BMC bioinformatics 11 (7), 1-13, 2010
822010
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
752013
Assume-guarantee abstraction refinement for probabilistic systems
A Komuravelli, CS Păsăreanu, EM Clarke
International Conference on Computer Aided Verification, 310-326, 2012
562012
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
322015
Computational modeling and verification of signaling pathways in cancer
H Gong, P Zuliani, A Komuravelli, JR Faeder, EM Clarke
Algebraic and Numeric Biology, 117-135, 2012
312012
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
202012
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
142011
The SeaHorn verification framework
T Kahsai, JA Navas, A Gurfinkel, A Komuravelli
Computer Aided Verification 205, 2015
72015
Exploring polygonal environments by simple robots with faulty combinatorial vision
A Komuravelli, M Mihalák
Symposium on Self-Stabilizing Systems, 458-471, 2009
62009
Building Program Verifiers from Compilers and Theorem Provers
A Gurfinkel, T Kahsai, JA Navas, A Komuravelli, N Bjorner
CARNEGIE-MELLON UNIV PITTSBURGH PA PITTSBURGH United States, 2015
32015
Connectivity preserving voxel transformation
A Komuravelli, A Sinha, A Bishnu
International Workshop on Combinatorial Image Analysis, 1-12, 2008
22008
Assumption generation for asynchronous systems by abstraction refinement
Q Yang, EM Clarke, A Komuravelli, M Li
International Workshop on Formal Aspects of Component Software, 260-276, 2012
12012
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
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
Formal Methods For Design Debugging From Traces
A Komuravelli
Indian Institute of Technology Kharagpur, 2009
2009
HARCHOL-BALTER, Mor CMU-CS-15-141, CMU-CS-15-141R HARKES, Jan CMU-CS-15-115 HAUPTMANN, Alex CMU-CS-15-103 HE, Wangzi CMU-CS-15-129
W HU, L JIANG, K JOSHI, A KARANDIKAR, SD KLEE, A KOMURAVELLI, ...
The system can't perform the operation now. Try again later.
Articles 1–20