I
Ilan Beer
Researcher at IBM
Publications - 51
Citations - 3564
Ilan Beer is an academic researcher from IBM. The author has contributed to research in topics: Formal verification & Model checking. The author has an hindex of 26, co-authored 51 publications receiving 3425 citations. Previous affiliations of Ilan Beer include Advanced Technology Center & University of Haifa.
Papers
More filters
Journal ArticleDOI
Overview of the HUPO Plasma Proteome Project: results from the pilot phase with 35 collaborating laboratories and multiple analytical groups, generating a core dataset of 3020 proteins and a publicly-available database.
Gilbert S. Omenn,David J. States,Marcin Adamski,Thomas W. Blackwell,Rajasree Menon,Henning Hermjakob,Rolf Apweiler,Brian B. Haab,Richard J. Simpson,James S. Eddes,Eugene A. Kapp,Robert L. Moritz,Daniel W. Chan,Alex J. Rai,Arie Admon,Ruedi Aebersold,Ruedi Aebersold,Jimmy K. Eng,William S. Hancock,Stanley A. Hefta,Helmut E. Meyer,Young Ki Paik,Jong Shin Yoo,Peipei Ping,Joel G. Pounds,Joshua N. Adkins,Xiaohong Qian,Rong Wang,Valerie C. Wasinger,Chi Yue Wu,Xiaohang Zhao,Rong Zeng,Alexander I. Archakov,Akira Tsugita,Ilan Beer,Akhilesh Pandey,Michael Pisano,Philip C. Andrews,Harald Tammen,David W. Speicher,Samir M. Hanash,Samir M. Hanash +41 more
TL;DR: Reverse protein to DNA matching identified proteins for 118 previously unidentified ORFs in the PPP database, and the database permits examination of many other subsets, such as 1274 proteins identified with three or more peptides.
Journal ArticleDOI
Improving large-scale proteomics by clustering of mass spectrometry data.
TL;DR: It is shown how the clustering of similar spectra from multiple LC‐MS/MS runs can help in data management and improve the analysis of complex peptide mixtures and Pep‐Miner is an advanced software tool that implements these clustering‐based applications.
Journal Article
FoCs: Automatic generation of simulation checkers from formal specifications
TL;DR: Formal Checkers (FoCs) as mentioned in this paperormal checkers can be used for model checking of small design blocks as well as for simulation analysis across all higher simulation levels.
Book ChapterDOI
FoCs: Automatic Generation of Simulation Checkers from Formal Specifications
TL;DR: For the foreseeable future, industrial hardware design will continue to use both simulation and model checking in the design verification process, with little cross-leverage of the individual advantages of simulation and formal verification.
Proceedings ArticleDOI
RuleBase: an industry-oriented formal verification tool
TL;DR: RuleBase is a formal verification tool, developed by the IBM Haifa Research Laboratory, which is the result of three years of experience in practical formal verification of hardware.