Eli Singerman

Publication Activity (10 Years)

Years Active: 1995-2014
Publications (10 Years): 0

Top Topics

Logical Representation

Ibm Zenterprise

Top Venues

Publications

Yael Abarbanel, Eli Singerman, Moshe Y. Vardi
Validation of SoC Firmware-Hardware Flows: Challenges and Solution Directions. DAC (2014)
Ranan Fraer, Doron Keren, Zurab Khasidashvili, Alexander Novakovsky, Avi Puder, Eli Singerman, Eran Talmor, Moshe Y. Vardi, Jin Yang
From visual to logical formalisms for SoC validation. MEMOCODE (2014)
Eli Singerman, Yael Abarbanel, Sean Baartmans
Transaction based pre-to-post silicon validation. DAC (2011)
Tamarah Arons, Elad Elster, Shlomit Ozer, Jonathan Shalev, Eli Singerman
Efficient Symbolic Simulation of Low Level Software. DATE (2008)
Deian Tabakov, Gila Kamhi, Moshe Y. Vardi, Eli Singerman
A Temporal Language for SystemC. FMCAD (2008)
Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi
GSTE is partitioned model checking. Formal Methods Syst. Des. 31 (2) (2007)
Alon Flaisher, Alon Gluska, Eli Singerman
2 Duo Microprocessor. FMCAD (2007)
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)
Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi
GSTE Is Partitioned Model Checking. CAV (2004)
Roy Armoni, Limor Fix, Alon Flaisher, Rob Gerth, Boris Ginsburg, Tomer Kanza, Avner Landver, Sela Mador-Haim, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar
The ForSpec Temporal Logic: A New Temporal Property-Specification Language. TACAS (2002)
David Harel, Eli Singerman
Computation Paths Logic: An Expressive, yet Elementary, Process Logic. Ann. Pure Appl. Log. 96 (1-3) (1999)
Vlad Rusu, Eli Singerman
On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction. TACAS (1999)
Amir Pnueli, Michael Siegel, Eli Singerman
Translation Validation. TACAS (1998)
Amir Pnueli, Natarajan Shankar, Eli Singerman
Fair Synchronous Transition Systems and Their Liveness Proofs. FTRTFT (1998)
David Harel, Eli Singerman
Computation Paths Logic: An Expressive, yet Elementary, Process Logic (abridged version). ICALP (1997)
David Harel, Eli Singerman
More on Nonregular PDL: Finite Models and Fibonacci-Like Programs. Inf. Comput. 128 (2) (1996)
David Harel, Eli Singerman
More on Nonregular PDL: Expressive Power, Finite Models, Fibonacci Programs. ISTCS (1995)