publications

2023

  1. Generalized self-cueing real-time attention scheduling with intermittent inspection and image resizing
    S. Liu, X. Fu, Y. Hu, M. Wigness, P. David, S. Yao, L. Sha, and T. Abdelzaher
    Real-Time Systems, 2023
  2. SL1-Simplex: Safe Velocity Regulation of Self-Driving Vehicles in Dynamic and Unforeseen Environments
    Y. Mao, Y. Gu, N. HovakimyanL. Sha, and P. Voulgaris
    ACM Transactions on Cyber-Physical Systems, 2023
  3. SchedGuard++: Protecting against Schedule Leaks Using Linux Containers on Multi-Core Processors
    J. Chen, T. Kloda, R. Tabish, A. Bansal, C.-Y. Chen, B. Liu, S. Mohan, M. Caccamo, and L. Sha
    ACM Transactions on Cyber-Physical Systems, 2023

2022

  1. Real-Time Task Scheduling for Machine Perception in Intelligent Cyber-Physical Systems
    S. Liu, S. Yao, X. Fu, H. Shao, R. Tabish, S. YuA. Bansal, H. Yun, L. Sha, and T. Abdelzaher
    IEEE Transactions on Computers, 2022
  2. detectability.png
    Verifiable Obstacle Detection
    Proceedings - International Symposium on Software Reliability Engineering, ISSRE, 2022
  3. Self-Cueing Real-Time Attention Scheduling in Criticality-Aware Visual Machine Perception
    S. Liu, X. Fu, M. Wigness, P. David, S. Yao, L. Sha, and T. Abdelzaher
    IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS, 2022
  4. Latency analysis of self-suspending task chains
    T. Kloda, J. Chen, A. Bertout, L. Sha, and M. Caccamo
    2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022, 2022
  5. polaris-gem.png
    Synergistic Redundancy: Towards Verifiable Safety for Autonomous Vehicles
    arXiv preprint arXiv:2209.01710, 2022

2021

  1. An Analyzable Inter-core Communication Framework for High-Performance Multicore Embedded Systems
    R. Tabish, J.-Y. Wen, R. Pellizzoni, R. Mancuso, H. Yun, M. Caccamo, and L.R. Sha
    Journal of Systems Architecture, 2021
  2. Risk Ranked Recall: Collision Safety Metric for Object Detection Systems in Autonomous Vehicles
    A. Bansal, J. Singh, M. VerucchiM. Caccamo, and L. Sha
    2021 10th Mediterranean Conference on Embedded Computing, MECO 2021, 2021
  3. Robust Vehicle Lane Keeping Control with Networked Proactive Adaptation
    H. Kim, W. Wan, N. HovakimyanL. Sha, and P. Voulgaris
    American Control Conference, 2021
  4. SchedGuard: Protecting against schedule leaks using Linux containers
    J. Chen, T. Kloda, A. Bansal, R. Tabish, C.-Y. Chen, B. Liu, S. Mohan, M. Caccamo, and L. Sha
    IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS, 2021
  5. Checking is Believing: Event-Aware Program Anomaly Detection in Cyber-Physical Systems
    L. Cheng, K. Tian, D.D. Yao, L. Sha, and R.A. Beyah
    IEEE Transactions on Dependable and Secure Computing, 2021
  6. Safety Constrained Multi-UAV Time Coordination: A Bi-level Control Framework in GPS Denied Environment∗
    W. Wan, H. Kim, Y. Cheng, N. Hovakimyan, P.G. Voulgaris, and L. Sha
    AIAA Aviation and Aeronautics Forum and Exposition, AIAA AVIATION Forum 2021, 2021
  7. Backup Plan Constrained Model Predictive Control
    H. Kim, H. Yoon, W. Wan, N. HovakimyanL. Sha, and P. Voulgaris
    IEEE Conference on Decision and Control, 2021

2020

  1. A Safety Constrained Control Framework for UAVs in GPS Denied Environment
    W. Wan, H. KimN. HovakimyanL. Sha, and P.G. Voulgaris
    IEEE Conference on Decision and Control, 2020
  2. On Removing Algorithmic Priority Inversion from Mission-critical Machine Inference Pipelines
    S. Liu, S. Yao, X. Fu, R. Tabish, S. YuA. Bansal, H. Yun, L. Sha, and T. Abdelzaher
    Proceedings - Real-Time Systems Symposium, 2020
  3. SCE-Comm: A Real-Time Inter-Core Communication Framework for Strictly Partitioned Multi-core Processors
    R. Tabish, J.-Y. Wen, R. Pellizzoni, R. Mancuso, H. Yun, M. Caccamo, and L. Sha
    2020 9th Mediterranean Conference on Embedded Computing, MECO 2020, 2020
  4. UACFinder: Mining Syntactic Carriers of Unspecified Assumptions in Medical Cyber-Physical System Design Models
    Z. Fu, C. Guo, Z. Zhang, S. Ren, and L. Sha
    ACM Transactions on Cyber-Physical Systems, 2020
  5. A framework for supporting the development of verifiably safe medical best practice guideline systems
    C. Guo, Z. Fu, Z. Zhang, S. Ren, and L. Sha
    Journal of Systems Architecture, 2020
  6. Safety constrained multi-uav time coordination: A bi-level control framework in gps denied environment∗
    W. Wan, H. Kim, Y. Cheng, N. Hovakimyan, P.G. Voulgaris, and L. Sha
    AIAA AVIATION 2020 FORUM, 2020

2019

  1. Towards resilient UAV: Escape time in GPS denied environment with sensor drift
    H.-J. Yoon, W. Wan, H. KimN. HovakimyanL. Sha, and P.G. Voulgaris
    IFAC-PapersOnLine, 2019
  2. Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts
    C. Guo, Z. Fu, Z. Zhang, S. Ren, and L. Sha
    IEEE Internet of Things Journal, 2019
  3. Decision-driven scheduling
    J.-E. Kim, T. AbdelzaherL. Sha, A. Bar-Noy, R.L. Hobbs, and W. Dron
    Real-Time Systems, 2019
  4. A Container-based DoS Attack-Resilient Control Framework for Real-Time UAV Systems
    J. Chen, Z. Feng, J.-Y. Wen, B. Liu, and L. Sha
    2019 Design, Automation and Test in Europe Conference and Exhibition, DATE 2019, 2019

2018

  1. Safety-assured model-driven design of the multifunction vehicle bus controller
    Y. Jiang, H. Liu, H. Song, H. Kong, R. Wang, Y. Guan, and L. Sha
    IEEE Transactions on Intelligent Transportation Systems, 2018
  2. Model and Integrate Medical Resource Available Times and Relationships in Verifiably Correct Executable Medical Best Practice Guideline Models
    C. Guo, Z. Fu, Z. Zhang, S. Ren, and L. Sha
    Proceedings - 9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018, 2018
  3. RSimplex: A robust control architecture for cyber and physical failures
    X. Wang, N. Hovakimyan, and L. Sha
    ACM Transactions on Cyber-Physical Systems, 2018
  4. Dependable model-driven development of CPS: From Stateflow simulation to verified implementation
    Y. Jiang, H. Song, Y. Yang, H. Liu, M. Gu, Y. Guan, J. Sun, and L. Sha
    ACM Transactions on Cyber-Physical Systems, 2018
  5. IAFinder: Identifying potential implicit assumptions to facilitate validation in medical cyber-physical system
    Z. Fu, Z. Wang, C. Guo, Z. Zhang, S. Ren, and L. Sha
    Proceedings - Design Automation Conference, 2018
  6. A cyber-physical system framework for early detection of paroxysmal diseases
    Z. Gu, Y. Jiang, M. Zhou, M. Gu, X. Song, and L. Sha
    IEEE Access, 2018
  7. SafeTrace: A safety-driven requirement traceability framework on device interaction hazards for MD PnP
    A.Y.-Z. Ou, M. Rahmaniheris, Y. Jiang, L. Sha, Z. Fu, and S. Ren
    ACM Symposium on Applied Computing, 2018
  8. Study of Software-Related Causes in the FDA Medical Device Recalls
    Z. Fu, C. Guo, S. Ren, Y. Jiang, and L. Sha
    IEEE International Conference on Engineering of Complex Computer Systems, ICECCS, 2018
  9. Athena: Towards decision-centric anticipatory sensor information delivery†
    J. Lee, K. Marcus, T. Abdelzaher, T.A. Amin, A. Bar-Noy, W. Dron, R. Govindan, R. Hobbs, S. Hu, J.-E. Kim, L. Sha, S. Yao, and Y. Zhao
    Journal of Sensor and Actuator Networks, 2018

