Login / Signup
Lamya Gaber
ORCID
Publication Activity (10 Years)
Years Active: 2018-2022
Publications (10 Years): 4
Top Topics
Sat Solvers
Vlsi Circuits
Evolvable Hardware
Version Space
Top Venues
J. Electron. Test.
J. Ambient Intell. Humaniz. Comput.
ICM
</>
Publications
</>
Mohammed Moness
,
Lamya Gaber
,
Aziza I. Hussein
,
Hanafy M. Ali
Automated Design Error Debugging of Digital VLSI Circuits.
J. Electron. Test.
38 (4) (2022)
Lamya Gaber
,
Aziza I. Hussein
,
Hanafy Mahmoud
,
M. Mourad Mabrook
,
Mohammed Moness
Computation of minimal unsatisfiable subformulas for SAT-based digital circuit error diagnosis.
J. Ambient Intell. Humaniz. Comput.
13 (7) (2022)
Lamya Gaber
,
Aziza I. Hussein
,
Mohammed Moness
Improved Automatic Correction for Digital VLSI Circuits.
ICM
(2019)
Muhammad Osama
,
Lamya Gaber
,
Aziza I. Hussein
,
Hanafy Mahmoud
An Efficient SAT-Based Test Generation Algorithm with GPU Accelerator.
J. Electron. Test.
34 (5) (2018)