Eyal Bin

13 papers A* 1A 2B 1C 1Journal 2Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Cryptoscope: Analyzing cryptographic usages in modern software.
CoRR
Micha Moffie, Omer Boehm, Anatoly Koyfman, Eyal Bin, Efrayim Sztokman, Sukanta Bhattacharjee, Meghnath Saha, James McGugan
2020 B conf
On Defining Rules for Cancer Data Fabrication.
RuleML+RR
Juliana Küster Filipe Bowles, Agastya Silvina, Eyal Bin, Michael Vinov
2017 A conf
Solving Constraint Satisfaction Problems Containing Vectors of Unknown Size.
CP
Erez Bilgory, Eyal Bin, Avi Ziv
2011 A conf
Guaranteeing High Availability Goals for Virtual Machine Placement.
ICDCS
Eyal Bin, Ofer Biran, Odellia Boni, Erez Hadad, Elliot K. Kolodner, Yosef Moatti, Dean H. Lorenz
2010 — conf
An ontology and constraint based approach to cache preloading.
HLDVT
Rajiv Bhatia, Eyal Bin, Eitan Marcus, Gil Shurek
2010 C conf
Ontology-Based Tools in the Service of Hardware Verification.
SEKE
Eyal Bin, Alaa Ghanayim, Karen Holtz, Eitan Marcus, Ronny Morad, Ofer Peled, Michal Rimon, Gil Shurek, Elena Tsanko
2007 — ed.
Hardware and Software, Verification and Testing, Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers
Haifa Verification Conference
Eyal Bin, Avi Ziv, Shmuel Ur
2006 — ed.
Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
Haifa Verification Conference
Shmuel Ur, Eyal Bin, Yaron Wolfsthal
2005 A* conf
A generic micro-architectural test plan approach for microprocessor verification.
DAC
Allon Adir, Hezi Azatchi, Eyal Bin, Ofer Peled, Kirill Shoikhet
2004 — conf
Micro-Architecture Verification for Microprocessors.
MTV
Eyal Bin, Laurent Fournier
2003 — conf
Piparazzi: a test program generator for micro-architecture flow verification.
HLDVT
Allon Adir, Eyal Bin, Ofer Peled, Avi Ziv
2002 — conf
Generating Random Solutions for Constraint Satisfaction Problems.
AAAI/IAAI
Rina Dechter, Kalev Kask, Eyal Bin, Roy Emek
2002 J jnl
Using a constraint satisfaction formulation and solution techniques for random test program generation.
IBM Syst. J.
Eyal Bin, Roy Emek, Gil Shurek, Avi Ziv