( en | de | ru )

 

Disambiguation of "Komuravelli, Anvesh"

Author of the publication

copydeleteadd this publication to your clipboard
The SeaHorn Verification Framework.

, , , and . CAV (1), volume 9206 of Lecture Notes in Computer Science, page 343-361. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Komuravelli, Anvesh
add a person with the name Komuravelli, Anvesh
 

Other publications of authors with the same name

A static verification approach for architectural integration of mixed-signal integrated circuits., , , , and . Integr., 43 (1): 58-71 (2010)Assumption Generation for Asynchronous Systems by Abstraction Refinement., , , and . FACS, volume 7684 of Lecture Notes in Computer Science, page 260-276. Springer, (2012)Computational Modeling and Verification of Signaling Pathways in Cancer., , , , and . ANB, volume 6479 of Lecture Notes in Computer Science, page 117-135. Springer, (2010)Analysis and verification of the HMGB1 signaling pathway., , , , and . BMC Bioinform., 11 (S-7): S10 (2010)Backward Reasoning with Formal Properties: A Methodology for Bug Isolation on Simulation Traces., , , and . Asian Test Symposium, page 238-243. IEEE Computer Society, (2011)Analog circuit verification by statistical model checking., , , and . ASP-DAC, page 1-6. IEEE, (2011)SMT-Based Model Checking for Recursive Programs., , and . CAV, volume 8559 of Lecture Notes in Computer Science, page 17-34. Springer, (2014)Exploring Polygonal Environments by Simple Robots with Faulty Combinatorial Vision., and . SSS, volume 5873 of Lecture Notes in Computer Science, page 458-471. Springer, (2009)Learning Probabilistic Systems from Tree Samples., , and . LICS, page 441-450. IEEE Computer Society, (2012)Assume-Guarantee Abstraction Refinement for Probabilistic Systems., , and . CAV, volume 7358 of Lecture Notes in Computer Science, page 310-326. Springer, (2012)