BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Germany
1 × Israel
2 × France
3 × USA
Collaborated with:
S.Ben-David D.Geist C.Eisner A.Landver Y.Rodeh L.Gluhovsky Y.Wolfsthal O.Adler E.Arbel I.Averbouch I.Grijnevitch H.Chockler A.Orni R.J.Trefler Y.Abarbanel S.Keidar R.Gewirtzman M.Yoeli D.Fisman A.Gringauze T.Heyman P.Paanah G.Ronin
Talks about:
formal (3) model (3) check (3) effici (2) verif (2) logic (2) rule (2) base (2) counterexampl (1) methodolog (1)

Person: Ilan Beer

DBLP DBLP: Beer:Ilan

Contributed to:

DATE 20142014
CAV 20092009
CAV 20012001
CAV 20002000
CAV 19981998
CAV 19971997
DAC 19961996
CAV 19941994

Wrote 10 papers:

DATE-2014-AdlerAABG #debugging #logic
Facilitating timing debug by logic path correspondence (OA, EA, IA, IB, IG), pp. 1–6.
CAV-2009-BeerBCOT #using
Explaining Counterexamples Using Causality (IB, SBD, HC, AO, RJT), pp. 94–108.
CAV-2001-BeerBEFGR #logic
The Temporal Logic Sugar (IB, SBD, CE, DF, AG, YR), pp. 363–367.
CAV-2000-AbarbanelBGKW #automation #generative #named #simulation #specification
FoCs: Automatic Generation of Simulation Checkers from Formal Specifications (YA, IB, LG, SK, YW), pp. 538–542.
CAV-1998-BeerBL #model checking #on the fly
On-the-Fly Model Checking of RCTL Formulas (IB, SBD, AL), pp. 184–194.
CAV-1997-BeerBEGGHLPRRW #model checking #named
RuleBase: Model Checking at IBM (IB, SBD, CE, DG, LG, TH, AL, PP, YR, GR, YW), pp. 480–483.
CAV-1997-BeerBER #detection #performance
Efficient Detection of Vacuity in ACTL Formulaas (IB, SBD, CE, YR), pp. 279–290.
DAC-1996-BeerBEL #named #verification
RuleBase: An Industry-Oriented Formal Verification Tool (IB, SBD, CE, AL), pp. 655–660.
CAV-1994-BeerBGGY #hardware #verification
Methodology and System for Practical Formal Verification of Reactive Hardware (IB, SBD, DG, RG, MY), pp. 182–193.
CAV-1994-GeistB #automation #model checking #performance
Efficient Model Checking by Automated Ordering of Transition Relation Partitions (DG, IB), pp. 299–310.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.