Hessamaldin Mohammadi

According to our database, Hessamaldin Mohammadi authored at least 7 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Invariant relations for affine loops.

Wided Ghardallou, Hessamaldin Mohammadi, Richard C. Linger, Mark G. Pleszkoch, Ji Meng Loh, Ali Mili

Acta Informatica, September, 2024

2023

On the persistent rumors of the programmer's imminent demise.

Hessam Mohammadi, Wided Ghardallou, Elijah Brick, Ali Mili

Softw. Syst. Model., December, 2023

Invariant Relations: A Bridge from Programs to Equations.

Wided Ghardallou, Hessamaldin Mohammadi, Elijah Brick, Ali Mili

CoRR, 2023

Assume(), Capture(), Verify(), Establish(): A Vocabulary for Static Program Analysis.

Hessamaldin Mohammadi, Wided Ghardallou, Elijah Brick, Ali Mili

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

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

Proceedings of the IEEE International Conference on Pervasive Computing and Communications, 2023

2022

Computing Program Functions.

Hessamaldin Mohammadi, Wided Ghardallou, Richard C. Linger, Ali Mili

Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2022

2021

Assume, Capture, Verify, Establish: Ingredients for Scalable Software Analysis.

Hessamaldin Mohammadi, Wided Ghardallou, Ali Mili

Proceedings of the 21st IEEE International Conference on Software Quality, 2021