Items for Klimis, Vasileios

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Number of items: 3.

Conference Proceedings

Klimis, Vasileios, Parisis, George and Reus, Bernhard (2020) Model checking software-defined networks with flow entries that time out. Formal Methods in Computer-Aided Design (FMCAD 2020), Online, Sep. 21 - 24, 2020. Published in: Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020. 1 179-184. IEEE digital library, Wien. ISSN 2708-7824 ISBN 9783854480426

Klimis, Vassilis, Parisis, George and Reus, Bernhard (2020) Towards model checking real-world software-defined networks. 32nd International Conference on Computer-Aided Verification, Los Angeles, California, USA, July 19-24, 2020. Published in: Computer Aided Verification. CAV 2020. Lecture Notes in Computer Science. 12225 126-148. Springer Verlag ISBN 9783030532901

Thesis

Klimis, Vasileios (2021) Abstractions and optimisations for model-checking software-defined networks. Doctoral thesis (PhD), University of Sussex.

This list was generated on Sat Apr 17 10:25:56 2021 BST.