Anastasios Temperekidis

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 8

Top Topics

Traffic Surveillance

Formal Analysis

Senior Citizens

Top Venues

Publications

Klaus Havelund, Panagiotis Katsaros, Moran Omer, Doron Peled, Anastasios Temperekidis
TP-DejaVu: Combining Operational and Declarative Runtime Verification. VMCAI (2) (2024)
Mohamed Abdelsalam, Loai Ali, Saddek Bensalem, Weicheng He, Panagiotis Katsaros, Nikolaos Kekatos, Doron Peled, Anastasios Temperekidis, Changshun Wu
A Digital Twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle. CoRR (2024)
Mohamed Abdelsalam, Loai Ali, Saddek Bensalem, Weicheng He, Panagiotis Katsaros, Nikolaos Kekatos, Doron Peled, Anastasios Temperekidis, Changshun Wu
A digital twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle. PoEM Companion (2023)
Jorge David de Hoz Diego, Anastasios Temperekidis, Panagiotis Katsaros, Charalambos Konstantinou
An IoT Digital Twin for Cyber-Security Defence Based on Runtime Verification. ISoLA (1) (2022)
Anastasios Temperekidis, Nikolaos Kekatos, Panagiotis Katsaros, Weicheng He, Saddek Bensalem, Hisham AbdElSabour, Mohamed Abdelsalam, Ashraf Salem
Towards a Digital Twin Architecture with Formal Analysis Capabilities for Learning-Enabled Autonomous Systems. MESAS (2022)
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, Fotios Liotopoulos
Sboing4Real: A real-time crowdsensing-based traffic management system. J. Parallel Distributed Comput. 162 (2022)
Anastasios Temperekidis, Nikolaos Kekatos, Panagiotis Katsaros
Runtime Verification for FMI-Based Co-simulation. RV (2022)
Theodoros Nestoridis, Chrysa Oikonomou, Anastasios Temperekidis, Fotios Gioulekas, Panagiotis Katsaros
. IoTSMS (2020)