Modeling and testing a family of surgical robots: an experience report. - Niloofar Mansoor; Jonathan A. Saddler; Bruno Vieira Resende e Silva; Hamid Bagheri; Myra B. Cohen; Shane Farritor (ESEC/SIGSOFT FSE, 2018)

miRDis: a Web tool for endogenous and exogenous microRNA discovery based on deep-sequencing data analysis. - Hanyuan Zhang; Bruno Vieira Resende e Silva; Juan Cui (Briefings Bioinform., 2018)

SEMEO: A Semantic Equivalence Analysis Framework for Obfuscated Android Applications. - Zhen Hu; Bruno Vieira Resende e Silva; Hamid Bagheri; Witawas Srisa-an; Gregg Rothermel; Jackson Dinh (MobiQuitous, 2021)

SAINTDroid: Scalable, Automated Incompatibility Detection for Android. - Bruno Vieira Resende e Silva; Clay Stevens; Niloofar Mansoor; Witawas Srisa-an; Tingting Yu 001; Hamid Bagheri (DSN, 2022)