Abhay Vardhan

According to our database, Abhay Vardhan authored at least 9 papers between 2002 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Learning to verify branching time properties.

Abhay Vardhan, Mahesh Viswanathan

Formal Methods Syst. Des., 2007

2006

Learning to Verify Systems

Abhay Vardhan

PhD thesis, 2006

Decentralized runtime analysis of multithreaded applications.

Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

LEVER: A Tool for Learning Based Verification.

Abhay Vardhan, Mahesh Viswanathan

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

Using Language Inference to Verify Omega-Regular Properties.

Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

2004

Efficient Decentralized Monitoring of Safety in Distributed Systems.

Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Learning to Verify Safety Properties.

Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha

Proceedings of the Formal Methods and Software Engineering, 2004

Actively Learning to Verify Safety for FIFO Automata.

Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha

Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004

2002

Using passive object garbage collection algorithms for garbage collection of active objects.

Abhay Vardhan, Gul Agha

Proceedings of The Workshop on Memory Systems Performance (MSP 2002), 2002