Sela Mador-Haim

	2011
6		Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin: Litmus tests for comparing memory consistency models: how long do they need to be? DAC 2011: 504-509
	2010
5		Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin: Generating Litmus Tests for Contrasting Memory Consistency Models. CAV 2010: 273-287
	2005
4		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
	2003
3		Marcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ranan Fraer, Moshe Y. Vardi: Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation. TACAS 2003: 176-191
	2002
2		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
	1998
1		Sela Mador-Haim, Limor Fix: Input Elimination and Abstraction in Model Checking. FMCAD 1998: 304-320

Coauthor Index

1	Rajeev Alur	[5] [6]
2	Roy Armoni	[2]
3	Tamarah Arons	[4]
4	Elad Elster	[4]
5	Limor Fix	[1] [2] [4]
6	Alon Flaisher	[2]
7	Ranan Fraer	[3]
8	Rob Gerth	[2]
9	Boris Ginsburg	[2]
10	Marcelo Glusman	[3]
11	Gila Kamhi	[3]
12	Tomer Kanza	[2]
13	Avner Landver	[2]
14	Milo M. K. Martin	[5] [6]
15	Michael Mishaeli	[4]
16	Jonathan Shalev	[4]
17	Eli Singerman	[2] [4]
18	Andreas Tiemeyer	[2] [4]
19	Moshe Y. Vardi	[2] [3] [4]
20	Yael Zbar	[2]
21	Lenore D. Zuck	[4]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page