| On removing algorithmic priority inversion from mission-critical machine inference pipelines S Liu, S Yao, X Fu, R Tabish, S Yu, A Bansal, H Yun, L Sha, T Abdelzaher 2020 IEEE Real-Time Systems Symposium (RTSS), 319-332, 2020 | 65 | 2020 |
| Real-time task scheduling for machine perception in intelligent cyber-physical systems S Liu, S Yao, X Fu, H Shao, R Tabish, S Yu, A Bansal, H Yun, L Sha, ... IEEE Transactions on Computers 71 (8), 1770-1783, 2021 | 46 | 2021 |
| Risk Ranked Recall: Collision Safety Metric for Object Detection Systems in Autonomous Vehicles A Bansal, J Singh, M Verucchi, M Caccamo, L Sha 2021 10th Mediterranean Conference on Embedded Computing (MECO), 2021 | 39 | 2021 |
| Evaluating memory subsystem of configurable heterogeneous MPSoC A Bansal, R Tabish, G Gracioli, R Mancuso, R Pellizzoni, M Caccamo Proceedings of the Operating Systems Platforms for Embedded Real-Time …, 2018 | 28 | 2018 |
| Reconciling predictability and coherent caching A Bansal, J Singh, Y Hao, JY Wen, R Mancuso, M Caccamo 2020 9th Mediterranean Conference on Embedded Computing (MECO), 1-6, 2020 | 22 | 2020 |
| System Auditing for Real-Time Systems A Bansal, A Kandikuppa, M Hasan, CY Chen, A Bates, S Mohan ACM Transactions on Privacy and Security, 2023 | 16* | 2023 |
| Verifiable obstacle detection A Bansal, H Kim, S Yu, B Li, N Hovakimyan, M Caccamo, L Sha 2022 IEEE 33rd International Symposium on Software Reliability Engineering …, 2022 | 15 | 2022 |
| SchedGuard: Protecting against Schedule Leaks Using Linux Containers J Chen, T Kloda, A Bansal, R Tabish, CY Chen, B Liu, S Mohan, ... 27th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'21), 2021 | 10 | 2021 |
| Towards efficient auditing for real-time systems A Bansal, A Kandikuppa, CY Chen, M Hasan, A Bates, S Mohan European Symposium on Research in Computer Security, 614-634, 2022 | 9 | 2022 |
| Perception simplex: Verifiable collision avoidance in autonomous vehicles amidst obstacle detection faults A Bansal, H Kim, S Yu, B Li, N Hovakimyan, M Caccamo, L Sha Software Testing, Verification and Reliability, e1879, 2024 | 8 | 2024 |
| Synergistic Perception and Control Simplex for Verifiable Safe Vertical Landing A Bansal, Y Zhao, J Zhu, S Cheng, Y Gu, HJ Yoon, H Kim, N Hovakimyan, ... AIAA SCITECH 2024 Forum, 1167, 2024 | 7 | 2024 |
| Schedguard++: Protecting against schedule leaks using linux containers on multi-core processors J Chen, T Kloda, R Tabish, A Bansal, CY Chen, B Liu, S Mohan, ... ACM Transactions on Cyber-Physical Systems 7 (1), 1-25, 2023 | 7 | 2023 |
| Bayesian Data Augmentation and Training for Perception DNN in Autonomous Aerial Vehicles A Rasul, H Tasnim, HJ Yoon, A Bansal, D Wang, N Hovakimyan, L Sha, ... AIAA SciTech 2025 Forum, 0933, 2025 | 6 | 2025 |
| Lidar cluster first and camera inference later: A new perspective towards autonomous driving J Chen, S Yu, R Tabish, A Bansal, S Liu, T Abdelzaher, L Sha arXiv preprint arXiv:2111.09799, 2021 | 6 | 2021 |
| Synergistic Redundancy: Towards Verifiable Safety for Autonomous Vehicles A Bansal, S Yu, H Kim, B Li, N Hovakimyan, M Caccamo, L Sha arXiv preprint arXiv:2209.01710v1, 2022 | 4 | 2022 |
| Taming Algorithmic Priority Inversion in Mission-Critical Perception Pipelines S Liu, S Yao, X Fu, R Tabish, S Yu, A Bansal, H Yun, L Sha, T Abdelzaher Communications of the ACM 67 (2), 110-117, 2024 | 3* | 2024 |
| Thermal extension of the total bandwidth server R Ahmed, A Bansal, B Kakunoori, P Ramanathan, KK Saluja 2015 28th International Conference on VLSI Design, 47-52, 2015 | 3 | 2015 |
| AirTaxiSim: A Simulator for Autonomous Air Taxis A Bansal, M Yeghiazaryan, HJ Yoon, D Wang, AE Rasul, C Tao, Y Zhao, ... AIAA AVIATION FORUM AND ASCEND 2025, 3349, 2025 | 2 | 2025 |
| Verification and Validation of a Vision-Based Landing System for Autonomous VTOL Air Taxis A Bansal, D Wang, M Yeghiazaryan, Y Li, C Tao, HJ Yoon, P Arora, ... AIAA SCITECH 2025 Forum, 1322, 2025 | 2 | 2025 |
| Towards Certifiable Safety in Learning-Enabled Autonomous Systems: A Perspective A Bansal, L Sha University of Illinois Urbana-Champaign, 2025 | 1 | 2025 |
Lui ShaProfessor of Computer Sceince, University of IllinoisVerified email at cs.uiuc.edu
