According to our database1, Anvesh Komuravelli authored at least 16 papers between 2008 and 2016.
Legend:Book In proceedings Article PhD thesis Other
SMT-based model checking for recursive programs.
Formal Methods in System Design, 2016
Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays.
Proceedings of the Formal Methods in Computer-Aided Design, 2015
The SeaHorn Verification Framework.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
SMT-Based Model Checking for Recursive Programs.
Proceedings of the Computer Aided Verification - 26th International Conference, 2014
Automatic Abstraction in SMT-Based Unbounded Software Model Checking.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013
Learning Probabilistic Systems from Tree Samples.
Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012
Assumption Generation for Asynchronous Systems by Abstraction Refinement.
Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012
Assume-Guarantee Abstraction Refinement for Probabilistic Systems.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012
Backward Reasoning with Formal Properties: A Methodology for Bug Isolation on Simulation Traces.
Proceedings of the 20th IEEE Asian Test Symposium, 2011
Analog circuit verification by statistical model checking.
Proceedings of the 16th Asia South Pacific Design Automation Conference, 2011
A static verification approach for architectural integration of mixed-signal integrated circuits.
Analysis and verification of the HMGB1 signaling pathway.
BMC Bioinformatics, 2010
Computational Modeling and Verification of Signaling Pathways in Cancer.
Proceedings of the Algebraic and Numeric Biology - 4th International Conference, 2010
Connectivity preserving transformations for higher dimensional binary images.
Discrete Applied Mathematics, 2009
Exploring Polygonal Environments by Simple Robots with Faulty Combinatorial Vision.
Proceedings of the Stabilization, 2009
Connectivity Preserving Voxel Transformation.
Proceedings of the Combinatorial Image Analysis, 12th International Workshop, 2008