( en | de | ru )

 

Disambiguation of "Komuravelli, Anvesh"

Author of the publication

copydeleteadd this publication to your clipboard
Assumption Generation for Asynchronous Systems by Abstraction Refinement.

, , , and . FACS, volume 7684 of Lecture Notes in Computer Science, page 260-276. Springer, (2012)

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)Automatic Abstraction in SMT-Based Unbounded Software Model Checking., , , and . CAV, volume 8044 of Lecture Notes in Computer Science, page 846-862. Springer, (2013)Assume-Guarantee Abstraction Refinement for Probabilistic Systems., , and . CAV, volume 7358 of Lecture Notes in Computer Science, page 310-326. Springer, (2012)