Natasha Jarus

According to our database, Natasha Jarus authored at least 4 papers between 2018 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

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

2019

Towards Refinement and Generalization of Reliability Models Based on Component States.

Natasha Jarus, Sahra Sedigh Sarvestani, Ali R. Hurson

CoRR, 2019

Formalizing Cyber-Physical System Model Transformation Via Abstract Interpretation.

Natasha Jarus, Sahra Sedigh Sarvestani, Ali R. Hurson

Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019

2018

Facilitating Model-Based Design and Evaluation for Sustainability.

Natasha Jarus, Sahra Sedigh Sarvestani, Ali R. Hurson

Proceedings of the Ninth International Green and Sustainable Computing Conference, 2018