Limor Fix

2008
37		Limor Fix: Proceedings of the 45th Design Automation Conference, DAC 2008, Anaheim, CA, USA, June 8-13, 2008 ACM 2008
36	EE	Limor Fix: Fifteen Years of Formal Property Verification in Intel. 25 Years of Model Checking 2008: 139-144
2007
35	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
34	EE	Adam Goode, Mei Chen, Anil Tarachandam, Lily B. Mummert, Rahul Sukthankar, Casey Helfrich, Alice Stefanni, Limor Fix, Jeffrey Saltzman, Mahadev Satyanarayanan: Interactive Search of Adipocytes in Large Collections of Digital Cellular Images. ICME 2007: 695-698
33	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
32	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
31	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
30	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
29	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
28	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
27	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
26	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
25	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
24		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
23	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
22	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
21		Limor Fix: Abstract for the ISOLA Special Session on "Industrial use of tools for Formal Analysis". ISoLA (Preliminary proceedings) 2004: 189-189
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)	[30] [31] [33]
2	Rajeev Alur	[6] [12]
3	Roy Armoni	[16] [20] [22] [25] [29] [35]
4	Tamarah Arons	[27]
5	Ansuman Banerjee	[22] [26] [29]
6	Prasenjit Basu	[22] [23] [26] [29]
7	Gérard Berry	[17]
8	Ziv Binyamini	[11]
9	Guy E. Blelloch	[30] [33]
10	P. P. Chakrabarti (Partha Pratim Chakrabarti)	[22] [23] [26] [29]
11	Mei Chen	[34]
12	Shimin Chen	[30] [31] [33]
13	Fady Copty	[15]
14	Sayantan Das	[22] [23] [26] [29]
15	Pallab Dasgupta	[22] [23] [26] [29]
16	David L. Dill	[17]
17	Elad Elster	[27]
18	Babak Falsafi	[30] [31] [33]
19	Alon Flaisher	[16] [20]
20	Harry Foster	[17]
21	Ranan Fraer	[13] [14] [15] [25] [35]
22	Nissim Francez	[1] [2] [3]
23	Gregory R. Ganger	[31]
24	Rob Gerth	[16]
25	Phillip B. Gibbons	[30] [31] [33]
26	Boris Ginsburg	[16]
27	Enrico Giunchiglia	[15]
28	Adam Goode	[34]
29	Orna Grumberg	[1] [2] [3] [7] [20] [28] [32]
30	Nikolaos Hardavellas (Nikos Hardavellas)	[30] [33]
31	Scott Hazelhurst	[18]
32	Casey Helfrich	[34]
33	Thomas A. Henzinger	[6] [12]
34	Amnon Heyman	[28] [32]
35	Tamir Heyman	[28] [32] [35]
36	Scott Huddleston	[25]
37	Nate James	[17]
38	Andrew B. Kahng	[24]
39	Gila Kamhi	[8] [9] [11] [13] [14] [15] [18]
40	Tomer Kanza	[16]
41	Michael Kozuch	[30] [31] [33]
42	Avner Landver	[16]
43	Luciano Lavagno	[19]
44	Vasileios Liaskovitis	[30] [33]
45	Bin Lin	[31]
46	Sela Mador-Haim	[10] [16] [27]
47	Sharad Malik	[24]
48	Michael Mishaeli	[27]
49	Chunduri Rama Mohan	[22] [23] [26] [29]
50	Todd C. Mowry	[30] [31] [33]
51	Lily B. Mummert	[34]
52	Nir Piterman	[20] [25]
53	Rajeev K. Ranjan	[17]
54	Shishpal Rawat	[17]
55	Jeffrey Saltzman	[34]
56	Mahadev Satyanarayanan (M. Satyanarayanan)	[34]
57	Steven W. Schlosser	[31]
58	Fred B. Schneider	[4] [5]
59	Assaf Schuster	[28] [32]
60	Jonathan Shalev	[27]
61	Eli Singerman	[16] [27]
62	Gunnar Stålmarck	[17]
63	Alice Stefanni	[34]
64	Rahul Sukthankar	[34]
65	Armando Tacchella	[15]
66	Anil Tarachandam	[34]
67	Radu Teodorescu	[31]
68	Andreas Tiemeyer	[16] [20] [27]
69	Moshe Y. Vardi	[13] [14] [15] [16] [20] [25] [27] [35]
70	Yakir Vizel	[35]
71	Osnat Weissberg	[8] [18]
72	Curt Widdoes	[17]
73	Chris Wilkerson	[30] [33]
74	Yael Zbar	[16] [35]
75	Barukh Ziv	[14]
76	Lenore D. Zuck	[27]

Colors in the list of coauthors