×

zbMATH — the first resource for mathematics

Gurfinkel, Arie

Compute Distance To:
Author ID: gurfinkel.arie Recent zbMATH articles by "Gurfinkel, Arie"
Published as: Gurfinkel, Arie
External Links: MGP · Wikidata
Documents Indexed: 41 Publications since 2001, including 1 Book

Publications by Year

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.68063
Chechik, Marsha; Gurfinkel, Arie; Devereux, Benet; Lai, Albert; Easterbrook, Steve
17
2006
Symbolic optimization with SMT solvers. Zbl 1284.68410
Li, 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.68031
Chechik, Marsha; Devereux, Benet; Gurfinkel, Arie
10
2001
Multi-valued model checking via classical model checking. Zbl 1274.68189
Gurfinkel, Arie; Chechik, Marsha
9
2003
How vacuous is vacuous? Zbl 1126.68479
Gurfinkel, Arie; Chechik, Marsha
8
2004
Why waste a perfectly good abstraction? Zbl 1180.68174
Gurfinkel, Arie; Chechik, Marsha
7
2006
SMT-based model checking for recursive programs. Zbl 1358.68072
Komuravelli, Anvesh; Gurfinkel, Arie; Chaki, Sagar
6
2016
Extending extended vacuity. Zbl 1117.68430
Gurfinkel, Arie; Chechik, Marsha
6
2004
BDD-based symbolic model checking. Zbl 1392.68239
Chaki, Sagar; Gurfinkel, Arie
5
2018
Horn clause solvers for program verification. Zbl 06484064
Bjørner, Nikolaj; Gurfinkel, Arie; McMillan, Ken; Rybalchenko, Andrey
5
2015
From under-approximations to over-approximations and back. Zbl 1352.68140
Albarghouthi, Aws; Gurfinkel, Arie; Chechik, Marsha
5
2012
Systematic construction of abstractions for model-checking. Zbl 1176.68121
Gurfinkel, Arie; Wei, Ou; Chechik, Marsha
5
2006
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
Property directed polyhedral abstraction. Zbl 1432.68257
Bjørner, Nikolaj; Gurfinkel, Arie
3
2015
Beyond vacuity: towards the strongest passing formula. Zbl 1291.68253
Chockler, Hana; Gurfinkel, Arie; Strichman, Ofer
3
2013
Whale: an interpolation-based algorithm for inter-procedural verification. Zbl 1325.68137
Albarghouthi, Aws; Gurfinkel, Arie; Chechik, Marsha
3
2012
Mixed transition systems revisited. Zbl 1206.68194
Wei, Ou; Gurfinkel, Arie; Chechik, Marsha
3
2009
Finding state solutions to temporal logic queries. Zbl 1213.68377
Gheorghiu, Mihaela; Gurfinkel, Arie; Chechik, Marsha
3
2007
A practical approach to partial functions in CVC Lite. Zbl 1272.03136
Berezin, Sergey; Barrett, Clark; Shikanian, Igor; Chechik, Marsha; Gurfinkel, Arie; Dill, David L.
3
2005
\({\mathcal X}\)Chek: A multi-valued model-checker. Zbl 1010.68809
Chechik, Marsha; Gurfinkel, Arie; Devereux, Benet
3
2002
Model checking recursive programs with exact predicate abstraction. Zbl 1183.68373
Gurfinkel, Arie; Wei, Ou; Chechik, Marsha
2
2008
Fast interpolating BMC. Zbl 1381.68185
Vizel, Yakir; Gurfinkel, Arie; Malik, Sharad
1
2015
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
Automated discovery of simulation between programs. Zbl 06528810
Fedyukovich, Grigory; Gurfinkel, Arie; Sharygina, Natasha
1
2015
Reachability problems in piecewise FIFO systems. Zbl 1351.68161
Ghafari, Naghmeh; Gurfinkel, Arie; Klarlund, Nils; Trefler, Richard
1
2012
Variants of LTL query checking. Zbl 1325.68144
Chockler, Hana; Gurfinkel, Arie; Strichman, Ofer
1
2011
Identification and counter abstraction for full virtual symmetry. Zbl 1159.68345
Wei, Ou; Gurfinkel, Arie; Chechik, Marsha
1
2005
How thorough is thorough enough? Zbl 1159.68323
Gurfinkel, Arie; Chechik, Marsha
1
2005
A framework for counterexample generation and exploration. Zbl 1119.68368
Chechik, Marsha; Gurfinkel, Arie
1
2005
Proof-like counter-examples. Zbl 1031.68079
Gurfinkel, Arie; Chechik, Marsha
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
Horn clause solvers for program verification. Zbl 06484064
Bjørner, Nikolaj; Gurfinkel, Arie; McMillan, Ken; Rybalchenko, Andrey
5
2015
Property directed polyhedral abstraction. Zbl 1432.68257
Bjørner, Nikolaj; Gurfinkel, Arie
3
2015
Fast interpolating BMC. Zbl 1381.68185
Vizel, Yakir; Gurfinkel, Arie; Malik, Sharad
1
2015
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
Automated discovery of simulation between programs. Zbl 06528810
Fedyukovich, Grigory; Gurfinkel, Arie; Sharygina, Natasha
1
2015
Symbolic optimization with SMT solvers. Zbl 1284.68410
Li, Yi; Albarghouthi, Aws; Kincaid, Zachary; Gurfinkel, Arie; Chechik, Marsha
10
2014
Beyond vacuity: towards the strongest passing formula. Zbl 1291.68253
Chockler, Hana; Gurfinkel, Arie; Strichman, Ofer
3
2013
From under-approximations to over-approximations and back. Zbl 1352.68140
Albarghouthi, Aws; Gurfinkel, Arie; Chechik, Marsha
5
2012
Regression verification for multi-threaded programs. Zbl 1325.68060
Chaki, Sagar; Gurfinkel, Arie; Strichman, Ofer
4
2012
Whale: an interpolation-based algorithm for inter-procedural verification. Zbl 1325.68137
Albarghouthi, Aws; Gurfinkel, Arie; Chechik, Marsha
3
2012
Reachability problems in piecewise FIFO systems. Zbl 1351.68161
Ghafari, Naghmeh; Gurfinkel, Arie; Klarlund, Nils; Trefler, Richard
1
2012
Variants of LTL query checking. Zbl 1325.68144
Chockler, Hana; Gurfinkel, Arie; Strichman, Ofer
1
2011
Boxes: a symbolic abstract domain of boxes. Zbl 1306.68026
Gurfinkel, Arie; Chaki, Sagar
4
2010
Mixed transition systems revisited. Zbl 1206.68194
Wei, Ou; Gurfinkel, Arie; Chechik, Marsha
3
2009
Model checking recursive programs with exact predicate abstraction. Zbl 1183.68373
Gurfinkel, Arie; Wei, Ou; Chechik, Marsha
2
2008
Finding state solutions to temporal logic queries. Zbl 1213.68377
Gheorghiu, Mihaela; Gurfinkel, Arie; Chechik, Marsha
3
2007
Data structures for symbolic multi-valued model-checking. Zbl 1109.68063
Chechik, Marsha; Gurfinkel, Arie; Devereux, Benet; Lai, Albert; Easterbrook, Steve
17
2006
Why waste a perfectly good abstraction? Zbl 1180.68174
Gurfinkel, Arie; Chechik, Marsha
7
2006
Systematic construction of abstractions for model-checking. Zbl 1176.68121
Gurfinkel, Arie; Wei, Ou; Chechik, Marsha
5
2006
A practical approach to partial functions in CVC Lite. Zbl 1272.03136
Berezin, Sergey; Barrett, Clark; Shikanian, Igor; Chechik, Marsha; Gurfinkel, Arie; Dill, David L.
3
2005
Identification and counter abstraction for full virtual symmetry. Zbl 1159.68345
Wei, Ou; Gurfinkel, Arie; Chechik, Marsha
1
2005
How thorough is thorough enough? Zbl 1159.68323
Gurfinkel, Arie; Chechik, Marsha
1
2005
A framework for counterexample generation and exploration. Zbl 1119.68368
Chechik, Marsha; Gurfinkel, Arie
1
2005
How vacuous is vacuous? Zbl 1126.68479
Gurfinkel, Arie; Chechik, Marsha
8
2004
Extending extended vacuity. Zbl 1117.68430
Gurfinkel, Arie; Chechik, Marsha
6
2004
Multi-valued model checking via classical model checking. Zbl 1274.68189
Gurfinkel, Arie; Chechik, Marsha
9
2003
Proof-like counter-examples. Zbl 1031.68079
Gurfinkel, Arie; Chechik, Marsha
1
2003
\({\mathcal X}\)Chek: A multi-valued model-checker. Zbl 1010.68809
Chechik, Marsha; Gurfinkel, Arie; Devereux, Benet
3
2002
Model-checking infinite state-space systems with fine-grained abstractions using SPIN. Zbl 0985.68031
Chechik, Marsha; Devereux, Benet; Gurfinkel, Arie
10
2001
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

Citations by Year

Wikidata Timeline