( 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)Static data race detection for concurrent programs with asynchronous calls., , , and . ESEC/SIGSOFT FSE, page 13-22. ACM, (2009)Reasoning about Threads with Bounded Lock Chains.. CONCUR, volume 6901 of Lecture Notes in Computer Science, page 450-465. Springer, (2011)Model Checking C Programs Using F-SOFT., , , , , , and . ICCD, page 297-308. IEEE Computer Society, (2005)Model Checking Large-Scale and Parameterized Resource Allocation Systems., and . TACAS, volume 2280 of Lecture Notes in Computer Science, page 251-265. Springer, (2002)Exact and Efficient Verification of Parameterized Cache Coherence Protocols., and . CHARME, volume 2860 of Lecture Notes in Computer Science, page 247-262. Springer, (2003)Semantic Reduction of Thread Interleavings in Concurrent Programs., , and . TACAS, volume 5505 of Lecture Notes in Computer Science, page 124-138. Springer, (2009)Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs.. LICS, page 181-192. IEEE Computer Society, (2008)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)