Tamer Salman

Publication Activity (10 Years)

Years Active: 2010-2014
Publications (10 Years): 0

Top Topics

Associative Memory

Production Process

Kohonen Feature Map

Top Venues

Haifa Verification Conference

J. Mach. Learn. Res.

Publications

Allon Adir, Alex Goryachev, Lev Greenberg, Tamer Salman
Using a High-Level Test Generation Expert System for Testing In-Car Networks. DAC (2014)
Andreas Abel, Allon Adir, Torsten Blochwitz, Lev Greenberg, Tamer Salman
Development and Verification of Complex Hybrid Systems Using Synthesizable Monitors. Haifa Verification Conference (2013)
Allon Adir, Alex Goryachev, Lev Greenberg, Tamer Salman, Gil Shurek
A New Test-Generation Methodology for System-Level Verification of Production Processes. Haifa Verification Conference (2012)
Tamer Salman, Yoram Baram
Quantum set intersection and its application to associative memory. J. Mach. Learn. Res. 13 (2012)
Allon Adir, Ronen Levy, Tamer Salman
Dynamic Test Data Generation for Data Intensive Applications. Haifa Verification Conference (2011)
Iyad Suleiman, Tamer Salman, Shang Gao, Faruk Polat, Maha Arslan, Reda Alhajj, Mick J. Ridley
The power of genetic algorithm in automated assessment of school readiness. IRI (2010)