Anastasios Temperekidis

According to our database, Anastasios Temperekidis authored at least 7 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

TP-DejaVu: Combining Operational and Declarative Runtime Verification.

Klaus Havelund, Panagiotis Katsaros, Moran Omer, Doron Peled, Anastasios Temperekidis

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

2023

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

Proceedings of the Companion Proceedings of the 16th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling and the 13th Enterprise Design and Engineering Working Conference: BES, DTE, FACETE, Tools & Demos, Forum, EDEN Doctoral Consortium co-located with PoEM 2023, Vienna, Austria, November 28, 2023

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, Fotios Liotopoulos

J. Parallel Distributed Comput., 2022

Runtime Verification for FMI-Based Co-simulation.

Anastasios Temperekidis, Nikolaos Kekatos, Panagiotis Katsaros

Proceedings of the Runtime Verification - 22nd International Conference, 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

Proceedings of the Modelling and Simulation for Autonomous Systems, 2022

An IoT Digital Twin for Cyber-Security Defence Based on Runtime Verification.

Jorge David de Hoz Diego, Anastasios Temperekidis, Panagiotis Katsaros, Charalambos Konstantinou

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

2020

Scalable IoT architecture for balancing performance and security in mobile crowdsensing systems^*.

Theodoros Nestoridis, Chrysa Oikonomou, Anastasios Temperekidis, Fotios Gioulekas, Panagiotis Katsaros

Proceedings of the 7th International Conference on Internet of Things: Systems, 2020