2006

1. Vardhan, Abhay. "Learning To Verify Systems," Ph.D. Thesis, Dept. of Computer Science, 2006. [pdf] [bib]

2005

1. Sen, Koushik, Abhay Vardhan, Gul Agha, Grigore Rosu. "Efficient Decentralized Monitoring of Safety in Distributed Systems," Submitted to Journal [invited], 2005. [pdf] [ps] [bib]
2. Vardhan, Abhay, Mahesh Viswanathan. "Learning to Verify Branching Time Properties," Technical Report UIUCDCS-R-2004-2445, UILU-ENG-2004-1747 (this is a long version of a paper to appear at the 20th IEEE/ACM International Conference on Automated Software Engineering, Long Beach, California, USA), 2005. [pdf] [bib]
3. Vardhan, Abhay, Koushik Sen, Mahesh Viswanathan, Gul Agha. "Using Language Inference to Verify omega-regular Properties," In Proceedings of 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2005), LNCS, 2005. [pdf] [ps] [bib]

2004

1. Vardhan, Abhay, Koushik Sen, Mahesh Viswanathan, Gul Agha. "Actively Learning to Verify Safety for FIFO Automata," In 24th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'04), Lecture Notes in Computer Science, Chennai, India, December, LNCS 3328, pages 494-505, Copyright Springer-Verlag (http://www.springer.de/comp/lncs/index.html), 2004. [pdf] [ps] [bib]
2. Sen, Koushik, Abhay Vardhan, Gul Agha, Grigore Rosu. "Efficient Decentralized Monitoring of Safety in Distributed Systems," In Proceedings of 26th International Conference on Software Engineering (ICSE'04), pages 418-427, Edinburgh, UK, May 2004. IEEE., 2004. [pdf] [ps] [bib]
3. Vardhan, Abhay, Koushik Sen, Mahesh Viswanathan, Gul Agha. "Learning to Verify Safety Properties," In 6th International Conference on Formal Engineering Methods (ICFEM'04), Seattle, WA, USA, November 2004, LNCS 3308, pages 274-288, Copyright Springer-Verlag (http://www.springer.de/comp/lncs/index.html), 2004. [pdf] [ps] [bib]
4. Sen, Koushik, Abhay Vardhan, Gul Agha, Grigore Rosu. "On Specifying and Monitoring Epistemic Properties of Distributed Systems," In 2nd International Workshop on Dynamic Analysis (WODA'04), Satellite workshop of ICSE 2004, pages 32-35. British Institution of Electrical Engineers (IEE), May 2004., 2004. [pdf] [ps] [bib]

2002

1. Vardhan, Abhay, Gul Agha. "Using Passive Garbage Collection Algorithms for Garbage Collection of Active Objects," International Symposium for Memory Management, pp 106-113, Berlin, June 20-21, 2002. [pdf] [ps] [bib]

1998

1. Vardhan, Abhay, P. L. Dhar. "A new procedure for performance prediction of air conditioning coils," International Journal of Refrigeration , Volume:21, Issue: 1, pp. 77-83, 1998. [bib]
2. Vardhan, Abhay. "Distributed Garbage Collection of Active Objects: A Transformation and its Applications to Java Programming," MS Thesis, University of Illinois, 1998. [bib]

1995

1. Rao, J. S., V. P. Agrawal, Abhay Vardhan, Lakhbir S. Lamba. "Computer Aided Learning of Planar Linkages," Proceedings of the Ninth World Conference on the Theory of Machines and Mechanisms, Milan, Italy, p 3176-80, 1995. [bib]