Edit Profile Chaki, Sagar Compute Distance To: Compute Author ID: chaki.sagar Published as: Chaki, S.; Chaki, Sagar Documents Indexed: 26 Publications since 2001 all top 5 Co-Authors 1 single-authored 11 Clarke, Edmund Melson jun. 7 Strichman, Ofer 6 Gurfinkel, Arie 6 Ouaknine, Joel O. 6 Sharygina, Natasha 5 Sinha, Nishant 2 Groce, Alex 2 Rajamani, Sriram K. 2 Touili, Tayssir 2 Veith, Helmut 2 Yorav, Karen 1 Ball, Thomas 1 Datta, Anupam 1 Franklin, Jason 1 Grumberg, Orna 1 Ivers, James 1 Jha, Somesh 1 Karimi, Derrick 1 Kidd, Nicholas 1 Komuravelli, Anvesh 1 Kong, Soonho 1 McCune, Jonathan M. 1 Rehof, Jakob 1 Reps, Thomas W. 1 Stokely, Murray 1 Thati, Prasanna 1 Vasudevan, Amit 1 Wallnau, Kurt C. Serials 5 Formal Methods in System Design 1 Formal Aspects of Computing 1 Journal of Logic and Computation Fields 26 Computer science (68-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications 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.68365Chaki, Sagar; Rajamani, Sriram K.; Rehof, Jakob 16 2002 State/event-based software model checking. Zbl 1196.68129Chaki, Sagar; Clarke, Edmund M.; Ouaknine, Joël; Sharygina, Natasha; Sinha, Nishant 13 2004 Verifying concurrent message-passing C programs with recursive calls. Zbl 1180.68109Chaki, S.; Clarke, E.; Kidd, N.; Reps, T.; Touili, T. 12 2006 Automated assume-guarantee reasoning for simulation conformance. Zbl 1081.68612Chaki, Sagar; Clarke, Edmund; Sinha, Nishant; Thati, Prasanna 9 2005 Optimized \(L^*\)-based assume-guarantee reasoning. Zbl 1147.68568Chaki, Sagar; Strichman, Ofer 8 2007 Concurrent software verification with states, events, and deadlocks. Zbl 1103.68609Chaki, Sagar; Clarke, Edmund; Ouaknine, Joël; Sharygina, Natasha; Sinha, Nishant 7 2005 Parameterized verification of multithreaded software libraries. Zbl 0978.68679Ball, Thomas; Chaki, Sagar; Rajamani, Sriram K. 7 2001 SMT-based model checking for recursive programs. Zbl 1358.68072Komuravelli, Anvesh; Gurfinkel, Arie; Chaki, Sagar 6 2016 BDD-based symbolic model checking. Zbl 1392.68239Chaki, Sagar; Gurfinkel, Arie 5 2018 Dynamic component substitutability analysis. Zbl 1120.68421Sharygina, Natasha; Chaki, Sagar; Clarke, Edmund; Sinha, Nishant 5 2005 Regression verification for multi-threaded programs. Zbl 1325.68060Chaki, Sagar; Gurfinkel, Arie; Strichman, Ofer 4 2012 Boxes: a symbolic abstract domain of boxes. Zbl 1306.68026Gurfinkel, Arie; Chaki, Sagar 4 2010 Verification of evolving software via component substitutability analysis. Zbl 1147.68047Chaki, Sagar; Clarke, Edmund; Sharygina, Natasha; Sinha, Nishant 4 2008 State/event software verification for branching-time specifications. Zbl 1137.68432Chaki, Sagar; Clarke, Edmund; Grumberg, Orna; Ouaknine, Joël; Sharygina, Natasha; Touili, Tayssir; Veith, Helmut 3 2005 The ComFoRT reasoning framework. Zbl 1081.68613Chaki, Sagar; Ivers, James; Sharygina, Natasha; Wallnau, Kurt 3 2005 Parametric verification of address space separation. Zbl 1353.68177Franklin, Jason; Chaki, Sagar; Datta, Anupam; McCune, Jonathan M.; Vasudevan, Amit 2 2012 Efficient verification of sequential and concurrent C programs. Zbl 1101.68677Chaki, 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.68081Chaki, 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.68048Chaki, Sagar; Gurfinkel, Arie; Strichman, Ofer 1 2015 Three optimizations for assume-guarantee reasoning with \(L^{*}\). Zbl 1147.68569Chaki, Sagar; Strichman, Ofer 1 2008 Predicate abstraction with minimum predicates. Zbl 1179.68033Chaki, Sagar; Clarke, Edmund; Groce, Alex; Strichman, Ofer 1 2003 BDD-based symbolic model checking. Zbl 1392.68239Chaki, Sagar; Gurfinkel, Arie 5 2018 SMT-based model checking for recursive programs. Zbl 1358.68072Komuravelli, Anvesh; Gurfinkel, Arie; Chaki, Sagar 6 2016 Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation). Zbl 1331.68048Chaki, Sagar; Gurfinkel, Arie; Strichman, Ofer 1 2015 Regression verification for multi-threaded programs. Zbl 1325.68060Chaki, Sagar; Gurfinkel, Arie; Strichman, Ofer 4 2012 Parametric verification of address space separation. Zbl 1353.68177Franklin, Jason; Chaki, Sagar; Datta, Anupam; McCune, Jonathan M.; Vasudevan, Amit 2 2012 Boxes: a symbolic abstract domain of boxes. Zbl 1306.68026Gurfinkel, Arie; Chaki, Sagar 4 2010 Verification of evolving software via component substitutability analysis. Zbl 1147.68047Chaki, Sagar; Clarke, Edmund; Sharygina, Natasha; Sinha, Nishant 4 2008 Three optimizations for assume-guarantee reasoning with \(L^{*}\). Zbl 1147.68569Chaki, Sagar; Strichman, Ofer 1 2008 Optimized \(L^*\)-based assume-guarantee reasoning. Zbl 1147.68568Chaki, Sagar; Strichman, Ofer 8 2007 Verifying concurrent message-passing C programs with recursive calls. Zbl 1180.68109Chaki, S.; Clarke, E.; Kidd, N.; Reps, T.; Touili, T. 12 2006 Automated assume-guarantee reasoning for simulation conformance. Zbl 1081.68612Chaki, Sagar; Clarke, Edmund; Sinha, Nishant; Thati, Prasanna 9 2005 Concurrent software verification with states, events, and deadlocks. Zbl 1103.68609Chaki, Sagar; Clarke, Edmund; Ouaknine, Joël; Sharygina, Natasha; Sinha, Nishant 7 2005 Dynamic component substitutability analysis. Zbl 1120.68421Sharygina, Natasha; Chaki, Sagar; Clarke, Edmund; Sinha, Nishant 5 2005 State/event software verification for branching-time specifications. Zbl 1137.68432Chaki, Sagar; Clarke, Edmund; Grumberg, Orna; Ouaknine, Joël; Sharygina, Natasha; Touili, Tayssir; Veith, Helmut 3 2005 The ComFoRT reasoning framework. Zbl 1081.68613Chaki, Sagar; Ivers, James; Sharygina, Natasha; Wallnau, Kurt 3 2005 State/event-based software model checking. Zbl 1196.68129Chaki, Sagar; Clarke, Edmund M.; Ouaknine, Joël; Sharygina, Natasha; Sinha, Nishant 13 2004 Efficient verification of sequential and concurrent C programs. Zbl 1101.68677Chaki, 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.68081Chaki, Sagar; Ouaknine, Joël; Yorav, Karen; Clarke, Edmund 2 2003 Predicate abstraction with minimum predicates. Zbl 1179.68033Chaki, Sagar; Clarke, Edmund; Groce, Alex; Strichman, Ofer 1 2003 Types as models: model checking message-passing programs. Zbl 1323.68365Chaki, Sagar; Rajamani, Sriram K.; Rehof, Jakob 16 2002 Parameterized verification of multithreaded software libraries. Zbl 0978.68679Ball, Thomas; Chaki, Sagar; Rajamani, Sriram K. 7 2001 all cited Publications top 5 cited Publications 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 all top 5 Cited in 18 Serials 22 Formal Methods in System Design 11 Theoretical Computer Science 11 Formal Aspects of Computing 7 Information and Computation 4 Science of Computer Programming 3 Acta Informatica 2 Journal of Automated Reasoning 1 International Journal of General Systems 1 New Generation Computing 1 International Journal of Approximate Reasoning 1 Journal of Parallel and Distributed Computing 1 Real-Time Systems 1 Mathematical Problems in Engineering 1 The Journal of Logic and Algebraic Programming 1 Theory and Practice of Logic Programming 1 Science in China. Series F 1 Nonlinear Analysis. Hybrid Systems 1 Frontiers of Computer Science all top 5 Cited in 8 Fields 94 Computer science (68-XX) 11 Mathematical logic and foundations (03-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 General algebraic systems (08-XX) 1 Numerical analysis (65-XX) 1 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year