1 citations · 1 across the 3 of their papers we have counts for
3 papers
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…
Towards Refinement and Generalization of Reliability Models Based on Component States
Natasha Jarus, Sahra Sedigh Sarvestani, Ali R. Hurson
Complex system design often proceeds in an iterative fashion, starting from a high-level model and adding detail as the design matures. This process can be assisted by metamodeling…
Formalizing Cyber--Physical System Model Transformation via Abstract Interpretation
Natasha Jarus, Sahra Sedigh Sarvestani, Ali Hurson
Model transformation tools assist system designers by reducing the labor--intensive task of creating and updating models of various aspects of systems, ensuring that modeling assum…