The thesis is a compilation of the papers mentioned below. It consists of the papers and a comprehensive summary (kappa). It is available here: https://grahnen.se/uploads/thesis.pdf
Publications in Thesis
Parosh Aziz Abdulla, Mohamed Faouzi Atig, R. Govind, Samuel Grahn, Ramanathan S. Thinniyam(2025).
Checking Consistency of Event-Driven Traces.
Programming Languages and Systems - 23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27-30, 2025, Proceedings.
Parosh Aziz Abdulla, Samuel Grahn, Bengt Jonsson, Shankaranarayanan Krishna, Om Swostik Mishra(2025).
Efficient Linearizability Monitoring.
Proc. ACM Program. Lang..
Parosh Aziz Abdulla, Elli Anastasiadi, Mohamed Faouzi Atig, Samuel Grahn(2025).
Verification of the Release-Acquire Semantics.
Theoretical Aspects of Computing - ICTAC 2025 - 22nd International Colloquium, Marrakech, Morocco, November 24-28, 2025, Proceedings.