Conference paper
Pensieve: Augmenting human memory
Neta Aizenbud-Reshef, Eran Belinsky, et al.
CHI 2008
We examine IBM's exploitation of formal verification using RuleBase-a formal verification tool developed by the IBM Haifa Research Laboratory. The goal of the paper is methodological. We identify an integrated methodology for the deployment of formal verification which involves three complementary modes: architectural verification, block-level verification, and design exploration.
Neta Aizenbud-Reshef, Eran Belinsky, et al.
CHI 2008
Eilon Barnea, Raya Sorkin, et al.
Proteomics
Ilan Beer, Eilon Barnea, et al.
Proteomics
Michal Bassani-Sternberg, Eilon Barnea, et al.
PNAS