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 524
751 20 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

On the Verification Problem of Remote Direct Memory Access Programs

Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Rajanbabu, Govind; Spengler, Stephan

Part of Computer Aided Verification, p. 113-135, 2026
- DOI for On the Verification Problem of Remote Direct Memory Access Programs
- Download full text (pdf) of On the Verification Problem of Remote Direct Memory Access Programs
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