Eli Singerman

According to our database, Eli Singerman authored at least 17 papers between 1995 and 2014.

Collaborative distances:

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

2014

From visual to logical formalisms for SoC validation.

Ranan Fraer, Doron Keren, Zurab Khasidashvili, Alexander Novakovsky, Avi Puder, Eli Singerman, Eran Talmor, Moshe Y. Vardi, Jin Yang

Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014

Validation of SoC Firmware-Hardware Flows: Challenges and Solution Directions.

Yael Abarbanel, Eli Singerman, Moshe Y. Vardi

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

2011

Transaction based pre-to-post silicon validation.

Eli Singerman, Yael Abarbanel, Sean Baartmans

Proceedings of the 48th Design Automation Conference, 2011

2008

A Temporal Language for SystemC.

Deian Tabakov, Gila Kamhi, Moshe Y. Vardi, Eli Singerman

Proceedings of the Formal Methods in Computer-Aided Design, 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

2007

GSTE is partitioned model checking.

Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi

Formal Methods Syst. Des., 2007

Case study: Integrating FV and DV in the Verification of the Intel Core^TM 2 Duo Microprocessor.

Alon Flaisher, Alon Gluska, Eli Singerman

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

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

2002

The ForSpec Temporal Logic: A New Temporal Property-Specification Language.

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

1999

Computation Paths Logic: An Expressive, yet Elementary, Process Logic.

David Harel, Eli Singerman

Ann. Pure Appl. Log., 1999

On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction.

Vlad Rusu, Eli Singerman

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

1998

Translation Validation.

Amir Pnueli, Michael Siegel, Eli Singerman

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

Fair Synchronous Transition Systems and Their Liveness Proofs.

Amir Pnueli, Natarajan Shankar, Eli Singerman

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

1997

Computation Paths Logic: An Expressive, yet Elementary, Process Logic (abridged version).

David Harel, Eli Singerman

Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997

1996

More on Nonregular PDL: Finite Models and Fibonacci-Like Programs.

David Harel, Eli Singerman

Inf. Comput., 1996

1995

More on Nonregular PDL: Expressive Power, Finite Models, Fibonacci Programs.

David Harel, Eli Singerman

Proceedings of the Third Israel Symposium on Theory of Computing and Systems, 1995