SoCGuard: A runtime verification solution for the functional correctness of SoCs. - Rawan Abdel-Khalek; Valeria Bertacco (VLSI-SoC, 2010)

Functional correctness for CMP interconnects. - Rawan Abdel-Khalek; Ritesh Parikh; Andrew DeOrio; Valeria Bertacco (ICCD, 2011)

Functional post-silicon diagnosis and debug for networks-on-chip. - Rawan Abdel-Khalek; Valeria Bertacco (ICCAD, 2012)

DiAMOND: Distributed alteration of messages for on-chip network debug. - Rawan Abdel-Khalek; Valeria Bertacco (NOCS, 2014)

Post-silicon platform for the functional diagnosis and debug of networks-on-chip. - Rawan Abdel-Khalek; Valeria Bertacco (ACM Trans. Embed. Comput. Syst., 2014)

Achieving Functional Correctness in Large Interconnect Systems. - Rawan Abdel-Khalek (2015)

Correct runtime operation for NoCs through adaptive-region protection. - Rawan Abdel-Khalek; Valeria Bertacco (DATE, 2016)