Leonidas Tsiopoulos

Uurimisrühmad

  1. Tugevalt tagatud tarkvara laboratoorium

Publikatsioonid

Test Adapter Generation Based on Assume/Guarantee Contracts for Verification of Cyber-Physical Systems
Väljaanne: Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering - MODELSWARD
Autorid: Guin, Jishu; Vain, Jüri; Tsiopoulos, Leonidas
Aasta: 2025
A systematic literature review of cyber security monitoring in maritime
Väljaanne: IEEE Access
Autorid: Vaarandi, Risto; Tsiopoulos, Leonidas; Visky, Gábor; Rehman, Muaan Ur; Bahşi, Hayretdin
Aasta: 2025
Using incremental inductive logic programming for learning spoofing attacks on maritime automatic identification system data
Väljaanne: Maritime Cybersecurity, Signals and Communication Technology
Autorid: Benterki, Aboubaker Seddiq; Visky, Gábor; Vain, Jüri; Tsiopoulos, Leonidas
Aasta: 2025

Projektid

IT Tippkeskus EXCITE
Aasta: 2016 - 2023
"Eesti IT Tippkeskus EXCITE ühendab kõiki Eesti edukaid IT teadusgruppe ühtseks, sünergiat loovaks teaduskeskuseks, vähendades niimoodi Eesti teadusmaastiku killustatust ning luues sünergiat erinevate teadusteemade vahel. Konsortsium arendab edasi matemaatiliste mudelite verifitseerimise ning andmeanalüüsi teooriaid, millele toetudes töötatakse omakorda välja meetodid veakindlate ning turvaliste IT süsteemide ehitamiseks. Neid meetodeid rakendatakse küberfüüsiliste süsteemide, robotite, e-tervise teenuste ning biomeditsiiniteenuste näitel. EXCITE koosneb kümnest, täpse ülesandepüstitusega ning kindla metoodikaga alamteemast, mille fookust projekti eluea jooksul vastavalt vahetulemustele kohendatakse. EXCITE suurendab Eesti teaduse jätkusuutlikust, luues 20-30 doktorandile ning järeldoktorile toetava keskkonna ning pideva rahastuse.