Limor Fix

40 papers A* 13A 5B 5Misc 1Journal 8Unranked 8
YearRankTypeTitle / Venue / Authors
2016 J jnl
Systems Computing Challenges in the Internet of Things.
CoRR
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
2016 J jnl
The Future of Computing Research: Industry-Academic Collaborations.
CoRR
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
2008 — conf
Fifteen Years of Formal Property Verification in Intel.
25 Years of Model Checking
Limor Fix
2008 A* ed.
Proceedings of the 45th Design Automation Conference, DAC 2008, Anaheim, CA, USA, June 8-13, 2008
DAC
Limor Fix
2007 — conf
Deeper Bound in BMC by Combining Constant Propagation and Abstraction.
ASP-DAC
Roy Armoni, Limor Fix, Ranan Fraer, Tamir Heyman, Moshe Y. Vardi, Yakir Vizel, Yael Zbar
2007 A conf
Interactive Search of Adipocytes in Large Collections of Digital Cellular Images.
ICME
Adam Goode, Mei Chen, Anil Tarachandani, Lily B. Mummert, Rahul Sukthankar, Casey Helfrich, Alice Stefanni, Limor Fix, Jeffrey Saltzman, Mahadev Satyanarayanan
2007 B conf
Scheduling threads for constructive cache sharing on CMPs.
SPAA
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
2007 J jnl
Verifying Very Large Industrial Circuits Using 100 Processes and Beyond.
Int. J. Found. Comput. Sci.
Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster
2006 J jnl
Design-Intent Coverage - A New Paradigm for Formal Property Verification.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Prasenjit Basu, Sayantan Das, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni
2006 — conf
Log-based architectures for general-purpose monitoring of deployed code.
ASID
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
2006 B conf
Parallel depth first vs. work stealing schedulers on CMP architectures.
SPAA
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
2005 Misc conf
Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model.
VLSI Design
Sayantan Das, Ansuman Banerjee, Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix
2005 A* conf
Formal Verification of Backward Compatibility of Microcode.
CAV
Tamarah Arons, Elad Elster, Limor Fix, Sela Mador-Haim, Michael Mishaeli, Jonathan Shalev, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Lenore D. Zuck
2005 B conf
Verifying Very Large Industrial Circuits Using 100 Processes and Beyond.
ATVA
Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster
2004 — conf
Abstract for the ISOLA Special Session on "Industrial use of tools for Formal Analysis".
ISoLA (Preliminary proceedings)
Limor Fix
2004 A conf
Formal Verification Coverage: Are the RTL-Properties Covering the Design's Architectural Intent?
DATE
Prasenjit Basu, Sayantan Das, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix
2004 A conf
Formal verification coverage: computing the coverage gap between temporal specifications.
ICCAD
Sayantan Das, Prasenjit Basu, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni
2004 A* ed.
Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004
DAC
Sharad Malik, Limor Fix, Andrew B. Kahng
2004 — conf
SAT-based Induction for Temporal Safety Properties.
BMC@CAV
Roy Armoni, Limor Fix, Ranan Fraer, Scott Huddleston, Nir Piterman, Moshe Y. Vardi
2003 J jnl
DAC Highlights.
IEEE Des. Test Comput.
Luciano Lavagno, Limor Fix
2003 A* conf
Enhanced Vacuity Detection in Linear Temporal Logic.
CAV
Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi
2002 A* conf
A hybrid verification approach: getting deep into the design.
DAC
Scott Hazelhurst, Osnat Weissberg, Gila Kamhi, Limor Fix
2002 A* conf
Formal verification methods: getting around the brick wall.
DAC
David L. Dill, Nate James, Shishpal Rawat, Gérard Berry, Limor Fix, Harry Foster, Rajeev K. Ranjan, Gunnar Stålmarck, Curt Widdoes
2002 A conf
The ForSpec Temporal Logic: A New Temporal Property-Specification Language.
TACAS
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
2001 A* conf
Benefits of Bounded Model Checking at an Industrial Setting.
CAV
Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi
2000 A* conf
Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification.
CAV
Ranan Fraer, Gila Kamhi, Barukh Ziv, Moshe Y. Vardi, Limor Fix
1999 — conf
Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting.
SMC@FLoC
Ranan Fraer, Gila Kamhi, Limor Fix, Moshe Y. Vardi
1999 J jnl
Event-Clock Automata: A Determinizable Class of Timed Automata.
Theor. Comput. Sci.
Rajeev Alur, Limor Fix, Thomas A. Henzinger
1998 A conf
Adaptive variable reordering for symbolic model checking.
ICCAD
Gila Kamhi, Limor Fix
1998 B conf
Input Elimination and Abstraction in Model Checking.
FMCAD
Sela Mador-Haim, Limor Fix
1998 B conf
Symbolic Model Checking Visualization.
FMCAD
Gila Kamhi, Limor Fix, Ziv Binyamini
1997 A* conf
Automatic Datapath Extraction for Efficient Usage of HDD.
CAV
Gila Kamhi, Osnat Weissberg, Limor Fix
1996 J jnl
Verification of Temporal Properties.
J. Log. Comput.
Limor Fix, Orna Grumberg
1994 A* conf
A Determinizable Class of Timed Automata.
CAV
Rajeev Alur, Limor Fix, Thomas A. Henzinger
1994 — conf
Hybrid Verification by Exploiting the Environment.
FTRTFT
Limor Fix, Fred B. Schneider
1994 J jnl
Program Composition via Unification.
Theor. Comput. Sci.
Limor Fix, Nissim Francez, Orna Grumberg
1994 A* conf
Reasoning about Programs by Exploiting the Environment.
ICALP
Limor Fix, Fred B. Schneider
1992 A* conf
Program Composition via Unification.
ICALP
Limor Fix, Nissim Francez, Orna Grumberg
1991 A* conf
Program Composition and Modular Verification.
ICALP
Limor Fix, Nissim Francez, Orna Grumberg
1990 — conf
Sematics-Driven Decompositions for the Verification of Distributed Programs.
Programming Concepts and Methods
Limor Fix, Nissim Francez, Orna Grumberg