activity
20122023
most citedRecognizing Abnormal Heart Sounds Using Deep Learning

37 citations · 53 across the 4 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

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…