Abhay Vardhan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2004–2006
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | CAV | LEVER: A Tool for Learning Based Verification. | Abhay Vardhan, Mahesh Viswanathan |
| 2005 | TACAS | Using Language Inference to Verify Omega-Regular Properties. | Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha |
| 2004 | ICFEM | Learning to Verify Safety Properties. | Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha |
| 2004 | ICSE | Efficient Decentralized Monitoring of Safety in Distributed Systems. | Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu |