Dynamic Assertions Using TXP. - Surrendra Dudani; Joao Geada; Grzegorz Jakacki; Daniel Vainer (RV@CAV, 2001)

Victim alignment in crosstalk aware timing analysis. - Ravikishore Gandikota; Kaviraj Chopra; David T. Blaauw; Dennis Sylvester; Murat R. Becer; Joao Geada (ICCAD, 2007)

Transistor level gate modeling for accurate and fast timing, noise, and power analysis. - Shiva Raja; F. Varadi; Murat R. Becer; Joao Geada (DAC, 2008)

Applying Machine Learning to Design for Reliability Coverage. - Norman Chang; Wentze Chuang; Ganesh Kumar Tsavatanalli; Joao Geada; Hao Zhuang; Sankar Ramachandran; Rahul Rajan; Ying-Shiun Li; Yaowei Jia; Mathew Kaipanatu; Suresh Kumar Mantena; Ming-Chih Shih; et al. (IRPS, 2019)

Silicon-correlated Simulation Methodology of EM Side-channel Leakage Analysis. - Kazuki Monta; Lang Lin; Jimin Wen; Harsh Shrivastav; Calvin Chow; Hua Chen; Joao Geada; Sreeja Chowdhury; Nitin Pundir; Norman Chang; Makoto Nagata (ACM J. Emerg. Technol. Comput. Syst., 2023)