Publikacje

Found 3 results
Filters: Autor is Miltiadis Siavvas  [Clear All Filters]
2020
Gelenbe E, Siavvas M, Boryszko P, Domańska J.  2020.  Optimum checkpoints for time and energy. IEEE MASCOTS 2020.  (557.59 KB)
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 Symposia on Computer and Information Sciences, ISCIS 2018.