×

zbMATH — the first resource for mathematics

Chaki, Sagar

Compute Distance To:
Author ID: chaki.sagar Recent zbMATH articles by "Chaki, Sagar"
Published as: Chaki, S.; Chaki, Sagar
Documents Indexed: 26 Publications since 2001

Publications by Year

Citations contained in zbMATH

21 Publications have been cited 115 times in 95 Documents Cited by Year
Types as models: model checking message-passing programs. Zbl 1323.68365
Chaki, Sagar; Rajamani, Sriram K.; Rehof, Jakob
16
2002
State/event-based software model checking. Zbl 1196.68129
Chaki, Sagar; Clarke, Edmund M.; Ouaknine, Joël; Sharygina, Natasha; Sinha, Nishant
13
2004
Verifying concurrent message-passing C programs with recursive calls. Zbl 1180.68109
Chaki, S.; Clarke, E.; Kidd, N.; Reps, T.; Touili, T.
12
2006
Automated assume-guarantee reasoning for simulation conformance. Zbl 1081.68612
Chaki, Sagar; Clarke, Edmund; Sinha, Nishant; Thati, Prasanna
9
2005
Optimized \(L^*\)-based assume-guarantee reasoning. Zbl 1147.68568
Chaki, Sagar; Strichman, Ofer
8
2007
Concurrent software verification with states, events, and deadlocks. Zbl 1103.68609
Chaki, Sagar; Clarke, Edmund; Ouaknine, Joël; Sharygina, Natasha; Sinha, Nishant
7
2005
Parameterized verification of multithreaded software libraries. Zbl 0978.68679
Ball, Thomas; Chaki, Sagar; Rajamani, Sriram K.
7
2001
SMT-based model checking for recursive programs. Zbl 1358.68072
Komuravelli, Anvesh; Gurfinkel, Arie; Chaki, Sagar
6
2016
BDD-based symbolic model checking. Zbl 1392.68239
Chaki, Sagar; Gurfinkel, Arie
5
2018
Dynamic component substitutability analysis. Zbl 1120.68421
Sharygina, Natasha; Chaki, Sagar; Clarke, Edmund; Sinha, Nishant
5
2005
Regression verification for multi-threaded programs. Zbl 1325.68060
Chaki, Sagar; Gurfinkel, Arie; Strichman, Ofer
4
2012
Boxes: a symbolic abstract domain of boxes. Zbl 1306.68026
Gurfinkel, Arie; Chaki, Sagar
4
2010
Verification of evolving software via component substitutability analysis. Zbl 1147.68047
Chaki, Sagar; Clarke, Edmund; Sharygina, Natasha; Sinha, Nishant
4
2008
State/event software verification for branching-time specifications. Zbl 1137.68432
Chaki, Sagar; Clarke, Edmund; Grumberg, Orna; Ouaknine, Joël; Sharygina, Natasha; Touili, Tayssir; Veith, Helmut
3
2005
The ComFoRT reasoning framework. Zbl 1081.68613
Chaki, Sagar; Ivers, James; Sharygina, Natasha; Wallnau, Kurt
3
2005
Parametric verification of address space separation. Zbl 1353.68177
Franklin, Jason; Chaki, Sagar; Datta, Anupam; McCune, Jonathan M.; Vasudevan, Amit
2
2012
Efficient verification of sequential and concurrent C programs. Zbl 1101.68677
Chaki, S.; Clarke, E.; Groce, A.; Ouaknine, J.; Strichman, O.; Yorav, K.
2
2004
Automated compositional abstraction refinement for concurrent C programs: a two-level approach. Zbl 1271.68081
Chaki, Sagar; Ouaknine, Joël; Yorav, Karen; Clarke, Edmund
2
2003
Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation). Zbl 1331.68048
Chaki, Sagar; Gurfinkel, Arie; Strichman, Ofer
1
2015
Three optimizations for assume-guarantee reasoning with \(L^{*}\). Zbl 1147.68569
Chaki, Sagar; Strichman, Ofer
1
2008
Predicate abstraction with minimum predicates. Zbl 1179.68033
Chaki, Sagar; Clarke, Edmund; Groce, Alex; Strichman, Ofer
1
2003
BDD-based symbolic model checking. Zbl 1392.68239
Chaki, Sagar; Gurfinkel, Arie
5
2018
SMT-based model checking for recursive programs. Zbl 1358.68072
Komuravelli, Anvesh; Gurfinkel, Arie; Chaki, Sagar
6
2016
Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation). Zbl 1331.68048
Chaki, Sagar; Gurfinkel, Arie; Strichman, Ofer
1
2015
Regression verification for multi-threaded programs. Zbl 1325.68060
Chaki, Sagar; Gurfinkel, Arie; Strichman, Ofer
4
2012
Parametric verification of address space separation. Zbl 1353.68177
Franklin, Jason; Chaki, Sagar; Datta, Anupam; McCune, Jonathan M.; Vasudevan, Amit
2
2012
Boxes: a symbolic abstract domain of boxes. Zbl 1306.68026
Gurfinkel, Arie; Chaki, Sagar
4
2010
Verification of evolving software via component substitutability analysis. Zbl 1147.68047
Chaki, Sagar; Clarke, Edmund; Sharygina, Natasha; Sinha, Nishant
4
2008
Three optimizations for assume-guarantee reasoning with \(L^{*}\). Zbl 1147.68569
Chaki, Sagar; Strichman, Ofer
1
2008
Optimized \(L^*\)-based assume-guarantee reasoning. Zbl 1147.68568
Chaki, Sagar; Strichman, Ofer
8
2007
Verifying concurrent message-passing C programs with recursive calls. Zbl 1180.68109
Chaki, S.; Clarke, E.; Kidd, N.; Reps, T.; Touili, T.
12
2006
Automated assume-guarantee reasoning for simulation conformance. Zbl 1081.68612
Chaki, Sagar; Clarke, Edmund; Sinha, Nishant; Thati, Prasanna
9
2005
Concurrent software verification with states, events, and deadlocks. Zbl 1103.68609
Chaki, Sagar; Clarke, Edmund; Ouaknine, Joël; Sharygina, Natasha; Sinha, Nishant
7
2005
Dynamic component substitutability analysis. Zbl 1120.68421
Sharygina, Natasha; Chaki, Sagar; Clarke, Edmund; Sinha, Nishant
5
2005
State/event software verification for branching-time specifications. Zbl 1137.68432
Chaki, Sagar; Clarke, Edmund; Grumberg, Orna; Ouaknine, Joël; Sharygina, Natasha; Touili, Tayssir; Veith, Helmut
3
2005
The ComFoRT reasoning framework. Zbl 1081.68613
Chaki, Sagar; Ivers, James; Sharygina, Natasha; Wallnau, Kurt
3
2005
State/event-based software model checking. Zbl 1196.68129
Chaki, Sagar; Clarke, Edmund M.; Ouaknine, Joël; Sharygina, Natasha; Sinha, Nishant
13
2004
Efficient verification of sequential and concurrent C programs. Zbl 1101.68677
Chaki, S.; Clarke, E.; Groce, A.; Ouaknine, J.; Strichman, O.; Yorav, K.
2
2004
Automated compositional abstraction refinement for concurrent C programs: a two-level approach. Zbl 1271.68081
Chaki, Sagar; Ouaknine, Joël; Yorav, Karen; Clarke, Edmund
2
2003
Predicate abstraction with minimum predicates. Zbl 1179.68033
Chaki, Sagar; Clarke, Edmund; Groce, Alex; Strichman, Ofer
1
2003
Types as models: model checking message-passing programs. Zbl 1323.68365
Chaki, Sagar; Rajamani, Sriram K.; Rehof, Jakob
16
2002
Parameterized verification of multithreaded software libraries. Zbl 0978.68679
Ball, Thomas; Chaki, Sagar; Rajamani, Sriram K.
7
2001
all top 5

