MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Limor Fix" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

12 documents found, showing 1 through 10. Next 10 →

ATOM

Reasoning about Programs by Exploiting The Environment
by Limor Fix, Fred B.Schneider — 1994 — In Annual International Colloquium on Automata, Languages and Programming
…Reasoning about Programs by Exploiting the Environment * Limor Fix Fred B. Schneider Department…
Cited by 10 (0 self) – Add To MetaCart

A Hybrid Verification Approach : Getting Deep into the Design
by Scott Hazelhurst, Osnat Weissberg, Gila Kamhi, Limor Fix — 2002
… Logic and Validation Technology Intel Corporation Haifa, Israel osnat.weissberg@(email omitted); Limor Fix…
Cited by 11 (0 self) – Add To MetaCart

Hybrid Verification by Exploiting the Environment
by Limor Fix, Fred B. Schneider — 1994 — In Formal Techniques in Real Time and Fault Tolerant Systems, volume 863 of LNCS
…Hybrid Verification by Exploiting the Environment ? Limor Fix ?? and Fred B. Schneider…
Cited by 3 (0 self) – Add To MetaCart

Program Composition Via Unification
by Limor Fix, Nissim Francez, Orna Grumberg — 1992
… PROGRAM COMPOSITION via UNIFICATION Limor Fix Nissim Francez Orna Grumberg Computer Science…
Cited by 2 (2 self) – Add To MetaCart

Event-Clock Automata: A Determinizable Class of Timed Automata
by Rajeev Alur, Limor Fix, Thomas A. Henzinger — 1999 — Theoretical Computer Science
…Event-Clock Automata: A Determinizable Class of Timed Automata Rajeev Alur y Limor Fix z…
Cited by 59 (1 self) – Add To MetaCart

Prioritized traversal: Efficient reachability analysis for verification and falsification
by Ranan Fraer, Gila Kamhi, Barukh Ziv, Moshe Y. Vardi, Limor Fix — 2000 — In Proc. of the 12th International Conference on Computer Aided Verification, LNCS
… Fraer, Gila Kamhi, Barukh Ziv, Moshe Y. Vardi* 1 , Limor Fix Logic and Validation Technology, Intel…
Cited by 13 (5 self) – Add To MetaCart

SAT-based Induction for Temporal Safety Properties
by Roy Armoni, Limor Fix, Ranan Fraer, Scott Huddleston, Nir Piterman, Moshe Y. Vardi — 2004
… Limor Fix a;1 Ranan Fraer a;1 Scott Huddleston b;1 Nir Piterman a;1 Moshe Y. Vardi c;2;3 a…
Cited by 9 (1 self) – Add To MetaCart

Enhanced Vacuity Detection in Linear Temporal Logic
by Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi — 2003
…Enhanced Vacuity Detection in Linear Temporal Logic Roy Armoni 1 , Limor Fix 1 , Alon Flaisher…
Cited by 15 (3 self) – Add To MetaCart

The ForSpec Temporal Logic: A New Temporal Property-Specification Language
by 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
… , Limor Fix 1 , Alon Flaisher 1 , Rob Gerth 2 , Boris Ginsburg, Tomer Kanza 1 , Avner Landver 1…
Cited by 51 (16 self) – Add To MetaCart

Scheduling threads for constructive cache sharing on CMPs
by 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
… † Michael Kozuch † Vasileios Liaskovitis ∗ Anastassia Ailamaki ∗ Guy E. Blelloch ∗ Babak Falsafi ∗ Limor Fix…
Cited by 9 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB