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: Beer:Ilan
Contributed to:
2014
20092001200019981997
19961994Wrote 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.