Richard J. Trefler

发表

Arie Gurfinkel, Nils Klarlund, Naghmeh Ghafari, 2007, Formal Methods in Computer Aided Design (FMCAD'07).
Nils Klarlund, Richard J. Trefler, Gregory W. Bond, 2001 .
Naghmeh Ghafari, Richard J. Trefler, N. Ghafari, 2006, VMCAI.
Panagiotis Manolios, Richard J. Trefler, 2001, Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
Kedar S. Namjoshi, Richard J. Trefler, K. Namjoshi, 2018, TACAS.
E. Allen Emerson, John Havlicek, Richard J. Trefler, 2000, Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).
Kedar S. Namjoshi, Richard J. Trefler, 2015, FORTE.
Ilan Beer, Shoham Ben-David, Hana Chockler, 2009, CAV.
E. Allen Emerson, Richard J. Trefler, E. Emerson, 1997, TAPSOFT.
Arie Gurfinkel, Richard J. Trefler, Rylo Ashmore, 2019, NFM.
Kedar S. Namjoshi, E. Allen Emerson, Nina Amla, 2003, CONCUR.
E. Allen Emerson, Richard J. Trefler, E. Emerson, 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Zarrin Langari, Richard J. Trefler, 2011, NASA Formal Methods.
Zarrin Langari, Richard J. Trefler, Zarrin Langari, 2006, FM.
Arie Gurfinkel, Naghmeh Ghafari, Richard J. Trefler, 2009, FMOODS/FORTE.
Arie Gurfinkel, Nils Klarlund, Naghmeh Ghafari, 2007 .
Shoham Ben-David, Grant E. Weddell, Richard J. Trefler, 2006, Description Logics.
Kedar S. Namjoshi, Richard J. Trefler, K. Namjoshi, 2010, TOCL.
E. Allen Emerson, Richard J. Trefler, E. Emerson, 1998, MFCS.
Shoham Ben-David, Grant E. Weddell, Richard J. Trefler, 2007, Description Logics.
E. Allen Emerson, Richard J. Trefler, E. Emerson, 1999, CHARME.
Nils Klarlund, Richard J. Trefler, Nils Klarlund, 2005, AVoCS.
Panagiotis Manolios, Richard J. Trefler, 2003, PODC '03.
Kedar S. Namjoshi, E. Allen Emerson, Nina Amla, 2001, TACAS.
Shoham Ben-David, Grant E. Weddell, Richard J. Trefler, 2007, TABLEAUX.
Arie Gurfinkel, Nils Klarlund, Naghmeh Ghafari, 2012, TOCL.
Kedar S. Namjoshi, Richard J. Trefler, K. Namjoshi, 2012, VMCAI.
Kedar S. Namjoshi, Richard J. Trefler, K. Namjoshi, 2016, TACAS.
Thomas Wahl, E. Allen Emerson, Richard J. Trefler, 2006, ICFEM.
Kedar S. Namjoshi, Richard J. Trefler, K. Namjoshi, 2000, CAV.
Thomas Wahl, Richard J. Trefler, T. Wahl, 2008, VMCAI.
Shoham Ben-David, Grant E. Weddell, Richard J. Trefler, 2010, J. Log. Comput..
Ilan Beer, Shoham Ben-David, Hana Chockler, 2009, Formal Methods in System Design.
Shoham Ben-David, Grant E. Weddell, Dmitry Tsarkov, 2009, Description Logics.
Kedar S. Namjoshi, E. Allen Emerson, Nina Amla, 2002, FORTE.
Kedar S. Namjoshi, Richard J. Trefler, K. Namjoshi, 2013, VMCAI.
Kedar S. Namjoshi, Richard J. Trefler, K. Namjoshi, 2015, TACAS.
Kedar S. Namjoshi, Richard J. Trefler, K. Namjoshi, 2000 .
Richard J. Trefler, G. Weddell, S. Ben-David, 2008 .
Kedar S. Namjoshi, Richard J. Trefler, K. Namjoshi, 2015 .
Richard J. Trefler, K. Namjoshi, 2015 .
Richard J. Trefler, Hana Chockler, I. Beer, 2011, Formal Methods in System Design.
Richard J. Trefler, A. Gurfinkel, J. Navas, 2022, Lecture Notes in Computer Science.
Kedar S. Namjoshi, Richard J. Trefler, Aalok Thakkar, 2020 .