Anastasios Temperekidis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2022–2024
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | VMCAI | TP-DejaVu: Combining Operational and Declarative Runtime Verification. | Klaus Havelund, Panagiotis Katsaros, Moran Omer, Doron Peled, Anastasios Temperekidis |
| 2022 | ISoLA | An IoT Digital Twin for Cyber-Security Defence Based on Runtime Verification. | Jorge David de Hoz Diego, Anastasios Temperekidis, Panagiotis Katsaros, Charalambos Konstantinou |
| 2022 | RV | Runtime Verification for FMI-Based Co-simulation. | Anastasios Temperekidis, Nikolaos Kekatos, Panagiotis Katsaros |