Publications

Parosh Aziz Abdulla, Samuel Grahn, Bengt Jonsson, Shankaranarayanan Krishna, Om Swostik Mishra (2025). Efficient Linearizability Monitoring. Proc. ACM Program. Lang..
Cite DOI URL
Parosh Abdulla, Elli Anastasiadi, Mohamed Faouzi Atig, Samuel Grahn (2025). Verification of the Release-Acquire Semantics.
Cite arXiv URL
Parosh Aziz Abdulla, Mohamed Faouzi Atig, R. Govind, Samuel Grahn, Ramanathan S. Thinniyam (2025). Checking Consistency of Event-driven Traces.
Cite arXiv URL