Parameterized Verification under TSO with Data Types. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Florian Furbach; Adwait Amit Godbole; Yacoub G. Hendi; Shankara Narayanan Krishna; Stephan Spengler (TACAS (1), 2023)

TSO Games - On the decidability of safety games under the total store order semantics (extended version with appendix). - Stephan Spengler; Sanchari Sil (CoRR, 2023)

TSO Games - On the decidability of safety games under the total store order semantics. - Stephan Spengler; Sanchari Sil (GandALF, 2023)

Reachability and Safety Games under TSO Semantics (Extended Version). - Stephan Spengler (CoRR, 2024)

Reachability and Safety Games under TSO Semantics. - Stephan Spengler (GandALF, 2024)