Towards Model Checking Real-World Software-Defined Networks. - Vasileios Klimis; George Parisis; Bernhard Reus (CAV (2), 2020)

Model Checking Software-Defined Networks with Flow Entries that Time Out. - Vasileios Klimis; George Parisis; Bernhard Reus (FMCAD, 2020)

Abstractions and optimisations for model-checking software-defined networks. - Vasileios Klimis (2021)

Taking Back Control in an Intermediate Representation for GPU Computing. - Vasileios Klimis; Jack Clark; Alan Baker; David Neto; John Wickerson; Alastair F. Donaldson (Proc. ACM Program. Lang., 2023)

Challenges in Empirically Testing Memory Persistency Models. - Vasileios Klimis; Alastair F. Donaldson; Viktor Vafeiadis; John Wickerson; Azalea Raad (NIER@ICSE, 2024)

Lost in Interpretation: Navigating Challenges in Validating Persistency Models Amid Vague Specs and Stubborn Machines, All with a Sense of Humour. - Vasileios Klimis; Alastair F. Donaldson; Viktor Vafeiadis; John Wickerson; Azalea Raad (CoRR, 2024)

Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures. - Guillaume Ambal; Brijesh Dongol; Haggai Eran; Vasileios Klimis; Ori Lahav 001; Azalea Raad (Proc. ACM Program. Lang., 2024)

Shouting at Memory: Where Did My Write Go? (Pearl/Brave New Idea). - Vasileios Klimis (ECOOP, 2025)