2017

  1. Toward safe interoperations in network connected medical cyber-physical systems using open-loop safe protocols
    A.Y.-Z. Ou, M. Rahmaniheris, Y. Jiang, P.-L. Wu, and L. Sha
    IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD, 2017
  2. Model and integrate medical resource availability into verifiably correct executable medical guidelines
    C. Guo, Z. Fu, Z. Zhang, S. Ren, and L. Sha
    IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD, 2017
  3. Supporting Emergency Medical Care Teams with an Integrated Status Display Providing Real-Time Access to Medical Best Practices, Workflow Tracking, and Patient Data
    P.L. Wu, M.-Y. Nam, J. Choi, A. Kirlik, L. Sha, and Jr. Berlin
    Journal of Medical Systems, 2017
  4. Modeling and Integrating Human Interaction Assumptions in Medical Cyber-Physical System Design
    Z. Fu, C. Guo, S. Ren, Y. Ou, and L. Sha
    Proceedings - IEEE Symposium on Computer-Based Medical Systems, 2017
  5. Pattern-Based Statechart Modeling Approach for Medical Best Practice Guidelines - A Case Study
    C. Guo, Z. Fu, S. Ren, Y. Jiang, M. Rahmaniheris, and L. Sha
    Proceedings - IEEE Symposium on Computer-Based Medical Systems, 2017
  6. CPS runtime architecture and automated transformation of applications
    FEAST 2017 - 2017 Workshop on Forming an Ecosystem Around Software Transformation, co-located with CCS 2017, 2017
  7. Toward physiology-aware DASH: Bandwidth-compliant prioritized clinical multimedia communication in ambulances
    M. Hosseini, Y. Jiang, R.R. Berlin, L. Sha, and H. Song
    IEEE Transactions on Multimedia, 2017
  8. Physiology-Aware Rural Ambulance Routing
    M. Hosseini, R.B. Berlin, and L. Sha
    Proceedings - 2017 IEEE International Conference on Healthcare Informatics, ICHI 2017, 2017
  9. Towards Verifiable Safe and Correct Medical Best Practice Guideline Systems
    C. Guo, Z. Fu, S. Ren, Y. Jiang, and L. Sha
    Proceedings - International Computer Software and Applications Conference, 2017
  10. Adaptive Clinical Data Communication for Remote Monitoring in Rural Ambulance Transport
    M. Hosseini, R.R. Berlin, Y. Jiang, and L. Sha
    Proceedings - 2017 IEEE 2nd International Conference on Connected Health: Applications, Systems and Engineering Technologies, CHASE 2017, 2017
  11. Data-centered runtime verification of wireless medical cyber-physical system
    Y. Jiang, H. Song, R. Wang, M. Gu, J. Sun, and L. Sha
    IEEE Transactions on Industrial Informatics, 2017
  12. A mobile geo-communication dataset for physiology-aware DASH in rural ambulance transport
    M. Hosseini, Y. Jiang, A. Yekkehkhany, R.R. Berlin, and L. Sha
    8th ACM Multimedia Systems Conference, MMSys 2017, 2017
  13. A schedulability test for software migration on multicore system
    J.-E. Kim, R. Bradford, T. Abdelzaher, and L. Sha
    2017 Design, Automation and Test in Europe, DATE 2017, 2017
  14. Modeling and integrating physical environment assumptions in medical cyber-physical system design
    Z. Fu, C. Guo, S. Ren, Y. Jiang, and L. Sha
    2017 Design, Automation and Test in Europe, DATE 2017, 2017
  15. VirtualDrone: Virtual sensing, actuation, and communication for attack-resilient unmanned aerial systems
    M.-K. Yoon, B. Liu, N. Hovakimyan, and L. Sha
    Proceedings - 2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems, ICCPS 2017 (part of CPS Week), 2017
  16. Learning execution contexts from system call distribution for anomaly detection in smart embedded system
    M.-K. Yoon, S. Mohan, J. Choi, M. Christodorescu, and L. Sha
    Proceedings - 2017 IEEE/ACM 2nd International Conference on Internet-of-Things Design and Implementation, IoTDI 2017 (part of CPS Week), 2017
  17. WiP abstract: A physiology-aware communication architecture for distributed emergency medical CPS
    M. Hosseini, R.R. Berlin, and L. Sha
    Proceedings - 2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems, ICCPS 2017 (part of CPS Week), 2017
  18. Using human intellectual tasks as guidelines to systematically model medical cyber-physical systems
    A.Y.-Z. Ou, J. Yu, P.-L. Wu, L. Sha, and Jr. Berlin
    2016 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2016 - Conference Proceedings, 2017
  19. An integrated Medical CPS for early detection of paroxysmal sympathetic hyperactivity
    Z. Gu, H. Song, Y. Jiang, J. Choi, H. He, L. Sha, and M. Gu
    Proceedings - 2016 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2016, 2017
  20. On exploiting structured human interactions to enhance sensing accuracy in cyber-physical systems
    H. Wang, Y. Gao, S. Hu, S. Wang, R. Mancuso, M. Kim, P. Wu, L. Su, L. Sha, and T. Abdelzaher
    ACM Transactions on Cyber-Physical Systems, 2017
  21. Preventable Medical Errors Driven Modeling of Medical Best Practice Guidance Systems
    A.Y.-Z. Ou, Y. Jiang, P.-L. Wu, L. Sha, and Jr. Berlin
    Journal of Medical Systems, 2017

