Limor Fix

Limor Fix: Fifteen Years of Formal Property Verification in Intel. 25 Years of Model Checking 2008: 139-144

Limor Fix (Ed.): Proceedings of the 45th Design Automation Conference, DAC 2008, Anaheim, CA, USA, June 8-13, 2008. ACM 2008, isbn 978-1-60558-115-6

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)

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

Adam Goode, Mei Chen, Anil Tarachandani, 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

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

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)

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

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

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)

Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster: Verifying Very Large Industrial Circuits Using 100 Processes and Beyond. ATVA 2005: 11-25

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

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

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

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

Limor Fix: Abstract for the ISOLA Special Session on "Industrial use of tools for Formal Analysis". ISoLA (Preliminary proceedings) 2004: 189-189

Sharad Malik, Limor Fix, Andrew B. Kahng (Eds.): Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004. ACM 2004, isbn 1-58113-828-8

Luciano Lavagno, Limor Fix: DAC Highlights. IEEE Design & Test of Computers 20(3): 88-89 (2003)

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

Scott Hazelhurst, Osnat Weissberg, Gila Kamhi, Limor Fix: A hybrid verification approach: getting deep into the design. DAC 2002: 111-116

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

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

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

Ranan Fraer, Gila Kamhi, Barukh Ziv, Moshe Y. Vardi, Limor Fix: Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification. CAV 2000: 389-402

Ranan Fraer, Gila Kamhi, Limor Fix, Moshe Y. Vardi: Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting. Electr. Notes Theor. Comput. Sci. 23(2): 11-22 (1999)

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)

Gila Kamhi, Limor Fix, Ziv Binyamini: Symbolic Model Checking Visualization. FMCAD 1998: 290-303

Sela Mador-Haim, Limor Fix: Input Elimination and Abstraction in Model Checking. FMCAD 1998: 304-320

Gila Kamhi, Limor Fix: Adaptive variable reordering for symbolic model checking. ICCAD 1998: 359-365

Gila Kamhi, Osnat Weissberg, Limor Fix: Automatic Datapath Extraction for Efficient Usage of HDD. CAV 1997: 95-106

Limor Fix, Orna Grumberg: Verification of Temporal Properties. J. Log. Comput. 6(3): 343-361 (1996)

Limor Fix, Nissim Francez, Orna Grumberg: Program Composition via Unification. Theor. Comput. Sci. 131(1): 139-179 (1994)

Rajeev Alur, Limor Fix, Thomas A. Henzinger: A Determinizable Class of Timed Automata. CAV 1994: 1-13

Limor Fix, Fred B. Schneider: Hybrid Verification by Exploiting the Environment. FTRTFT 1994: 1-18

Limor Fix, Fred B. Schneider: Reasoning about Programs by Exploiting the Environment. ICALP 1994: 328-339

Limor Fix, Nissim Francez, Orna Grumberg: Program Composition via Unification. ICALP 1992: 672-684

Limor Fix, Nissim Francez, Orna Grumberg: Program Composition and Modular Verification. ICALP 1991: 93-114