Stephan Spengler

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 5

Top Topics

Database Server

Nash Equilibria

Weighted Majority

Top Venues

Publications

Stephan Spengler
Reachability and Safety Games under TSO Semantics (Extended Version). CoRR (2024)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Adwait Amit Godbole, Yacoub G. Hendi, Shankara Narayanan Krishna, Stephan Spengler
Parameterized Verification under TSO with Data Types. TACAS (1) (2023)
Stephan Spengler, Sanchari Sil
TSO Games - On the decidability of safety games under the total store order semantics. GandALF (2023)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Adwait Godbole, Yacoub G. Hendi, Shankara Narayanan Krishna, Stephan Spengler
Parameterized Verification under TSO with Data Types. CoRR (2023)
Stephan Spengler, Sanchari Sil
TSO Games - On the decidability of safety games under the total store order semantics (extended version with appendix). CoRR (2023)