MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Ilan Beer" – 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

Efficient Detection of Vacuity in Temporal Model Checking
by Ilan Beer, Cindy Eisner — 2001 — Formal Methods in System Design
…. Manufactured in The Netherlands. Efficient Detection of Vacuity in Temporal Model Checking ILAN BEER SHOHAM BEN…
Cited by 20 (5 self) – Add To MetaCart

An optimized symbolic bounded model checking engine
by Rachel Tzoref, Mark Matusevich, Eli Berger, Ilan Beer — 2003 — In CHARME
… and Ilan Beer rachelt@(email omitted); IBM Haifa Research Lab, Haifa, Israel Abstract. It has been shown…
Cited by 2 (1 self) – Add To MetaCart

On-The-Fly Model Checking of RCTL Formulas
by Ilan Beer, Shoham Ben-david, Avner Landver, Avner L — 1998 — In Proc. 10 th International Conference on Computer Aided Verification (CAV’98), LNCS 1427
…On-The-Fly Model Checking of RCTL Formulas Ilan Beer, Shoham Ben-David, Avner Landver IBM Science…
Cited by 34 (13 self) – Add To MetaCart

Efficient Detection of Vacuity in ACTL Formulas
by Ilan Beer, Shoham Ben-david, Cindy Eisner, Yoav Rodeh — 1997 — FMSD
…Efficient Detection of Vacuity in ACTL Formulas Ilan Beer, Shoham Ben-David, Cindy Eisner and Yoav…
Cited by 32 (4 self) – Add To MetaCart

FoCs - Automatic Generation of Simulation Checkers from Formal Specifications
by Yael Abarbanel, Ilan Beer, Leonid Gluhovsky, Sharon Keidar, Yaron Wolfsthal — 2000
…FoCs - Automatic Generation of Simulation Checkers from Formal Specications Yael Abarbanel, Ilan…
Cited by 33 (2 self) – Add To MetaCart

RuleBase: an Industry-Oriented Formal Verification Tool
by Ilan Beer, Shoham Ben-david, Cindy Eisner, Avner Landver, Avner L — 1996 — In 33rd Design Automation Conference
…RuleBase: an Industry-Oriented Formal Verification Tool Ilan Beer, Shoham Ben-David, Cindy Eisner…
Cited by 58 (10 self) – Add To MetaCart

Methodology and System for Practical Formal Verification of Reactive Hardware
by Ilan Beer, Shoham Ben-david, Daniel Geist, Raanan Gewirtzmann, Michael Yoeli — 1994 — In Proc. 6th Conference on Computer Aided Verification, volume 818 of Lecture Notes in Computer Science
…Methodology and System for Practical Formal Verification of Reactive Hardware Ilan Beer, Shoham…
Cited by 31 (3 self) – Add To MetaCart

Efficient Model Checking by Automated Ordering of Transition Relation Partitions
by Daniel Geist Ilan, Daniel Geist, Ilan Beer — 1994 — Sixth Conference on Computer Aided Verification (CAV'94
…Efficient Model Checking by Automated Ordering of Transition Relation Partitions Daniel Geist Ilan…
Add To MetaCart

Establishing PCI Compliance using Formal Verification: a Case Study
by Ilan Beer, Shoham Ben-david, Cindy Eisner, Yechiel Engel, Raanan Gewirtzman, Avner L — 1995 — Intl. Phoenix Conf. on Comp. and Comm
…Establishing PCI Compliance Using Formal Verification: A Case Study Ilan Beer (*), Shoham Ben…
Cited by 3 (1 self) – Add To MetaCart

The Temporal Logic Sugar
by Ilan Beer, Shoham Ben-david, Cindy Eisner, Dana Fisman, Anna Gringauze, Yoav Rodeh — 2001
…The Temporal Logic Sugar Ilan Beer 1 , Shoham Ben-David 1 , Cindy Eisner 1 , Dana Fisman 1…
Cited by 44 (7 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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