×

zbMATH — the first resource for mathematics

Qadeer, Shaz

Compute Distance To:
Author ID: qadeer.shaz Recent zbMATH articles by "Qadeer, Shaz"
Published as: Qadeer, S.; Qadeer, Shaz
Documents Indexed: 36 Publications since 1999, including 1 Book

Publications by Year

Citations contained in zbMATH

30 Publications have been cited 202 times in 148 Documents Cited by Year
Context-bounded model checking of concurrent software. Zbl 1087.68598
Qadeer, Shaz; Rehof, Jakob
49
2005
Back to the future, revisiting precise program verification using SMT solvers. Zbl 1295.68087
Lahiri, Shuvendu; Qadeer, Shaz
14
2008
Thread-modular model checking. Zbl 1023.68529
Flanagan, Cormac; Qadeer, Shaz
14
2003
Partial-order reduction in symbolic state-space exploration. Zbl 1001.68080
Alur, R.; Brayton, R. K.; Henzinger, T. A.; Qadeer, S.; Rajamani, S. K.
12
2001
Thread-modular abstraction refinement. Zbl 1278.68175
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Qadeer, Shaz
10
2003
Predicate abstraction for software verification. Zbl 1323.68371
Flanagan, Cormac; Qadeer, Shaz
10
2002
Context-bounded analysis for concurrent programs with dynamic creation of threads. Zbl 1237.68056
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Qadeer, Shaz
8
2011
Verifying properties of well-founded linked lists. Zbl 1369.68143
Lahiri, Shuvendu K.; Qadeer, Shaz
7
2006
Thread-modular verification for shared-memory programs. Zbl 1077.68606
Flanagan, Cormac; Freund, Stephen N.; Qadeer, Shaz
7
2002
Delay-bounded scheduling. Zbl 1284.68087
Emmi, Michael; Qadeer, Shaz; Rakamarić, Zvonimir
6
2011
Context-bounded analysis for concurrent programs with dynamic creation of threads. Zbl 1234.68068
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Qadeer, Shaz
6
2009
Transactions for software model checking. Zbl 1271.68086
Flanagan, Cormac; Qadeer, Shaz
6
2003
A calculus of atomic actions. Zbl 1315.68087
Elmas, Tayfun; Qadeer, Shaz; Tasiran, Serdar
5
2009
Summarizing procedures in concurrent programs. Zbl 1325.68156
Qadeer, Shaz; Rajamani, Sriram K.; Rehof, Jakob
5
2004
Zing: A model checker for concurrent software. Zbl 1103.68600
Andrews, Tony; Qadeer, Shaz; Rajamani, Sriram K.; Rehof, Jakob; Xie, Yichen
5
2004
From pre-historic to post-modern symbolic model checking. Zbl 1074.68036
Henzinger, Thomas A.; Kupferman, Orna; Qadeer, Shaz
5
2003
Unifying type checking and property checking for low-level code. Zbl 1315.68086
Condit, Jeremy; Hackett, Brian; Lahiri, Shuvendu K.; Qadeer, Shaz
4
2009
Context-bounded analysis of multithreaded programs with dynamic linked structures. Zbl 1135.68365
Bouajjani, Ahmed; Fratani, Séverine; Qadeer, Shaz
4
2007
A reachability predicate for analyzing low-level software. Zbl 1186.68108
Chatterjee, Shaunak; Lahiri, Shuvendu K.; Qadeer, Shaz; Rakamarić, Zvonimir
4
2007
Computer aided verification. 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14–20, 2011. Proceedings. Zbl 1220.68006
Gopalakrishnan, Ganesh (ed.); Qadeer, Shaz (ed.)
3
2011
Modular verification of multithreaded programs. Zbl 1108.68080
Flanagan, Cormac; Freund, Stephen N.; Qadeer, Shaz; Seshia, Sanjit A.
3
2005
A modular checker for multithreaded programs. Zbl 1010.68501
Flanagan, Cormac; Qadeer, Shaz; Seshia, Sanjit A.
3
2002
Induction in compositional model checking. Zbl 0974.68520
McMillan, Kenneth L.; Qadeer, Shaz; Saxe, James B.
3
2000
Simplifying linearizability proofs with reduction and abstraction. Zbl 1284.68181
Elmas, Tayfun; Qadeer, Shaz; Sezgin, Ali; Subasi, Omer; Tasiran, Serdar
2
2010
Verifying sequential consistency on shared-memory multiprocessor systems. Zbl 1046.68593
Henzinger, Thomas A.; Qadeer, Shaz; Rajamani, Sriram K.
2
1999
Model checking concurrent programs. Zbl 1392.68251
Gupta, Aarti; Kahlon, Vineet; Qadeer, Shaz; Touili, Tayssir
1
2018
Interleaving and lock-step semantics for analysis and verification of GPU kernels. Zbl 1381.68139
Collingbourne, Peter; Donaldson, Alastair F.; Ketema, Jeroen; Qadeer, Shaz
1
2013
Complexity and algorithms for monomial and clausal predicate abstraction. Zbl 1250.68194
Lahiri, Shuvendu K.; Qadeer, Shaz
1
2009
Zing: Exploiting program structure for model checking concurrent software. Zbl 1099.68583
Andrews, Tony; Qadeer, Shaz; Rajamani, Sriram K.; Rehof, Jakob; Xie, Yichen
1
2004
Assume-guarantee refinement between different time scales. Zbl 1046.68592
Henzinger, Thomas A.; Qadeer, Shaz; Rajamani, Sriram K.
1
1999
Model checking concurrent programs. Zbl 1392.68251
Gupta, Aarti; Kahlon, Vineet; Qadeer, Shaz; Touili, Tayssir
1
2018
Interleaving and lock-step semantics for analysis and verification of GPU kernels. Zbl 1381.68139
Collingbourne, Peter; Donaldson, Alastair F.; Ketema, Jeroen; Qadeer, Shaz
1
2013
Context-bounded analysis for concurrent programs with dynamic creation of threads. Zbl 1237.68056
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Qadeer, Shaz
8
2011
Delay-bounded scheduling. Zbl 1284.68087
Emmi, Michael; Qadeer, Shaz; Rakamarić, Zvonimir
6
2011
Computer aided verification. 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14–20, 2011. Proceedings. Zbl 1220.68006
Gopalakrishnan, Ganesh (ed.); Qadeer, Shaz (ed.)
3
2011
Simplifying linearizability proofs with reduction and abstraction. Zbl 1284.68181
Elmas, Tayfun; Qadeer, Shaz; Sezgin, Ali; Subasi, Omer; Tasiran, Serdar
2
2010
Context-bounded analysis for concurrent programs with dynamic creation of threads. Zbl 1234.68068
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Qadeer, Shaz
6
2009
A calculus of atomic actions. Zbl 1315.68087
Elmas, Tayfun; Qadeer, Shaz; Tasiran, Serdar
5
2009
Unifying type checking and property checking for low-level code. Zbl 1315.68086
Condit, Jeremy; Hackett, Brian; Lahiri, Shuvendu K.; Qadeer, Shaz
4
2009
Complexity and algorithms for monomial and clausal predicate abstraction. Zbl 1250.68194
Lahiri, Shuvendu K.; Qadeer, Shaz
1
2009
Back to the future, revisiting precise program verification using SMT solvers. Zbl 1295.68087
Lahiri, Shuvendu; Qadeer, Shaz
14
2008
Context-bounded analysis of multithreaded programs with dynamic linked structures. Zbl 1135.68365
Bouajjani, Ahmed; Fratani, Séverine; Qadeer, Shaz
4
2007
A reachability predicate for analyzing low-level software. Zbl 1186.68108
Chatterjee, Shaunak; Lahiri, Shuvendu K.; Qadeer, Shaz; Rakamarić, Zvonimir
4
2007
Verifying properties of well-founded linked lists. Zbl 1369.68143
Lahiri, Shuvendu K.; Qadeer, Shaz
7
2006
Context-bounded model checking of concurrent software. Zbl 1087.68598
Qadeer, Shaz; Rehof, Jakob
49
2005
Modular verification of multithreaded programs. Zbl 1108.68080
Flanagan, Cormac; Freund, Stephen N.; Qadeer, Shaz; Seshia, Sanjit A.
3
2005
Summarizing procedures in concurrent programs. Zbl 1325.68156
Qadeer, Shaz; Rajamani, Sriram K.; Rehof, Jakob
5
2004
Zing: A model checker for concurrent software. Zbl 1103.68600
Andrews, Tony; Qadeer, Shaz; Rajamani, Sriram K.; Rehof, Jakob; Xie, Yichen
5
2004
Zing: Exploiting program structure for model checking concurrent software. Zbl 1099.68583
Andrews, Tony; Qadeer, Shaz; Rajamani, Sriram K.; Rehof, Jakob; Xie, Yichen
1
2004
Thread-modular model checking. Zbl 1023.68529
Flanagan, Cormac; Qadeer, Shaz
14
2003
Thread-modular abstraction refinement. Zbl 1278.68175
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Qadeer, Shaz
10
2003
Transactions for software model checking. Zbl 1271.68086
Flanagan, Cormac; Qadeer, Shaz
6
2003
From pre-historic to post-modern symbolic model checking. Zbl 1074.68036
Henzinger, Thomas A.; Kupferman, Orna; Qadeer, Shaz
5
2003
Predicate abstraction for software verification. Zbl 1323.68371
Flanagan, Cormac; Qadeer, Shaz
10
2002
Thread-modular verification for shared-memory programs. Zbl 1077.68606
Flanagan, Cormac; Freund, Stephen N.; Qadeer, Shaz
7
2002
A modular checker for multithreaded programs. Zbl 1010.68501
Flanagan, Cormac; Qadeer, Shaz; Seshia, Sanjit A.
3
2002
Partial-order reduction in symbolic state-space exploration. Zbl 1001.68080
Alur, R.; Brayton, R. K.; Henzinger, T. A.; Qadeer, S.; Rajamani, S. K.
12
2001
Induction in compositional model checking. Zbl 0974.68520
McMillan, Kenneth L.; Qadeer, Shaz; Saxe, James B.
3
2000
Verifying sequential consistency on shared-memory multiprocessor systems. Zbl 1046.68593
Henzinger, Thomas A.; Qadeer, Shaz; Rajamani, Sriram K.
2
1999
Assume-guarantee refinement between different time scales. Zbl 1046.68592
Henzinger, Thomas A.; Qadeer, Shaz; Rajamani, Sriram K.
1
1999
all top 5

