Elad Elster

Publication Activity (10 Years)

Years Active: 2005-2008
Publications (10 Years): 0

Publications

Tamarah Arons, Elad Elster, Shlomit Ozer, Jonathan Shalev, Eli Singerman
Efficient Symbolic Simulation of Low Level Software. DATE (2008)
Tamarah Arons, Elad Elster, Terry Murphy, Eli Singerman
Embedded Software Validation: Applying Formal Techniques for Coverage and Test Generation. MTV (2006)
Tamarah Arons, Elad Elster, Limor Fix, Sela Mador-Haim, Michael Mishaeli, Jonathan Shalev, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Lenore D. Zuck
Formal Verification of Backward Compatibility of Microcode. CAV (2005)