The e Language: A Fresh Separation of Concerns. - Yoav Hollander; Matthew Morley; Amos Noy (TOOLS (38), 2001)

Is Verification Getting Too Complex? - Yoav Hollander (Haifa Verification Conference, 2008)

Special Session on Debugging. - Yoav Hollander; Alan J. Hu; João Lourenço; Ronny Morad (Haifa Verification Conference, 2010)