Sanaz Sheikhi

According to our database, Sanaz Sheikhi authored at least 8 papers between 2016 and 2025.

Collaborative distances:

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

2025

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., June, 2025

2023

Coverage Explorer: Coverage-guided Test Generation for Cyber Physical Systems.

Sanaz Sheikhi, Stanley Bak

CoRR, 2023

Closed-Loop ACAS Xu Neural Network Verification.

Sanaz Sheikhi, Stanley Bak

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

2022

The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS.

Usama Mehmood, Sanaz Sheikhi, Stanley Bak, Scott A. Smolka, Scott D. Stoller

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

Coverage-Guided Fuzz Testing for Cyber-Physical Systems.

Sanaz Sheikhi, Edward Kim, Parasara Sridhar Duggirala, Stanley Bak

Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

2020

Combating Dependence Explosion in Forensic Analysis Using Alternative Tag Propagation Semantics.

Md Nahid Hossain, Sanaz Sheikhi, R. Sekar

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

2018

Using a recurrent artificial neural network for dynamic self-adaptation of cluster-based web-server systems.

Sanaz Sheikhi, Seyed Morteza Babamir

Appl. Intell., 2018

2016

A predictive framework for load balancing clustered web servers.

Sanaz Sheikhi, Seyed Morteza Babamir

J. Supercomput., 2016