Yehuda Naveh

According to our database, Yehuda Naveh authored at least 19 papers between 2002 and 2019.

Collaborative distances:

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

2019

Using AI for Performance Verification of High-End Processors.

Raviv Gal, Alex Goldin, Wesam Ibraheem, Yehuda Naveh

Proceedings of the Companion of the 2019 ACM/SPEC International Conference on Performance Engineering, 2019

IBM's Qiskit Tool Chain: Working with and Developing for Real Quantum Computers.

Robert Wille, Rod Van Meter, Yehuda Naveh

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2018

Computer-aided design for quantum computation.

Robert Wille, Austin G. Fowler, Yehuda Naveh

Proceedings of the International Conference on Computer-Aided Design, 2018

Theoretical and practical aspects of verification of quantum computers.

Yehuda Naveh, Elham Kashefi, James R. Wootton, Koen Bertels

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2013

Analysis of advanced meter infrastructure data of water consumption in apartment buildings.

Einat Kermany, Hanna Mazzawi, Dorit Baras, Yehuda Naveh, Hagai Michaelis

Proceedings of the 19th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2013

2012

DFlow and DField: New features for capturing object and image relationships.

Pavel Kisilev, Daniel Freedman, Eugene Walach, Asaf Tzadok, Yehuda Naveh

Proceedings of the 21st International Conference on Pattern Recognition, 2012

Applying Constraint Programming to Incorporate Engineering Methodologies into the Design Process of Complex Systems.

Odellia Boni, Fabiana Fournier, Nir Mashkif, Yehuda Naveh, Aviad Sela, Uri Shani, Zvi Lando, Alon Modai

Proceedings of the Twenty-Fourth Conference on Innovative Applications of Artificial Intelligence, 2012

2010

The Big Deal: Applying Constraint Satisfaction Technologies Where It Makes the Difference.

Yehuda Naveh

Proceedings of the Theory and Applications of Satisfiability Testing, 2010

2008

Guiding Stochastic Search by Dynamic Learning of the Problem Topography.

Yehuda Naveh

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008

2007

Workforce optimization: Identification and assignment of professional workers using constraint programming.

Yehuda Naveh, Yossi Richter, Yaniv Altshuler, Donna L. Gresh, Daniel P. Connors

IBM J. Res. Dev., 2007

Introduction to the Special Issue on Local Search Techniques in Constraint Satisfaction.

Yehuda Naveh, Andrea Roli

Constraints An Int. J., 2007

Constraint-Based Random Stimuli Generation for Hardware Verification.

Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan Marcus, Gil Shurek

AI Mag., 2007

Preprocessing Expression-Based Constraint Satisfaction Problems for Stochastic Local Search.

Sivan Sabato, Yehuda Naveh

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2007

2006

Harnessing Machine Learning to Improve the Success Rate of Stimuli Generation.

Shai Fine, Ari Freund, Itai Jaeger, Yishay Mansour, Yehuda Naveh, Avi Ziv

IEEE Trans. Computers, 2006

Generalizing AllDifferent: The SomeDifferent Constraint.

Yossi Richter, Ari Freund, Yehuda Naveh

Proceedings of the Principles and Practice of Constraint Programming, 2006

2005

Random Stimuli Generation for Functional Hardware Verification as a CP Application.

Yehuda Naveh, Roy Emek

Proceedings of the Principles and Practice of Constraint Programming, 2005

2004

Quality Improvement Methods for System-Level Stimuli Generation.

Roy Emek, Itai Jaeger, Yoav Katz, Yehuda Naveh

Proceedings of the 22nd IEEE International Conference on Computer Design: VLSI in Computers & Processors (ICCD 2004), 2004

2003

Scheduling of transactions for system-level test-case generation.

Roy Emek, Yehuda Naveh

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

2002

X-Gen: a random test-case generator for systems and SoCs.

Roy Emek, Itai Jaeger, Yehuda Naveh, Gadi Bergman, Guy Aloni, Yoav Katz, Monica Farkash, Igor Dozoretz, Alex Goldin

Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002