Mohammed Al-Mahfoudh

According to our database, Mohammed Al-Mahfoudh authored at least 4 papers between 2016 and 2023.

Collaborative distances:

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

2023

Efficient linearizability checking for actor-based systems.

Mohammed S. Al-Mahfoudh, Ryan Stutsman, Ganesh Gopalakrishnan

Softw. Pract. Exp., November, 2023

2021

Practical Formal Development of Distributed Systems.

Mohammed Al-Mahfoudh

PhD thesis, 2021

2016

Toward Bringing Distributed System Design upon Rigorous Footing.

Mohammed S. Al-Mahfoudh, Ganesh Gopalakrishnan, Ryan Stutsman

Proceedings of the 17th IEEE International Conference on Information Reuse and Integration, 2016

Toward rigorous design of domain-specific distributed systems.

Mohammed Al-Mahfoudh, Ganesh Gopalakrishnan, Ryan Stutsman

Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering, 2016