Stephan Spengler

PhD student at Department of Information Technology; Division of Computer Systems

Telephone:: +46 18 471 10 51
E-mail:: stephan.spengler@it.uu.se
Visiting address:: Hus 10, Regementsvägen 10
Postal address:: Box 337
751 05 UPPSALA

Download contact information for Stephan Spengler at Department of Information Technology; Division of Computer Systems

Publications

Recent publications

All publications

Articles in journal

TSO Games: On the decidability of safety games under the total store order semantics (extended LMCS version with appendix)

Spengler, Stephan; Sil, Sanchari

Part of Logical Methods in Computer Science, 2025
- DOI for TSO Games: On the decidability of safety games under the total store order semantics (extended LMCS version with appendix)
- Download full text (pdf) of TSO Games: On the decidability of safety games under the total store order semantics (extended LMCS version with appendix)
TSO Games: On the decidability of safety games under the total store order semantics

Spengler, Stephan; Sil, Sanchari

Part of Electronic Proceedings in Theoretical Computer Science, p. 82-98, 2023
- DOI for TSO Games: On the decidability of safety games under the total store order semantics
- Download full text (pdf) of TSO Games: On the decidability of safety games under the total store order semantics

Conference papers

Reachability and Safety Games under TSO Semantics

Spengler, Stephan

Part of Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2024), p. 154-171, 2024
- DOI for Reachability and Safety Games under TSO Semantics
Parameterized Verification under TSO with Data Types

Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Furbach, Florian; Godbole, Adwait A. et al.

Part of Tools and Algorithms for the Construction and Analysis of Systems, p. 588-606, 2023
- DOI for Parameterized Verification under TSO with Data Types
- Download full text (pdf) of Parameterized Verification under TSO with Data Types