Limor Fix

2007
33	EE	Roy Armoni, Limor Fix, Ranan Fraer, Tamir Heyman, Moshe Y. Vardi, Yakir Vizel, Yael Zbar: Deeper Bound in BMC by Combining Constant Propagation and Abstraction. ASP-DAC 2007: 304-309
32	EE	Shimin Chen, Phillip B. Gibbons, Michael Kozuch, Vasileios Liaskovitis, Anastassia Ailamaki, Guy E. Blelloch, Babak Falsafi, Limor Fix, Nikos Hardavellas, Todd C. Mowry, Chris Wilkerson: Scheduling threads for constructive cache sharing on CMPs. SPAA 2007: 105-115
31	EE	Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster: Verifying Very Large Industrial Circuits Using 100 Processes and Beyond. Int. J. Found. Comput. Sci. 18(1): 45-62 (2007)
2006
30	EE	Shimin Chen, Babak Falsafi, Phillip B. Gibbons, Michael Kozuch, Todd C. Mowry, Radu Teodorescu, Anastassia Ailamaki, Limor Fix, Gregory R. Ganger, Bin Lin, Steven W. Schlosser: Log-based architectures for general-purpose monitoring of deployed code. ASID 2006: 63-65
29	EE	Vasileios Liaskovitis, Shimin Chen, Phillip B. Gibbons, Anastassia Ailamaki, Guy E. Blelloch, Babak Falsafi, Limor Fix, Nikos Hardavellas, Michael Kozuch, Todd C. Mowry, Chris Wilkerson: Parallel depth first vs. work stealing schedulers on CMP architectures. SPAA 2006: 330
28	EE	Prasenjit Basu, Sayantan Das, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni: Design-Intent Coverage - A New Paradigm for Formal Property Verification. IEEE Trans. on CAD of Integrated Circuits and Systems 25(10): 1922-1934 (2006)
2005
27	EE	Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster: Verifying Very Large Industrial Circuits Using 100 Processes and Beyond. ATVA 2005: 11-25
26	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
25	EE	Sayantan Das, Ansuman Banerjee, Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix: Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model. VLSI Design 2005: 201-206
24	EE	Roy Armoni, Limor Fix, Ranan Fraer, Scott Huddleston, Nir Piterman, Moshe Y. Vardi: SAT-based Induction for Temporal Safety Properties. Electr. Notes Theor. Comput. Sci. 119(2): 3-16 (2005)
2004
23		Sharad Malik, Limor Fix, Andrew B. Kahng: Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004 ACM 2004
22	EE	Prasenjit Basu, Sayantan Das, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix: Formal Verification Coverage: Are the RTL-Properties Covering the Design's Architectural Intent? DATE 2004: 668-669
21	EE	Sayantan Das, Prasenjit Basu, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni: Formal verification coverage: computing the coverage gap between temporal specifications. ICCAD 2004: 198-203
2003
20	EE	Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi: Enhanced Vacuity Detection in Linear Temporal Logic. CAV 2003: 368-380
19		Luciano Lavagno, Limor Fix: DAC Highlights. IEEE Design & Test of Computers 20(3): 88-89 (2003)
2002
18	EE	Scott Hazelhurst, Osnat Weissberg, Gila Kamhi, Limor Fix: A hybrid verification approach: getting deep into the design. DAC 2002: 111-116
17	EE	David L. Dill, Nate James, Shishpal Rawat, Gérard Berry, Limor Fix, Harry Foster, Rajeev K. Ranjan, Gunnar Stålmarck, Curt Widdoes: Formal verification methods: getting around the brick wall. DAC 2002: 576-577
16	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
2001
15	EE	Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi: Benefits of Bounded Model Checking at an Industrial Setting. CAV 2001: 436-453
2000
14		Ranan Fraer, Gila Kamhi, Barukh Ziv, Moshe Y. Vardi, Limor Fix: Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification. CAV 2000: 389-402
1999
13	EE	Ranan Fraer, Gila Kamhi, Limor Fix, Moshe Y. Vardi: Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting. Electr. Notes Theor. Comput. Sci. 23(2): (1999)
12	EE	Rajeev Alur, Limor Fix, Thomas A. Henzinger: Event-Clock Automata: A Determinizable Class of Timed Automata. Theor. Comput. Sci. 211(1-2): 253-273 (1999)
1998
11	EE	Gila Kamhi, Limor Fix, Ziv Binyamini: Symbolic Model Checking Visualization. FMCAD 1998: 290-303
10	EE	Sela Mador-Haim, Limor Fix: Input Elimination and Abstraction in Model Checking. FMCAD 1998: 304-320
9	EE	Gila Kamhi, Limor Fix: Adaptive variable reordering for symbolic model checking. ICCAD 1998: 359-365
1997
8		Gila Kamhi, Osnat Weissberg, Limor Fix: Automatic Datapath Extraction for Efficient Usage of HDD. CAV 1997: 95-106
1996
7		Limor Fix, Orna Grumberg: Verification of Temporal Properties. J. Log. Comput. 6(3): 343-361 (1996)
1994
6		Rajeev Alur, Limor Fix, Thomas A. Henzinger: A Determinizable Class of Timed Automata. CAV 1994: 1-13
5		Limor Fix, Fred B. Schneider: Hybrid Verification by Exploiting the Environment. FTRTFT 1994: 1-18
4		Limor Fix, Fred B. Schneider: Reasoning about Programs by Exploiting the Environment. ICALP 1994: 328-339
3		Limor Fix, Nissim Francez, Orna Grumberg: Program Composition via Unification. Theor. Comput. Sci. 131(1): 139-179 (1994)
1992
2		Limor Fix, Nissim Francez, Orna Grumberg: Program Composition via Unification. ICALP 1992: 672-684
1991
1		Limor Fix, Nissim Francez, Orna Grumberg: Program Composition and Modular Verification. ICALP 1991: 93-114

