Publications

Export 2 results:
Filters: Author is Miltiadis Siavvas  [Clear All Filters]
2019
Siavvas M, Gelenbe E.  2019.  Optimum checkpoints for programs with loops. Simulation Modelling Practice and Theory. 97
2018
Siavvas M, Gelenbe E, Kehagias D, Tzovaras D.  2018.  Static Analysis-Based Approaches for Secure Software Development. 1st International Symposium on Computer and Information Sciences, ISCIS 2018.