Edit Profile Gurfinkel, Arie Compute Distance To: Compute Author ID: gurfinkel.arie Published as: Gurfinkel, Arie External Links: MGP · Wikidata Documents Indexed: 41 Publications since 2001, including 1 Book all top 5 Co-Authors 0 single-authored 21 Chechik, Marsha 6 Chaki, Sagar 5 Strichman, Ofer 5 Wei, Ou 4 Albarghouthi, Aws 3 Devereux, Benet 3 Fedyukovich, Grigory 3 Sharygina, Natasha 2 Bjørner, Nikolaj S. 2 Chockler, Hana 2 Malik, Sharad 2 Vizel, Yakir 1 Barrett, Clark W. 1 Berezin, Sergey 1 Bourbouh, Hamza 1 Dill, David L. 1 Dillig, Isil 1 Easterbrook, Steve 1 Garion, Christophe 1 Garoche, Pierre-Loïc 1 Ghafari, Naghmeh 1 Gheorghiu, Mihaela 1 Gupta, Aarti 1 Kahsai, Temesghen 1 Kincaid, Zachary 1 Klarlund, Nils 1 Komuravelli, Anvesh 1 Kong, Soonho 1 Lai, Albert Y. C. 1 Li, Yi 1 McMillan, Kenneth L. 1 Rollini, Simone Fulvio 1 Rybalchenko, Andrey 1 Seshia, Sanjit Arunkumar 1 Shikanian, Igor 1 Shoham, Sharon 1 Thirioux, Xavier 1 Trefler, Richard J. Serials 4 Formal Methods in System Design 2 ACM Transactions on Computational Logic 1 Information and Computation 1 Lecture Notes in Computer Science Fields 41 Computer science (68-XX) 11 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 31 Publications have been cited 133 times in 90 Documents Cited by ▼ Year ▼ Data structures for symbolic multi-valued model-checking. Zbl 1109.68063Chechik, Marsha; Gurfinkel, Arie; Devereux, Benet; Lai, Albert; Easterbrook, Steve 17 2006 Symbolic optimization with SMT solvers. Zbl 1284.68410Li, Yi; Albarghouthi, Aws; Kincaid, Zachary; Gurfinkel, Arie; Chechik, Marsha 10 2014 Model-checking infinite state-space systems with fine-grained abstractions using SPIN. Zbl 0985.68031Chechik, Marsha; Devereux, Benet; Gurfinkel, Arie 10 2001 Multi-valued model checking via classical model checking. Zbl 1274.68189Gurfinkel, Arie; Chechik, Marsha 9 2003 How vacuous is vacuous? Zbl 1126.68479Gurfinkel, Arie; Chechik, Marsha 8 2004 Why waste a perfectly good abstraction? Zbl 1180.68174Gurfinkel, Arie; Chechik, Marsha 7 2006 SMT-based model checking for recursive programs. Zbl 1358.68072Komuravelli, Anvesh; Gurfinkel, Arie; Chaki, Sagar 6 2016 Extending extended vacuity. Zbl 1117.68430Gurfinkel, Arie; Chechik, Marsha 6 2004 BDD-based symbolic model checking. Zbl 1392.68239Chaki, Sagar; Gurfinkel, Arie 5 2018 Horn clause solvers for program verification. Zbl 06484064Bjørner, Nikolaj; Gurfinkel, Arie; McMillan, Ken; Rybalchenko, Andrey 5 2015 From under-approximations to over-approximations and back. Zbl 1352.68140Albarghouthi, Aws; Gurfinkel, Arie; Chechik, Marsha 5 2012 Systematic construction of abstractions for model-checking. Zbl 1176.68121Gurfinkel, Arie; Wei, Ou; Chechik, Marsha 5 2006 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 Property directed polyhedral abstraction. Zbl 1432.68257Bjørner, Nikolaj; Gurfinkel, Arie 3 2015 Beyond vacuity: towards the strongest passing formula. Zbl 1291.68253Chockler, Hana; Gurfinkel, Arie; Strichman, Ofer 3 2013 Whale: an interpolation-based algorithm for inter-procedural verification. Zbl 1325.68137Albarghouthi, Aws; Gurfinkel, Arie; Chechik, Marsha 3 2012 Mixed transition systems revisited. Zbl 1206.68194Wei, Ou; Gurfinkel, Arie; Chechik, Marsha 3 2009 Finding state solutions to temporal logic queries. Zbl 1213.68377Gheorghiu, Mihaela; Gurfinkel, Arie; Chechik, Marsha 3 2007 A practical approach to partial functions in CVC Lite. Zbl 1272.03136Berezin, Sergey; Barrett, Clark; Shikanian, Igor; Chechik, Marsha; Gurfinkel, Arie; Dill, David L. 3 2005 \({\mathcal X}\)Chek: A multi-valued model-checker. Zbl 1010.68809Chechik, Marsha; Gurfinkel, Arie; Devereux, Benet 3 2002 Model checking recursive programs with exact predicate abstraction. Zbl 1183.68373Gurfinkel, Arie; Wei, Ou; Chechik, Marsha 2 2008 Fast interpolating BMC. Zbl 1381.68185Vizel, Yakir; Gurfinkel, Arie; Malik, Sharad 1 2015 Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation). Zbl 1331.68048Chaki, Sagar; Gurfinkel, Arie; Strichman, Ofer 1 2015 Automated discovery of simulation between programs. Zbl 06528810Fedyukovich, Grigory; Gurfinkel, Arie; Sharygina, Natasha 1 2015 Reachability problems in piecewise FIFO systems. Zbl 1351.68161Ghafari, Naghmeh; Gurfinkel, Arie; Klarlund, Nils; Trefler, Richard 1 2012 Variants of LTL query checking. Zbl 1325.68144Chockler, Hana; Gurfinkel, Arie; Strichman, Ofer 1 2011 Identification and counter abstraction for full virtual symmetry. Zbl 1159.68345Wei, Ou; Gurfinkel, Arie; Chechik, Marsha 1 2005 How thorough is thorough enough? Zbl 1159.68323Gurfinkel, Arie; Chechik, Marsha 1 2005 A framework for counterexample generation and exploration. Zbl 1119.68368Chechik, Marsha; Gurfinkel, Arie 1 2005 Proof-like counter-examples. Zbl 1031.68079Gurfinkel, Arie; Chechik, Marsha 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 Horn clause solvers for program verification. Zbl 06484064Bjørner, Nikolaj; Gurfinkel, Arie; McMillan, Ken; Rybalchenko, Andrey 5 2015 Property directed polyhedral abstraction. Zbl 1432.68257Bjørner, Nikolaj; Gurfinkel, Arie 3 2015 Fast interpolating BMC. Zbl 1381.68185Vizel, Yakir; Gurfinkel, Arie; Malik, Sharad 1 2015 Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation). Zbl 1331.68048Chaki, Sagar; Gurfinkel, Arie; Strichman, Ofer 1 2015 Automated discovery of simulation between programs. Zbl 06528810Fedyukovich, Grigory; Gurfinkel, Arie; Sharygina, Natasha 1 2015 Symbolic optimization with SMT solvers. Zbl 1284.68410Li, Yi; Albarghouthi, Aws; Kincaid, Zachary; Gurfinkel, Arie; Chechik, Marsha 10 2014 Beyond vacuity: towards the strongest passing formula. Zbl 1291.68253Chockler, Hana; Gurfinkel, Arie; Strichman, Ofer 3 2013 From under-approximations to over-approximations and back. Zbl 1352.68140Albarghouthi, Aws; Gurfinkel, Arie; Chechik, Marsha 5 2012 Regression verification for multi-threaded programs. Zbl 1325.68060Chaki, Sagar; Gurfinkel, Arie; Strichman, Ofer 4 2012 Whale: an interpolation-based algorithm for inter-procedural verification. Zbl 1325.68137Albarghouthi, Aws; Gurfinkel, Arie; Chechik, Marsha 3 2012 Reachability problems in piecewise FIFO systems. Zbl 1351.68161Ghafari, Naghmeh; Gurfinkel, Arie; Klarlund, Nils; Trefler, Richard 1 2012 Variants of LTL query checking. Zbl 1325.68144Chockler, Hana; Gurfinkel, Arie; Strichman, Ofer 1 2011 Boxes: a symbolic abstract domain of boxes. Zbl 1306.68026Gurfinkel, Arie; Chaki, Sagar 4 2010 Mixed transition systems revisited. Zbl 1206.68194Wei, Ou; Gurfinkel, Arie; Chechik, Marsha 3 2009 Model checking recursive programs with exact predicate abstraction. Zbl 1183.68373Gurfinkel, Arie; Wei, Ou; Chechik, Marsha 2 2008 Finding state solutions to temporal logic queries. Zbl 1213.68377Gheorghiu, Mihaela; Gurfinkel, Arie; Chechik, Marsha 3 2007 Data structures for symbolic multi-valued model-checking. Zbl 1109.68063Chechik, Marsha; Gurfinkel, Arie; Devereux, Benet; Lai, Albert; Easterbrook, Steve 17 2006 Why waste a perfectly good abstraction? Zbl 1180.68174Gurfinkel, Arie; Chechik, Marsha 7 2006 Systematic construction of abstractions for model-checking. Zbl 1176.68121Gurfinkel, Arie; Wei, Ou; Chechik, Marsha 5 2006 A practical approach to partial functions in CVC Lite. Zbl 1272.03136Berezin, Sergey; Barrett, Clark; Shikanian, Igor; Chechik, Marsha; Gurfinkel, Arie; Dill, David L. 3 2005 Identification and counter abstraction for full virtual symmetry. Zbl 1159.68345Wei, Ou; Gurfinkel, Arie; Chechik, Marsha 1 2005 How thorough is thorough enough? Zbl 1159.68323Gurfinkel, Arie; Chechik, Marsha 1 2005 A framework for counterexample generation and exploration. Zbl 1119.68368Chechik, Marsha; Gurfinkel, Arie 1 2005 How vacuous is vacuous? Zbl 1126.68479Gurfinkel, Arie; Chechik, Marsha 8 2004 Extending extended vacuity. Zbl 1117.68430Gurfinkel, Arie; Chechik, Marsha 6 2004 Multi-valued model checking via classical model checking. Zbl 1274.68189Gurfinkel, Arie; Chechik, Marsha 9 2003 Proof-like counter-examples. Zbl 1031.68079Gurfinkel, Arie; Chechik, Marsha 1 2003 \({\mathcal X}\)Chek: A multi-valued model-checker. Zbl 1010.68809Chechik, Marsha; Gurfinkel, Arie; Devereux, Benet 3 2002 Model-checking infinite state-space systems with fine-grained abstractions using SPIN. Zbl 0985.68031Chechik, Marsha; Devereux, Benet; Gurfinkel, Arie 10 2001 all cited Publications top 5 cited Publications all top 5 Cited by 192 Authors 7 Gurfinkel, Arie 6 Kupferman, Orna 5 Li, Yongming 4 Chechik, Marsha 4 Chockler, Hana 4 Grumberg, Orna 4 Shoham, Sharon 4 Strichman, Ofer 3 Barrett, Clark W. 3 Cao, Yongzhi 3 Chaki, Sagar 3 Kuncak, Viktor 3 Pan, Haiyu 3 Schuppan, Viktor 3 Sharygina, Natasha 3 Tinelli, Cesare 2 Ben-David, Shoham 2 Bouajjani, Ahmed 2 Ebrahimi, Masoud 2 Huth, Michael R. A. 2 Hyvärinen, Antti E. J. 2 Larsen, Kim Guldstrand 2 Lucanu, Dorel 2 Lyu, Yinrun 2 Ma, Zhanyou 2 Min-Allah, Nasro 2 Movaghar, Ali 2 Reynolds, Andrew 2 Rusu, Vlad 2 Sebastiani, Roberto 2 Sotudeh, Gholamreza 2 Srba, Jiří 2 Tribastone, Mirco 2 Vandin, Andrea 2 Wang, Yongji 2 Wei, Ou 2 Zhang, Changyou 1 Ábrahám, Erika 1 Alhiyafi, Jamal 1 Almagor, Shaull 1 Alt, Leonardo S. 1 Alur, Rajeev 1 Andrade, Jefferson O. 1 Avni, Guy 1 Balakrishnan, Gogul 1 Basler, Gérard 1 Beer, Ilan 1 Beneš, Nikola 1 Beyer, Dirk 1 Bjørner, Nikolaj S. 1 Bloem, Roderick 1 Bohlender, Dimitri 1 Boker, Udi 1 Bryant, Randal E. 1 Cardelli, Luca 1 Chakraborty, Supratik 1 Champion, Adrien 1 Charlton, Nathaniel 1 Chatterjee, Krishnendu 1 Chatterjee, Satrajit 1 Chen, Li 1 Chen, Li 1 Chen, Liqian 1 Chen, Yixiang 1 Chiba, Tomoya 1 Ciancia, Vincenzo 1 Cimatti, Alessandro 1 Ciobâcă, Ştefan 1 Clarke, Edmund Melson jun. 1 Copty, Fady 1 Dams, Dennis René 1 Dangl, Matthias 1 Daniel, Jakub 1 De Angelis, Emanuele 1 de Nivelle, Hans 1 Deters, Morgan 1 Devereux, Benet 1 Droste, Manfred 1 Easterbrook, Steve 1 Enea, Constantin 1 Esparza, Javier 1 Faella, Marco 1 Fainekos, Georgios E. 1 Falke, Stephan 1 Fantechi, Alessandro 1 Fedyukovich, Grigory 1 Feldman, Yotam M. Y. 1 Ferrari, Gian Luigi 1 Fioravanti, Fabio 1 Fisman, Dana 1 Frumkin, Asya 1 Fu, Peng 1 Ghezzi, Carlo 1 Ghorbal, Khalil 1 Gnesi, Stefania 1 Gonen, Hila 1 Gotmanov, Alexander 1 Griggio, Alberto 1 Gupta, Aarti 1 Gurov, Dilian ...and 92 more Authors all top 5 Cited in 21 Serials 18 Formal Methods in System Design 8 Theoretical Computer Science 5 Journal of Automated Reasoning 4 Information and Computation 4 Formal Aspects of Computing 2 Acta Informatica 2 Fuzzy Sets and Systems 2 Information Sciences 2 Science of Computer Programming 2 Journal of Global Optimization 2 Discrete Event Dynamic Systems 2 ACM Transactions on Computational Logic 1 Artificial Intelligence 1 Journal of Computer and System Sciences 1 New Generation Computing 1 International Journal of Approximate Reasoning 1 The Journal of Logic and Algebraic Programming 1 Theory and Practice of Logic Programming 1 Logical Methods in Computer Science 1 Central European Journal of Computer Science 1 Computer Science Review all top 5 Cited in 11 Fields 85 Computer science (68-XX) 37 Mathematical logic and foundations (03-XX) 3 Systems theory; control (93-XX) 2 Combinatorics (05-XX) 2 Operations research, mathematical programming (90-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 General algebraic systems (08-XX) 1 Ordinary differential equations (34-XX) 1 Numerical analysis (65-XX) 1 Biology and other natural sciences (92-XX) Citations by Year Wikidata Timeline