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)