Anvesh Komuravelli

According to our database1, Anvesh Komuravelli authored at least 21 papers between 2008 and 2016.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2016
SMT-based 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 Computer-Aided Design, 2015

The SeaHorn Verification Framework.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014
SMT-based Model Checking for Recursive Programs.
CoRR, 2014

SMT-Based Model Checking for Recursive Programs.
Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013
Automatic Abstraction in SMT-Based Unbounded Software Model Checking.
CoRR, 2013

Automatic Abstraction in SMT-Based Unbounded Software Model Checking.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012
Learning Probabilistic Systems from Tree Samples
CoRR, 2012

Assume-Guarantee 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

Assume-Guarantee 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 mixed-signal 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


  Loading...