A predictive framework for load balancing clustered web servers. - Sanaz Sheikhi; Seyed Morteza Babamir (J. Supercomput., 2016)

Using a recurrent artificial neural network for dynamic self-adaptation of cluster-based web-server systems. - Sanaz Sheikhi; Seyed Morteza Babamir (Appl. Intell., 2018)

Combating Dependence Explosion in Forensic Analysis Using Alternative Tag Propagation Semantics. - Md Nahid Hossain; Sanaz Sheikhi; R. Sekar 001 (SP, 2020)

Coverage-Guided Fuzz Testing for Cyber-Physical Systems. - Sanaz Sheikhi; Edward Kim; Parasara Sridhar Duggirala; Stanley Bak (ICCPS, 2022)

The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS. - Usama Mehmood; Sanaz Sheikhi; Stanley Bak; Scott A. Smolka; Scott D. Stoller (NFM, 2022)

Closed-Loop ACAS Xu Neural Network Verification. - Sanaz Sheikhi; Stanley Bak (ARCH, 2023)

Coverage Explorer: Coverage-guided Test Generation for Cyber Physical Systems. - Sanaz Sheikhi; Stanley Bak (CoRR, 2023)

The black-box simplex architecture for runtime assurance of multi-agent CPS. - Sanaz Sheikhi; Usama Mehmood; Stanley Bak; Scott A. Smolka; Scott D. Stoller (Innov. Syst. Softw. Eng., 2025)