PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Vardhan, Abhay"

Author of the publication

copydeleteadd this publication to your clipboard
Efficient Decentralized Monitoring of Safety in Distributed Systems.

, , , and . ICSE, page 418-427. IEEE Computer Society, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Vardhan, Abhay
add a person with the name Vardhan, Abhay
 

Other publications of authors with the same name

Decentralized runtime analysis of multithreaded applications., , , and . IPDPS, IEEE, (2006)LEVER: A Tool for Learning Based Verification., and . CAV, volume 4144 of Lecture Notes in Computer Science, page 471-474. Springer, (2006)Actively Learning to Verify Safety for FIFO Automata., , , and . FSTTCS, volume 3328 of Lecture Notes in Computer Science, page 494-505. Springer, (2004)Using passive object garbage collection algorithms for garbage collection of active objects., and . MSP/ISMM, page 213-220. ACM, (2002)Learning to verify branching time properties., and . Formal Methods in System Design, 31 (1): 35-61 (2007)Efficient Decentralized Monitoring of Safety in Distributed Systems., , , and . ICSE, page 418-427. IEEE Computer Society, (2004)Learning to Verify Safety Properties., , , and . ICFEM, volume 3308 of Lecture Notes in Computer Science, page 274-289. Springer, (2004)Using Language Inference to Verify Omega-Regular Properties., , , and . TACAS, volume 3440 of Lecture Notes in Computer Science, page 45-60. Springer, (2005)Learning to verify branching time properties., and . ASE, page 325-328. ACM, (2005)