Items for Klimis, Vasileios

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

Conference Proceedings

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

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: International Conference on Formal Methods in Computer-Aided Design (FMCAD). IEEE digital library (Accepted)

This list was generated on Sat Sep 19 08:02:05 2020 BST.