Scalable IoT architecture for balancing performance and security in mobile crowdsensing systems*. - Theodoros Nestoridis; Chrysa Oikonomou; Anastasios Temperekidis; Fotios Gioulekas; Panagiotis Katsaros (IoTSMS, 2020)

An IoT Digital Twin for Cyber-Security Defence Based on Runtime Verification. - Jorge David de Hoz Diego; Anastasios Temperekidis; Panagiotis Katsaros; Charalambos Konstantinou (ISoLA (1), 2022)

Towards a Digital Twin Architecture with Formal Analysis Capabilities for Learning-Enabled Autonomous Systems. - Anastasios Temperekidis; Nikolaos Kekatos; Panagiotis Katsaros; Weicheng He; Saddek Bensalem; Hisham AbdElSabour; Mohamed Abdelsalam; Ashraf Salem (MESAS, 2022)

Runtime Verification for FMI-Based Co-simulation. - Anastasios Temperekidis; Nikolaos Kekatos; Panagiotis Katsaros (RV, 2022)

Sboing4Real: A real-time crowdsensing-based traffic management system. - Theodoros Toliopoulos; Nikodimos Nikolaidis; Anna-Valentini Michailidou; Andreas Seitaridis; Theodoros Nestoridis; Chrysa Oikonomou; Anastasios Temperekidis; Fotios Gioulekas; Anastasios Gounaris; Nick Bassiliades; Panagiotis Katsaros; Apostolos Georgiadis; et al. (J. Parallel Distributed Comput., 2022)

A digital twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle. - Mohamed Abdelsalam; Loai Ali; Saddek Bensalem; Weicheng He; Panagiotis Katsaros; Nikolaos Kekatos; Doron Peled; Anastasios Temperekidis; Changshun Wu (PoEM Companion, 2023)

TP-DejaVu: Combining Operational and Declarative Runtime Verification. - Klaus Havelund; Panagiotis Katsaros; Moran Omer; Doron Peled; Anastasios Temperekidis (VMCAI (2), 2024)

Digital twin for the formal analysis of a depth of anesthesia controller. - Mohamed Abdelsalam; Saddek Bensalem; Antoine Delacourt; Weicheng He; Panagiotis Katsaros; Nikolaos Kekatos; Ricardo Ruiz Nolasco; Doron Peled; Matthieu Ponchant; Ismail Ryad; Anastasios Temperekidis; Changshun Wu (Simul., 2025)