Eli Singerman
Intel (Israel)(IL)Intel (United Kingdom)(GB)Israel Electric (Israel)(IL)
Publications by Year
Research Areas
Formal Methods in Verification, Embedded Systems Design Techniques, Logic, programming, and type systems, Software Testing and Debugging Techniques, Software Reliability and Analysis Research
Most-Cited Works
- → Translation validation(1998)482 cited
- → The ForSpec Temporal Logic: A New Temporal Property-Specification Language(2002)161 cited
- → A Temporal Language for SystemC(2008)46 cited
- → Formal Verification of Backward Compatibility of Microcode(2005)46 cited
- → On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction(1999)31 cited
- → Transaction based pre-to-post silicon validation(2011)28 cited
- → Validation of SoC Firmware-Hardware Flows(2014)20 cited