The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Eli Singerman: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:185-198 [Conf]
  2. Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi
    GSTE Is Partitioned Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:229-241 [Conf]
  3. Amir Pnueli, Natarajan Shankar, Eli Singerman
    Fair Synchronous Transition Systems and Their Liveness Proofs. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1998, pp:198-209 [Conf]
  4. David Harel, Eli Singerman
    Computation Paths Logic: An Expressive, yet Elementary, Process Logic (abridged version). [Citation Graph (0, 0)][DBLP]
    ICALP, 1997, pp:408-418 [Conf]
  5. David Harel, Eli Singerman
    More on Nonregular PDL: Expressive Power, Finite Models, Fibonacci Programs. [Citation Graph (0, 0)][DBLP]
    ISTCS, 1995, pp:140-149 [Conf]
  6. Tamarah Arons, Elad Elster, Terry Murphy, Eli Singerman
    Embedded Software Validation: Applying Formal Techniques for Coverage and Test Generation. [Citation Graph (0, 0)][DBLP]
    MTV, 2006, pp:45-51 [Conf]
  7. 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. [Citation Graph (0, 0)][DBLP]
    TACAS, 2002, pp:296-211 [Conf]
  8. Amir Pnueli, Michael Siegel, Eli Singerman
    Translation Validation. [Citation Graph (0, 0)][DBLP]
    TACAS, 1998, pp:151-166 [Conf]
  9. Vlad Rusu, Eli Singerman
    On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:178-192 [Conf]
  10. David Harel, Eli Singerman
    Computation Paths Logic: An Expressive, yet Elementary, Process Logic. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1999, v:96, n:1-3, pp:167-186 [Journal]
  11. David Harel, Eli Singerman
    More on Nonregular PDL: Finite Models and Fibonacci-Like Programs. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1996, v:128, n:2, pp:109-118 [Journal]
  12. Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi
    GSTE is partitioned model checking. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2007, v:31, n:2, pp:177-196 [Journal]

  13. Efficient Symbolic Simulation of Low Level Software. [Citation Graph (, )][DBLP]


  14. A Temporal Language for SystemC. [Citation Graph (, )][DBLP]


  15. Case study: Integrating FV and DV in the Verification of the Intel CoreTM 2 Duo Microprocessor. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002