16 citations · 16 across the 2 of their papers we have counts for
4 papers
SafeDrones: Real-Time Reliability Evaluation of UAVs using Executable Digital Dependable Identities
Koorosh Aslansefat, Panagiota Nikolaou, Martin Walker +9
The use of Unmanned Arial Vehicles (UAVs) offers many advantages across a variety of applications. However, safety assurance is a key barrier to widespread usage, especially given…
INTERPLAY: An Intelligent Model for Predicting Performance Degradation due to Multi-cache Way-disabling
Panagiota Nikolaou, Yiannakis Sazeides, Maria K. Michael
Modern and future processors need to remain functionally correct in the presence of permanent faults to sustain scaling benefits and limit field returns. This paper presents a comb…
Physics-Informed Neural Networks for Securing Water Distribution Systems
Solon Falas, Charalambos Konstantinou, Maria K. Michael
Physics-informed neural networks (PINNs) is an emerging category of neural networks which can be trained to solve supervised learning tasks while taking into consideration given la…
A Modular End-to-End Framework for Secure Firmware Updates on Embedded Systems
Solon Falas, Charalambos Konstantinou, Maria K. Michael
Firmware refers to device read-only resident code which includes microcode and macro-instruction -level routines. For Internet-of-Things (IoT) devices without an operating system,…