Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Abhay Vardhan

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2007
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fmsd/VardhanV07
- ask others
Abhay Vardhan, Mahesh Viswanathan: Learning to verify branching time properties. Formal Methods in System Design 31(1): 35-61 (2007)
2006
[c8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cav/VardhanV06
- ask others
Abhay Vardhan, Mahesh Viswanathan: LEVER: A Tool for Learning Based Verification. CAV 2006: 471-474
[c7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ipps/SenVAR06
- ask others
Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu: Decentralized runtime analysis of multithreaded applications. IPDPS 2006
2005
[c6]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/kbse/VardhanV05
- ask others
Abhay Vardhan, Mahesh Viswanathan: Learning to verify branching time properties. ASE 2005: 325-328
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/VardhanSVA05
- ask others
Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha: Using Language Inference to Verify Omega-Regular Properties. TACAS 2005: 45-60
2004
[c4]
- view
  - electronic edition @ metapress.com
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fsttcs/VardhanSVA04
- ask others
Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha: Actively Learning to Verify Safety for FIFO Automata. FSTTCS 2004: 494-505
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icfem/VardhanSVA04
- ask others
Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha: Learning to Verify Safety Properties. ICFEM 2004: 274-289
[c2]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icse/SenVAR04
- ask others
Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu: Efficient Decentralized Monitoring of Safety in Distributed Systems. ICSE 2004: 418-427
2002
[c1]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iwmm/VardhanA02
- ask others
Abhay Vardhan, Gul Agha: Using passive object garbage collection algorithms for garbage collection of active objects. MSP/ISMM 2002: 213-220

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?