Facilitating Model-Based Design and Evaluation for Sustainability. - Natasha Jarus; Sahra Sedigh Sarvestani; Ali R. Hurson (IGSC, 2018)

Formalizing Cyber-Physical System Model Transformation Via Abstract Interpretation. - Natasha Jarus; Sahra Sedigh Sarvestani; Ali R. Hurson (HASE, 2019)

Towards Refinement and Generalization of Reliability Models Based on Component States. - Natasha Jarus; Sahra Sedigh Sarvestani; Ali R. Hurson (CoRR, 2019)

Software-Based Monitoring and Analysis of a USB Host Controller Subject to Electrostatic Discharge. - Natasha Jarus; Antonio Sabatini; Pratik Maheshwari; Sahra Sedigh Sarvestani (CoRR, 2020)