×

zbMATH — the first resource for mathematics

Kahlon, Vineet

Compute Distance To:
Author ID: kahlon.vineet Recent zbMATH articles by "Kahlon, Vineet"
Published as: Kahlon, Vineet
Documents Indexed: 15 Publications since 1995

Publications by Year

Citations contained in zbMATH

13 Publications have been cited 94 times in 59 Documents Cited by Year
Reducing model checking of the many to the few. Zbl 0963.68109
Emerson, E. Allen; Kahlon, Vineet
23
2000
Reasoning about threads communicating via locks. Zbl 1081.68623
Kahlon, Vineet; Ivančić, Franjo; Gupta, Aarti
16
2005
On the analysis of interacting pushdown systems. Zbl 1295.68159
Kahlon, Vineet; Gupta, Aarti
9
2007
Monotonic partial order reduction: an optimal symbolic partial order reduction technique. Zbl 1242.68166
Kahlon, Vineet; Wang, Chao; Gupta, Aarti
8
2009
Peephole partial order reduction. Zbl 1134.68421
Wang, Chao; Yang, Zijiang; Kahlon, Vineet; Gupta, Aarti
8
2008
Parameterized model checking of ring-based message passing systems. Zbl 1095.68051
Emerson, E. Allen; Kahlon, Vineet
7
2004
Exact and efficient verification of parameterized cache coherence protocols. Zbl 1179.68013
Emerson, E. Allen; Kahlon, Vineet
6
2003
Rapid parameterized model checking of snoopy cache coherence protocols. Zbl 1031.68548
Emerson, E. Allen; Kahlon, Vineet
5
2003
Model checking large-scale and parameterized resource allocation systems. Zbl 1043.68569
Emerson, E. Allen; Kahlon, Vineet
5
2002
Symbolic model checking of concurrent programs using partial orders and on-the-fly transactions. Zbl 1188.68190
Kahlon, Vineet; Gupta, Aarti; Sinha, Nishant
4
2006
Model checking concurrent programs. Zbl 1392.68251
Gupta, Aarti; Kahlon, Vineet; Qadeer, Shaz; Touili, Tayssir
1
2018
Reasoning about threads with bounded lock chains. Zbl 1343.68154
Kahlon, Vineet
1
2011
Fast and accurate static data-race detection for concurrent programs. Zbl 1135.68368
Kahlon, Vineet; Yang, Yu; Sankaranarayanan, Sriram; Gupta, Aarti
1
2007
Model checking concurrent programs. Zbl 1392.68251
Gupta, Aarti; Kahlon, Vineet; Qadeer, Shaz; Touili, Tayssir
1
2018
Reasoning about threads with bounded lock chains. Zbl 1343.68154
Kahlon, Vineet
1
2011
Monotonic partial order reduction: an optimal symbolic partial order reduction technique. Zbl 1242.68166
Kahlon, Vineet; Wang, Chao; Gupta, Aarti
8
2009
Peephole partial order reduction. Zbl 1134.68421
Wang, Chao; Yang, Zijiang; Kahlon, Vineet; Gupta, Aarti
8
2008
On the analysis of interacting pushdown systems. Zbl 1295.68159
Kahlon, Vineet; Gupta, Aarti
9
2007
Fast and accurate static data-race detection for concurrent programs. Zbl 1135.68368
Kahlon, Vineet; Yang, Yu; Sankaranarayanan, Sriram; Gupta, Aarti
1
2007
Symbolic model checking of concurrent programs using partial orders and on-the-fly transactions. Zbl 1188.68190
Kahlon, Vineet; Gupta, Aarti; Sinha, Nishant
4
2006
Reasoning about threads communicating via locks. Zbl 1081.68623
Kahlon, Vineet; Ivančić, Franjo; Gupta, Aarti
16
2005
Parameterized model checking of ring-based message passing systems. Zbl 1095.68051
Emerson, E. Allen; Kahlon, Vineet
7
2004
Exact and efficient verification of parameterized cache coherence protocols. Zbl 1179.68013
Emerson, E. Allen; Kahlon, Vineet
6
2003
Rapid parameterized model checking of snoopy cache coherence protocols. Zbl 1031.68548
Emerson, E. Allen; Kahlon, Vineet
5
2003
Model checking large-scale and parameterized resource allocation systems. Zbl 1043.68569
Emerson, E. Allen; Kahlon, Vineet
5
2002
Reducing model checking of the many to the few. Zbl 0963.68109
Emerson, E. Allen; Kahlon, Vineet
23
2000
all top 5

