Sanaz Sheikhi

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 7

Top Topics

Simplex Algorithm

Test Generation

White Box Testing

Top Venues

IEEE Symposium on Security and Privacy

Publications

Sanaz Sheikhi, Stanley Bak
Closed-Loop ACAS Xu Neural Network Verification. ARCH (2023)
Sanaz Sheikhi, Stanley Bak
Coverage Explorer: Coverage-guided Test Generation for Cyber Physical Systems. CoRR (2023)
Sanaz Sheikhi, Edward Kim, Parasara Sridhar Duggirala, Stanley Bak
Coverage-Guided Fuzz Testing for Cyber-Physical Systems. ICCPS (2022)
Usama Mehmood, Sanaz Sheikhi, Stanley Bak, Scott A. Smolka, Scott D. Stoller
The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS. NFM (2022)
Md Nahid Hossain, Sanaz Sheikhi, R. Sekar
Combating Dependence Explosion in Forensic Analysis Using Alternative Tag Propagation Semantics. IEEE Symposium on Security and Privacy (2020)
Sanaz Sheikhi, Seyed Morteza Babamir
Using a recurrent artificial neural network for dynamic self-adaptation of cluster-based web-server systems. Appl. Intell. 48 (8) (2018)
Sanaz Sheikhi, Seyed Morteza Babamir
A predictive framework for load balancing clustered web servers. J. Supercomput. 72 (2) (2016)