Search the dblp DataBase

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 Core^TM 2 Duo Microprocessor. [Citation Graph (, )][DBLP]