Travelled to:1 × Germany
2 × USA
2 × United Kingdom
Collaborated with:M.Viswanathan G.Agha K.Sen G.Rosu
Talks about:properti (2) collect (2) verifi (2) object (2) garbag (2) learn (2) use (2) distribut (1) algorithm (1) regular (1)
Person: Abhay Vardhan
DBLP: Vardhan:Abhay
Contributed to:
2006
2005
2005
2004
2002Wrote 5 papers:
- CAV-2006-VardhanV #learning #named #verification
- LEVER: A Tool for Learning Based Verification (AV, MV), pp. 471–474.
- ASE-2005-VardhanV #branch #learning #verification
- Learning to verify branching time properties (AV, MV), pp. 325–328.
- TACAS-2005-VardhanSVA #using #verification
- Using Language Inference to Verify ω-Regular Properties (AV, KS, MV, GA), pp. 45–60.
- ICSE-2004-SenVAR #distributed #monitoring #performance #safety
- Efficient Decentralized Monitoring of Safety in Distributed Systems (KS, AV, GA, GR), pp. 418–427.
- ISMM-2002-VardhanA #algorithm #garbage collection #using
- Using passive object garbage collection algorithms for garbage collection of active objects (AV, GA), pp. 213–220.