Efficient Linearizability Monitoring. - Parosh Aziz Abdulla; Samuel Grahn; Bengt Jonsson 001; Shankaranarayanan Krishna; Om Swostik Mishra (Proc. ACM Program. Lang., 2025)

Verification of the Release-Acquire Semantics. - Parosh Aziz Abdulla; Elli Anastasiadi; Mohamed Faouzi Atig; Samuel Grahn (CoRR, 2025)

Checking Consistency of Event-driven Traces. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; R. Govind 001; Samuel Grahn; Ramanathan S. Thinniyam (CoRR, 2025)