Elad Elster

According to our database, Elad Elster authored at least 3 papers between 2005 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2008

Efficient Symbolic Simulation of Low Level Software.

Tamarah Arons, Elad Elster, Shlomit Ozer, Jonathan Shalev, Eli Singerman

Proceedings of the Design, Automation and Test in Europe, 2008

2006

Embedded Software Validation: Applying Formal Techniques for Coverage and Test Generation.

Tamarah Arons, Elad Elster, Terry Murphy, Eli Singerman

Proceedings of the Seventh International Workshop on Microprocessor Test and Verification (MTV 2006), 2006

2005

Formal Verification of Backward Compatibility of Microcode.

Tamarah Arons, Elad Elster, Limor Fix, Sela Mador-Haim, Michael Mishaeli, Jonathan Shalev, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Lenore D. Zuck

Proceedings of the Computer Aided Verification, 17th International Conference, 2005