We stand with Ukraine  

Vasileios Klimis

Orcid: 0000-0002-3173-8636

Affiliations:
  • Queen Mary University of London, UK


According to our database1, Vasileios Klimis authored at least 4 papers between 2020 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Taking Back Control in an Intermediate Representation for GPU Computing.
[BibTeX]
[DOI]
Vasileios Klimis
,
Jack Clark
,
Alan Baker
,
David Neto
,
John Wickerson
,
Alastair F. Donaldson
Proc. ACM Program. Lang., January, 2023

2021
Abstractions and optimisations for model-checking software-defined networks.
[BibTeX]
[DOI]
Vasileios Klimis
PhD thesis, 2021

2020
Model Checking Software-Defined Networks with Flow Entries that Time Out.
[BibTeX]
[DOI]
Vasileios Klimis
,
George Parisis
,
Bernhard Reus
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

Towards Model Checking Real-World Software-Defined Networks.
[BibTeX]
[DOI]
Vasileios Klimis
,
George Parisis
,
Bernhard Reus
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020


  Loading...