Cited by 129 Authors

4 Touili, Tayssir
3 Atig, Mohamed Faouzi
3 Gupta, Aarti
3 Konnov, Igor V.
3 Song, Fu
2 Aminof, Benjamin
2 Bouajjani, Ahmed
2 Calder, Muffy
2 Gopalakrishnan, Ganesh Lalitha
2 Kahlon, Vineet
2 Kröning, Daniel
2 Miller, Alice Ann
2 Pnueli, Amir
2 Rubin, Sasha
2 Sánchez, Alejandro D.
2 Sánchez, César
2 Seidl, Helmut
2 Spegni, Francesco
2 Veith, Helmut
2 Vojnar, Tomáš
2 Wang, Chao
2 Yang, Yu
2 Zakharov, Vladimir A.
2 Zuck, Lenore D.
1 Abdulla, Parosh Aziz
1 Aiswarya, Cyriac
1 Albert, Elvira
1 Attie, Paul C.
1 Bansal, Kshitij
1 Bherer, Hans
1 Bhutada, Dipali
1 Biere, Armin
1 Bollig, Benedikt
1 Bozga, Marius
1 Bozzelli, Laura
1 Chane-Yack-Fa, Raphaël
1 Chatain, Thomas
1 Chen, Xiaofang
1 Chou, Ching-Tsun
1 Cimatti, Alessandro
1 Cook, Byron
1 Desel, Jörg
1 Desharnais, Jules
1 Dubrovin, Jori
1 Esparza, Javier
1 Fang, Yi
1 Farzan, Azadeh
1 Finkel, Alain
1 Frappier, Marc
1 Ganai, Malay K.
1 Gastin, Paul
1 Gawlitza, Thomas Martin
1 Gmeiner, Annu
1 Gómez-Zamalloa, Miguel
1 Günther, Henning
1 Habermehl, Peter
1 Heljanko, Keijo
1 Iosif, Radu
1 Isabel, Miguel
1 Junttila, Tommi A.
1 Kobayashi, Naoki
1 Kortelainen, Juha
1 Koskinen, Eric
1 Kotek, Tomer
1 Koutny, Maciej
1 Kouvaros, Panagiotis
1 Křena, Bohuslav
1 Kundu, Sudipta
1 Kupferman, Orna
1 La Torre, Salvatore
1 Laarman, Alfons
1 Lammich, Peter
1 Limaye, Rhishikesh
1 Lisitsa, Alexej P.
1 Lomuscio, Alessio R.
1 Lugiez, Denis
1 Madhukar, Kumar
1 Madhusudan, Parthasarathy
1 Mahajan, Yogesh S.
1 Malik, Sharad
1 Mammar, Amel
1 McMillan, Kenneth L.
1 Mikulski, Łukasz
1 Müller-Olm, Markus
1 Muscholl, Anca
1 Narasamdya, Iman
1 Narayan, Kumar K.
1 Nemytykh, Andrei P.
1 Paulevé, Loïc
1 Peled, Doron A.
1 Peron, Adriano
1 Piterman, Nir
1 Prasad Sistla, A.
1 Pun, Ka I.
1 Qadeer, Shaz
1 Ray, Sandip
1 Roveri, Marco
1 Rubio, Albert
1 Saivasan, Prakash
1 Sammartino, Matteo
...and 29 more Authors

Citations by Year