Concepedia

Anvesh Komuravelli

AK

4

Publications

215

Citations

4

H-Index

2010

Active since

Affiliations

Carnegie Mellon University(Current)

Anvesh Komuravelli is an author at Carnegie Mellon University specializing in verification, engineering, and automated reasoning.

ORCID

Top concepts

Publications per year

2010–2016

4

Publications

4

SMT-based model checking for recursive programs

Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki · Formal Methods in System Design · 2016 · 124 citations

, , +11

Analysis and verification of the HMGB1 signaling pathway

Haijun Gong, Paolo Zuliani, Anvesh Komuravelli et al. · BMC Bioinformatics · 2010 · 64 citations · Full text

Learning Probabilistic Systems from Tree Samples

Anvesh Komuravelli, Corina S. Păsăreanu, Edmund M. Clarke · 2012 · 16 citations · Full text

, , +20

Analog circuit verification by statistical model checking

Ying-Chih Wang, Anvesh Komuravelli, Paolo Zuliani et al. · 2011 · 11 citations

, , +20

Rows per page

1–4 of 4