The following publications are possibly variants of this publication:
- Parameterized Verification under TSO with Data TypesParosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Adwait Amit Godbole, Yacoub G. Hendi, Shankara Narayanan Krishna, Stephan Spengler. TACAS 2023: 588-606 [doi]
- Verification under TSO with an infinite Data DomainParosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Shashwat Garg. TACAS 2024: 276-295 [doi]
- The Benefits of Duality in Verifying Concurrent Programs under TSOParosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo. concur 2016: [doi]