13
Publications
683
Citations
13
H-Index
1996
Active since
Limor Fix is an author at Intel (Israel) specializing in engineering, computer science, and automated reasoning.
Top concepts
EngineeringComputer ScienceVerificationFormal MethodsProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationSystems EngineeringComputer Engineering
Publications per year
1996–2016
13
13
Scheduling threads for constructive cache sharing on CMPs
Shimin Chen, Phillip B. Gibbons, Michael A. Kozuch et al. · 2007 · 164 citations · Full text
Engineering, Computer Architecture, Constructive Cache Sharing +17
Log-based architectures for general-purpose monitoring of deployed code
Shimin Chen, Babak Falsafi, Phillip B. Gibbons et al. · 2006 · 72 citations · Full text
Software Maintenance, Engineering, Computer Architecture +23
A hybrid verification approach
Scott Hazelhurst, Osnat Weissberg, Gila Kamhi et al. · Proceedings - ACM IEEE Design Automation Conference · 2002 · 36 citations
SAT-based Induction for Temporal Safety Properties
Roy Armoni, Limor Fix, Ranan Fraer et al. · Electronic Notes in Theoretical Computer Science · 2005 · 29 citations · Full text
Rows per page
1–5 of 13