Panagiotis Katsaros
Aristotle University of Thessaloniki
H-index: 22
Europe-Greece
Top articles of Panagiotis Katsaros
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
A Digital Twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle | arXiv preprint arXiv:2402.09097 | Mohamed AbdElSalam Loai Ali Saddek Bensalem Weicheng He Panagiotis Katsaros | 2024/2/14 |
Adversarial robustness improvement for deep neural networks | Machine Vision and Applications | Charis Eleftheriadis Andreas Symeonidis Panagiotis Katsaros | 2024/5 |
TP-DejaVu: Combining Operational and Declarative Runtime Verification | Klaus Havelund Panagiotis Katsaros Moran Omer Doron Peled Anastasios Temperekidis | 2023/12/30 | |
Continuous engineering for trustworthy learning-enabled autonomous systems | Saddek Bensalem Panagiotis Katsaros Dejan Ničković Brian Hsuan-Cheng Liao Ricardo Ruiz Nolasco | 2023/10/23 | |
Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings | Panagiotis Katsaros Laura Nenzi | 2023/10/1 | |
Formal specification for learning-enabled autonomous systems | Saddek Bensalem Chih-Hong Cheng Xiaowei Huang Panagiotis Katsaros Adam Molin | 2022/7/31 | |
An iot digital twin for cyber-security defence based on runtime verification | Jorge David de Hoz Diego Anastasios Temperekidis Panagiotis Katsaros Charalambos Konstantinou | 2022/10/17 | |
A Low-Cost and Energy Autonomous IoT Framework for Environmental Monitoring | Vasileios Galafagas Fotios Gioulekas Panagiotis Maroulidis Nikolaos Petrellis Panagiotis Katsaros | 2022/7/27 | |
Runtime verification for fmi-based co-simulation | Anastasios Temperekidis Nikolaos Kekatos Panagiotis Katsaros | 2022/9/23 | |
Sboing4Real: A real-time crowdsensing-based traffic management system | Journal of Parallel and Distributed Computing | Theodoros Toliopoulos Nikodimos Nikolaidis Anna-Valentini Michailidou Andreas Seitaridis Theodoros Nestoridis | 2022/4/1 |
Resource-Constrained Image Processing for Scientific CubeSats | Ioannis Kozaris Fotios Gioulekas Panagiotis Katsaros | 2022/9/16 | |
On neural network equivalence checking using smt solvers | Charis Eleftheriadis Nikolaos Kekatos Panagiotis Katsaros Stavros Tripakis | 2022/8/29 | |
Operational State Recognition of a DC Motor Using Edge Artificial Intelligence | Sensors | Konstantinos Strantzalis Fotios Gioulekas Panagiotis Katsaros Andreas Symeonidis | 2022/12/9 |
Semantic modeling and analysis of natural language system requirements | IEEE Access | Konstantinos Mokos Theodoros Nestoridis Panagiotis Katsaros Nick Bassiliades | 2022/8/8 |
Towards a digital twin architecture with formal analysis capabilities for learning-enabled autonomous systems | Anastasios Temperekidis Nikolaos Kekatos Panagiotis Katsaros Weicheng He Saddek Bensalem | 2022/10/20 | |
On methods and tools for rigorous system design | International Journal on Software Tools for Technology Transfer | Simon Bliudze Panagiotis Katsaros Saddek Bensalem Martin Wirsing | 2021/10 |
Energy characterization of IoT systems through design aspect monitoring | International Journal on Software Tools for Technology Transfer | Alexios Lekidis Panagiotis Katsaros | 2021/10 |
Scalable IoT architecture for balancing performance and security in mobile crowdsensing systems* | Theodoros Nestoridis Chrysa Oikonomou Anastasios Temperekidis Fotios Gioulekas Panagiotis Katsaros | 2020/12/14 | |
Runtime Verification of Autonomous Driving Systems in CARLA | Eleni Zapridou Ezio Bartocci Panagiotis Katsaros | 2020/10/6 | |
A survey on the formalisation of system requirements and their validation | Array | Konstantinos Mokos Panagiotis Katsaros | 2020/9/1 |