Learning to verify branching time properties, Abhay Vardhan, Mahesh Viswanathan, Formal Methods in System Design, vol. 31, no. 1 (2007), pp. 35-61.
LEVER: A Tool for Learning Based Verification (Tool Paper), Abhay Vardhan, Mahesh Viswanathan, Proceedings of the 18th International Conference on Computer-Aided Verification (CAV'06), 2006.
Learning to verify branching time properties, Abhay Vardhan, Mahesh Viswanathan, ASE, 2005, pp. 325-328.
Using Language Inference to Verify Omega-Regular Properties, Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha, TACAS, 2005, pp. 45-60.
Actively Learning to Verify Safety for FIFO Automata, Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha, FSTTCS, 2004, pp. 494-505.
Efficient Decentralized Monitoring of Safety in Distributed Systems, Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu, ICSE, 2004, pp. 418-427.
Learning to Verify Safety Properties, Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha, ICFEM, 2004, pp. 274-289.
Using passive object garbage collection algorithms for garbage collection of active objects, Abhay Vardhan, Gul Agha, MSP/ISMM, 2002, pp. 213-220.