Eli Singerman

18 papers A* 5A 4B 2C 1Journal 3Unranked 3
YearRankTypeTitle / Venue / Authors
2014 C conf
From visual to logical formalisms for SoC validation.
MEMOCODE
Ranan Fraer, Doron Keren, Zurab Khasidashvili, Alexander Novakovsky, Avi Puder, Eli Singerman, Eran Talmor, Moshe Y. Vardi, Jin Yang
2014 A* conf
Validation of SoC Firmware-Hardware Flows: Challenges and Solution Directions.
DAC
Yael Abarbanel, Eli Singerman, Moshe Y. Vardi
2011 A* conf
Transaction based pre-to-post silicon validation.
DAC
Eli Singerman, Yael Abarbanel, Sean Baartmans
2008 B conf
A Temporal Language for SystemC.
FMCAD
Deian Tabakov, Gila Kamhi, Moshe Y. Vardi, Eli Singerman
2008 A conf
Efficient Symbolic Simulation of Low Level Software.
DATE
Tamarah Arons, Elad Elster, Shlomit Ozer, Jonathan Shalev, Eli Singerman
2007 B conf
Case study: Integrating FV and DV in the Verification of the Intel Core
FMCAD
Alon Flaisher, Alon Gluska, Eli Singerman
2007 J jnl
GSTE is partitioned model checking.
Formal Methods Syst. Des.
Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi
2006 — conf
Embedded Software Validation: Applying Formal Techniques for Coverage and Test Generation.
MTV
Tamarah Arons, Elad Elster, Terry Murphy, Eli Singerman
2005 A* conf
Formal Verification of Backward Compatibility of Microcode.
CAV
Tamarah Arons, Elad Elster, Limor Fix, Sela Mador-Haim, Michael Mishaeli, Jonathan Shalev, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Lenore D. Zuck
2004 A* conf
GSTE Is Partitioned Model Checking.
CAV
Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi
2002 A conf
The ForSpec Temporal Logic: A New Temporal Property-Specification Language.
TACAS
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
1999 J jnl
Computation Paths Logic: An Expressive, yet Elementary, Process Logic.
Ann. Pure Appl. Log.
David Harel, Eli Singerman
1999 A conf
On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction.
TACAS
Vlad Rusu, Eli Singerman
1998 — conf
Fair Synchronous Transition Systems and Their Liveness Proofs.
FTRTFT
Amir Pnueli, Natarajan Shankar, Eli Singerman
1998 A conf
Translation Validation.
TACAS
Amir Pnueli, Michael Siegel, Eli Singerman
1997 A* conf
Computation Paths Logic: An Expressive, yet Elementary, Process Logic (abridged version).
ICALP
David Harel, Eli Singerman
1996 J jnl
More on Nonregular PDL: Finite Models and Fibonacci-Like Programs.
Inf. Comput.
David Harel, Eli Singerman
1995 — conf
More on Nonregular PDL: Expressive Power, Finite Models, Fibonacci Programs.
ISTCS
David Harel, Eli Singerman