2023

Liu, S., Fu, X., Hu, Y., Wigness, M., David, P., Yao, S., … & Abdelzaher, T. (2023). Generalized self-cueing real-time attention scheduling with intermittent inspection and image resizing. Real-Time Systems, 1-42.

Mao, Y., Gu, Y., Hovakimyan, N., Sha, L., & Voulgaris, P. (2023). Sℒ1-Simplex: Safe Velocity Regulation of Self-Driving Vehicles in Dynamic and Unforeseen Environments. ACM Transactions on Cyber-Physical Systems, 7(1), 1-24.

Chen, J., Kloda, T., Tabish, R., Bansal, A., Chen, C. Y., Liu, B., … & Sha, L. (2023). SchedGuard++: Protecting against Schedule Leaks Using Linux Containers on Multi-Core Processors. ACM Transactions on Cyber-Physical Systems, 7(1), 1-25.

2022

Liu, S., Yao, S., Fu, X., Shao, H., Tabish, R., Yu, S., … & Abdelzaher, T. (2021). Real-time task scheduling for machine perception in intelligent cyber-physical systems. IEEE Transactions on Computers, 71(8), 1770-1783.

Bansal, A., Kim, H., Yu, S., Li, B., Hovakimyan, N., Caccamo, M., & Sha, L. (2022, October). Verifiable obstacle detection. In 2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE) (pp. 61-72). IEEE.

Liu, S., Fu, X., Wigness, M., David, P., Yao, S., Sha, L., & Abdelzaher, T. (2022, May). Self-cueing real-time attention scheduling in criticality-aware visual machine perception. In 2022 IEEE 28th Real-Time and Embedded Technology and Applications Symposium (RTAS) (pp. 173-186). IEEE.

Kloda, T., Chen, J., Bertout, A., Sha, L., & Caccamo, M. (2022, March). Latency analysis of self-suspending task chains. In 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE) (pp. 1299-1304). IEEE.

Bansal, A., Yu, S., Kim, H., Li, B., Hovakimyan, N., Caccamo, M., & Sha, L. (2022). Synergistic Redundancy: Towards Verifiable Safety for Autonomous Vehicles. arXiv preprint arXiv:2209.01710.

2021

Tabish, R., Wen, J. Y., Pellizzoni, R., Mancuso, R., Yun, H., Caccamo, M., & Sha, L. R. (2021). An analyzable inter-core communication framework for high-performance multicore embedded systems. Journal of Systems Architecture, 118, 102178.

Bansal, A., Singh, J., Verucchi, M., Caccamo, M., & Sha, L. (2021, June). Risk ranked recall: Collision safety metric for object detection systems in autonomous vehicles. In 2021 10th Mediterranean Conference on Embedded Computing (MECO) (pp. 1-4). IEEE.

Kim, H., Wan, W., Hovakimyan, N., Sha, L., & Voulgaris, P. (2021, May). Robust vehicle lane keeping control with networked proactive adaptation. In 2021 American Control Conference (ACC) (pp. 136-141). IEEE.

Chen, J., Kloda, T., Bansal, A., Tabish, R., Chen, C. Y., Liu, B., … & Sha, L. (2021, May). Schedguard: Protecting against schedule leaks using linux containers. In 2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium (RTAS) (pp. 14-26). IEEE.

Cheng, L., Tian, K., Yao, D. D., Sha, L., & Beyah, R. A. (2019). Checking is believing: Event-aware program anomaly detection in cyber-physical systems. IEEE Transactions on Dependable and Secure Computing, 18(2), 825-842.

Wan, W., Kim, H., Cheng, Y., Hovakimyan, N., Voulgaris, P., & Sha, L. (2021). Safety Constrained Multi-UAV Time Coordination: A Bi-level Control Framework in GPS Denied Environment. In AIAA AVIATION 2021 FORUM (p. 2463).

Kim, H., Yoon, H., Wan, W., Hovakimyan, N., Sha, L., & Voulgaris, P. (2021, December). Backup plan constrained model predictive control. In 2021 60th IEEE Conference on Decision and Control (CDC) (pp. 289-294). IEEE.