Eyal Bin

According to our database, Eyal Bin authored at least 10 papers between 2002 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

On Defining Rules for Cancer Data Fabrication.

Juliana Küster Filipe Bowles, Agastya Silvina, Eyal Bin, Michael Vinov

Proceedings of the Rules and Reasoning - 4th International Joint Conference, 2020

2017

Solving Constraint Satisfaction Problems Containing Vectors of Unknown Size.

Erez Bilgory, Eyal Bin, Avi Ziv

Proceedings of the Principles and Practice of Constraint Programming, 2017

2011

Guaranteeing High Availability Goals for Virtual Machine Placement.

Eyal Bin, Ofer Biran, Odellia Boni, Erez Hadad, Elliot K. Kolodner, Yosef Moatti, Dean H. Lorenz

Proceedings of the 2011 International Conference on Distributed Computing Systems, 2011

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

Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

An ontology and constraint based approach to cache preloading.

Rajiv Bhatia, Eyal Bin, Eitan Marcus, Gil Shurek

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2010

2005

A generic micro-architectural test plan approach for microprocessor verification.

Allon Adir, Hezi Azatchi, Eyal Bin, Ofer Peled, Kirill Shoikhet

Proceedings of the 42nd Design Automation Conference, 2005

2004

Micro-Architecture Verification for Microprocessors.

Eyal Bin, Laurent Fournier

Proceedings of the Fifth International Workshop on Microprocessor Test and Verification (MTV 2004), 2004

2003

Piparazzi: a test program generator for micro-architecture flow verification.

Allon Adir, Eyal Bin, Ofer Peled, Avi Ziv

Proceedings of the Eighth IEEE International High-Level Design Validation and Test Workshop 2003, 2003

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

Generating Random Solutions for Constraint Satisfaction Problems.

Rina Dechter, Kalev Kask, Eyal Bin, Roy Emek

Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002