Eli Singerman

	2008
15		Tamarah Arons, Elad Elster, Shlomit Ozer, Jonathan Shalev, Eli Singerman: Efficient Symbolic Simulation of Low Level Software. DATE 2008: 825-830
14		Deian Tabakov, Gila Kamhi, Moshe Y. Vardi, Eli Singerman: A Temporal Language for SystemC. FMCAD 2008: 1-9
	2007
13		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		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		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		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		Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi: GSTE Is Partitioned Model Checking. CAV 2004: 229-241
	2002
8		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		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		Amir Pnueli, Natarajan Shankar, Eli Singerman: Fair Synchronous Transition Systems and Their Liveness Proofs. FTRTFT 1998: 198-209
4		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] [15]
3	Elad Elster	[10] [11] [15]
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	Gila Kamhi	[14]
11	Tomer Kanza	[8]
12	Avner Landver	[8]
13	Sela Mador-Haim	[8] [10]
14	Michael Mishaeli	[10]
15	Terry Murphy	[11]
16	Shlomit Ozer	[15]
17	Amir Pnueli	[4] [5]
18	Vlad Rusu	[7]
19	Roberto Sebastiani	[9] [12]
20	Jonathan Shalev	[10] [15]
21	Natarajan Shankar	[5]
22	Michael Siegel	[4]
23	Deian Tabakov	[14]
24	Andreas Tiemeyer	[8] [10]
25	Stefano Tonetta	[9] [12]
26	Moshe Y. Vardi	[8] [9] [10] [12] [14]
27	Yael Zbar	[8]
28	Lenore D. Zuck	[10]

Colors in the list of coauthors