2016

  1. A Pathophysiological Model-Driven Communication for Dynamic Distributed Medical Best Practice Guidance Systems
    M. Hosseini, Y. Jiang, P. Wu, Jr. Berlin, S. Ren, and L. Sha
    Journal of Medical Systems, 2016
  2. On Maximizing Quality of Information for the Internet of Things: A Real-Time Scheduling Perspective (Invited Paper)
    J.-E. Kim, T. AbdelzaherL. Sha, A. Bar-Noy, R. Hobbs, and W. Dron
    Proceedings - 2016 IEEE 22nd International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2016, 2016
  3. Real-Time Computing on Multicore Processors
    L. ShaM. Caccamo, R. Mancuso, J.-E. Kim, M.-K. Yoon, R. Pellizzoni, H. Yun, R.B. Kegley, D.R. Perlman, G. Arundale, and R. Bradford
    Computer, 2016
  4. An organ-centric best practice assist system for acute care
    M. Rahmaniheris, P. Wu, L. Sha, and R.R. Berlin
    Proceedings - IEEE Symposium on Computer-Based Medical Systems, 2016
  5. A Self-Adaptively Evolutionary Screening Approach for Sepsis Patient
    Y. Jiang, P. Tan, H. Song, B. Wan, M. Hosseini, and L. Sha
    Proceedings - IEEE Symposium on Computer-Based Medical Systems, 2016
  6. Sporadic Decision-Centric Data Scheduling with Normally-off Sensors
    J.-E. Kim, T. AbdelzaherL. Sha, A. Bar-Noy, and R. Hobbs
    Proceedings - Real-Time Systems Symposium, 2016
  7. The dragonbeam framework: Hardware-protected security modules for in-place intrusion detection
    M.-K. Yoon, M. Christodorescu, L. Sha, and S. Mohan
    SYSTOR 2016 - 9th ACM International Systems and Storage Conference, 2016
  8. Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models
    C. Guo, S. Ren, Y. Jiang, P.-L. Wu, L. Sha, and R.B. Berlin
    2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems, ICCPS 2016 - Proceedings, 2016
  9. Use runtime verification to improve the quality of medical care practice
    Y. Jiang, H. Liu, H. Kong, R. Wang, M. Hosseini, J. Sun, and L. Sha
    Proceedings - International Conference on Software Engineering, 2016
  10. From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design
    Y. Jiang, Y. Yang, H. Liu, H. Kong, M. Gu, J. Sun, and L. Sha
    2016 IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2016 - Proceedings, 2016
  11. TaskShuffler: A Schedule Randomization Protocol for Obfuscation against Timing Inference Attacks in Real-Time Systems
    M.-K. Yoon, S. Mohan, C.-Y. Chen, and L. Sha
    2016 IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2016 - Proceedings, 2016
  12. Sepsis Patient Detection and Monitor Based on Auto-BN
    Y. Jiang, L. Sha, M. Rahmaniheris, B. Wan, M. Hosseini, P. Tan, and Jr. Berlin
    Journal of Medical Systems, 2016
  13. Real-time reachability for verified simplex design
    T.T. Johnson, S. Bak, M. Caccamo, and L. Sha
    ACM Transactions on Embedded Computing Systems, 2016
  14. Memory bandwidth management for efficient performance isolation in multi-core platforms
    H. Yun, G. Yao, R. Pellizzoni, M. Caccamo, and L. Sha
    IEEE Transactions on Computers, 2016
  15. Schedulability analysis for memory bandwidth regulated multicore real-time systems
    G. Yao, H. Yun, Z.P. Wu, R. Pellizzoni, M. Caccamo, and L. Sha
    IEEE Transactions on Computers, 2016
  16. Safety-assured formal model-driven design of the multifunction vehicle bus controller
    Y. Jiang, H. Liu, H. Song, H. Kong, M. Gu, J. Sun, and L. Sha
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016

2015

  1. SINk: A middleware for synchronization of heterogeneous software interfaces
    M. Hosseini, Y. Jiang, P. Wu, Jr. Berlin, and L. Sha
    14th Workshop on Adaptive and Reflective Middleware, ARM 2015 - Collocated with ACM/IFIP/USENIX Middleware 2015, 2015
  2. Worst Case Analysis of Packet Delay in Avionics Systems for Environmental Monitoring
    K. Kang, M.-Y. Nam, and L. Sha
    IEEE Systems Journal, 2015
  3. Safe Workflow Adaptation and Validation Protocol for Medical Cyber-Physical Systems
    P.-L. Wu, L. Sha, R.B. Berlin, and J.M. Goldman
    Proceedings - 41st Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2015, 2015
  4. WCET(m) Estimation in Multi-core Systems Using Single Core Equivalence
    R. Mancuso, R. Pellizzoni, M. CaccamoL. Sha, and H. Yun
    Proceedings - Euromicro Conference on Real-Time Systems, 2015
  5. Memory Heat Map: Anomaly detection in real-time embedded systems using memory behavior
    M.-K. Yoon, S. Mohan, J. Choi, and L. Sha
    Proceedings - Design Automation Conference, 2015
  6. Budgeted generalized rate monotonic analysis for the partitioned, yet globally scheduled uniprocessor model
    J.-E. Kim, T. Abdelzaher, and L. Sha
    IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS, 2015
  7. The design of safe networked supervisory medical systems using organ-centric hierarchical control architecture
    W. Kang, L. Sha, Jr. Berlin, and J.M. Goldman
    IEEE Journal of Biomedical and Health Informatics, 2015
  8. Schedulability bound for integrated modular avionics partitions
    J.-E. Kim, T. Abdelzaher, and L. Sha
    Proceedings -Design, Automation and Test in Europe, DATE, 2015
  9. Exploiting structured human interactions to enhance estimation accuracy in cyber-Physical systems
    Y. Gao, S. Hu, R. Mancuso, H. Wang, M. Kim, P. Wu, L. Su, L. Sha, and T. Abdelzaher
    ACM/IEEE 6th International Conference on Cyber-Physical Systems, ICCPS 2015, 2015
  10. Medical-grade quality of service for real-time mobile healthcare
    K. Kang, Q. Wang, J. Hur, K.-J. Park, and L. Sha
    Computer, 2015
  11. Real-time reachability for verified simplex design
    S. Bak, T.T. Johnson, M. Caccamo, and L. Sha
    Proceedings - Real-Time Systems Symposium, 2015
  12. Controller Redundancy Design for Cyber-Physical Systems
    J. Yao, X. Liu, G. Zhu, and L. Sha
    2015

2014

  1. Applying software model checking to PALS systems
    M.-Y. Nam, L. Sha, S. Chaki, and C. Kim
    AIAA/IEEE Digital Avionics Systems Conference - Proceedings, 2014
  2. qPALS: Quality-aware synchrony protocol for distributed real-time systems
    W. Kang, and L. Sha
    KSII Transactions on Internet and Information Systems, 2014
  3. A treatment validation protocol for cyber-physical-human medical systems
    P.-L. Wu, D. Raguraman, L. Sha, R.B. Berlin, and J.M. Goldman
    Proceedings - 40th Euromicro Conference Series on Software Engineering and Advanced Applications, SEAA 2014, 2014
  4. Integrated Modular Avionics (IMA) partition scheduling with conflict-free I/O for multicore avionics systems
    J.-E. Kim, M.-K. Yoon, R. Bradford, and L. Sha
    Proceedings - International Computer Software and Applications Conference, 2014
  5. Towards a cyber-medical model for device configuration safety in acute care
    M. Rahmaniheris, L. Sha, R.B. Berlin, and J.M. Goldman
    2014 IEEE Healthcare Innovation Conference, HIC 2014, 2014
  6. WiP abstract: A treatment coordination protocol for cyber-physical-human medical systems
    P.-L. Wu, D. Raguraman, L. Sha, R.B. Berlin Jr., and J.M. Goldman
    2014 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2014, 2014
  7. Guaranteeing the end-to-end latency of an IMA system with an increasing workload
    M.-Y. Nam, J. Lee, K.-J. Park, L. Sha, and K. Kang
    IEEE Transactions on Computers, 2014

2013

  1. Modeling and architecture design of an MDPnP acute care monitoring system
    M. Rahmaniheris, W. Kang, L.-J. Lee, L. Sha, R.B. Berlin Jr., and J.M. Goldman
    Proceedings of CBMS 2013 - 26th IEEE International Symposium on Computer-Based Medical Systems, 2013
  2. Towards organ-centric compositional development of safe networked supervisory medical systems
    W. Kang, P. Wu, M. Rahmaniheris, L. Sha, R.B. Berlin Jr., and J.M. Goldman
    Proceedings of CBMS 2013 - 26th IEEE International Symposium on Computer-Based Medical Systems, 2013
  3. L1Simplex: Fault-tolerant control of cyber-physical systems
    X. Wang, N. Hovakimyan, and L. Sha
    2013 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2013, 2013
  4. A low complexity coordination architecture for networked supervisory medical systems
    P.-L. Wu, W. Kang, A. Ai-Nayeem, L. Sha, R.B. Berlin Jr., and J.M. Goldman
    2013 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2013, 2013
  5. A low complexity coordination architecture for networked supervisory medical systems
    P.-L. Wu, W. Kang, A. Al-Nayeem, L. Sha, R.B. Berlin Jr., and J.M. Goldman
    ACM/IEEE 4th International Conference on Cyber-Physical Systems, ICCPS 2013, 2013
  6. L1Simplex: Fault-tolerant control of cyber-physical systems
    X. Wang, N. Hovakimyan, and L. Sha
    ACM/IEEE 4th International Conference on Cyber-Physical Systems, ICCPS 2013, 2013
  7. SecureCore: A multicore-based intrusion detection architecture for real-time embedded systems
    M.-K. Yoon, S. Mohan, J. Choi, J.-E. Kim, and L. Sha
    Real-Time Technology and Applications - Proceedings, 2013
  8. MemGuard: Memory bandwidth reservation system for efficient performance isolation in multi-core platforms
    H. Yun, G. Yao, R. Pellizzoni, M. Caccamo, and L. Sha
    Real-Time Technology and Applications - Proceedings, 2013
  9. S3A: Secure system simplex architecture for enhanced security and robustness of cyber-physical systems
    S. Mohan, S. Bak, E. Betti, H. Yun, L. Sha, and M. Caccamo
    HiCoNS 2013 - 2nd ACM International Conference on High Confidence Networked Systems, Part of CPSWeek 2013, 2013
  10. Net simplex: Controller fault tolerance architecture in networked control systems
    J. Yao, X. Liu, G. Zhu, and L. Sha
    IEEE Transactions on Industrial Informatics, 2013
  11. Model-based analysis of wireless system architectures for real-time applications
    K. Kang, M.-Y. Nam, and L. Sha
    IEEE Transactions on Mobile Computing, 2013
  12. Towards organ-centric compositional development of safe networked supervisory medical systems
    W. Kang, P. Wu, M. Rahmaniheris, L. Sha, R.B. Berlin Jr., and J.M. Goldman
    Proceedings - IEEE Symposium on Computer-Based Medical Systems, 2013
  13. Modeling and architecture design of an MDPnP acute care monitoring system
    M. Rahmaniheris, W. Kang, L.-J. Lee, L. Sha, R.B. Berlin Jr., and J.M. Goldman
    Proceedings - IEEE Symposium on Computer-Based Medical Systems, 2013
  14. Middleware design for physically-asynchronous logically-synchronous (PALS) systems
    A. Al-Nayeem, C. Kim, W. Kang, P.-L. Wu, and L. Sha
    2013 International Conference on Embedded Software, EMSOFT 2013, 2013
  15. On-chip control flow integrity check for real time embedded systems
    F.A.T. Abad, J.V.D. Woude, Y. Lu, S. Bak, M. CaccamoL. Sha, R. Mancuso, and S. Mohan
    2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2013, 2013
  16. Optimized scheduling of multi-IMA partitions with exclusive region for synchronized real-time multi-core systems
    J.-E. Kim, M.-K. Yoon, S. Im, R. Bradford, and L. Sha
    Proceedings -Design, Automation and Test in Europe, DATE, 2013
  17. Holistic design parameter optimization of multiple periodic resources in hierarchical scheduling
    M.-K. Yoon, J.-E. Kim, R. Bradford, and L. Sha
    Proceedings -Design, Automation and Test in Europe, DATE, 2013
  18. Design and QoS of a wireless system for real-time remote electrocardiography
    K. Kang, J. Ryu, J. Hur, and L. Sha
    IEEE Journal of Biomedical and Health Informatics, 2013
  19. Design of a crossbar VOQ real-time switch with clock-driven scheduling for a guaranteed delay bound
    K. Kang, K.-J. Park, L. Sha, and Q. Wang
    Real-Time Systems, 2013
  20. Real-time I/O management system with COTS peripherals
    E. Betti, S. Bak, R. Pellizzoni, M. Caccamo, and L. Sha
    IEEE Transactions on Computers, 2013

2012

  1. Model-based design of a wireless telemetry system and QoS assessment using AADL
    K. Kang, M.-Y. Nam, J. Lee, J. Park, H. Yoo, and L. Sha
    Proceedings - 2012 IEEE International Conference on Bioinformatics and Biomedicine Workshops, BIBMW 2012, 2012
  2. Modeling towards incremental early analyzability of networked avionics systems using virtual integration
    M.-Y. Nam, K. Kang, R. Pellizzoni, K.-J. Park, J.-E. Kim, and L. Sha
    Transactions on Embedded Computing Systems, 2012
  3. How to reliably integrate medical devices over wireless
    C. Kim, M. Sun, M. Rahmaniheris, and L. Sha
    Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks workshops, 2012
  4. Memory access control in multiprocessor for real-time systems with mixed criticality
    H. Yun, G. Yao, R. Pellizzoni, M. Caccamo, and L. Sha
    Proceedings - Euromicro Conference on Real-Time Systems, 2012
  5. Pattern-based composition and analysis of virtually synchronized real-time distributed systems
    A. Al-Nayeem, L. Sha, D.D. Cofer, and S.M. Miller
    Proceedings - 2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012, 2012
  6. Compositional verification of architectural models
    D. Cofer, A. Gacek, S. Miller, M.W. Whalen, B. LaValley, and L. Sha
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012

2011

  1. Optimizing tunable WCET with shared resource allocation and arbitration in hard real-time multicore systems
    M.-K. Yoon, J.-E. Kim, and L. Sha
    Proceedings - Real-Time Systems Symposium, 2011
  2. Limiting worst-case end-to-end latency when traffic increases in a switched avionics network
    M.-Y. Nam, E. Seo, L. Sha, K.-J. Park, and K. Kang
    Proceedings - 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2011, 2011
  3. Resource allocation contracts for open analytic runtime models
    M.-Y. Nam, D. De Niz, L. Wrage, and L. Sha
    Embedded Systems Week 2011, ESWEEK 2011 - 9th ACM International Conference on Embedded Software, EMSOFT’11, 2011
  4. System-wide energy optimization for multiple DVS components and real-time tasks
    H. Yun, P.-L. Wu, A. Arya, C. Kim, T. Abdelzaher, and L. Sha
    Real-Time Systems, 2011
  5. Pre-verified safety control framework for real-time medical systems
    C. Kim, H. Yun, H.-G. Kim, and L. Sha
    Information, 2011
  6. A medical-grade wireless architecture for remote electrocardiography
    K. Kang, K.-J. Park, J.-J. Song, C.-H. Yoon, and L. Sha
    IEEE Transactions on Information Technology in Biomedicine, 2011

