Eli Singerman

2008
14	EE	Tamarah Arons, Elad Elster, Shlomit Ozer, Jonathan Shalev, Eli Singerman: Efficient Symbolic Simulation of Low Level Software. DATE 2008: 825-830
2007
13	EE	Alon 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
12	EE	Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi: GSTE is partitioned model checking. Formal Methods in System Design 31(2): 177-196 (2007)
2006
11	EE	Tamarah Arons, Elad Elster, Terry Murphy, Eli Singerman: Embedded Software Validation: Applying Formal Techniques for Coverage and Test Generation. MTV 2006: 45-51
2005
10	EE	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. CAV 2005: 185-198
2004
9	EE	Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi: GSTE Is Partitioned Model Checking. CAV 2004: 229-241
2002
8	EE	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. TACAS 2002: 296-211
1999
7	EE	Vlad 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
5	EE	Amir Pnueli, Natarajan Shankar, Eli Singerman: Fair Synchronous Transition Systems and Their Liveness Proofs. FTRTFT 1998: 198-209
4	EE	Amir 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

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

Colors in the list of coauthors