Dana Fisman

发表

Dana Fisman, D. Fisman, 2016, LATA.
Dana Fisman, 2007, Haifa Verification Conference.
Rajeev Alur, Rishabh Singh, Armando Solar-Lezama, 2016, SYNT@CAV.
Dana Fisman, Cindy Eisner, Yoad Lustig, 2003, CAV.
Dana Fisman, Cindy Eisner, D. Fisman, 2006, Series on Integrated Circuits and Systems.
Dana Fisman, Ilan Beer, Shoham Ben-David, 2001, CAV.
Dana Fisman, Dana Angluin, Timos Antonopoulos, 2017, ArXiv.
Rajeev Alur, Rishabh Singh, Armando Solar-Lezama, 2018, Commun. ACM.
Dana Fisman, Yoad Lustig, 2015, CONCUR.
Dana Fisman, Dana Angluin, Yaara Shoval, 2020, TACAS.
Dana Fisman, Udi Boker, Dana Angluin, 2016, Log. Methods Comput. Sci..
Dana Fisman, Dana Angluin, Timos Antonopoulos, 2019, Log. Methods Comput. Sci..
Dana Fisman, Dana Angluin, 2014, ALT.
Dana Fisman, Orna Kupferman, Yoad Lustig, 2009, TACAS.
Dana Fisman, Cindy Eisner, John Havlicek, 2003, ICALP.
Dana Fisman, Shoham Ben-David, Sitvanit Ruah, 2005, Haifa Verification Conference.
Dana Fisman, Daniel Neider, Rajarshi Roy, 2020, IJCAI.
Dana Fisman, Orna Kupferman, Yoad Lustig, 2008, TACAS.
Dana Fisman, Orna Kupferman, O. Kupferman, 2009, Haifa Verification Conference.
Dana Fisman, Michal Ziv-Ukelson, Dolav Nitay, 2020, AAAI.
Dana Fisman, Shoham Ben-David, Sitvanit Ruah, 2007, CONCUR.
Rajeev Alur, Mukund Raghothaman, Dana Fisman, 2020, Theor. Comput. Sci..
Dana Fisman, Hillel Kugler, D. Fisman, 2018, ISoLA.
Amir Pnueli, Dana Fisman, A. Pnueli, 2001 .
Dana Fisman, Cindy Eisner, Yoad Lustig, 2003, Lecture Notes in Computer Science.
Dana Fisman, Cindy Eisner, D. Fisman, 2014 .
Dana Fisman, Cindy Eisner, D. Fisman, 2009, Haifa Verification Conference.
Dana Fisman, Udi Boker, Dana Angluin, 2016, MFCS.
Rajeev Alur, Abhishek Udupa, Dana Fisman, 2019, ArXiv.
Dana Fisman, Shoham Ben-David, Sitvanit Ruah, 2008, Theor. Comput. Sci..
Dana Fisman, 2018, J. Log. Algebraic Methods Program..
Dana Fisman, Cindy Eisner, D. Fisman, 2018, Handbook of Model Checking.
Dana Fisman, Cindy Eisner, John Havlicek, 2005, PODC '05.
Rajeev Alur, Rishabh Singh, Armando Solar-Lezama, 2017, SYNT@CAV.
Dana Fisman, Hana Chockler, Heinz Riener, 2020, ArXiv.
Dana Fisman, Shoham Ben-David, Sitvanit Ruah, 2015, Formal Methods in System Design.
Rajeev Alur, Rishabh Singh, Armando Solar-Lezama, 2015, SYNT.
Dana Fisman, Sandra Zilles, Hadar Frenkel, 2020, ArXiv.
Dana Fisman, Cindy Eisner, D. Fisman, 2008, 2008 Formal Methods in Computer-Aided Design.
Rajeev Alur, Mukund Raghothaman, Dana Fisman, 2016, ESOP.
Dana Fisman, Roy Armoni, Naiyong Jin, 2013, CAV.
Dana Fisman, Cindy Eisner, John Havlicek, 2004 .
Dana Fisman, Dana Angluin, D. Angluin, 2014, Theor. Comput. Sci..
Dana Fisman, Dana Angluin, Sarah Eisenstat, 2015, IJCAI.
Amir Pnueli, Dana Fisman, A. Pnueli, 2001, FSTTCS.
Dana Fisman, Swen Jacobs, 2017 .
Dana Fisman, Daniel Neider, Rajarshi Roy, 2020, IJCAI.
Dana Fisman, Orna Kupferman, Moshe Y. Vardi, 2009, Haifa Verification Conference.
Rajeev Alur, Dana Fisman, R. Alur, 2016, Formal Methods in System Design.
Dana Fisman, Gera Weiss, Oded Margalit, 2022, ArXiv.
Dana Fisman, Sandra Zilles, Hadar Frenkel, 2020, CSL.
Dana Fisman, Michal Ziv-Ukelson, Dolav Nitay, 2021, AAAI.
Dana Fisman, Cindy Eisner, John Havlicek, 2006 .
Dana Fisman, Shoham Ben-David, Cindy Eisner, 2001 .
Dana Fisman, Shoham Ben-David, Sitvanit Ruah, 2004 .
Dana Fisman, Shoham Ben-David, Sitvanit Ruah, 2005 .