A. Gurfinkel

发表

Isil Dillig, Aws Albarghouthi, Arie Gurfinkel, 2016, POPL.
Sagar Chaki, Arie Gurfinkel, Anvesh Komuravelli, 2014, Formal Methods in System Design.
Jorge A. Navas, Arie Gurfinkel, Temesghen Kahsai, 2015, CAV.
Marsha Chechik, Aws Albarghouthi, Arie Gurfinkel, 2012, TACAS.
Marsha Chechik, Arie Gurfinkel, Steve M. Easterbrook, 2003, TSEM.
Sagar Chaki, Arie Gurfinkel, Edmund M. Clarke, 2013, CAV.
A. Gurfinkel, M. Chechik, B. Devereux, 2002, SOEN.
A. Gurfinkel, S. Chaki, C. Weinstock, 2009 .
A. Gurfinkel, M. Chechik, S. Ben-David, 2010 .
Arie Gurfinkel, A. Gurfinkel, M. Gheorghiu, 2005 .
A. Gurfinkel, Jessica Davies, J. Simmonds, 2022 .
A. Gurfinkel, Xiaoping Zhou, Xiang Zhou, 2021, Innovations in Systems and Software Engineering.
Aws Albarghouthi, A. Gurfinkel, Zachary Kincaid, 2014, POPL.
A. Gurfinkel, X. Si, Chuqin Geng, 2022, 2210.16114.
A. Gurfinkel, J. Navas, Isabel Garcia-Contreras, 2022 .
A. Gurfinkel, Anvesh Komuravelli, S. Chaki, 2016, Formal Methods in System Design.
Ofer Strichman, Arie Gurfinkel, Hana Chockler, 2008, FMCAD 2008.
Arie Gurfinkel, Temesghen Kahsai, Pierre-Loïc Garoche, 2014, HCVS.
A. Gurfinkel, Xiaoping Zhou, Yuyan Bao, 2022, 2022 Formal Methods in Computer-Aided Design (FMCAD).
Marsha Chechik, Arie Gurfinkel, Mihaela Gheorghiu Bobaru, 2007, IFM.
A. Gurfinkel, M. Gheorghiu, 2022 .
Arie Gurfinkel, Yakir Vizel, Yuyan Bao, 2021, Innovations in Systems and Software Engineering.
Jorge A. Navas, Arie Gurfinkel, Jakub Kuderski, 2019, 2019 Formal Methods in Computer Aided Design (FMCAD).
Jorge A. Navas, Arie Gurfinkel, A. Gurfinkel, 2017, SAS.
Sagar Chaki, Arie Gurfinkel, Samir Sapra, 2011, NASA Formal Methods.
Marsha Chechik, Arie Gurfinkel, Steve M. Easterbrook, 2006, Formal Methods Syst. Des..
Marsha Chechik, Arie Gurfinkel, Benet Devereux, 2002, CAV.
Marsha Chechik, Arie Gurfinkel, A. Gurfinkel, 2010, TOCL.
John B. Goodenough, Arie Gurfinkel, Peter H. Feiler, 2012 .
Peter H. Feiler, John B. Goodenough, Arie Gurfinkel, 2012 .
Arie Gurfinkel, Temesghen Kahsai, Caterina Urban, 2016, TACAS.
Nham Le, Arie Gurfinkel, Xujie Si, 2021, 2021 Formal Methods in Computer Aided Design (FMCAD).
Sagar Chaki, Arie Gurfinkel, A. Gurfinkel, 2010, SAS.
Arie Gurfinkel, Marsha Chechik, A. Gurfinkel, 2008 .
Marsha Chechik, Arie Gurfinkel, Benet Devereux, 2003, IEEE Trans. Software Eng..
Marsha Chechik, Arie Gurfinkel, A. Gurfinkel, 2003, TACAS.
Arie Gurfinkel, Sebastian Fischmeister, Reza Babaee, 2018, SEFM.
Marsha Chechik, Arie Gurfinkel, Ou Wei, 2011, Inf. Comput..
Sebastián Uchitel, Arie Gurfinkel, Shoham Ben-David, 2011, ESEC/FSE '11.
Ofer Strichman, Arie Gurfinkel, Hana Chockler, 2010, Haifa Verification Conference.
Marsha Chechik, Arie Gurfinkel, Benet Devereux, 2001, SPIN '01.
Sagar Chaki, Arie Gurfinkel, A. Gurfinkel, 2010, Innovations in Systems and Software Engineering.
Nikolaj Bjørner, Arie Gurfinkel, N. Bjørner, 2019, 2019 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).
Arie Gurfinkel, Sharon Shoham, Yakir Vizel, 2018, ATVA.
Arie Gurfinkel, Natasha Sharygina, Matteo Marescotti, 2017, 2017 Formal Methods in Computer Aided Design (FMCAD).
Nikolaj Bjørner, Arie Gurfinkel, Kenneth L. McMillan, 2015, 2015 Formal Methods in Computer-Aided Design (FMCAD).
Nikolaj Bjørner, Arie Gurfinkel, Kenneth L. McMillan, 2015, Fields of Logic and Computation II.
Robert L. Nord, William R. Nichols, Sagar Chaki, 2012 .
Arie Gurfinkel, Nils Klarlund, Naghmeh Ghafari, 2012, TOCL.
Arie Gurfinkel, A. Gurfinkel, 2015, 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).
Jorge A. Navas, Arie Gurfinkel, Temesghen Kahsai, 2015, SIGL.
Arie Gurfinkel, Sharon Shoham, Yakir Vizel, 2019, CAV.
Arie Gurfinkel, Sharon Shoham, K HariGovindV, 2020, CAV.
Marsha Chechik, Arie Gurfinkel, David L. Dill, 2005, D/PDPAR@IJCAR.
Marsha Chechik, Aws Albarghouthi, Arie Gurfinkel, 2012, CAV.
Arie Gurfinkel, Vijay Ganesh, Yakir Vizel, 2019, CAV.
Arie Gurfinkel, Alexander Ivrii, A. Gurfinkel, 2015, 2015 Formal Methods in Computer-Aided Design (FMCAD).
Arie Gurfinkel, Yakir Vizel, A. Gurfinkel, 2014, CAV.
Priya Narasimhan, Sagar Chaki, Arie Gurfinkel, 2012, 2012 11th International Conference on Machine Learning and Applications.
A. Gurfinkel, Sharon Shoham, K. HariGovindV., 2023, ArXiv.
Marsha Chechik, Aws Albarghouthi, Arie Gurfinkel, 2014, POPL.
Jorge A. Navas, Leonid Ryzhyk, Nina Narodytska, 2019, PLDI.
Richard J. Trefler, A. Gurfinkel, J. Navas, 2022, Lecture Notes in Computer Science.
Jorge A. Navas, Arie Gurfinkel, Temesghen Kahsai, 2018, VSTTE.
Arie Gurfinkel, Grigory Fedyukovich, Aarti Gupta, 2019, VMCAI.
Arie Gurfinkel, Michael W. Whalen, Grigory Fedyukovich, 2017, TACAS.
Arie Gurfinkel, Nils Klarlund, Naghmeh Ghafari, 2007, Formal Methods in Computer Aided Design (FMCAD'07).
Sagar Chaki, Ofer Strichman, Arie Gurfinkel, 2011, 2011 Formal Methods in Computer-Aided Design (FMCAD).
A. Gurfinkel, S. Easterbrook, M. Chechik, 2003, TSEM.
A. Gurfinkel, I. Garcia-Contreras, Joseph Tafese, 2023, 2023 Formal Methods in Computer-Aided Design (FMCAD).
Arie Gurfinkel, Grigory Fedyukovich, Natasha Sharygina, 2015, LPAR.
A. Gurfinkel, P. Feiler, C. Weinstock, 2012 .
Marsha Chechik, Arie Gurfinkel, Ou Wei, 2006, VMCAI.
Arie Gurfinkel, Grigory Fedyukovich, Natasha Sharygina, 2014, NASA Formal Methods.
A. Gurfinkel, Sharon Shoham, Hari Govind V K, 2022, Proc. ACM Program. Lang..
Arie Gurfinkel, Michael W. Whalen, Grigory Fedyukovich, 2016, ArXiv.
Sharad Malik, Arie Gurfinkel, Yakir Vizel, 2015, CAV.
Marsha Chechik, Arie Gurfinkel, A. Gurfinkel, 2005, CHARME.
Marsha Chechik, Arie Gurfinkel, A. Gurfinkel, 2003, CONCUR.
A. Gurfinkel, Anvesh Komuravelli, Temesghen Kahsai, 2015, CAV.
Marsha Chechik, Arie Gurfinkel, A. Gurfinkel, 2005, International Journal on Software Tools for Technology Transfer.
Cesare Tinelli, Arie Gurfinkel, Temesghen Kahsai, 2016, SEFM.
Marsha Chechik, Arie Gurfinkel, A. Gurfinkel, 2006, TACAS.
Jorge A. Navas, Arie Gurfinkel, Temesghen Kahsai, 2015, TACAS.
Nikolaj Bjørner, Arie Gurfinkel, A. Gurfinkel, 2015, VMCAI.
Arie Gurfinkel, Alexander Ivrii, Anton Belov, 2014, 2014 Formal Methods in Computer-Aided Design (FMCAD).
Arie Gurfinkel, Yakir Vizel, A. Gurfinkel, 2014, 2014 Formal Methods in Computer-Aided Design (FMCAD).
Sagar Chaki, Arie Gurfinkel, Nishant Sinha, 2014, 2014 Formal Methods in Computer-Aided Design (FMCAD).
Arie Gurfinkel, Anton Belov, A. Gurfinkel, 2014, TACAS.
Joao Marques-Silva, Arie Gurfinkel, Anton Belov, 2014, TACAS.
Priya Narasimhan, Sagar Chaki, Arie Gurfinkel, 2014, PPREW'14.
Sagar Chaki, Arie Gurfinkel, Edmund M. Clarke, 2013, ICTSS.
Sagar Chaki, Ofer Strichman, Arie Gurfinkel, 2013, 2013 Formal Methods in Computer-Aided Design.
Sagar Chaki, Ofer Strichman, Arie Gurfinkel, 2013, VMCAI.
Arie Gurfinkel, Natasha Sharygina, Simone Rollini, 2012, ATVA.
Marsha Chechik, Aws Albarghouthi, Arie Gurfinkel, 2012, SAS.
Sagar Chaki, Ofer Strichman, Arie Gurfinkel, 2012, Formal Methods in System Design.
Marsha Chechik, Aws Albarghouthi, Arie Gurfinkel, 2012, VMCAI.
Sagar Chaki, Arie Gurfinkel, Cory F. Cohen, 2011, KDD.
Sagar Chaki, Ipek Ozkaya, Arie Gurfinkel, 2010, 2010 14th European Conference on Software Maintenance and Reengineering.
Sagar Chaki, Ofer Strichman, Arie Gurfinkel, 2009, 2009 Formal Methods in Computer-Aided Design.
Arie Gurfinkel, Naghmeh Ghafari, Richard J. Trefler, 2009, FMOODS/FORTE.
David Garlan, Sagar Chaki, Ipek Ozkaya, 2009, 2009 ICSE Workshop on Modeling in Software Engineering.
Marsha Chechik, Arie Gurfinkel, Ou Wei, 2008, VMCAI.
Ofer Strichman, Arie Gurfinkel, Hana Chockler, 2008, Formal Methods in System Design.
Sagar Chaki, Arie Gurfinkel, A. Gurfinkel, 2008, 2008 Formal Methods in Computer-Aided Design.
Marsha Chechik, Arie Gurfinkel, Ou Wei, 2008, ATVA.
Marsha Chechik, Arie Gurfinkel, David Lie, 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.
Marsha Chechik, Jocelyn Simmonds, Arie Gurfinkel, 2007, Formal Methods in Computer Aided Design (FMCAD'07).
Marsha Chechik, Arie Gurfinkel, Mihaela Gheorghiu Bobaru, 2007, FASE.
Marsha Chechik, Arie Gurfinkel, Ou Wei, 2006, CAV.
Marsha Chechik, Arie Gurfinkel, A. Gurfinkel, 2005, VSTTE.
Marsha Chechik, Arie Gurfinkel, Ou Wei, 2005, CHARME.
M. Chechik, A. Gurfinkel, S. Nejati, 2005, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05).
Marsha Chechik, Arie Gurfinkel, A. Gurfinkel, 2004, FMCAD.
Marsha Chechik, Arie Gurfinkel, A. Gurfinkel, 2004, TACAS.
Marsha Chechik, Arie Gurfinkel, A. Gurfinkel, 2003, FME.
Marsha Chechik, Arie Gurfinkel, A. Gurfinkel, 2003, CAV.
Christopher D. Thompson-Walsh, S. Easterbrook, M. Chechik, 2003, 25th International Conference on Software Engineering, 2003. Proceedings..
Marsha Chechik, Arie Gurfinkel, Benet Devereux, 2002, SIGSOFT '02/FSE-10.
Nikolaj Bjørner, Arie Gurfinkel, Ori Lahav, 2013, LPAR.
Marsha Chechik, Aws Albarghouthi, Arie Gurfinkel, 2010 .