Stephan Spengler | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Parosh Aziz Abdulla
10 publications
Mohamed Faouzi Atig
9 publications
Adwait Godbole
8 publications
Shankaranarayanan Krishna
5 publications
Florian Furbach
2 publications
Sanchari Sil
1 publication
Yacoub G. Hendi
1 publication

research

∙ 09/06/2023

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

We consider an extension of the classical Total Store Order (TSO) semant...

0 Stephan Spengler, et al. ∙

research

∙ 02/04/2023

Parameterized Verification under TSO with Data Types

We consider parameterized verification of systems executing according to...

0 Parosh Aziz Abdulla, et al. ∙