| The SeaHorn verification framework A Gurfinkel, T Kahsai, A Komuravelli, JA Navas International Conference on Computer Aided Verification, 343-361, 2015 | 427 | 2015 |
| SMT-based model checking for recursive programs A Komuravelli, A Gurfinkel, S Chaki Formal Methods in System Design 48, 175-205, 2016 | 319 | 2016 |
| 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 | 105 | 2013 |
| Analysis and verification of the HMGB1 signaling pathway H Gong, P Zuliani, A Komuravelli, JR Faeder, EM Clarke BMC bioinformatics 11, 1-13, 2010 | 89 | 2010 |
| Assume-guarantee abstraction refinement for probabilistic systems A Komuravelli, CS Păsăreanu, EM Clarke Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012 | 65 | 2012 |
| 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 | 57 | 2015 |
| 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 | 31 | 2012 |
| 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 | 21 | 2012 |
| 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 | 17 | 2011 |
| The SeaHorn verification framework T Kahsai, JA Navas, A Gurfinkel, A Komuravelli Computer Aided Verification 205, 2015 | 8 | 2015 |
| Exploring polygonal environments by simple robots with faulty combinatorial vision A Komuravelli, M Mihalák Symposium on Self-Stabilizing Systems, 458-471, 2009 | 6 | 2009 |
| Connectivity preserving transformations for higher dimensional binary images A Komuravelli, A Sinha, A Bishnu Discrete applied mathematics 157 (16), 3372-3385, 2009 | 2 | 2009 |
| Connectivity preserving voxel transformation A Komuravelli, A Sinha, A Bishnu Combinatorial Image Analysis: 12th International Workshop, IWCIA 2008 …, 2008 | 2 | 2008 |
| 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 | 1 | 2013 |
| 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 | 1 | 2010 |
| The SeaHorn Verification Framework A Komuravelli, A Gurfinkel, T Kahsai, JA Navas | | 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 |
| Formal Methods For Design Debugging From Traces A Komuravelli Indian Institute of Technology Kharagpur, 2009 | | 2009 |
