 | 2007 |
|---|
| 9 |       | Abhay Vardhan,
Mahesh Viswanathan:
Learning to verify branching time properties.
Formal Methods in System Design 31(1): 35-61 (2007) |
| 2006 |
|---|
| 8 | | Abhay Vardhan,
Mahesh Viswanathan:
LEVER: A Tool for Learning Based Verification.
CAV 2006: 471-474 |
| 7 | | Koushik Sen,
Abhay Vardhan,
Gul Agha,
Grigore Rosu:
Decentralized runtime analysis of multithreaded applications.
IPDPS 2006 |
| 2005 |
|---|
| 6 | | Abhay Vardhan,
Mahesh Viswanathan:
Learning to verify branching time properties.
ASE 2005: 325-328 |
| 5 | | Abhay Vardhan,
Koushik Sen,
Mahesh Viswanathan,
Gul Agha:
Using Language Inference to Verify Omega-Regular Properties.
TACAS 2005: 45-60 |
| 2004 |
|---|
| 4 | | Abhay Vardhan,
Koushik Sen,
Mahesh Viswanathan,
Gul Agha:
Actively Learning to Verify Safety for FIFO Automata.
FSTTCS 2004: 494-505 |
| 3 | | Abhay Vardhan,
Koushik Sen,
Mahesh Viswanathan,
Gul Agha:
Learning to Verify Safety Properties.
ICFEM 2004: 274-289 |
| 2 | | Koushik Sen,
Abhay Vardhan,
Gul Agha,
Grigore Rosu:
Efficient Decentralized Monitoring of Safety in Distributed Systems.
ICSE 2004: 418-427 |
| 2002 |
|---|
| 1 | | Abhay Vardhan,
Gul Agha:
Using passive object garbage collection algorithms for garbage collection of active objects.
MSP/ISMM 2002: 213-220 |
