Assume, Capture, Verify, Establish: Ingredients for Scalable Software Analysis. - Hessamaldin Mohammadi; Wided Ghardallou; Ali Mili 001 (QRS Companion, 2021)

Computing Program Functions. - Hessamaldin Mohammadi; Wided Ghardallou; Richard C. Linger; Ali Mili 001 (FormaliSE@ICSE, 2022)

Zone-based Federated Learning for Mobile Sensing Data. - Xiaopeng Jiang; Thinh On; NhatHai Phan; Hessamaldin Mohammadi; Vijaya Datta Mayyuri; An M. Chen; Ruoming Jin; Cristian Borcea (PERCOM, 2023)

Assume(), Capture(), Verify(), Establish(): A Vocabulary for Static Program Analysis. - Hessamaldin Mohammadi; Wided Ghardallou; Elijah Brick; Ali Mili 001 (QRS Companion, 2023)

Invariant Relations: A Bridge from Programs to Equations. - Wided Ghardallou; Hessamaldin Mohammadi; Elijah Brick; Ali Mili 001 (CoRR, 2023)

On the persistent rumors of the programmer's imminent demise. - Hessam Mohammadi; Wided Ghardallou; Elijah Brick; Ali Mili 001 (Softw. Syst. Model., 2023)

Invariant relations for affine loops. - Wided Ghardallou; Hessamaldin Mohammadi; Richard C. Linger; Mark G. Pleszkoch; Ji Meng Loh; Ali Mili 001 (Acta Informatica, 2024)