dblp.uni-trier.dewww.uni-trier.de

Eli Singerman

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
14EETamarah Arons, Elad Elster, Shlomit Ozer, Jonathan Shalev, Eli Singerman: Efficient Symbolic Simulation of Low Level Software. DATE 2008: 825-830
2007
13EEAlon Flaisher, Alon Gluska, Eli Singerman: Case study: Integrating FV and DV in the Verification of the Intel CoreTM 2 Duo Microprocessor. FMCAD 2007: 192-195
12EERoberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi: GSTE is partitioned model checking. Formal Methods in System Design 31(2): 177-196 (2007)
2006
11EETamarah Arons, Elad Elster, Terry Murphy, Eli Singerman: Embedded Software Validation: Applying Formal Techniques for Coverage and Test Generation. MTV 2006: 45-51
2005
10EETamarah 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. CAV 2005: 185-198
2004
9EERoberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi: GSTE Is Partitioned Model Checking. CAV 2004: 229-241
2002
8EERoy 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. TACAS 2002: 296-211
1999
7EEVlad Rusu, Eli Singerman: On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction. TACAS 1999: 178-192
6 David Harel, Eli Singerman: Computation Paths Logic: An Expressive, yet Elementary, Process Logic. Ann. Pure Appl. Logic 96(1-3): 167-186 (1999)
1998
5EEAmir Pnueli, Natarajan Shankar, Eli Singerman: Fair Synchronous Transition Systems and Their Liveness Proofs. FTRTFT 1998: 198-209
4EEAmir Pnueli, Michael Siegel, Eli Singerman: Translation Validation. TACAS 1998: 151-166
1997
3 David Harel, Eli Singerman: Computation Paths Logic: An Expressive, yet Elementary, Process Logic (abridged version). ICALP 1997: 408-418
1996
2 David Harel, Eli Singerman: More on Nonregular PDL: Finite Models and Fibonacci-Like Programs. Inf. Comput. 128(2): 109-118 (1996)
1995
1 David Harel, Eli Singerman: More on Nonregular PDL: Expressive Power, Finite Models, Fibonacci Programs. ISTCS 1995: 140-149

Coauthor Index

1Roy Armoni [8]
2Tamarah Arons [10] [11] [14]
3Elad Elster [10] [11] [14]
4Limor Fix [8] [10]
5Alon Flaisher [8] [13]
6Rob Gerth [8]
7Boris Ginsburg [8]
8Alon Gluska [13]
9David Harel [1] [2] [3] [6]
10Tomer Kanza [8]
11Avner Landver [8]
12Sela Mador-Haim [8] [10]
13Michael Mishaeli [10]
14Terry Murphy [11]
15Shlomit Ozer [14]
16Amir Pnueli [4] [5]
17Vlad Rusu [7]
18Roberto Sebastiani [9] [12]
19Jonathan Shalev [10] [14]
20Natarajan Shankar [5]
21Michael Siegel [4]
22Andreas Tiemeyer [8] [10]
23Stefano Tonetta [9] [12]
24Moshe Y. Vardi [8] [9] [10] [12]
25Yael Zbar [8]
26Lenore D. Zuck [10]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)