Limor Fix

According to our database, Limor Fix authored at least 36 papers between 1990 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

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

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, Benjamin G. Zorn

CoRR, 2016

2008

Fifteen Years of Formal Property Verification in Intel.

Limor Fix

Proceedings of the 25 Years of Model Checking - History, Achievements, Perspectives, 2008

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

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

Proceedings of the SPAA 2007: Proceedings of the 19th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 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, Mahadev Satyanarayanan

Proceedings of the 2007 IEEE International Conference on Multimedia and Expo, 2007

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

Proceedings of the 12th Conference on Asia South Pacific Design Automation, 2007

2006

Design-Intent Coverage - A New Paradigm for Formal Property Verification.

Prasenjit Basu, Sayantan Das, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 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

Proceedings of the SPAA 2006: Proceedings of the 18th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Cambridge, Massachusetts, USA, July 30, 2006

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, Steven W. Schlosser

Proceedings of the 1st Workshop on Architectural and System Support for Improving Software Dependability, 2006

2005

Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model.

Sayantan Das, Ansuman Banerjee, Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix

Proceedings of the 18th International Conference on VLSI Design (VLSI Design 2005), 2005

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

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

SAT-based Induction for Temporal Safety Properties.

Roy Armoni, Limor Fix, Ranan Fraer, Scott Huddleston, Nir Piterman, Moshe Y. Vardi

Proceedings of the 2nd International Workshop on Bounded Model Checking, 2004

Abstract for the ISOLA Special Session on "Industrial use of tools for Formal Analysis".

Limor Fix

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

Formal verification coverage: computing the coverage gap between temporal specifications.

Sayantan Das, Prasenjit Basu, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni

Proceedings of the 2004 International Conference on Computer-Aided Design, 2004

Formal Verification Coverage: Are the RTL-Properties Covering the Design's Architectural Intent?

Prasenjit Basu, Sayantan Das, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix

Proceedings of the 2004 Design, 2004

2003

DAC Highlights.

Luciano Lavagno, Limor Fix

IEEE Des. Test Comput., 2003

Enhanced Vacuity Detection in Linear Temporal Logic.

Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

A hybrid verification approach: getting deep into the design.

Scott Hazelhurst, Osnat Weissberg, Gila Kamhi, Limor Fix

Proceedings of the 39th Design Automation Conference, 2002

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, Gunnar Stålmarck, Curt Widdoes

Proceedings of the 39th Design Automation Conference, 2002

2001

Benefits of Bounded Model Checking at an Industrial Setting.

Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000

Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification.

Ranan Fraer, Gila Kamhi, Barukh Ziv, Moshe Y. Vardi, Limor Fix

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

Event-Clock Automata: A Determinizable Class of Timed Automata.

Rajeev Alur, Limor Fix, Thomas A. Henzinger

Theor. Comput. Sci., 1999

Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting.

Ranan Fraer, Gila Kamhi, Limor Fix, Moshe Y. Vardi

Proceedings of the First International Workshop on Symbolic Model Checking, 1999

1998

Adaptive variable reordering for symbolic model checking.

Gila Kamhi, Limor Fix

Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998

Input Elimination and Abstraction in Model Checking.

Sela Mador-Haim, Limor Fix

Proceedings of the Formal Methods in Computer-Aided Design, 1998

Symbolic Model Checking Visualization.

Gila Kamhi, Limor Fix, Ziv Binyamini

Proceedings of the Formal Methods in Computer-Aided Design, 1998

1997

Automatic Datapath Extraction for Efficient Usage of HDD.

Gila Kamhi, Osnat Weissberg, Limor Fix

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996

Verification of Temporal Properties.

Limor Fix, Orna Grumberg

J. Log. Comput., 1996

1994

Program Composition via Unification.

Limor Fix, Nissim Francez, Orna Grumberg

Theor. Comput. Sci., 1994

Reasoning about Programs by Exploiting the Environment.

Limor Fix, Fred B. Schneider

Proceedings of the Automata, Languages and Programming, 21st International Colloquium, 1994

Hybrid Verification by Exploiting the Environment.

Limor Fix, Fred B. Schneider

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

A Determinizable Class of Timed Automata.

Rajeev Alur, Limor Fix, Thomas A. Henzinger

Proceedings of the Computer Aided Verification, 6th International Conference, 1994

1991

Program Composition and Modular Verification.

Limor Fix, Nissim Francez, Orna Grumberg

Proceedings of the Automata, Languages and Programming, 18th International Colloquium, 1991

1990

Sematics-Driven Decompositions for the Verification of Distributed Programs.

Limor Fix, Nissim Francez, Orna Grumberg

Proceedings of the Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 1990