VLDB 2026 Research / reviewers in the wild / expert
Anastasios Temperekidis
dblp:285/1434
· DBLP profile ↗
4ranked-venue papers
1as first author
4since 2021 · last 2024
0009-0005-5856-2780ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 3 · 1 first-author · 3 since 2021Systems, architecture and hardware · 1 · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | TP-DejaVu: Combining Operational and Declarative Runtime Verification
Klaus Havelund, Panagiotis Katsaros, Moran Omer, Doron A. Peled, Anastasios Temperekidis |
VMCAI (2) | 5 |
| 2022 | An IoT Digital Twin for Cyber-Security Defence Based on Runtime Verification
David de Hoz, Anastasios Temperekidis, Panagiotis Katsaros, Charalambos Konstantinou |
ISoLA (1) | 2 |
| 2022 | Runtime Verification for FMI-Based Co-simulation
Anastasios Temperekidis, Nikolaos Kekatos, Panagiotis Katsaros |
RV | 1 |
| 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. | 7 |