Mohammed S. Al-Mahfoudh

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 3

Top Topics

Computationally Expensive

Distributed Database Systems

Consistency Checking

Top Venues

Softw. Pract. Exp.

Publications

Mohammed S. Al-Mahfoudh, Ryan Stutsman, Ganesh Gopalakrishnan
Efficient linearizability checking for actor-based systems. Softw. Pract. Exp. 53 (11) (2023)
Mohammed S. Al-Mahfoudh, Ryan Stutsman, Ganesh Gopalakrishnan
Efficient Linearizability Checking for Actor-based Systems. CoRR (2021)
Mohammed S. Al-Mahfoudh, Ganesh Gopalakrishnan, Ryan Stutsman
Toward Bringing Distributed System Design upon Rigorous Footing. IRI (2016)