Siavvas M, Tsoukalas D, Marantos C, Papadopoulos L, Lamprakos C, Matei O, Strydis C, Siddiqi MAli, Chrobocinski P, Filus K et al..  2024.  SDK4ED: a platform for building energy efficient, dependable, and maintainable embedded software. Automated Software Engineering.

Gelenbe E, Nakip M, Siavvas M.  2024.  System Wide Vulnerability and Trust in Multi-Component Communication System Software. IEEE Network.  (3.98 MB)

Gelenbe E, Nakip M, Siavvas M.  2024.  System-wide vulnerability of multi-component software. Computers & Industrial Engineering. 196

Siavvas M, Gelenbe E, Tsoukalas D, Kalouptsoglou I, Mathioudaki M, Nakip M, Kehagias D, Tzovaras D.  2022.  The IoTAC Software Security-by-Design Platform: Concept, Challenges, and Preliminary Overview. 18th International Conference on the Design of Reliable Communication Networks (DRCN).  (1.33 MB)

Marantos C, Siavvas M, Tsoukalas D, Lamprakos CP, Papadopoulos L, Boryszko P, Filus K, Domańska J, Ampatzoglou A, Chatzigeorgiou A et al..  2022.  SDK4ED: One-click platform for Energy-aware, Maintainable and Dependable Applications. 25th Design, Automation and Test in Europe Conference.

Filus K, Boryszko P, Domańska J, Siavvas M, Gelenbe E.  2021.  Efficient Feature Selection for Static Analysis Vulnerability Prediction. Sensors. 21 (4)(Special Issue: Security and Privacy in Software Based Critical Contexts) (1.37 MB)

Kehagias D, Jankovic M, Siavvas M, Gelenbe E.  2021.  Investigating the Interaction between Energy Consumption, Quality of Service, Reliability, Security, and Maintainability of Computer Systems and Networks. SN Computer Science . 2(1) (981.91 KB)

Gelenbe E, Siavvas M.  2021.  Minimizing Energy and Computation in Long-Running Software. Applied Sciences. 11(3) (853.84 KB)

Filus K, Siavvas M, Domańska J, Gelenbe E.  2021.  The Random Neural Network as a Bonding Model for Software Vulnerability Prediction. Modelling, Analysis, and Simulation of Computer and Telecommunication Systems. 12527:102-116. (690.95 KB)

Gelenbe E, Siavvas M, Boryszko P, Domańska J.  2020.  Optimum checkpoints for time and energy. IEEE MASCOTS 2020.  (557.59 KB)

Siavvas M, Gelenbe E.  2019.  Optimum checkpoints for programs with loops. Simulation Modelling Practice and Theory. 97

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.