Eyal Bin

Publication Activity (10 Years)

Years Active: 2002-2020
Publications (10 Years): 2

Top Topics

Production Rules

Solving Constraint Satisfaction Problems

Top Venues

Publications

Juliana Küster Filipe Bowles, Agastya Silvina, Eyal Bin, Michael Vinov
On Defining Rules for Cancer Data Fabrication. RuleML+RR (2020)
Erez Bilgory, Eyal Bin, Avi Ziv
Solving Constraint Satisfaction Problems Containing Vectors of Unknown Size. CP (2017)
Eyal Bin, Ofer Biran, Odellia Boni, Erez Hadad, Elliot K. Kolodner, Yosef Moatti, Dean H. Lorenz
Guaranteeing High Availability Goals for Virtual Machine Placement. ICDCS (2011)
Rajiv Bhatia, Eyal Bin, Eitan Marcus, Gil Shurek
An ontology and constraint based approach to cache preloading. HLDVT (2010)
Eyal Bin, Alaa Ghanayim, Karen Holtz, Eitan Marcus, Ronny Morad, Ofer Peled, Michal Rimon, Gil Shurek, Elena Tsanko
Ontology-Based Tools in the Service of Hardware Verification. SEKE (2010)
Allon Adir, Hezi Azatchi, Eyal Bin, Ofer Peled, Kirill Shoikhet
A generic micro-architectural test plan approach for microprocessor verification. DAC (2005)
Eyal Bin, Laurent Fournier
Micro-Architecture Verification for Microprocessors. MTV (2004)
Allon Adir, Eyal Bin, Ofer Peled, Avi Ziv
Piparazzi: a test program generator for micro-architecture flow verification. HLDVT (2003)
Rina Dechter, Kalev Kask, Eyal Bin, Roy Emek
Generating Random Solutions for Constraint Satisfaction Problems. AAAI/IAAI (2002)
Eyal Bin, Roy Emek, Gil Shurek, Avi Ziv
Using a constraint satisfaction formulation and solution techniques for random test program generation. IBM Syst. J. 41 (3) (2002)