Cited by 315 Authors

9 Atig, Mohamed Faouzi
7 Bouajjani, Ahmed
7 Touili, Tayssir
6 Bollig, Benedikt
6 Kröning, Daniel
4 Abdulla, Parosh Aziz
4 Habermehl, Peter
4 Qadeer, Shaz
4 Saivasan, Prakash
4 Wies, Thomas
3 Enea, Constantin
3 Gastin, Paul
3 Henzinger, Thomas A.
3 La Torre, Salvatore
3 Majumdar, Rupak
3 Meyer, Roland
3 Miné, Antoine
3 Namjoshi, Kedar S.
3 Parlato, Gennaro
3 Sagiv, Mooly
3 Sharygina, Natasha
2 Aiswarya, Cyriac
2 Babot, Francesc-Xavier
2 Barrett, Clark W.
2 Bertran, Miquel
2 Chatterjee, Krishnendu
2 Chin, Wei-Ngan
2 Chini, Peter
2 Clarke, Edmund Melson jun.
2 Climent, August
2 Cook, Byron
2 Donaldson, Alastair F.
2 Emmi, Michael
2 Giannakopoulou, Dimitra
2 Grindei, Manuela-Lidia
2 Guerraoui, Rachid
2 Gupta, Aarti
2 Gurov, Dilian
2 Holzmann, Gerard J.
2 Huisman, Marieke
2 Iosif, Radu
2 Jagannathan, Suresh
2 Jonsson, Bengt
2 Kahlon, Vineet
2 Kaiser, Alexander D.
2 Lahiri, Shuvendu Kumar
2 Muscholl, Anca
2 Napoli, Margherita
2 Păsăreanu, Corina S.
2 Podelski, Andreas
2 Praveen, M.
2 Qin, Shengchao
2 Rabinovich, Alexander
2 Raskin, Jean-François
2 Sánchez, Alejandro D.
2 Sánchez, César
2 Seshia, Sanjit Arunkumar
2 Seth, Anil K.
2 Sighireanu, Mihaela
2 Singh, Vasu
2 Vojnar, Tomáš
2 Wahl, Thomas
2 Weiss, Benjamin
1 Abadi, Aharon
1 Albert, Elvira
1 Alberti, Francesco
1 Aljazzar, Husain
1 Banerjee, Anindya
1 Barone-Adesi, Katerina
1 Barringer, Howard
1 Basten, H. J. S.
1 Basu, Samik
1 Baudru, Nicolas
1 Ben Rajeb, Narjes
1 Bersani, Marcello M.
1 Betin-Can, Aysu
1 Biere, Armin
1 Bjørner, Nikolaj S.
1 Böhme, Sascha
1 Bošnački, Dragan
1 Bozzelli, Laura
1 Braghin, Chiara
1 Bruttomesso, Roberto
1 Bsaïes, Khaled
1 Bultan, Tevfik
1 Cachera, David
1 Calder, Muffy
1 Černý, Pavol
1 Chambart, Pierre
1 Chen, Yiyun
1 Chmelík, Martin
1 Ciardo, Gianfranco
1 Cimatti, Alessandro
1 Cobleigh, Jamieson M.
1 Cohen, Ariel
1 Cohen, Ernie
1 Colón, Michael A.
1 Corona, Gabriel
1 Cyriac, Aiswarya
1 Daca, Przemysław
...and 215 more Authors

Citations by Year