Vasileios Klimis

Vasileios Klimis

Queen Mary University of London - London / United Kingdom
Engineering & Technology / Civil Engineering
AD Scientific Index ID: 5452548
person_outline Vasileios Klimis's MOST POPULAR ARTICLES
1-) Towards model checking real-world software-defined networksV Klimis, G Parisis, B ReusInternational Conference on Computer Aided Verification, 126-148, 202052020
2-) Taking back control in an intermediate representation for GPU computingV Klimis, J Clark, A Baker, D Neto, J Wickerson, A DonaldsonProc. ACM on Programming Languages (POPL) 7, 202342023
3-) Abstractions and optimisations for model-checking software-defined networksV KlimisUniversity of Sussex, 202122021
4-) Challenges in Empirically Testing Memory Persistency ModelsV Klimis, AF Donaldson, V Vafeiadis, J Wickerson, A RaadICSE, 202412024
5-) Model Checking Software-Defined Networks with Flow Entries that Time Out (version with appendix)V Klimis, G Parisis, B ReusarXiv preprint arXiv:2008.06149, 202012020