2010

  1. Reconstructing missing signals in multi-parameter physiologic data by mining the aligned contextual information
    Y. Li, Y. Sun, P. Sondhi, L. Sha, and C. Zhai
    Computing in Cardiology, 2010
  2. Proceedings - IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2010: Message from the EUC 2010 general chairs
    J. Cao, and L. Sha
    Proceedings - IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2010, 2010
  3. Exploring the design space of IMA system architectures
    R. Bradford, S. Fliginger, M.-Y. Nam, S. Mohan, R. Pellizzoni, C. Kim, M. Caccamo, and L. Sha
    AIAA/IEEE Digital Avionics Systems Conference - Proceedings, 2010
  4. A formal pattern architecture for safe medical systems
    M. Sun, J. Meseguer, and L. Sha
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010
  5. System-wide energy optimization for multiple DVS components and real-time tasks
    H. Yun, P.-L. Wu, A. Arya, T. Abdelzaher, C. Kim, and L. Sha
    Proceedings - Euromicro Conference on Real-Time Systems, 2010
  6. Cyber-physical systems: The next computing revolution
    R. Rajkumar, I. Lee, L. Sha, and J. Stankovic
    Proceedings - Design Automation Conference, 2010
  7. A framework for the safe interoperability of medical devices in the presence of network failures
    C. Kim, M. Sun, S. Mohan, H. Yun, L. Sha, and T.F. Abdelzaher
    1st ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS ’10, 2010
  8. A reduced complexity design pattern for distributed hierarchical command and control system
    H. Yun, P.-L. Wu, M. Rahmaniheris, C. Kim, and L. Sha
    1st ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS ’10, 2010
  9. An interleaving structure for guaranteed QoS in real-time broadcasting systems
    K. Kang, and L. Sha
    IEEE Transactions on Computers, 2010
  10. Design of robust adaptive frequency hopping for wireless medical telemetry systems
    K.-J. Park, T.R. Park, C.D. Schmitz, and L. Sha
    IET Communications, 2010

2009

  1. Handling mixed-criticality in SoC-based real-time embedded systems
    R. Pellizzoni, P. Meredith, M.-Y. Nam, M. Sun, M. Caccamo, and L. Sha
    Embedded Systems Week 2009 - 7th ACM International Conference on Embedded Software, EMSOFT ’09, 2009
  2. Implementing logical synchrony in integrated modular avionics
    S.P. Miller, D.D. Cofer, L. Sha, J. Meseguer, and A. Al-Nayeem
    AIAA/IEEE Digital Avionics Systems Conference - Proceedings, 2009
  3. Real-time control of I/O COTS peripherals for embedded systems
    S. Bak, E. Betti, R. Pellizzoni, M. Caccamo, and L. Sha
    Proceedings - Real-Time Systems Symposium, 2009
  4. Rapid early-phase virtual integration
    S. Mohan, M.-Y. Nam, R. Pellizoni, L. Sha, R. Bradford, and S. Fliginger
    Proceedings - Real-Time Systems Symposium, 2009
  5. A formal architecture pattern for real-time distributed systems
    A. Al-Nayeem, M. Sun, X. Qiu, L. Sha, S.P. Miller, and D.D. Cofer
    Proceedings - Real-Time Systems Symposium, 2009
  6. ASIIST: Application specific I/O integration support tool for real-time bus architecture designs
    M.-Y. Nam, R. Pellizzoni, L. Sha, and R.M. Bradford
    IEEE International Conference on Engineering of Complex Computer Systems, ICECCS, 2009
  7. Resilient mixed-criticality systems
    CrossTalk, 2009
  8. The system-level simplex architecture for improved real-time embedded system safety
    S. Bak, D.K. Chivukula, O. Adekunle, M. Sun, M. Caccamo, and L. Sha
    IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS, 2009
  9. End-to-end delay analysis of wireless ECG over cellular networks
    M.-K. Yoon, J.-E. Kim, K. Kang, K.-J. Park, M.-Y. Nam, and L. Sha
    WiMD 2009 - 1st ACM International Workshop on Medical-Grade Wireless Networks, co-located with MobiHoc 2009, 2009
  10. Entropy-maximization based adaptive frequency hopping for wireless medical telemetry systems
    K.-J. Park, T.R. Park, C.D. Schmitz, and L. Sha
    WiMD 2009 - 1st ACM International Workshop on Medical-Grade Wireless Networks, co-located with MobiHoc 2009, 2009
  11. IEEE 802.11 WLAN for medical-grade QoS
    K.-J. Park, D.M. Shrestha, Y.-B. Ko, N.H. Vaidya, and L. Sha
    WiMD 2009 - 1st ACM International Workshop on Medical-Grade Wireless Networks, co-located with MobiHoc 2009, 2009
  12. Cyber-physical systems: A new frontier
    L. Sha, S. Gopalakrishnan, X. Liu, and Q. Wang
    2009

2008

  1. Coscheduling of CPU and I/O transactions in COTS-based embedded systems
    R. Pellizzoni, B.D. Bui, M. Caccamo, and L. Sha
    Proceedings - Real-Time Systems Symposium, 2008
  2. Queueing-model-based adaptive control of multi-tiered web applications
    X. Liu, J. Heo, L. Sha, and X. Zhu
    IEEE Transactions on Network and Service Management, 2008
  3. ORTEGA: An efficient and flexible online fault tolerance architecture for real-time control systems
    X. Liu, Q. Wang, S. Gopalakrishnan, W. He, L. Sha, H. Ding, and K. Lee
    IEEE Transactions on Industrial Informatics, 2008
  4. Impact of cache partitioning on multi-tasking real time embedded systems
    B.D. Bui, M. CaccamoL. Sha, and J. Martinez
    Proceedings - 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2008, 2008
  5. ORTEGA: An efficient and flexible software fault tolerance architecture for real-time control systems
    X. Liu, H. Ding, K. Lee, Q. Wang, and L. Sha
    Proceedings - Euromicro Conference on Real-Time Systems, 2008
  6. A switch design for real-time industrial networks
    Q. Wang, S. Gopalakrishnan, X. Liu, and L. Sha
    IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS, 2008
  7. Cyber-physical systems: A new frontier
    L. Sha, S. Gopalakrishnan, X. Liu, and Q. Wang
    Proceedings - IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing, 2008
  8. Sharp thresholds for scheduling recurring tasks with distance constraints
    S. Gopalakrishnan, M. Caccamo, and L. Sha
    IEEE Transactions on Computers, 2008
  9. Design of complex cyber physical systems with formalized architectural patterns
    L. Sha, and J. Meseguer
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2008
  10. Lightning: A hard real-time, fast, and lightweight low-end wireless sensor election protocol for acoustic event localization
    Q. Wang, R. Zheng, A. Tirumala, X. Liu, and L. Sha
    IEEE Transactions on Mobile Computing, 2008

2007

  1. The simplex reference model: Limiting fault-propagation due to unreliable components in cyber-physical system architectures
    T.L. Crenshaw, E. Gunter, C.L. Robinson, L. Sha, and P.R. Kumar
    Proceedings - Real-Time Systems Symposium, 2007
  2. GD-aggregate: A WAN virtual topology building tool for hard real-time and embedded applications
    Q. Wang, X. Liu, J. Hou, and L. Sha
    Proceedings - Real-Time Systems Symposium, 2007
  3. Building reliable MD PnP systems
    M. Sun, Q. Wang, and L. Sha
    Proceedings - 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability, HCMDSS/MDPnP 2007, 2007
  4. PAS: A wireless-enabled, sensor-integrated personal assistance system for independent and assisted living
    J.C. Hou, Q. Wang, B.K. Alshebli, L. Ball, S. Birge, M. Caccamo, C.-F. Cheah, E. Gilbert, C.A. Gunter, E. Gunter, C.-G. Lee, K. Karahalios, M.-Y. Nam, N. Nitya, C. Rohit, L. Sha, W. Shin, S. Yu, Y. Yu, and Z. Zeng
    Proceedings - 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability, HCMDSS/MDPnP 2007, 2007
  5. Building robust wireless LAN for industrial control with the DSSS-CDMA n cell phone network paradigm
    Q. Wang, X. Liu, W. Chen, L. Sha, and M. Caccamo
    IEEE Transactions on Mobile Computing, 2007

