Sematics-Driven Decompositions for the Verification of Distributed Programs. - Limor Fix; Nissim Francez; Orna Grumberg (Programming Concepts and Methods, 1990)

Program Composition and Modular Verification. - Limor Fix; Nissim Francez; Orna Grumberg (ICALP, 1991)

A Determinizable Class of Timed Automata. - Rajeev Alur; Limor Fix; Thomas A. Henzinger (CAV, 1994)

Hybrid Verification by Exploiting the Environment. - Limor Fix; Fred B. Schneider (FTRTFT, 1994)

Reasoning about Programs by Exploiting the Environment. - Limor Fix; Fred B. Schneider (ICALP, 1994)

Program Composition via Unification. - Limor Fix; Nissim Francez; Orna Grumberg (Theor. Comput. Sci., 1994)

Verification of Temporal Properties. - Limor Fix; Orna Grumberg (J. Log. Comput., 1996)

Automatic Datapath Extraction for Efficient Usage of HDD. - Gila Kamhi; Osnat Weissberg; Limor Fix (CAV, 1997)

Symbolic Model Checking Visualization. - Gila Kamhi; Limor Fix; Ziv Binyamini (FMCAD, 1998)

Input Elimination and Abstraction in Model Checking. - Sela Mador-Haim; Limor Fix (FMCAD, 1998)

Adaptive variable reordering for symbolic model checking. - Gila Kamhi; Limor Fix (ICCAD, 1998)

Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting. - Ranan Fraer; Gila Kamhi; Limor Fix; Moshe Y. Vardi (SMC@FLoC, 1999)

Event-Clock Automata: A Determinizable Class of Timed Automata. - Rajeev Alur; Limor Fix; Thomas A. Henzinger (Theor. Comput. Sci., 1999)

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

Benefits of Bounded Model Checking at an Industrial Setting. - Fady Copty; Limor Fix; Ranan Fraer; Enrico Giunchiglia; Gila Kamhi; Armando Tacchella; Moshe Y. Vardi (CAV, 2001)

Formal verification methods: getting around the brick wall. - David L. Dill; Nate James; Shishpal Rawat; Gérard Berry; Limor Fix; Harry Foster; Rajeev K. Ranjan 001; Gunnar Stålmarck; Curt Widdoes (DAC, 2002)

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

The ForSpec Temporal Logic: A New Temporal Property-Specification Language. - 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 (TACAS, 2002)

Enhanced Vacuity Detection in Linear Temporal Logic. - Roy Armoni; Limor Fix; Alon Flaisher; Orna Grumberg; Nir Piterman; Andreas Tiemeyer; Moshe Y. Vardi (CAV, 2003)

DAC Highlights. - Luciano Lavagno; Limor Fix (IEEE Des. Test Comput., 2003)

Formal Verification Coverage: Are the RTL-Properties Covering the Design's Architectural Intent? - Prasenjit Basu; Sayantan Das 001; Pallab Dasgupta; P. P. Chakrabarti 001; Chunduri Rama Mohan; Limor Fix (DATE, 2004)

Formal verification coverage: computing the coverage gap between temporal specifications. - Sayantan Das 001; Prasenjit Basu; Ansuman Banerjee; Pallab Dasgupta; P. P. Chakrabarti 001; Chunduri Rama Mohan; Limor Fix; Roy Armoni (ICCAD, 2004)

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

SAT-based Induction for Temporal Safety Properties. - Roy Armoni; Limor Fix; Ranan Fraer; Scott Huddleston; Nir Piterman; Moshe Y. Vardi (BMC@CAV, 2004)

Formal Verification of Backward Compatibility of Microcode. - Tamarah Arons; Elad Elster; Limor Fix; Sela Mador-Haim; Michael Mishaeli; Jonathan Shalev; Eli Singerman; Andreas Tiemeyer; Moshe Y. Vardi; Lenore D. Zuck (CAV, 2005)

Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model. - Sayantan Das 001; Ansuman Banerjee; Prasenjit Basu; Pallab Dasgupta; P. P. Chakrabarti 001; Chunduri Rama Mohan; Limor Fix (VLSI Design, 2005)

Log-based architectures for general-purpose monitoring of deployed code. - Shimin Chen; Babak Falsafi; Phillip B. Gibbons; Michael Kozuch; Todd C. Mowry; Radu Teodorescu; Anastassia Ailamaki; Limor Fix; Gregory R. Ganger; Bin Lin 002; Steven W. Schlosser (ASID, 2006)

Parallel depth first vs. work stealing schedulers on CMP architectures. - 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 (SPAA, 2006)

Design-Intent Coverage - A New Paradigm for Formal Property Verification. - Prasenjit Basu; Sayantan Das 001; Ansuman Banerjee; Pallab Dasgupta; P. P. Chakrabarti 001; Chunduri Rama Mohan; Limor Fix; Roy Armoni (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006)

Deeper Bound in BMC by Combining Constant Propagation and Abstraction. - Roy Armoni; Limor Fix; Ranan Fraer; Tamir Heyman; Moshe Y. Vardi; Yakir Vizel; Yael Zbar (ASP-DAC, 2007)

Interactive Search of Adipocytes in Large Collections of Digital Cellular Images. - Adam Goode; Mei Chen; Anil Tarachandani; Lily B. Mummert; Rahul Sukthankar; Casey Helfrich; Alice Stefanni; Limor Fix; Jeffrey Saltzman 002; Mahadev Satyanarayanan (ICME, 2007)

Scheduling threads for constructive cache sharing on CMPs. - 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 (SPAA, 2007)

Verifying Very Large Industrial Circuits Using 100 Processes and Beyond. - Limor Fix; Orna Grumberg; Amnon Heyman; Tamir Heyman; Assaf Schuster (Int. J. Found. Comput. Sci., 2007)

Fifteen Years of Formal Property Verification in Intel. - Limor Fix (25 Years of Model Checking, 2008)

Systems Computing Challenges in the Internet of Things. - Rajeev Alur; Emery D. Berger; Ann W. Drobnis; Limor Fix; Kevin Fu; Gregory D. Hager; Daniel P. Lopresti; Klara Nahrstedt; Elizabeth D. Mynatt; Shwetak N. Patel; Jennifer Rexford; John A. Stankovic; et al. (CoRR, 2016)

The Future of Computing Research: Industry-Academic Collaborations. - Nady Boules; Khari Douglas; Stuart I. Feldman; Limor Fix; Gregory D. Hager; Brent Hailpern; Martial Hebert; Daniel P. Lopresti; Beth Mynatt; Christopher J. Rossbach; Helen V. Wright (CoRR, 2016)