Orna Kupferman

发表

Orna Kupferman, Yoad Lustig, 2008, VMCAI.
Orna Kupferman, Shaull Almagor, Udi Boker, 2014, TACAS.
Orna Kupferman, Moshe Y. Vardi, Shmuel Safra, 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Tami Tamir, Orna Kupferman, 2010, LPAR.
Orna Kupferman, Ravid Alon, 2020, DCFS.
Orna Kupferman, Moshe Y. Vardi, Orna Kupferman, 2003, ICALP.
Orna Kupferman, Moshe Y. Vardi, Orna Kupferman, 1996, Inf. Comput..
Orna Kupferman, Guy Avni, Shibashis Guha, 2023, MFCS.
Thomas Wilke, Orna Kupferman, Moshe Y. Vardi, 2013, Inf. Comput..
Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi, 1996, CONCUR.
Orna Kupferman, Hana Chockler, Shibashis Guha, 2018, FM.
Giuseppe Perelli, Orna Kupferman, Moshe Y. Vardi, 2014, Annals of Mathematics and Artificial Intelligence.
David Harel, Orna Kupferman, O. Kupferman, 2002, IEEE Trans. Software Eng..
Orna Kupferman, Gadiel Auerbach, O. Kupferman, 2003, ADHS.
Orna Kupferman, Yoad Lustig, 2007 .
Orna Kupferman, Guy Avni, Shibashis Guha, 2018, Games.
Orna Kupferman, Hana Chockler, O. Kupferman, 2002, RANDOM.
Thomas A. Henzinger, Luca de Alfaro, Orna Kupferman, 2007, Theor. Comput. Sci..
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1999, CAV.
Orna Kupferman, Jonathan Mosheiff, O. Kupferman, 2015, Inf. Comput..
Orna Kupferman, Moshe Y. Vardi, Ehud Friedgut, 2006, Int. J. Found. Comput. Sci..
Eran Yahav, Rastislav Bodík, Orna Kupferman, 2009, Software Synthesis.
Thomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani, 1997, Inf. Comput..
Orna Kupferman, O. Kupferman, 2006, CONCUR.
Orna Kupferman, O. Kupferman, 2014, TACAS.
Orna Kupferman, Shaull Almagor, Udi Boker, 2016, J. ACM.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1999, Formal Methods Syst. Des..
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 2005, TOCL.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 2010, LPAR.
Orna Grumberg, Orna Kupferman, Sarai Sheinvald, 2010, LATA.
Thomas A. Henzinger, Orna Kupferman, Freddy Y. C. Mang, 2002, ICALP.
Orna Kupferman, Guy Avni, O. Kupferman, 2013, ACM Trans. Comput. Log..
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1999, STACS.
Orna Grumberg, Orna Kupferman, Sarai Sheinvald, 2012, ATVA.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1995, CONCUR.
Orna Kupferman, Udi Boker, Adin Rosenberg, 2010, ICALP.
Orna Kupferman, Moshe Y. Vardi, Nir Piterman, 2000, FSTTCS.
Giuseppe Perelli, Orna Kupferman, Shaull Almagor, 2018, IJCAI.
Orna Kupferman, Moshe Y. Vardi, Roy Armoni, 2002 .
Orna Kupferman, Guy Avni, 2014, CONCUR.
Orna Kupferman, Shulamit Halamish, 2012, ATVA.
Orna Kupferman, Rachel Faran, 2019, Int. J. Found. Comput. Sci..
Thomas A. Henzinger, Rajeev Alur, Orna Kupferman, 2002, JACM.
Tami Tamir, Orna Kupferman, Guy Avni, 2015, FSTTCS.
Orna Kupferman, Yoad Lustig, O. Kupferman, 2010, Int. J. Found. Comput. Sci..
Dana Fisman, Orna Kupferman, Yoad Lustig, 2009, TACAS.
Orna Kupferman, Guy Avni, 2014, Formal Methods Syst. Des..
Orna Kupferman, Moshe Y. Vardi, Roy Armoni, 2003, TACAS.
Shoham Ben-David, Orna Kupferman, Hana Chockler, 2013, Haifa Verification Conference.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 2000, TOPL.
Yoram Hirshfeld, Orna Kupferman, Shaull Almagor, 2010, ATVA.
P. S. Thiagarajan, Orna Kupferman, Moshe Y. Vardi, 2000, CONCUR.
Orna Kupferman, Dan Hefetz, Amir Lellouche, 2018, MFCS.
Orna Kupferman, Moshe Y. Vardi, Hana Chockler, 2003, International Journal on Software Tools for Technology Transfer.
Giuseppe Perelli, Orna Kupferman, Moshe Y. Vardi, 2016, Annals of Mathematics and Artificial Intelligence.
Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman, 2011, LICS.
Dana Fisman, Orna Kupferman, Yoad Lustig, 2008, TACAS.
Dana Fisman, Orna Kupferman, O. Kupferman, 2009, Haifa Verification Conference.
Orna Kupferman, Moshe Y. Vardi, Nir Piterman, 2002, CAV.
Orna Kupferman, Guy Avni, Shibashis Guha, 2017, IJCAI.
Thomas Wilke, Orna Kupferman, Moshe Y. Vardi, 2015, Inf. Comput..
Orna Kupferman, Shaull Almagor, O. Kupferman, 2016, CSL.
Orna Kupferman, Moshe Y. Vardi, Fabio Somenzi, 2003, CHARME.
Amir Pnueli, Orna Kupferman, A. Pnueli, 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Orna Grumberg, Orna Kupferman, O. Kupferman, 1996, Inf. Comput..
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1997, COMPOS.
Orna Kupferman, Yoad Lustig, O. Kupferman, 2007, VMCAI.
Orna Kupferman, Udi Boker, 2009, 2009 24th Annual IEEE Symposium on Logic In Computer Science.
Orna Kupferman, Gal Vardi, 2018, Formal Methods Syst. Des..
Orna Kupferman, Moshe Y. Vardi, Gal Vardi, 2017, FSTTCS.
Orna Grumberg, Orna Kupferman, Moshe Y. Vardi, 2005, CHARME.
David Harel, Orna Kupferman, Moshe Y. Vardi, 1997, Inf. Comput..
Orna Kupferman, Hila Gonen, 2015, Fields of Logic and Computation II.
Orna Grumberg, Orna Kupferman, Sarai Sheinvald, 2014, ATVA.
Thomas A. Henzinger, Rajeev Alur, Orna Kupferman, 1998, CONCUR.
Orna Kupferman, Gal Vardi, O. Kupferman, 2016, MFCS.
Giuseppe Perelli, Orna Kupferman, Shaull Almagor, 2018, IJCAI 2018.
Orna Kupferman, Bader Abu Radi, O. Kupferman, 2019, ICALP.
Orna Kupferman, Thomas Ball, 2008, TAP.
Orna Kupferman, Gal Vardi, O. Kupferman, 2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Orna Kupferman, Jonathan Mosheiff, 2013, MFCS.
Orna Kupferman, Hana Chockler, O. Kupferman, 2002, IFIP TCS.
Orna Kupferman, Robby Lampert, O. Kupferman, 2006, ATVA.
Orna Grumberg, Orna Kupferman, O. Kupferman, 1994, J. Log. Comput..
David Harel, Orna Kupferman, 2003, IEEE Trans. Software Eng..
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1997, Proceedings of the Fifth Israeli Symposium on Theory of Computing and Systems.
Orna Kupferman, Yoad Lustig, 2007, ATVA.
Orna Kupferman, Rachel Faran, O. Kupferman, 2020, SOFSEM.
Orna Kupferman, Nir Piterman, O. Kupferman, 2009, FoSSaCS.
Orna Kupferman, Moshe Y. Vardi, Doron Bustan, 2004, STACS.
Tami Tamir, Orna Kupferman, Guy Avni, 2014, Inf. Comput..
Orna Kupferman, Shaull Almagor, Denis Kuperberg, 2014, FSTTCS.
Ismaël Jecker, Orna Kupferman, Nicolas Mazzocchi, 2020, MFCS.
Krishnendu Chatterjee, Thomas A. Henzinger, Rupak Majumdar, 2005, CHARME.
Thomas Wilke, Orna Kupferman, Moshe Y. Vardi, 2013, Log. Methods Comput. Sci..
Orna Kupferman, Guy Avni, Shibashis Guha, 2018, MFCS.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 2003, International Journal on Software Tools for Technology Transfer.
Joseph Y. Halpern, Orna Kupferman, Hana Chockler, 2003, TOCL.
Orna Kupferman, Adin Rosenberg, O. Kupferman, 2010, MoChArt.
Orna Kupferman, Sigal Weiner, 2012, Haifa Verification Conference.
David Harel, Orna Kupferman, Moshe Y. Vardi, 1997, CONCUR.
Aniello Murano, Orna Kupferman, Benjamin Aminof, 2012, Inf. Comput..
Orna Kupferman, Gal Vardi, 2015, CSL.
Orna Kupferman, Thomas Ball, 2007, VMCAI.
Thomas A. Henzinger, Orna Kupferman, Guy Avni, 2020, Theor. Comput. Sci..
Orna Kupferman, Guy Avni, O. Kupferman, 2015, MFCS.
Orna Kupferman, Benjamin Aminof, 2006, ATVA.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1996, CAV.
Orna Kupferman, Moshe Y. Vardi, Nir Piterman, 2010, Essays in Memory of Amir Pnueli.
Orna Kupferman, Sarai Sheinvald, O. Kupferman, 2016, LATA.
Orna Kupferman, Moshe Y. Vardi, Ehud Friedgut, 2006, Int. J. Found. Comput. Sci..
Tami Tamir, Orna Kupferman, Guy Avni, 2014, FoSSaCS.
Orna Kupferman, Sigal Weiner, Matan Hasson, 2013, ATVA.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
Orna Kupferman, Moshe Y. Vardi, Hana Chockler, 2006, Formal Methods Syst. Des..
Orna Kupferman, Moshe Y. Vardi, Nir Piterman, 2006, CAV.
Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer, 1998, Formal Methods Syst. Des..
Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer, 1998, CAV.
Orna Kupferman, Udi Boker, 2010, Fields of Logic and Computation.
Shoham Ben-David, Orna Kupferman, 2013, ATVA.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1999, CHARME.
Orna Kupferman, Rachel Faran, O. Kupferman, 2017, DCFS.
Mihalis Yannakakis, Robert P. Kurshan, Orna Kupferman, 1997, CSL.
Thomas A. Henzinger, Rupak Majumdar, Orna Kupferman, 2006, Theor. Comput. Sci..
Orna Kupferman, O. Kupferman, 2012, SOFSEM.
Orna Kupferman, Ofer Leshkowitz, O. Kupferman, 2020, MFCS.
Orna Kupferman, Moshe Y. Vardi, Nir Piterman, 2000, Verification: Theory and Practice.
Orna Kupferman, Udi Boker, 2011, FoSSaCS.
Orna Kupferman, Sarai Sheinvald, O. Kupferman, 2019, Inf. Comput..
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 2005, TACAS.
Orna Kupferman, Moshe Y. Vardi, 2005, Theor. Comput. Sci..
Orna Kupferman, Shaull Almagor, 2014, FoSSaCS.
Orna Kupferman, Gal Vardi, O. Kupferman, 2018, ICALP.
Orna Kupferman, Benjamin Aminof, Robby Lampert, 2011, ATVA.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 2006, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Orna Kupferman, Moshe Y. Vardi, Hana Chockler, 2001, TACAS.
Orna Kupferman, Thomas Ball, Shmuel Sagiv, 2007, CAV.
David Harel, Orna Kupferman, O. Kupferman, 2000, Proceedings. 34th International Conference on Technology of Object-Oriented Languages and Systems - TOOLS 34.
Orna Kupferman, Guy Avni, 2013, FoSSaCS.
Orna Kupferman, 2010, Logics and Languages for Reliability and Security.
Thomas Wilke, Orna Kupferman, Moshe Y. Vardi, 2013, CSL.
Thomas A. Henzinger, Orna Kupferman, T. Henzinger, 1997, HART.
Tami Tamir, Orna Kupferman, Tami Tamir, 2018, LPAR.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 2000, CAV.
Aniello Murano, Orna Kupferman, Gila Morgenstern, 2004, Int. J. Found. Comput. Sci..
Orna Kupferman, Moshe Y. Vardi, 2003 .
Orna Kupferman, Rachel Faran, O. Kupferman, 2020, ATVA.
Orna Kupferman, O. Kupferman, 2016, CSR.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1999, CONCUR.
Orna Kupferman, Gili Bielous, O. Kupferman, 2020, CSL.
Orna Kupferman, O. Kupferman, 2006, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Patricia Bouyer, Nicolas Markey, Aniello Murano, 2020, ECAI.
Orna Kupferman, Salomon Sickert, 2021 .
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1999, Bulletin of Symbolic Logic.
Aniello Murano, Orna Kupferman, Gila Morgenstern, 2004, ATVA.
Orna Kupferman, Moshe Y. Vardi, Hana Chockler, 2004, International Journal on Software Tools for Technology Transfer.
Orna Kupferman, Moshe Y. Vardi, 2004, TACAS.
Orna Kupferman, Benjamin Aminof, Thomas Ball, 2005, LPAR.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 2001, LPAR.
Sanjit A. Seshia, Orna Kupferman, Dorsa Sadigh, 2011, Haifa Verification Conference.
Amir Pnueli, Orna Kupferman, Moshe Y. Vardi, 1995, J. Comput. Syst. Sci..
Orna Kupferman, Moshe Y. Vardi, Valerie King, 2001, FoSSaCS.
Orna Kupferman, Shaull Almagor, Udi Boker, 2013, ICALP.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1998, Chic. J. Theor. Comput. Sci..
Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman, 2011, 2011 IEEE 26th Annual Symposium on Logic in Computer Science.
Orna Kupferman, 2007, Bull. EATCS.
Orna Kupferman, Moshe Y. Vardi, Nir Piterman, 2007, Formal Methods Syst. Des..
Orna Kupferman, Moshe Y. Vardi, Nir Piterman, 2009, Formal Methods Syst. Des..
Orna Kupferman, Moshe Y. Vardi, Nir Piterman, 2001, CONCUR.
Orna Kupferman, Shaull Almagor, Guy Avni, 2015, CONCUR.
Orna Kupferman, Udi Boker, 2012, TOCL.
Orna Kupferman, Shaull Almagor, 2020, CAV.
Tami Tamir, Orna Kupferman, Guy Avni, 2014, IJCAR.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1998, PROCOMET.
Orna Kupferman, Shulamit Halamish, 2011, FoSSaCS.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 2005, 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05).
Orna Kupferman, 2020, FMCAD.
Thomas A. Henzinger, Marcin Jurdzinski, Orna Kupferman, 2002, CSL.
Orna Kupferman, Rachel Faran, 2017, Acta Informatica.
Orna Kupferman, Shaull Almagor, Udi Boker, 2011, ATVA.
Orna Kupferman, O. Kupferman, 2018, Handbook of Model Checking.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 2001, TOCL.
Orna Kupferman, Rachel Faran, O. Kupferman, 2015, Acta Informatica.
Sanjit A. Seshia, Wenchao Li, Orna Kupferman, 2008, 2008 Formal Methods in Computer-Aided Design.
Michal Skrzypczak, Orna Kupferman, Udi Boker, 2013, ICALP.
Jan Oliver Ringert, Orna Kupferman, Shaull Almagor, 2017, CAV.
Orna Kupferman, Udi Boker, Avital Steinitz, 2010, FSTTCS.
Ulrike Sattler, Orna Kupferman, Moshe Y. Vardi, 2002, CADE.
Orna Kupferman, Eli Shamir, Shoham Shamir, 2000, EXPRESS.
Orna Kupferman, Shaull Almagor, Denis Kuperberg, 2017, DCFS.
Tami Tamir, Orna Kupferman, Tami Tamir, 2017, TACAS.
Thomas A. Henzinger, Rajeev Alur, Orna Kupferman, 1999 .
Orna Kupferman, O. Kupferman, 2018, LPAR.
Shoham Ben-David, Orna Kupferman, Hana Chockler, 2009 .
Orna Kupferman, Shaull Almagor, Denis Kuperberg, 2019, Int. J. Found. Comput. Sci..
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 2001, LICS.
Mihalis Yannakakis, Orna Kupferman, Yoad Lustig, 2011, STACS.
Orna Kupferman, Hana Chockler, O. Kupferman, 2004, Theor. Comput. Sci..
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1998, STOC '98.
Thomas A. Henzinger, Rajeev Alur, Orna Kupferman, 1997, COMPOS.
Orna Kupferman, Sharon Zuhovitzky, O. Kupferman, 2002, MFCS.
Orna Kupferman, Noam Shenwald, O. Kupferman, 2020, Foundations of Software Technology and Theoretical Computer Science.
Thomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani, 1997, Inf. Comput..
Gerard J. Holzmann, Orna Kupferman, O. Kupferman, 1996, The Spin Verification System.
Patricia Bouyer, Nicolas Markey, Aniello Murano, 2019, IJCAI.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 2000, MFCS.
Orna Kupferman, Gal Vardi, O. Kupferman, 2018, CONCUR.
Orna Kupferman, Shibashis Guha, Gal Vardi, 2018, Autonomous Agents and Multi-Agent Systems.
Orna Kupferman, Shaull Almagor, Guy Avni, 2013, CAV.
Aniello Murano, Orna Kupferman, Benjamin Aminof, 2010, Inf. Comput..
Thomas A. Henzinger, Orna Kupferman, Guy Avni, 2016, SAGT.
Orna Kupferman, Shaull Almagor, Denis Kuperberg, 2015, FSTTCS.
Orna Kupferman, Yoad Lustig, O. Kupferman, 2007, Formal Methods in Computer Aided Design (FMCAD'07).
Orna Kupferman, Shulamit Halamish, O. Kupferman, 2011, FoSSaCS.
Orna Kupferman, Benjamin Aminof, Robby Lampert, 2009, TALG.
Orna Kupferman, O. Kupferman, 2007, CSL.
Orna Kupferman, Shaull Almagor, 2017, Discret. Event Dyn. Syst..
Orna Kupferman, Benjamin Aminof, Robby Lampert, 2011, 2011 IEEE 26th Annual Symposium on Logic in Computer Science.
Thomas A. Henzinger, Rupak Majumdar, Orna Kupferman, 2003, TACAS.
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1997, CAV.
Orna Kupferman, Bader Abu Radi, O. Kupferman, 2020, GandALF.
Michal Skrzypczak, Orna Kupferman, Udi Boker, 2017, FSTTCS.
Robert P. Kurshan, Orna Kupferman, Moshe Y. Vardi, 2001, CAV.
Dana Fisman, Orna Kupferman, Moshe Y. Vardi, 2009, Haifa Verification Conference.
Tami Tamir, Orna Kupferman, 2012, Inf. Comput..
Orna Kupferman, Shaull Almagor, 2011, ATVA.
Orna Kupferman, Guy Avni, 2013, Inf. Process. Lett..
Thomas A. Henzinger, Luca de Alfaro, Orna Kupferman, 1998, Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280).
Orna Kupferman, Guy Avni, 2018, Theor. Comput. Sci..
Pierre Wolper, Orna Kupferman, Moshe Y. Vardi, 2000, JACM.
Orna Kupferman, Thomas Ball, Greta Yorsh, 2005, CAV.
Thomas A. Henzinger, Rajeev Alur, Orna Kupferman, 1997, Proceedings 38th Annual Symposium on Foundations of Computer Science.
Orna Kupferman, Benjamin Aminof, Robby Lampert, 2013, Theor. Comput. Sci..
Orna Kupferman, Thomas Ball, T. Ball, 2006, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Orna Kupferman, Yoad Lustig, Moshe Y. Vardi, 2006, LPAR.
Orna Kupferman, Bader Abu Radi, O. Kupferman, 2021, Log. Methods Comput. Sci..
Orna Kupferman, Noam Shenwald, 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Orna Kupferman, Bader Abu Radi, Ofer Leshkowitz, 2022, MFCS.
Orna Kupferman, Salomon Sickert, O. Kupferman, 2021, FoSSaCS.
Orna Kupferman, Salomon Sickert, Nir Lavee, 2021, Innovations in Systems and Software Engineering.
Wenchao Li, Sanjit A. Seshia, Orna Kupferman, 2008 .
Orna Kupferman, Moshe Y. Vardi, Amnon Ta-Shmay, 1999 .
Orna Kupferman, Moshe Y. Vardi, O. Kupferman, 1996 .
Yoram Hirshfeld, Orna Kupferman, Shaull Almagor, 2010 .