Limor Fix
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
24
Venues
13
Active years
1991–2007
Best venue rank
A*
Where they publish
Papers
24 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | ASPDAC | 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 |
| 2007 | SPAA | 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 |
| 2006 | ASPLOS | 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 |
| 2006 | SPAA | 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 |
| 2005 | ATVA | Verifying Very Large Industrial Circuits Using 100 Processes and Beyond. | Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster |
| 2005 | CAV | 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 |
| 2005 | VLSID | 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 |
| 2004 | DATE | 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 |
| 2004 | ICCAD | 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 |
| 2004 | ISoLA | Abstract for the ISOLA Special Session on "Industrial use of tools for Formal Analysis". | Limor Fix |
| 2003 | CAV | Enhanced Vacuity Detection in Linear Temporal Logic. | Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi |
| 2002 | DAC | Formal verification methods: getting around the brick wall. | David L. Dill, Nate James, Shishpal Rawat, Grard Berry, Limor Fix, Harry Foster, Rajeev K. Ranjan, Gunnar Stlmarck, Curt Widdoes |
| 2002 | DAC | A hybrid verification approach: getting deep into the design. | Scott Hazelhurst, Osnat Weissberg, Gila Kamhi, Limor Fix |
| 2002 | TACAS | 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 |
| 2001 | CAV | Benefits of Bounded Model Checking at an Industrial Setting. | Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi |
| 2000 | CAV | Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification. | Ranan Fraer, Gila Kamhi, Barukh Ziv, Moshe Y. Vardi, Limor Fix |
| 1998 | FMCAD | Symbolic Model Checking Visualization. | Gila Kamhi, Limor Fix, Ziv Binyamini |
| 1998 | FMCAD | Input Elimination and Abstraction in Model Checking. | Sela Mador-Haim, Limor Fix |
| 1998 | ICCAD | Adaptive variable reordering for symbolic model checking. | Gila Kamhi, Limor Fix |
| 1997 | CAV | Automatic Datapath Extraction for Efficient Usage of HDD. | Gila Kamhi, Osnat Weissberg, Limor Fix |
| 1994 | CAV | A Determinizable Class of Timed Automata. | Rajeev Alur, Limor Fix, Thomas A. Henzinger |
| 1994 | ICALP | Reasoning about Programs by Exploiting the Environment. | Limor Fix, Fred B. Schneider |
| 1992 | ICALP | Program Composition via Unification. | Limor Fix, Nissim Francez, Orna Grumberg |
| 1991 | ICALP | Program Composition and Modular Verification. | Limor Fix, Nissim Francez, Orna Grumberg |