Architectural support for runtime verification on ccNUMA multiprocessors. - Ahmed Nassar 001; Fadi J. Kurdahi (IDT, 2013)

NUVA: Architectural support for runtime verification of parametric specifications over multicores. - Ahmed Nassar 001; Fadi J. Kurdahi; Wael M. Elsharkasy (CASES, 2015)

Lattice-based Boolean diagrams. - Ahmed Nassar 001; Fadi J. Kurdahi (ASP-DAC, 2016)

Topaz: Mining high-level safety properties from logic simulation traces. - Ahmed Nassar 001; Fadi J. Kurdahi; Salam R. Zantout (DATE, 2016)

Specification and Runtime Verification of Distributed Multiprocessor Systems: Languages, Tools and Architectures. - Ahmed Nassar 001 (2016)

Design methodologies for enabling self-awareness in autonomous systems. - Armin Sadighi; Bryan Donyanavard; Thawra Kadeed; Kasra Moazzemi; Tiago Mück; Ahmed Nassar 001; Amir M. Rahmani; Thomas Wild; Nikil D. Dutt; Rolf Ernst; Andreas Herkersdorf; Fadi J. Kurdahi (DATE, 2018)

Platform-Centric Self-Awareness as a Key Enabler for Controlling Changes in CPS. - Mischa Möstl; Johannes Schlatow; Rolf Ernst; Nikil D. Dutt; Ahmed Nassar 001; Amir-Mohammad Rahmani; Fadi J. Kurdahi; Thomas Wild; Armin Sadighi; Andreas Herkersdorf (Proc. IEEE, 2018)