Login / Signup
Natasha Jarus
ORCID
Publication Activity (10 Years)
Years Active: 2018-2020
Publications (10 Years): 5
Top Topics
Evaluation Criteria
Static Analysis
Gold Standard
Relational Databases
Top Venues
CoRR
IGSC
HASE
</>
Publications
</>
Natasha Jarus
,
Antonio Sabatini
,
Pratik Maheshwari
,
Sahra Sedigh Sarvestani
Software-Based Monitoring and Analysis of a USB Host Controller Subject to Electrostatic Discharge.
CoRR
(2020)
Natasha Jarus
,
Sahra Sedigh Sarvestani
,
Ali R. Hurson
Formalizing Cyber-Physical System Model Transformation via Abstract Interpretation.
CoRR
(2019)
Natasha Jarus
,
Sahra Sedigh Sarvestani
,
Ali R. Hurson
Formalizing Cyber-Physical System Model Transformation Via Abstract Interpretation.
HASE
(2019)
Natasha Jarus
,
Sahra Sedigh Sarvestani
,
Ali R. Hurson
Towards Refinement and Generalization of Reliability Models Based on Component States.
CoRR
(2019)
Natasha Jarus
,
Sahra Sedigh Sarvestani
,
Ali R. Hurson
Facilitating Model-Based Design and Evaluation for Sustainability.
IGSC
(2018)