2006

  1. Static analysis to enforce safe value flow in embedded control systems
    S. Kowshik, G. Rosu, and L. Sha
    International Conference on Dependable Systems and Networks, 2006
  2. Switch scheduling and network design for real-time systems
    S. Gopalakrishnan, M. Caccamo, and L. Sha
    Real-Time Technology and Applications - Proceedings, 2006
  3. Autonomous delay regulation for multi-threaded internet servers
    J. Heo, X. Liu, L. Sha, and T.F. Abdelzaher
    International Symposium on Performance Evaluation of Computer and Telecommunication Systems 2006, SPECTS’06, Part of the 2006 Summer Simulation Multiconference, SummerSim’06, 2006
  4. A pattern for adaptive behavior in safety-critical, real-time middleware
    T.L. Crenshaw, C.L. Robinson, H. Ding, P.R. Kumar, and L. Sha
    Proceedings - Real-Time Systems Symposium, 2006
  5. Adaptive control of multi-tiered Web applications using queueing predictor
    X. Liu, J. Heo, L. Sha, and X. Zhu
    IEEE Symposium Record on Network Operations and Management Symposium, 2006
  6. Schedulability envelope for real-time radar dwell scheduling
    C.-G. Lee, P.-S. Kang, C.-S. Shih, and L. Sha
    IEEE Transactions on Computers, 2006
  7. Switch scheduling and network design for real-time systems
    S. Gopalakrishnan, M. Caccamo, and L. Sha
    IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS, 2006
  8. Local group communication-aware MAC protocol in wireless sensor networks
    R. Zheng, J.S. Walia, and L. Sha
    International Journal of Wireless Information Networks, 2006
  9. Optimal block design for asynchronous wake-up schedules and its applications in multihop wireless networks
    R. Zheng, J.C. Hou, and L. Sha
    IEEE Transactions on Mobile Computing, 2006
  10. Optimal real-time sampling rate assignment for wireless sensor networks
    X. Liu, Q. Wang, W. He, M. Caccamo, and L. Sha
    ACM Transactions on Sensor Networks, 2006
  11. Finite-horizon scheduling of radar dwells with online template construction
    S. Gopalakrishnan, M. Caccamo, C.-S. Shih, C.-G. Lee, and L. Sha
    Real-Time Systems, 2006
  12. Performance analysis of power management policies in wireless networks
    R. Zheng, J.C. Hou, and L. Sha
    IEEE Transactions on Wireless Communications, 2006
  13. High-Confidence medical device software and systems
    I. Lee, G.J. Pappas, R. Cleaveland, J. Hatcliff, B.H. Krogh, P. Lee, H. Rubin, and L. Sha
    Computer, 2006
  14. Real-time virtual machines for avionics software migration
    L. Sha, and C.-G. Lee
    International Journal of Embedded Systems, 2006
  15. A microscopic study of power management in IEEE 802.11 wireless networks
    C. Hu, R. Zheng, J.C. Hou, and L. Sha
    International Journal of Wireless and Mobile Computing, 2006
  16. I-living: An open system architecture for assisted living
    W. Qixin, S. Wook, L. Xue, Z. Zheng, C. Oh, B.K. Alshebli, M. Caccamo, C.A. Gunter, E. Gunter, J. Hou, K. Karahalios, and S. Lui
    Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics, 2006
  17. The dependency management framework: A case study of the ION CubeSat
    H. Ding, L. Arber, L. Sha, and M. Caccamo
    Proceedings - Euromicro Conference on Real-Time Systems, 2006

2005

  1. Dependency algebra: A theoretical framework for dependency management in real-time control systems
    H. Ding, K. Lee, and L. Sha
    Proceedings - 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECS 2005, 2005
  2. Dependency algebra: A tool for designing robust real-time systems
    H. Ding, and L. Sha
    Proceedings - Real-Time Systems Symposium, 2005
  3. Improved timing control for web server systems using internal state information
    X. Liu, R. Zheng, J. Heo, and L. Sha
    14th International World Wide Web Conference, WWW2005, 2005
  4. A distributed, energy-aware, utility-based approach for data transport in wireless sensor networks
    W.-P. Chen, J.C. Hou, L. Sha, and M. Caccamo
    Proceedings - IEEE Military Communications Conference MILCOM, 2005
  5. Timing performance control in Web server systems utilizing server internal state information
    X. Liu, R. Zheng, J. Heo, Q. Wang, and L. Sha
    Joint International Conference on Autonomic and Autonomous Systems and International Conference on Networking and Services, ICAS/ICNS 2005, 2005
  6. MAC layer support for group communication in wireless sensor networks
    R. Zheng, L. Sha, and W. Feng
    2nd IEEE International Conference on Mobile Ad-hoc and Sensor Systems, MASS 2005, 2005
  7. A dependable online testing and upgrade architecture for real-time embedded systems
    K. Lee, and L. Sha
    Proceedings - 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2005
  8. Modeling 3-tiered web applications
    X. Liu, J. Heo, and L. Sha
    Proceedings - IEEE Computer Society’s Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, MASCOTS, 2005
  9. Co-design based approach to improve robustness in networked control systems
    S. Kowshik, G. Baliga, S. Graham, and L. Sha
    International Conference on Dependable Systems and Networks, 2005
  10. Process Resurrection: A fast recovery mechanism for real-time embedded systems
    K. Lee, and L. Sha
    IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS, 2005
  11. A Framework for Time Indexing in Sensor Networks
    G. He, I. Gupta, L. Sha, and R. Zheng
    ACM Transactions on Sensor Networks, 2005
  12. Design and analysis of an MST-based topology control algorithm
    N. Li, J.C. Hou, and L. Sha
    IEEE Transactions on Wireless Communications, 2005
  13. 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA’05): Foreword
    J.K. Ng, L. Sha, V.C.S. Lee, K. Takashio, M. Ryu, and L. Ni
    Proceedings - 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2005

2004

  1. A case for resource heterogeneity in large sensor networks
    S. Kandula, J. Hou, and L. Sha
    Proceedings - IEEE Military Communications Conference MILCOM, 2004
  2. Fixed or dynamic priority? That is the question
    D. Mossé, T. Baker, S. Baruah, G. Buttazzo, A. Burns, L. Sha, and J. Stankovic
    Proceedings - Real-Time Systems Symposium, 2004
  3. Finite-horizon scheduling of radar dwells with online template construction
    S. Gopalakrishnan, M. Caccamo, C.-S. Shih, C.-G. Lee, and L. Sha
    Proceedings - Real-Time Systems Symposium, 2004
  4. Hard real-time communication in bus-based networks
    S. Gopalakrishnan, L. Sha, and M. Caccamo
    Proceedings - Real-Time Systems Symposium, 2004
  5. Lightning: A fast and lightweight acoustic localization protocol using low-end wireless micro-sensors
    Q. Wang, R. Zheng, A. Tirumala, X. Liu, and L. Sha
    Proceedings - Real-Time Systems Symposium, 2004
  6. Time indexing in sensor networks
    R. Zheng, G. He, I. Gupta, and L. Sha
    2004 IEEE International Conference on Mobile Ad-Hoc and Sensor Systems, 2004
  7. On time-out driven power management policies in wireless networks
    R. Zheng, J.C. Hou, and L. Sha
    GLOBECOM - IEEE Global Telecommunications Conference, 2004
  8. Real time scheduling theory: A historical perspective
    L. ShaT. Abdelzaher, K.-E. Årzén, A. Cervin, T. Baker, A. Burns, G. Buttazzo, M. Caccamo, J. Lehoczky, and A.K. Mok
    Real-Time Systems, 2004
  9. Online QoS optimization using service classes in surveillance radar systems
    C.-G. Lee, C.-S. Shih, and L. Sha
    Real-Time Systems, 2004
  10. Etherware: Domainware for wireless control networks
    G. Baliga, S. Graham, L. Sha, and P.R. Kumar
    Proceedings - Seventh IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2004
  11. Synthesizing task periods for dwells in multi-function phased array radars
    C.-S. Shih, P. Ganti, S. Gopalakrishnan, M. Caccamo, and L. Sha
    IEEE National Radar Conference - Proceedings, 2004
  12. Dynamic clustering for acoustic target tracking in wireless sensor networks
    W.-P. Chen, J.C. Hou, and L. Sha
    IEEE Transactions on Mobile Computing, 2004
  13. Enhanced Utilization Bounds for QoS Management
    C.-G. Lee, L. Sha, and A. Peddi
    IEEE Transactions on Computers, 2004
  14. Real-time synchronization protocols
    2004
  15. Real-time virtual machines for avionics software porting and development
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004
  16. An energy-aware data-centric generic utility based approach in wireless sensor networks
    W.-P. Chen, and L. Sha
    Third International Symposium on Information Processing in Sensor Networks, IPSN 2004, 2004
  17. Service continuity in networked control using etherware
    G. Baliga, S. Graham, L. Sha, and P.R. Kumar
    IEEE Distributed Systems Online, 2004