Cited by 219 Authors

6 Touili, Tayssir
5 Kröning, Daniel
4 Grumberg, Orna
4 Shoham, Sharon
3 Beneš, Nikola
3 Černá, Ivana
3 Chaki, Sagar
3 Clarke, Edmund Melson jun.
3 Dong, JinSong
3 Kobayashi, Naoki
3 Kuncak, Viktor
3 Liu, Yang
3 Păsăreanu, Corina S.
3 Sharygina, Natasha
3 Sun, Jun
3 Wahl, Thomas
2 Acciai, Lucia
2 Alur, Rajeev
2 Atig, Mohamed Faouzi
2 Barrett, Clark W.
2 Boreale, Michele
2 Bouajjani, Ahmed
2 Brim, Luboš
2 Caires, Luís
2 Cook, Byron
2 Gay, Simon J.
2 Giannakopoulou, Dimitra
2 Gupta, Aarti
2 Kaiser, Alexander D.
2 Laneve, Cosimo
2 Lucanu, Dorel
2 Martín, Óscar
2 Namjoshi, Kedar S.
2 Qadeer, Shaz
2 Ravara, António
2 Reynolds, Andrew
2 Roscoe, Andrew William
2 Rusu, Vlad
2 Sochor, Jiri
2 Strichman, Ofer
2 Tinelli, Cesare
2 Vařeková, Pavlina
2 Vasconcelos, Vasco Thudichum
2 Verdejo, Alberto
1 Abbasi, Rosa
1 Abd Elkader, Karam
1 Abreu Júnior, João Carlos
1 André, Étienne
1 Antonino, Pedro
1 Aoki, Toshiaki
1 Bae, Kyungmin
1 Bakewell, Adam
1 Balakrishnan, Gogul
1 Barone-Adesi, Katerina
1 Barringer, Howard
1 Barthe, Gilles
1 Basler, Gérard
1 Basu, Samik
1 Ben Rajeb, Narjes
1 Berger, Martin J.
1 Betarte, Gustavo
1 Bhattarakosol, Pattarasinee
1 Biyani, Karun N.
1 Braghin, Chiara
1 Brogi, Antonio
1 Bryant, Randal E.
1 Buhnova, B.
1 Bursuc, Sergiu
1 Campo, Juan Diego
1 Cao, Yongzhi
1 Chakraborty, Supratik
1 Champion, Adrien
1 Chatterjee, Krishnendu
1 Chechik, Marsha
1 Chen, Liqian
1 Chen, Yixiang
1 Chen, Yu-Fang
1 Chiba, Tomoya
1 Chmelík, Martin
1 Ciobâcă, Ştefan
1 Cobleigh, Jamieson M.
1 Cohen, Ariel
1 Daca, Przemysław
1 Dams, Dennis René
1 Degano, Pierpaolo
1 Deters, Morgan
1 Dimarogonas, Dimos V.
1 Dobrikov, Ivaylo
1 Donaldson, Alastair F.
1 Enea, Constantin
1 Esparza, Javier
1 Farzan, Azadeh
1 Feldman, Yotam M. Y.
1 Ferrari, Gian Luigi
1 Fiadeiro, José Luiz
1 Finkel, Alain
1 Flanagan, Cormac
1 Freund, Stephen Neal
1 Frumkin, Asya
1 Fu, Zhaohui
...and 119 more Authors

Citations by Year