The thesis is a compilation of the papers mentioned below. It will consist of the papers, as well as a /kappa/, which I am currently writing. Once there is a rough draft i will upload it here.
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.