Limor Fix
Affiliations:- Intel Corporation, Haifa, Israel
According to our database1,
Limor Fix
authored at least 36 papers
between 1990 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
1990
1995
2000
2005
2010
2015
0
1
2
3
4
5
2
1
1
1
1
1
1
1
3
2
2
4
1
3
1
1
1
3
1
3
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2016
2008
Proceedings of the 25 Years of Model Checking - History, Achievements, Perspectives, 2008
2007
Int. J. Found. Comput. Sci., 2007
Proceedings of the SPAA 2007: Proceedings of the 19th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2007
Proceedings of the 2007 IEEE International Conference on Multimedia and Expo, 2007
Proceedings of the 12th Conference on Asia South Pacific Design Automation, 2007
2006
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006
Proceedings of the SPAA 2006: Proceedings of the 18th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Cambridge, Massachusetts, USA, July 30, 2006
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.
Proceedings of the 18th International Conference on VLSI Design (VLSI Design 2005), 2005
Proceedings of the Computer Aided Verification, 17th International Conference, 2005
2004
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".
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004
Formal verification coverage: computing the coverage gap between temporal specifications.
Proceedings of the 2004 International Conference on Computer-Aided Design, 2004
Formal Verification Coverage: Are the RTL-Properties Covering the Design's Architectural Intent?
Proceedings of the 2004 Design, 2004
2003
DAC Highlights.
IEEE Des. Test Comput., 2003
Proceedings of the Computer Aided Verification, 15th International Conference, 2003
2002
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002
Proceedings of the 39th Design Automation Conference, 2002
Proceedings of the 39th Design Automation Conference, 2002
2001
Proceedings of the Computer Aided Verification, 13th International Conference, 2001
2000
Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification.
Proceedings of the Computer Aided Verification, 12th International Conference, 2000
1999
Theor. Comput. Sci., 1999
Proceedings of the First International Workshop on Symbolic Model Checking, 1999
1998
Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998
Proceedings of the Formal Methods in Computer-Aided Design, 1998
Proceedings of the Formal Methods in Computer-Aided Design, 1998
1997
Proceedings of the Computer Aided Verification, 9th International Conference, 1997
1996
1994
Proceedings of the Automata, Languages and Programming, 21st International Colloquium, 1994
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
Proceedings of the Computer Aided Verification, 6th International Conference, 1994
1991
Proceedings of the Automata, Languages and Programming, 18th International Colloquium, 1991
1990
Sematics-Driven Decompositions for the Verification of Distributed Programs.
Proceedings of the Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 1990