Conference Publications

"DiAMOND: Distributed Alteration of Messages for On-Chip Network Debug" pdf
Rawan Abdel-Khalek and Valeria Bertacco
International Symposium on Networks-on-Chip (NOCS), 2014

"Functional Post-Silicon Diagnosis and Debug for Networks-on-Chip" pdf
Rawan Abdel-Khalek and Valeria Bertacco
International Conference on Computer-Aided Design (ICCAD), 2012

"Functional Correctnes in CMP Interconnects" pdf
Rawan Abdel-Khalek, Ritesh Parike, Andrew DeOrio, Valera Bertacco
International Conference on Computer Design (ICCD), 2011

"SoCGuard: A Runtime Verification Solution for the Functional Correctness of SoCs"pdf
Rawan Abdel-Khalek and Valeria Bertacco
International Conference on Very Large Scale Integration of Systems-on-Chip (VLSI-SoC), 2010

Journal Publications

"Post-Silicon Platform for the Functional Diagnosis and Debug of Networks-on-Chip"pdf
Rawan Abdel-Khalek and Valeria Bertacco
ACM Transactions on Embedded Computing Systems (TECS), 2013

Workshop Publications

"Formally Enhanced Verification at Runtime to Ensure NoC Functional Correctness"pdf
Ritesh Parikh, Rawan Abdel-Khalek, Valeria Bertacco
International Workshop on Logic and Synthesis (IWLS), 2011