Generating Random Solutions for Constraint Satisfaction Problems. - Rina Dechter; Kalev Kask; Eyal Bin; Roy Emek (AAAI/IAAI, 2002)

Using a constraint satisfaction formulation and solution techniques for random test program generation. - Eyal Bin; Roy Emek; Gil Shurek; Avi Ziv (IBM Syst. J., 2002)

Piparazzi: a test program generator for micro-architecture flow verification. - Allon Adir; Eyal Bin; Ofer Peled; Avi Ziv (HLDVT, 2003)

Micro-Architecture Verification for Microprocessors. - Eyal Bin; Laurent Fournier (MTV, 2004)

A generic micro-architectural test plan approach for microprocessor verification. - Allon Adir; Hezi Azatchi; Eyal Bin; Ofer Peled; Kirill Shoikhet (DAC, 2005)

An ontology and constraint based approach to cache preloading. - Rajiv Bhatia; Eyal Bin; Eitan Marcus; Gil Shurek (HLDVT, 2010)

Ontology-Based Tools in the Service of Hardware Verification. - Eyal Bin; Alaa Ghanayim; Karen Holtz; Eitan Marcus; Ronny Morad; Ofer Peled; Michal Rimon; Gil Shurek; Elena Tsanko (SEKE, 2010)

Guaranteeing High Availability Goals for Virtual Machine Placement. - Eyal Bin; Ofer Biran; Odellia Boni; Erez Hadad; Elliot K. Kolodner; Yosef Moatti; Dean H. Lorenz (ICDCS, 2011)

Solving Constraint Satisfaction Problems Containing Vectors of Unknown Size. - Erez Bilgory; Eyal Bin; Avi Ziv (CP, 2017)

On Defining Rules for Cancer Data Fabrication. - Juliana Küster Filipe Bowles; Agastya Silvina; Eyal Bin; Michael Vinov (RuleML+RR, 2020)

Cryptoscope: Analyzing cryptographic usages in modern software. - Micha Moffie; Omer Boehm; Anatoly Koyfman; Eyal Bin; Efrayim Sztokman; Sukanta Bhattacharjee; Meghnath Saha; James McGugan (CoRR, 2025)