☰

Abhay Vardhan, Ph.D. - Publications

Affiliations: 
2006 University of Illinois, Urbana-Champaign, Urbana-Champaign, IL 
Area:
Computer Science
Tree Info Similar researchers PubMed Report error

7 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2007 Vardhan A, Viswanathan M. Learning to verify branching time properties Formal Methods in System Design. 31: 35-61. DOI: 10.1007/s10703-006-0026-x  0.504
2006 Sen K, Vardhan A, Agha G, Roşu G. Decentralized runtime analysis of multithreaded applications 20th International Parallel and Distributed Processing Symposium, Ipdps 2006. 2006. DOI: 10.1109/IPDPS.2006.1639591  0.537
2005 Vardhan A, Sen K, Viswanathan M, Agha G. Using language inference to verify omega-regular properties Lecture Notes in Computer Science. 3440: 45-60.  0.616
2004 Vardhan A, Sen K, Viswanathan M, Agha G. Learning to verify safety properties Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3308: 274-289.  0.587
2004 Vardhan A, Sen K, Viswanathan M, Agha G. Actively learning to verify safety for FIFO automata Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3328: 494-505.  0.603
2004 Sen K, Vardhan A, Agha G, Roşu G. Efficient decentralized monitoring of safety in distributed systems Proceedings - International Conference On Software Engineering. 26: 418-427.  0.532
2003 Vardhan A, Agha G. Using passive object garbage collection algorithms for garbage collection of active objects Acm Sigplan Notices. 38: 213-220.  0.436
Show low-probability matches.