2003

  1. Feedback control with queueing-theoretic prediction for relative delay guarantees in web servers
    Y. Lu, T. Abdelzaher, C. Lu, L. Sha, and X. Liu
    Real-Time Technology and Applications - Proceedings, 2003
  2. Automated verification of the dependability of object-oriented real-time systems
    H. Ding, C. Zheng, G. Agha, and L. Sha
    Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS, 2003
  3. Template-based real-time dwell scheduling with energy constraint
    C.-S. Shih, S. Gopalakrishnan, P. Ganti, M. Caccamo, and L. Sha
    Real-Time Technology and Applications - Proceedings, 2003
  4. Radar dwell scheduling considering physical characteristics of phased array antenna
    C.-G. Lee, P.-S. Kang, C.-S. Shih, and L. Sha
    Proceedings - Real-Time Systems Symposium, 2003
  5. Scheduling real-time dwells using tasks with synthetic periods
    C.-S. Shih, S. Gopalakrishnan, P. Ganti, M. Caccamo, and L. Sha
    Proceedings - Real-Time Systems Symposium, 2003
  6. Optimal QoS sampling frequency assignment for real-time wireless sensor networks
    X. Liu, Q. Wang, L. Sha, and W. He
    Proceedings - Real-Time Systems Symposium, 2003
  7. Design and analysis of an MST-based topology control algorithm
    N. Li, J.C. Hou, and L. Sha
    Proceedings - IEEE INFOCOM, 2003
  8. A Bluetooth loop scatternet formation algorithm
    H. Zhang, J.C. Hou, and L. Sha
    IEEE International Conference on Communications, 2003
  9. On the scheduling of flexible and reliable real-time control systems
    R. Chandra, X. Liu, and L. Sha
    Real-Time Systems, 2003
  10. Enhanced processor budget for QoS management in multimedia systems
    C.-G. Lee, and L. Sha
    Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003, 2003
  11. Dynamic clustering for acoustic target tracking in wireless sensor networks
    W.-P. Chen, J.C. Hou, and L. Sha
    Proceedings - International Conference on Network Protocols, ICNP, 2003
  12. Upgrading real-time control software in the field
    IEEE, 2003
  13. Online response time optimization of apache web server
    X. Liu, L. Sha, Y. Diao, S. Froehlich, J.L. Hellerstein, and S. Parekh
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2003
  14. Acoustic target tracking using tiny wireless sensor devices
    Q. Wang, W.-P. Chen, R. Zheng, K. Lee, and L. Sha
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2003
  15. Reliable upgrade of group communication software in sensor networks
    P.V. Krishnan, L. Sha, and K. Mechitov
    1st IEEE International Workshop on Sensor Network Protocols and Applications, SNPA 2003, 2003
  16. Real-time communication and coordination in embedded sensor networks
    J.A. Stankovic, T.F. Abdelzaher, C. Lu, L. Sha, and J.C. Hou
    IEEE, 2003
  17. Asynchronous wakeup for ad hoc networks
    R. Zheng, J.C. Hou, and L. Sha
    International Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc), 2003

2002

  1. An implicit prioritized access protocol for wireless sensor networks
    M. Caccamo, L.Y. Zhang, L. Sha, and G. Buttazzo
    Proceedings - Real-Time Systems Symposium, 2002
  2. Handling execution overruns in hard real-time control systems
    M. Caccamo, G. Buttazzo, and L. Sha
    IEEE Transactions on Computers, 2002
  3. Guest editorial
    Real-Time Systems, 2002
  4. Upgrading embedded software in the field: Dependability and survivability
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2002
  5. Queueing model based network server performance control
    L. Sha, X. Liu, Y. Lu, and T. Abdelzaher
    Proceedings-Real-Time Systems Symposium, 2002

2001

  1. Trade-off analysis of real-time control performance and schedulability
    D. Seto, J.P. Lehoczky, L. Sha, and K.G. Shin
    Real-Time Systems, 2001
  2. Using simplicity to control complexity
    IEEE Software, 2001
  3. What are the top ten most influential parallel and distributed processing concepts of the past millenium?
    M.D. Theys, S. Ali, H.J. Siegel, M. Chandy, K. Hwang, K. Kennedy, L. Sha, K.G. Shin, M. Snir, L. Snyder, and T. Sterling
    Journal of Parallel and Distributed Computing, 2001
  4. Aperiodic servers with resource constraints
    Proceedings - Real-Time Systems Symposium, 2001
  5. Service class based online QoS management in surveillance radar systems
    C.-G. Lee, C.-S. Shih, and L. Sha
    Proceedings - Real-Time Systems Symposium, 2001
  6. Scheduling tasks with variable deadlines
    C.-S. Shih, L. Sha, and J. Liu
    Real-Time Technology and Applications - Proceedings, 2001

2000

  1. Elastic feedback control
    M. Caccamo, G. Buttazzo, and L. Sha
    Proceedings - Euromicro Conference on Real-Time Systems, 2000
  2. Capacity sharing for overrun control
    Marco Caccamo, Giorgio Buttazzo, and Lui Sha
    Proceedings - Real-Time Systems Symposium, 2000
  3. Integration of CORBA services with a dynamic real-time architecture
    A. Polze, J. Schwarz, K. Wehner, and L. Sha
    Real-Time Technology and Applications - Proceedings, 2000
  4. A distributed real time coordination protocol
    L. Sha, and D. Seto
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2000
  5. Online control optimization using load driven scheduling
    L. Sha, X. Liu, M. Caccamo, and G. Buttazzo
    IEEE Conference on Decision and Control, 2000
  6. An introduction to control and scheduling co-design
    K.-E. Årzén, A. Cervin, J. Eker, and L. Sha
    IEEE Conference on Decision and Control, 2000

1999

  1. High assurance bio-medical device control
    Annual International Conference of the IEEE Engineering in Medicine and Biology - Proceedings, 1999
  2. Flexible bio-medical instrumentation
    Annual International Conference of the IEEE Engineering in Medicine and Biology - Proceedings, 1999
  3. On scheduling tasks in reliable real-time control systems
    Ramesh Chandra, and Lui Sha
    Proceedings - Real-Time Systems Symposium, 1999
  4. Using COTS software in high assurance control applications
    Proceedings - 4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999, 1999
  5. A fault tolerant real-Time publisher/subscriber inter-process communication architecture
    X. He, and L. Sha
    Proceedings - 6th International Conference on Real-Time Computing Systems and Applications, RTCSA 1999, 1999

