Limor Fix

Publication Activity (10 Years)

Years Active: 1990-2016
Publications (10 Years): 2

Top Topics

Ubiquitous Computing And Ambient Intelligence

Poses Challenges

Technological Advances

Top Venues

Publications

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
The Future of Computing Research: Industry-Academic Collaborations. CoRR (2016)
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
Systems Computing Challenges in the Internet of Things. CoRR (2016)
Limor Fix
Fifteen Years of Formal Property Verification in Intel. 25 Years of Model Checking (2008)
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)
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)
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)
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) (2007)
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)
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)
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. Comput. Aided Des. Integr. Circuits Syst. 25 (10) (2006)
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)
Roy Armoni, Limor Fix, Ranan Fraer, Scott Huddleston, Nir Piterman, Moshe Y. Vardi
SAT-based Induction for Temporal Safety Properties. Electron. Notes Theor. Comput. Sci. 119 (2) (2005)
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)
Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster
Verifying Very Large Industrial Circuits Using 100 Processes and Beyond. ATVA (2005)
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)
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)
Limor Fix
Abstract for the ISOLA Special Session on "Industrial use of tools for Formal Analysis". ISoLA (Preliminary proceedings) (2004)
Luciano Lavagno, Limor Fix
DAC Highlights. IEEE Des. Test Comput. 20 (3) (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)
Scott Hazelhurst, Osnat Weissberg, Gila Kamhi, Limor Fix
A hybrid verification approach: getting deep into the design. DAC (2002)
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)
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)
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)
Ranan Fraer, Gila Kamhi, Barukh Ziv, Moshe Y. Vardi, Limor Fix
Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification. CAV (2000)
Ranan Fraer, Gila Kamhi, Limor Fix, Moshe Y. Vardi
Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting. Electron. Notes Theor. Comput. Sci. 23 (2) (1999)
Rajeev Alur, Limor Fix, Thomas A. Henzinger
Event-Clock Automata: A Determinizable Class of Timed Automata. Theor. Comput. Sci. 211 (1-2) (1999)
Sela Mador-Haim, Limor Fix
Input Elimination and Abstraction in Model Checking. FMCAD (1998)
Gila Kamhi, Limor Fix
Adaptive variable reordering for symbolic model checking. ICCAD (1998)
Gila Kamhi, Limor Fix, Ziv Binyamini
Symbolic Model Checking Visualization. FMCAD (1998)
Gila Kamhi, Osnat Weissberg, Limor Fix
Automatic Datapath Extraction for Efficient Usage of HDD. CAV (1997)
Limor Fix, Orna Grumberg
Verification of Temporal Properties. J. Log. Comput. 6 (3) (1996)
Rajeev Alur, Limor Fix, Thomas A. Henzinger
A Determinizable Class of Timed Automata. CAV (1994)
Limor Fix, Fred B. Schneider
Hybrid Verification by Exploiting the Environment. FTRTFT (1994)
Limor Fix, Fred B. Schneider
Reasoning about Programs by Exploiting the Environment. ICALP (1994)
Limor Fix, Nissim Francez, Orna Grumberg
Program Composition via Unification. Theor. Comput. Sci. 131 (1) (1994)
Limor Fix, Nissim Francez, Orna Grumberg
Program Composition via Unification. ICALP (1992)
Limor Fix, Nissim Francez, Orna Grumberg
Program Composition and Modular Verification. ICALP (1991)
Limor Fix, Nissim Francez, Orna Grumberg
Sematics-Driven Decompositions for the Verification of Distributed Programs. Programming Concepts and Methods (1990)