Tamer Salman

According to our database, Tamer Salman authored at least 8 papers between 2010 and 2016.

Collaborative distances:

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

2016

Identifying malicious activities from system execution traces.

Ehud Aharoni, Ron Peleg, Shmulik Regev, Tamer Salman

IBM J. Res. Dev., 2016

2014

Using a High-Level Test Generation Expert System for Testing In-Car Networks.

Allon Adir, Alex Goryachev, Lev Greenberg, Tamer Salman

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

2013

Development and Verification of Complex Hybrid Systems Using Synthesizable Monitors.

Andreas Abel, Allon Adir, Torsten Blochwitz, Lev Greenberg, Tamer Salman

Proceedings of the Hardware and Software: Verification and Testing, 2013

2012

Quantum neural computation and associative memory.

Tamer Salman

PhD thesis, 2012

Quantum set intersection and its application to associative memory.

Tamer Salman, Yoram Baram

J. Mach. Learn. Res., 2012

A New Test-Generation Methodology for System-Level Verification of Production Processes.

Allon Adir, Alex Goryachev, Lev Greenberg, Tamer Salman, Gil Shurek

Proceedings of the Hardware and Software: Verification and Testing, 2012

2011

Dynamic Test Data Generation for Data Intensive Applications.

Allon Adir, Ronen Levy, Tamer Salman

Proceedings of the Hardware and Software: Verification and Testing, 2011

2010

The power of genetic algorithm in automated assessment of school readiness.

Iyad Suleiman, Tamer Salman, Shang Gao, Faruk Polat, Maha Arslan, Reda Alhajj, Mick J. Ridley

Proceedings of the IEEE International Conference on Information Reuse and Integration, 2010