Combating dependence explosion in forensic analysis using alternative tag propagation semantics MN Hossain, S Sheikhi, R Sekar 2020 IEEE Symposium on Security and Privacy (SP), 1139-1155, 2020 | 126 | 2020 |
The black-box simplex architecture for runtime assurance of autonomous CPS U Mehmood, S Sheikhi, S Bak, SA Smolka, SD Stoller NASA formal methods symposium, 231-250, 2022 | 15 | 2022 |
Coverage-guided fuzz testing for cyber-physical systems S Sheikhi, E Kim, PS Duggirala, S Bak 2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS …, 2022 | 9 | 2022 |
Using a recurrent artificial neural network for dynamic self-adaptation of cluster-based web-server systems S Sheikhi, SM Babamir Applied Intelligence 48, 2097-2111, 2018 | 8 | 2018 |
A predictive framework for load balancing clustered web servers S Sheikhi, SM Babamir The Journal of Supercomputing 72, 588-611, 2016 | 8 | 2016 |
Closed-loop acas xu neural network verification S Sheikhi, S Bak Proceedings of 10th International Workshop on Applied 96, 1-8, 2023 | 3 | 2023 |
Coverage Explorer: Coverage-guided Test Generation for Cyber Physical Systems S Sheikhi, S Bak arXiv preprint arXiv:2312.02313, 2023 | 1 | 2023 |
An Innovative Model-Driven SlicingApproach for Testing Adaptive Software S Sheikhi, S Morteza Babamir Recent Patents on Computer Science 10 (2), 165-170, 2017 | 1 | 2017 |
The black-box simplex architecture for runtime assurance of multi-agent CPS S Sheikhi, U Mehmood, S Bak, SA Smolka, SD Stoller Innovations in Systems and Software Engineering, 1-16, 2024 | | 2024 |
Coverage-guided State Space Exploration of Autonomous Cyber-Physical Systems S Sheikhi, S Bak 2023 IEEE 9th International Conference on Space Mission Challenges for …, 2023 | | 2023 |