Eli Singerman - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 18 from 18

2014

Validation of SoC Firmware-Hardware Flows: Challenges and Solution DirectionsYael Abarbanel, Eli Singerman, Moshe Y. Vardi. dac 2014: 1-4 [doi]

From visual to logical formalisms for SoC validationRanan Fraer, Doron Keren, Zurab Khasidashvili, Alexander Novakovsky, Avi Puder, Eli Singerman, Eran Talmor, Moshe Y. Vardi, Jin Yang. memocode 2014: 165-174 [doi]

2011

Transaction based pre-to-post silicon validationEli Singerman, Yael Abarbanel, Sean Baartmans. dac 2011: 564-568 [doi]

2008

Efficient Symbolic Simulation of Low Level SoftwareTamarah Arons, Elad Elster, Shlomit Ozer, Jonathan Shalev, Eli Singerman. date 2008: 825-830 [doi]

A Temporal Language for SystemCDeian Tabakov, Gila Kamhi, Moshe Y. Vardi, Eli Singerman. FMCAD 2008: 1-9 [doi]

2007

Case study: Integrating FV and DV in the Verification of the Intel Core:::TM::: 2 Duo MicroprocessorAlon Flaisher, Alon Gluska, Eli Singerman. FMCAD 2007: 192-195 [doi]

GSTE is partitioned model checkingRoberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi. fmsd, 31(2):177-196, 2007. [doi]

2006

Embedded Software Validation: Applying Formal Techniques for Coverage and Test GenerationTamarah Arons, Elad Elster, Terry Murphy, Eli Singerman. mtv 2006: 45-51 [doi]

2005

Formal Verification of Backward Compatibility of MicrocodeTamarah Arons, Elad Elster, Limor Fix, Sela Mador-Haim, Michael Mishaeli, Jonathan Shalev, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Lenore D. Zuck. cav 2005: 185-198 [doi]

2004

GSTE Is Partitioned Model CheckingRoberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi. cav 2004: 229-241 [doi]

2002

The ForSpec Temporal Logic: A New Temporal Property-Specification LanguageRoy 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. TACAS 2002: 296-211 [doi]

1999

Computation Paths Logic: An Expressive, yet Elementary, Process LogicDavid Harel, Eli Singerman. APAL, 96(1-3):167-186, 1999.

On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and AbstractionVlad Rusu, Eli Singerman. TACAS 1999: 178-192 [doi]

1998

Translation ValidationAmir Pnueli, Michael Siegel, Eli Singerman. TACAS 1998: 151-166 [doi]

Fair Synchronous Transition Systems and Their Liveness ProofsAmir Pnueli, Natarajan Shankar, Eli Singerman. ftrtft 1998: 198-209 [doi]

1997

Computation Paths Logic: An Expressive, yet Elementary, Process Logic (abridged version)David Harel, Eli Singerman. icalp 1997: 408-418

1996

More on Nonregular PDL: Finite Models and Fibonacci-Like ProgramsDavid Harel, Eli Singerman. iandc, 128(2):109-118, 1996.

1995

More on Nonregular PDL: Expressive Power, Finite Models, Fibonacci ProgramsDavid Harel, Eli Singerman. istcs 1995: 140-149

Sign in or sign up to see more results.

runs on WebDSL