Coauthor Index

1	Anastasia Ailamaki (Anastassia Ailamaki, Ailamaki Natassa)	[29] [30] [32]
2	Rajeev Alur	[6] [12]
3	Roy Armoni	[16] [20] [21] [24] [28] [33]
4	Tamarah Arons	[26]
5	Ansuman Banerjee	[21] [25] [28]
6	Prasenjit Basu	[21] [22] [25] [28]
7	Gérard Berry	[17]
8	Ziv Binyamini	[11]
9	Guy E. Blelloch	[29] [32]
10	P. P. Chakrabarti (Partha Pratim Chakrabarti)	[21] [22] [25] [28]
11	Shimin Chen	[29] [30] [32]
12	Fady Copty	[15]
13	Sayantan Das	[21] [22] [25] [28]
14	Pallab Dasgupta	[21] [22] [25] [28]
15	David L. Dill	[17]
16	Elad Elster	[26]
17	Babak Falsafi	[29] [30] [32]
18	Alon Flaisher	[16] [20]
19	Harry Foster	[17]
20	Ranan Fraer	[13] [14] [15] [24] [33]
21	Nissim Francez	[1] [2] [3]
22	Gregory R. Ganger	[30]
23	Rob Gerth	[16]
24	Phillip B. Gibbons	[29] [30] [32]
25	Boris Ginsburg	[16]
26	Enrico Giunchiglia	[15]
27	Orna Grumberg	[1] [2] [3] [7] [20] [27] [31]
28	Nikolaos Hardavellas (Nikos Hardavellas)	[29] [32]
29	Scott Hazelhurst	[18]
30	Thomas A. Henzinger	[6] [12]
31	Amnon Heyman	[27] [31]
32	Tamir Heyman	[27] [31] [33]
33	Scott Huddleston	[24]
34	Nate James	[17]
35	Andrew B. Kahng	[23]
36	Gila Kamhi	[8] [9] [11] [13] [14] [15] [18]
37	Tomer Kanza	[16]
38	Michael Kozuch	[29] [30] [32]
39	Avner Landver	[16]
40	Luciano Lavagno	[19]
41	Vasileios Liaskovitis	[29] [32]
42	Bin Lin	[30]
43	Sela Mador-Haim	[10] [16] [26]
44	Sharad Malik	[23]
45	Michael Mishaeli	[26]
46	Chunduri Rama Mohan	[21] [22] [25] [28]
47	Todd C. Mowry	[29] [30] [32]
48	Nir Piterman	[20] [24]
49	Rajeev K. Ranjan	[17]
50	Shishpal Rawat	[17]
51	Steven W. Schlosser	[30]
52	Fred B. Schneider	[4] [5]
53	Assaf Schuster	[27] [31]
54	Jonathan Shalev	[26]
55	Eli Singerman	[16] [26]
56	Gunnar Stålmarck	[17]
57	Armando Tacchella	[15]
58	Radu Teodorescu	[30]
59	Andreas Tiemeyer	[16] [20] [26]
60	Moshe Y. Vardi	[13] [14] [15] [16] [20] [24] [26] [33]
61	Yakir Vizel	[33]
62	Osnat Weissberg	[8] [18]
63	Curt Widdoes	[17]
64	Chris Wilkerson	[29] [32]
65	Yael Zbar	[16] [33]
66	Barukh Ziv	[14]
67	Lenore D. Zuck	[26]

Colors in the list of coauthors