X-Aware verification: A different perspective! - Khaled Nouh; Haytham Saafan; Ahmed Ismail (ICECS, 2013)

SoC connectivity specification extraction using incomplete RTL design: An approach for Formal connectivity Verification. - Haytham Saafan; M. Watheq El-Kharashi; Ashraf Salem (IDT, 2016)

Formal Based Methodology for Inferring Memory Mapped Registers. - Haytham Saafan; M. Watheq El-Kharashi; Ashraf Salem (MTV, 2016)