( en | de | ru )

 

Disambiguation of "Kahlon, Vineet"

Author of the publication

copydeleteadd this publication to your clipboard
Reducing Model Checking of the Many to the Few.

, and . CADE, volume 1831 of Lecture Notes in Computer Science, page 236-254. Springer, (2000)

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.

Vineet Sinha

Vineet Rao

Vibhav Vineet

Vineet Singh

Vineet Gandhi

 

Other publications of authors with the same name

Lock Removal for Concurrent Trace Programs., and . CAV, volume 7358 of Lecture Notes in Computer Science, page 227-242. Springer, (2012)Reasoning About Threads Communicating via Locks., , and . CAV, volume 3576 of Lecture Notes in Computer Science, page 505-518. Springer, (2005)Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions., , and . CAV, volume 4144 of Lecture Notes in Computer Science, page 286-299. Springer, (2006)Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols., and . TACAS, volume 2619 of Lecture Notes in Computer Science, page 144-159. Springer, (2003)Fast and Accurate Static Data-Race Detection for Concurrent Programs., , , and . CAV, volume 4590 of Lecture Notes in Computer Science, page 226-239. Springer, (2007)Parameterized Model Checking of Ring-Based Message Passing Systems., and . CSL, volume 3210 of Lecture Notes in Computer Science, page 325-339. Springer, (2004)On the analysis of interacting pushdown systems., and . POPL, page 303-314. ACM, (2007)Automatic lock insertion in concurrent programs.. FMCAD, page 16-23. IEEE, (2012)An Automata-Theoretic Approach for Model Checking Threads for LTL Propert., and . LICS, page 101-110. IEEE Computer Society, (2006)Boundedness vs. Unboundedness of Lock Chains: Characterizing Decidability of Pairwise CFL-Reachability for Threads Communicating via Locks.. LICS, page 27-36. IEEE Computer Society, (2009)