1998

  1. Task period selection and schedulability in real-time systems
    Danbing Seto, John P. Lehoczky, and Lui Sha
    Proceedings - Real-Time Systems Symposium, 1998
  2. Dependable system upgrade
    Proceedings - Real-Time Systems Symposium, 1998
  3. The simplex architecture for safe on-line control system upgrades
    D. Seto, B. Krogh, L. Sha, and A. Chutinan
    American Control Conference, 1998
  4. Composite objects: Real-time programming with CORBA
    A. Polze, and L. Sha
    Proceedings - 24th EUROMICRO Conference, EURMIC 1998, 1998
  5. Dynamic Control System Upgrade Using the Simplex Architecture
    D. Seto, B.H. Krogh, L. Sha, and A. Chutinan
    IEEE Control Systems, 1998

1997

  1. Analysis of dual-link networks for real-time applications
    L. Sha, S.S. Sathaye, and J.K. Strosnider
    IEEE Transactions on Computers, 1997

1996

  1. On task schedulability in real-time control systems
    Danbing Seto, John P. Lehoczky, Lui Sha, and Kang G. Shin
    Proceedings - Real-Time Systems Symposium, 1996
  2. Designing for evolvability: Building blocks for evolvable real-time systems
    M. Gagliardi, R. Rajkumar, and L. Sha
    Real-Time Technology and Applications - Proceedings, 1996
  3. Evolving dependable real-time systems
    Lui Sha, Ragunathan Rajkumar, and Michael Gagliardi
    IEEE Aerospace Applications Conference Proceedings, 1996

1995

  1. The Deferrable Server Algorithm for Enhanced Aperiodic Responsiveness in Hard Real-Time Environments
    J.K. Strosnider, J.P. Lehoczky, and L. Sha
    IEEE Transactions on Computers, 1995
  2. Real-time publisher/subscriber inter-process communication model for distributed real-time systems: design and implementation
    Ragunathan Rajkumar, Mike Gagliardi, and Lui Sha
    Real-Time Technology and Applications - Proceedings, 1995

1994

  1. Industrial Computing A Grand Challenge
    Computer, 1994
  2. Generalized Rate-Monotonic Scheduling Theory: A Framework for Developing Real Time Systems
    L. Sha, R. Rajkumar, and S.S. Sathaye
    IEEE, 1994

1993

  1. Control reconfiguration in the presence of software failures
    M. Bodson, J. Lehoczky, R. Rajkumar, L. Sha, D. Soh, M. Smith, and J. Stephan
    IEEE Conference on Decision and Control, 1993
  2. Real-time issues in the design of the Data Management System for the Space Station Freedom
    S. Davari, Jr. Leibfried, S. Natarajan, D. Pruett, L. Sha, and W. Zhao
    Proceedings - IEEE Workshop on Real-Time Applications, RTA 1993, 1993
  3. A Systematic Approach to Designing Distributed Real-Time Systems
    L. Sha, and S.S. Sathaye
    Computer, 1993

1992

  1. Scheduling real-time communication on dual-link networks
    L. Sha, S.S. Sathaye, and J.K. Strosnider
    Proceedings - Real-Time Systems Symposium, 1992

1991

  1. Real-time scheduling support in Futurebus
    Lui Sha, Ragunathan Rajkumar, and John Lehoczky
    Proceedings - Real-Time Systems Symposium, 1991
  2. Maintaining global time in futurebus+
    R.A. Volz, L. Sha, and D. Wilcox
    Real-Time Systems, 1991
  3. A Real-Time Locking Protocol
    L. Sha, R. Rajkumar, S.H. Son, and C.-H. Chang
    IEEE Transactions on Computers, 1991

1990

  1. Real-time scheduling support in Futurebus+
    L. Sha, R. Rajkumar, and J. Lehoczky
    Proceedings - Real-Time Systems Symposium, 1990
  2. Real-Time Scheduling Theory and Ada
    L. Sha, and J.B. Goodenough
    Computer, 1990
  3. Priority Inheritance Protocols: An Approach to Real-Time Synchronization
    L. Sha, R. Rajkumar, and J.P. Lehoczky
    IEEE Transactions on Computers, 1990

1989

  1. Mode change protocols for priority-driven preemptive scheduling
    L. Sha, R. Rajkumar, J. Lehoczky, and K. Ramamritham
    Real-Time Systems, 1989
  2. Rate monotonic scheduling algorithm: Exact characterization and average case behavior
    John Lehoczky, Lui Sha, and Ye Ding
    Proceedings - Real-Time Systems Symposium, 1989
  3. Aperiodic task scheduling for Hard-Real-Time systems
    B. Sprunt, L. Sha, and J. Lehoczky
    Real-Time Systems: The International Journal of Time-Critical Computing Systems, 1989

1988

  1. Exploiting unused periodic time for aperiodic service using the extended priority exchange algorithm
    Brinkley Sprunt, John Lehoczky, and Lui Sha
    1988
  2. Real-time synchronization protocols for multiprocessors
    Ragunathan Rajkumar, Lui Sha, and John P. Lehoczky
    1988
  3. A testbed for investigating real-time ada issues
    M. Borger, M. Klein, N. Weiderman, and L. Sha
    2nd International Workshop on Real-Time Ada Issues, IRTAW 1988, 1988
  4. Priority inversion and its control: An experimental investigation
    D. Locke, L. Sha, R. Rajkurnar, J. Lehoczky, and G. Burns
    2nd International Workshop on Real-Time Ada Issues, IRTAW 1988, 1988
  5. The priority ceiling protocol: A method for minimizing the blocking of high priority ada tasks
    J.B. Goodenough, and L. Sha
    2nd International Workshop on Real-Time Ada Issues, IRTAW 1988, 1988
  6. Concurrency Control for Distributed Real-Time Databases
    L. Sha, R. Rajkumar, and J.P. Lehooczky
    ACM SIGMOD Record, 1988
  7. Modular Concurrency Control and Failure Recovery
    L. Sha, J.P. Lehoczky, and E.D. Jensen
    IEEE Transactions on Computers, 1988
  8. PRIORITY-DRIVEN, PREEMPTIVE I/O CONTROLLERS FOR REAL-TIME SYSTEMS.
    Brinkley Sprunt, David Kirk, and Lui Sha
    1988

1987

  1. TASK SCHEDULING IN DISTRIBUTED REAL-TIME SYSTEMS.
    Lui Sha, John P. Lehoczky, and Ragunathan Rajkumar
    1987
  2. ON COUNTERING THE EFFECTS OF CYCLE-STEALING IN A HARD REAL-TIME ENVIRONMENT.
    Ragunathan Rajkumar, Lui Sha, and John P. Lehoczky
    1987
  3. ENHANCED APERIODIC RESPONSIVENESS IN HARD REAL-TIME ENVIRONMENTS.
    John P. Lehoczky, Lui Sha, and Jay K. Strosnider
    1987
  4. Task Scheduling in Distributed Real-Time Systems
    Proceedings of SPIE - The International Society for Optical Engineering, 1987
  5. Limitations of Ada® for real-time scheduling
    D. Cornhill, L. Sha, J.P. Lehoczky, R. Rajkumar, and H. Tokuda
    1st International Workshop on Real-Time Ada Issues, IRTAW 1987, 1987

1986

  1. SOLUTIONS FOR SOME PRACTICAL PROBLEMS IN PRIORITIZED PREEMPTIVE SCHEDULING.
    Lui Sha, John P. Lehoczky, and Ragunathan Rajkumar
    1986

1983

  1. Distributed co-operating processes and transactions
    L. Sha, E.D. Jensen, R.F. Rashid, and J.D. Northcult
    Symposium on Communications Architectures and Protocols, SIGCOMM 1983, 1983