Arie Gurfinkel

发表

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