2 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.SE2023
CONSTRUCT: A Program Synthesis Approach for Reconstructing Control Algorithms from Embedded System Binaries in Cyber-Physical Systems
Ali Shokri, Alexandre Perez, Souma Chowdhury +6
We introduce a novel approach to automatically synthesize a mathematical representation of the control algorithms implemented in industrial cyber-physical systems (CPS), given the…
cs.AI2022
System Resilience through Health Monitoring and Reconfiguration
Ion Matei, Wiktor Piotrowski, Alexandre Perez +4
We demonstrate an end-to-end framework to improve the resilience of man-made systems to unforeseen events. The framework is based on a physics-based digital twin model and three mo…
cs.SE2021★ 2 cited
Green Software Lab: Towards an Engineering Discipline for Green Software
Rui Abreu, Marco Couto, Luís Cruz +5
This report describes the research goals and results of the Green Software Lab (GSL) research project. This was a project funded by Fundação para a Ciência e a Tecnologia (FCT) --…