Stephan Spengler

According to our database, Stephan Spengler authored at least 3 papers in 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

TSO Games - On the decidability of safety games under the total store order semantics.

Stephan Spengler, Sanchari Sil

Proceedings of the Fourteenth International Symposium on Games, 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

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023