Anvesh Komuravelli
According to our database^{1},
Anvesh Komuravelli
authored at least 21 papers
between 2008 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepage:

at orcid.org
On csauthors.net:
Bibliography
2016
SMTbased model checking for recursive programs.
Formal Methods in System Design, 2016
2015
Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays.
CoRR, 2015
Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays.
Proceedings of the Formal Methods in ComputerAided Design, 2015
The SeaHorn Verification Framework.
Proceedings of the Computer Aided Verification  27th International Conference, 2015
2014
SMTbased Model Checking for Recursive Programs.
CoRR, 2014
SMTBased Model Checking for Recursive Programs.
Proceedings of the Computer Aided Verification  26th International Conference, 2014
2013
Automatic Abstraction in SMTBased Unbounded Software Model Checking.
CoRR, 2013
Automatic Abstraction in SMTBased Unbounded Software Model Checking.
Proceedings of the Computer Aided Verification  25th International Conference, 2013
2012
Learning Probabilistic Systems from Tree Samples
CoRR, 2012
AssumeGuarantee Abstraction Refinement for Probabilistic Systems
CoRR, 2012
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
AssumeGuarantee Abstraction Refinement for Probabilistic Systems.
Proceedings of the Computer Aided Verification  24th International Conference, 2012
2011
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
2010
A static verification approach for architectural integration of mixedsignal integrated circuits.
Integration, 2010
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
2009
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
2008
Connectivity Preserving Voxel Transformation.
Proceedings of the Combinatorial Image Analysis, 12th International Workshop, 2008