most citedFormalizing Cyber--Physical System Model Transformation via Abstract Interpretation

1 citations · 1 across the 3 of their papers we have counts for

collaborators
Showing cs.OHShow all

1 paper · 1 filter

cs.OH2020

Software-Based Monitoring and Analysis of a USB Host Controller Subject to Electrostatic Discharge

Natasha Jarus, Antonio Sabatini, Pratik Maheshwari +1

Observing, understanding, and mitigating the effects of failure in embedded systems is essential for building dependable control systems. We develop a software-based monitoring met…