The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Limor Fix: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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. [Citation Graph (0, 0)][DBLP]
    ASID, 2006, pp:63-65 [Conf]
  2. Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster
    Verifying Very Large Industrial Circuits Using 100 Processes and Beyond. [Citation Graph (0, 0)][DBLP]
    ATVA, 2005, pp:11-25 [Conf]
  3. Rajeev Alur, Limor Fix, Thomas A. Henzinger
    A Determinizable Class of Timed Automata. [Citation Graph (0, 0)][DBLP]
    CAV, 1994, pp:1-13 [Conf]
  4. Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi
    Enhanced Vacuity Detection in Linear Temporal Logic. [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:368-380 [Conf]
  5. 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. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:185-198 [Conf]
  6. Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi
    Benefits of Bounded Model Checking at an Industrial Setting. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:436-453 [Conf]
  7. Ranan Fraer, Gila Kamhi, Barukh Ziv, Moshe Y. Vardi, Limor Fix
    Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification. [Citation Graph (0, 0)][DBLP]
    CAV, 2000, pp:389-402 [Conf]
  8. Gila Kamhi, Osnat Weissberg, Limor Fix
    Automatic Datapath Extraction for Efficient Usage of HDD. [Citation Graph (0, 0)][DBLP]
    CAV, 1997, pp:95-106 [Conf]
  9. 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. [Citation Graph (0, 0)][DBLP]
    DAC, 2002, pp:576-577 [Conf]
  10. Scott Hazelhurst, Osnat Weissberg, Gila Kamhi, Limor Fix
    A hybrid verification approach: getting deep into the design. [Citation Graph (0, 0)][DBLP]
    DAC, 2002, pp:111-116 [Conf]
  11. 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? [Citation Graph (0, 0)][DBLP]
    DATE, 2004, pp:668-669 [Conf]
  12. Gila Kamhi, Limor Fix, Ziv Binyamini
    Symbolic Model Checking Visualization. [Citation Graph (0, 0)][DBLP]
    FMCAD, 1998, pp:290-303 [Conf]
  13. Sela Mador-Haim, Limor Fix
    Input Elimination and Abstraction in Model Checking. [Citation Graph (0, 0)][DBLP]
    FMCAD, 1998, pp:304-320 [Conf]
  14. Limor Fix, Fred B. Schneider
    Hybrid Verification by Exploiting the Environment. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1994, pp:1-18 [Conf]
  15. Limor Fix, Nissim Francez, Orna Grumberg
    Program Composition and Modular Verification. [Citation Graph (0, 0)][DBLP]
    ICALP, 1991, pp:93-114 [Conf]
  16. Limor Fix, Nissim Francez, Orna Grumberg
    Program Composition via Unification. [Citation Graph (0, 0)][DBLP]
    ICALP, 1992, pp:672-684 [Conf]
  17. Limor Fix, Fred B. Schneider
    Reasoning about Programs by Exploiting the Environment. [Citation Graph (0, 0)][DBLP]
    ICALP, 1994, pp:328-339 [Conf]
  18. 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. [Citation Graph (0, 0)][DBLP]
    ICCAD, 2004, pp:198-203 [Conf]
  19. Gila Kamhi, Limor Fix
    Adaptive variable reordering for symbolic model checking. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1998, pp:359-365 [Conf]
  20. 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. [Citation Graph (0, 0)][DBLP]
    SPAA, 2006, pp:330- [Conf]
  21. 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. [Citation Graph (0, 0)][DBLP]
    TACAS, 2002, pp:296-211 [Conf]
  22. 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. [Citation Graph (0, 0)][DBLP]
    VLSI Design, 2005, pp:201-206 [Conf]
  23. Luciano Lavagno, Limor Fix
    DAC Highlights. [Citation Graph (0, 0)][DBLP]
    IEEE Design & Test of Computers, 2003, v:20, n:3, pp:88-89 [Journal]
  24. Roy Armoni, Limor Fix, Ranan Fraer, Scott Huddleston, Nir Piterman, Moshe Y. Vardi
    SAT-based Induction for Temporal Safety Properties. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:119, n:2, pp:3-16 [Journal]
  25. Ranan Fraer, Gila Kamhi, Limor Fix, Moshe Y. Vardi
    Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:23, n:2, pp:- [Journal]
  26. Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster
    Verifying Very Large Industrial Circuits Using 100 Processes and Beyond. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2007, v:18, n:1, pp:45-62 [Journal]
  27. Limor Fix, Orna Grumberg
    Verification of Temporal Properties. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1996, v:6, n:3, pp:343-361 [Journal]
  28. 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. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 2006, v:25, n:10, pp:1922-1934 [Journal]
  29. Rajeev Alur, Limor Fix, Thomas A. Henzinger
    Event-Clock Automata: A Determinizable Class of Timed Automata. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:211, n:1-2, pp:253-273 [Journal]
  30. Limor Fix, Nissim Francez, Orna Grumberg
    Program Composition via Unification. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:131, n:1, pp:139-179 [Journal]
  31. 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. [Citation Graph (0, 0)][DBLP]
    SPAA, 2007, pp:105-115 [Conf]

  32. Deeper Bound in BMC by Combining Constant Propagation and Abstraction. [Citation Graph (, )][DBLP]


  33. Interactive Search of Adipocytes in Large Collections of Digital Cellular Images. [Citation Graph (, )][DBLP]


  34. Abstract for the ISOLA Special Session on "Industrial use of tools for Formal Analysis". [Citation Graph (, )][DBLP]


  35. Fifteen Years of Formal Property Verification in Intel. [Citation Graph (, )][DBLP]


Search in 0.635secs, Finished in 0.638secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002