Publications

Journal

[1] H. Gong, P. Zuliani, A. Komuravelli, J. R. Faeder and E. M. Clarke, “Analysis and Verfication of the HMGB1 Signaling Pathway”, in InCoB, (BMC Bioinformatics) 2010. (best paper award) [ bib | link | pdf ]

[2] R. Mukhopadhyay, A. Komuravelli, P. Dasgupta, S. Panda, and S. Mukhopadhyay, “A static verification approach for architectural integration of mixed-signal integrated circuits”, Integration, the VLSI Journal, 2010. [ bib | link | pdf ]

[3] A. Komuravelli, A. Sinha, and A. Bishnu, “Connectivity Preserving Transformations for Higher Dimensional Binary Images”, Discrete Applied Mathematics 2009. (invited paper) [ bib | link | pdf ]

Software Model Checking

[2] A. Komuravelli, A. Gurfinkel, S. Chaki and E. M. Clarke, “Automatic Abstraction in SMT-Based Unbounded Software Model Checking”, in CAV 2013. [ bib | link | arXiv | pdf | slides ]

Compositional Reasoning

[1] Q. Yang, E. M. Clarke, A. Komuravelli and M. Li, “Assumption Generation for Asynchronous Systems by Abstraction Refinement”, in FACS 2012.

[2] A. Komuravelli, C. S. Pasareanu and E. M. Clarke, “Learning Probabilistic Systems from Tree Samples”, in LICS 2012. [ bib | link | arXiv | pdf | slides ]

[3] A. Komuravelli, C. S. Pasareanu and E. M. Clarke, “Assume-Guarantee Abstraction Refinement for Probabilistic Systems”, in CAV 2012. [ bib | link | arXiv | pdf | slides ]

Statistical Model Checking

[1] Y.-C. Wang, A. Komuravelli, P. Zuliani, and E. M. Clarke, “Analog Circuit Verification by Statistical Model Checking”, in ASP-DAC 2011. [ bib | link | pdf | slides ]

[2] H. Gong, P. Zuliani, A. Komuravelli, J. Faeder, and E. M. Clarke, “Computational Modeling and Verification of Signaling Pathways in Cancer”, in ANB 2010. [ bib | link | pdf | slides ]

Testing

[1] A. Komuravelli, S. Mitra, A. Banerjee and P. Dasgupta, “Backward Reasoning with Formal Properties: A Methodology for Bug Isolation on Simulation Traces”, in Asian Test Symposium 2011 [ bib | link | pdf | slides ]

Computational Geometry

[1] A. Komuravelli and M. Mihal'ák, “Exploring Polygonal Environments by Simple Robots with Faulty Combinatorial Vision”, in SSS 2009. [ bib | link | pdf ]

[2] A. Komuravelli, A. Sinha, and A. Bishnu, “Connectivity Preserving Voxel Transformation”, in IWCIA 2008. [ bib | link | pdf | slides ]

[1] A. Komuravelli, Are you GOD? in Proceedings of the 4th Annual Intercalary Workshop about Symposium on Robot Dance Party of Conference in Celebration of Harry Q. Bovik’s (26)th Birthday (SIGBOVIK), pp. 61-65, ACH, April 2010. [ link | pdf ]

[2] SAMIR Sapra and ANVESH Komuravelli, The first paper on SAMIR - ANVESH, in Proceedings of the 4th Annual Intercalary Workshop about Symposium on Robot Dance Party of Conference in Celebration of Harry Q. Bovik’s (26)th Birthday (SIGBOVIK), pp. 61-65, ACH, April 2010. [ link | pdf ]

[3] SAMIR Sapra and ANVESH Komuravelli, The second paper on SAMIR - ANVESH, in Proceedings of the 4th Annual Intercalary Workshop about Symposium on Robot Dance Party of Conference in Celebration of Harry Q. Bovik’s (26)th Birthday (SIGBOVIK), pp. 61-65, ACH, April 2010. [ link | pdf ]

[4] SAMIR Sapra and ANVESH Komuravelli, The third and the last paper on SAMIR - ANVESH, in Proceedings of the 4th Annual Intercalary Workshop about Symposium on Robot Dance Party of Conference in Celebration of Harry Q. Bovik’s (26)th Birthday (SIGBOVIK), pp. 61-65, ACH, April 2010. [ link | pdf ]

[1] A. Komuravelli, Formal Methods for Design Debugging from Traces, Bachelor's Thesis, May 2009. [ bib | pdf | slides ]

My DBLP entry

My Erdos number is 4. A shortest path is

Anvesh Komuravelli -> Arijit Bishnu -> Tetsuo Asano -> Boris Aronov -> Paul Erdos

Another shortest path is

Anvesh Komuravelli -> Edmund M. Clarke -> Robert P. Kurshan -> Andrew M. Odlyzko -> Paul Erdos

I would love to reduce it, so please let me know if you can help!