Find Research Outputs

Search in all content

Filters for Research & Scholarship

Search concepts
Selected Filters

Publication Year

  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011

Author

  • Lui Raymond Sha
2017

An integrated Medical CPS for early detection of paroxysmal sympathetic hyperactivity

Gu, Z., Song, H., Jiang, Y., Choi, J., He, H., Sha, L. & Gu, M., Jan 17 2017, Proceedings - 2016 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2016. Burrage, K., Zhu, Q., Liu, Y., Tian, T., Wang, Y., Hu, X. T., Jiang, Q., Song, J., Morishita, S., Burrage, K. & Wang, G. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 818-822 5 p. 7822630. (Proceedings - 2016 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2016).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2013

Modeling and architecture design of an MDPnP acute care monitoring system

Rahmaniheris, M., Kang, W., Lee, L. J., Sha, L., Berlin, R. B. & Goldman, J. M., Jan 1 2013, In : Proceedings - IEEE Symposium on Computer-Based Medical Systems. p. 514-515 2 p., 6627855.

Research output: Contribution to journalArticle

Modeling and architecture design of an MDPnP acute care monitoring system

Rahmaniheris, M., Kang, W., Lee, L. J., Sha, L., Berlin, R. B. & Goldman, J. M., Dec 9 2013, Proceedings of CBMS 2013 - 26th IEEE International Symposium on Computer-Based Medical Systems. p. 514-515 2 p. 6627855. (Proceedings of CBMS 2013 - 26th IEEE International Symposium on Computer-Based Medical Systems).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2015

Schedulability bound for integrated modular avionics partitions

Kim, J. E., Abdelzaher, T. & Sha, L., Apr 22 2015, Proceedings of the 2015 Design, Automation and Test in Europe Conference and Exhibition, DATE 2015. Institute of Electrical and Electronics Engineers Inc., p. 37-42 6 p. 7092355. (Proceedings -Design, Automation and Test in Europe, DATE; vol. 2015-April).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2016

Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models

Guo, C., Ren, S., Jiang, Y., Wu, P. L., Sha, L. R. & Berlin, R. B., May 25 2016, 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems, ICCPS 2016 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 7479121. (2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems, ICCPS 2016 - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2015

Budgeted generalized rate monotonic analysis for the partitioned, yet globally scheduled uniprocessor model

Kim, J. E., Abdelzaher, T. & Sha, L., May 14 2015, Proceedings - 21st IEEE Real Time and Embedded Technology and Applications Symposium, RTAS 2015. Institute of Electrical and Electronics Engineers Inc., p. 221-231 11 p. 7108445. (Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS; vol. 2015-May).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2011

Optimizing tunable WCET with shared resource allocation and arbitration in hard real-time multicore systems

Yoon, M. K., Kim, J. E. & Sha, L. R., Dec 1 2011, Proceedings - 2011 32nd IEEE Real-Time Systems Symposium, RTSS 2011. p. 227-238 12 p. 6121441. (Proceedings - Real-Time Systems Symposium).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2020

SCE-Comm: A Real-Time Inter-Core Communication Framework for Strictly Partitioned Multi-core Processors

Tabish, R., Wen, J. Y., Pellizzoni, R., Mancuso, R., Yun, H., Caccamo, M. & Sha, L., Jun 2020, 2020 9th Mediterranean Conference on Embedded Computing, MECO 2020. Institute of Electrical and Electronics Engineers Inc., 9134178. (2020 9th Mediterranean Conference on Embedded Computing, MECO 2020).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2017
2013

MemGuard: Memory bandwidth reservation system for efficient performance isolation in multi-core platforms

Yun, H., Yao, G., Pellizzoni, R., Caccamo, M. & Sha, L., Aug 9 2013, 2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium, RTAS 2013. p. 55-64 10 p. 6531079. (Real-Time Technology and Applications - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2011

System-wide energy optimization for multiple DVS components and real-time tasks

Yun, H., Wu, P. L., Arya, A., Kim, C., Abdelzaher, T. & Sha, L., Sep 1 2011, In : Real-Time Systems. 47, 5, p. 489-515 27 p.

Research output: Contribution to journalArticle

2012

Modeling towards incremental early analyzability of networked avionics systems using virtual integration

Nam, M. Y., Kang, K., Pellizzoni, R., Park, K. J., Kim, J. E. & Sha, L., Dec 1 2012, In : Transactions on Embedded Computing Systems. 11, 4, 81.

Research output: Contribution to journalArticle

2016

TaskShuffler: A Schedule Randomization Protocol for Obfuscation against Timing Inference Attacks in Real-Time Systems

Yoon, M. K., Mohan, S., Chen, C. Y. & Sha, L., Apr 27 2016, 2016 IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2016 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 7461362. (2016 IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2016 - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2011

Pre-verified safety control framework for real-time medical systems

Kim, C., Yun, H., Kim, H. G. & Sha, L., May 1 2011, In : Information. 14, 5, p. 1663-1674 12 p.

Research output: Contribution to journalArticle

2017

Modeling and Integrating Human Interaction Assumptions in Medical Cyber-Physical System Design

Fu, Z., Guo, C., Ren, S., Ou, Y. & Sha, L., Nov 10 2017, Proceedings - 2017 IEEE 30th International Symposium on Computer-Based Medical Systems, CBMS 2017. Bamidis, P. D., Konstantinidis, S. T. & Rodrigues, P. P. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 373-378 6 p. 8104222. (Proceedings - IEEE Symposium on Computer-Based Medical Systems; vol. 2017-June).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2013

Towards organ-centric compositional development of safe networked supervisory medical systems

Kang, W., Wu, P. L., Rahmaniheris, M., Sha, L., Berlin, R. B. & Goldman, J. M., Dec 9 2013, Proceedings of CBMS 2013 - 26th IEEE International Symposium on Computer-Based Medical Systems. p. 143-148 6 p. 6627779. (Proceedings of CBMS 2013 - 26th IEEE International Symposium on Computer-Based Medical Systems).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2016

Real-Time Computing on Multicore Processors

Sha, L., Caccamo, M., Mancuso, R., Kim, J. E., Yoon, M. K., Pellizzoni, R., Yun, H., Kegley, R. B., Perlman, D. R., Arundale, G. & Bradford, R., Sep 2016, Computer, 49, 9, p. 69-77 9 p.

Research output: Contribution to specialist publicationArticle

The dragonbeam framework: Hardware-protected security modules for in-place intrusion detection

Yoon, M. K., Christodorescu, M., Sha, L. & Mohan, S., Jun 6 2016, SYSTOR 2016 - Proceedings of the 9th ACM International Systems and Storage Conference. Association for Computing Machinery, Inc, 2928290. (SYSTOR 2016 - Proceedings of the 9th ACM International Systems and Storage Conference).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Sporadic Decision-Centric Data Scheduling with Normally-off Sensors

Kim, J. E., Abdelzaher, T., Sha, L., Bar-Noy, A. & Hobbs, R., Jul 2 2016, Proceedings - 2016 IEEE Real-Time Systems Symposium, RTSS 2016. Institute of Electrical and Electronics Engineers Inc., p. 135-145 11 p. 7809850. (Proceedings - Real-Time Systems Symposium; vol. 0).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2013

Net simplex: Controller fault tolerance architecture in networked control systems

Yao, J., Liu, X., Zhu, G. & Sha, L., Jan 7 2013, In : IEEE Transactions on Industrial Informatics. 9, 1, p. 346-356 11 p., 6303908.

Research output: Contribution to journalArticle

2019

Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts

Guo, C., Fu, Z., Zhang, Z., Ren, S. & Sha, L., Aug 2019, In : IEEE Internet of Things Journal. 6, 4, p. 6276-6284 9 p., 8521661.

Research output: Contribution to journalArticle

2015

Real-time reachability for verified simplex design

Bak, S., Johnson, T. T., Caccamo, M. & Sha, L., Jan 14 2015, Proceedings - IEEE 35th Real-Time Systems Symposium, RTSS 2014. January ed. Institute of Electrical and Electronics Engineers Inc., p. 138-148 11 p. 7010482. (Proceedings - Real-Time Systems Symposium; vol. 2015-January, no. January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2017

Modeling and integrating physical environment assumptions in medical cyber-physical system design

Fu, Z., Guo, C., Ren, S., Jiang, Y. & Sha, L. R., May 11 2017, Proceedings of the 2017 Design, Automation and Test in Europe, DATE 2017. Institute of Electrical and Electronics Engineers Inc., p. 1615-1618 4 p. 7927249. (Proceedings of the 2017 Design, Automation and Test in Europe, DATE 2017).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2018

A cyber-physical system framework for early detection of paroxysmal diseases

Gu, Z., Jiang, Y., Zhou, M., Gu, M., Song, X. & Sha, L., Jun 23 2018, In : IEEE Access. 6, p. 34834-34845 12 p.

Research output: Contribution to journalArticle

2012

Pattern-based composition and analysis of virtually synchronized real-time distributed systems

Al-Nayeem, A., Sha, L. R., Cofer, D. D. & Miller, S. M., May 31 2012, Proceedings - 2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012. p. 65-74 10 p. 6197389. (Proceedings - 2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2011

Limiting worst-case end-to-end latency when traffic increases in a switched avionics network

Nam, M. Y., Seo, E., Sha, L. R., Park, K. J. & Kang, K., Dec 1 2011, Proceedings - 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2011. p. 285-294 10 p. 6029839. (Proceedings - 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2011; vol. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2016

A Self-Adaptively Evolutionary Screening Approach for Sepsis Patient

Jiang, Y., Tan, P., Song, H., Wan, B., Hosseini, M. & Sha, L., Aug 16 2016, Proceedings - IEEE 29th International Symposium on Computer-Based Medical Systems, CBMS 2016. Institute of Electrical and Electronics Engineers Inc., p. 60-65 6 p. 7545957. (Proceedings - IEEE Symposium on Computer-Based Medical Systems; vol. 2016-August).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2013

On-chip control flow integrity check for real time embedded systems

Abad, F. A. T., Woude, J. V. D., Lu, Y., Bak, S., Caccamo, M., Sha, L., Mancuso, R. & Mohan, S., Jan 1 2013, 2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2013. IEEE Computer Society, p. 26-31 6 p. 6614242. (2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2013).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2018

SafeTrace: A safety-driven requirement traceability framework on device interaction hazards for MD PnP

Ou, A. Y. Z., Rahmaniheris, M., Jiang, Y., Sha, L., Fu, Z. & Ren, S., Apr 9 2018, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018. Association for Computing Machinery, p. 1282-1291 10 p. (Proceedings of the ACM Symposium on Applied Computing).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2017

A mobile geo-communication dataset for physiology-aware DASH in rural ambulance transport

Hosseini, M., Jiang, Y., Yekkehkhany, A., Berlin, R. R. & Sha, L., Jun 20 2017, Proceedings of the 8th ACM Multimedia Systems Conference, MMSys 2017. Association for Computing Machinery, Inc, p. 158-163 6 p. (Proceedings of the 8th ACM Multimedia Systems Conference, MMSys 2017).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2015

WCET(m) Estimation in Multi-core Systems Using Single Core Equivalence

Mancuso, R., Pellizzoni, R., Caccamo, M., Sha, L. & Yun, H., Aug 3 2015, Proceedings - 27th Euromicro Conference on Real-Time Systems, ECRTS 2015. Institute of Electrical and Electronics Engineers Inc., p. 174-183 10 p. 7176036. (Proceedings - Euromicro Conference on Real-Time Systems; vol. 2015-August).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2017

Preventable Medical Errors Driven Modeling of Medical Best Practice Guidance Systems

Ou, A. Y. Z., Jiang, Y., Wu, P. L., Sha, L. & Berlin, R. B., Jan 1 2017, In : Journal of Medical Systems. 41, 1, 9.

Research output: Contribution to journalArticle

2016

An organ-centric best practice assist system for acute care

Rahmaniheris, M., Wu, P., Sha, L. & Berlin, R. R., Aug 16 2016, Proceedings - IEEE 29th International Symposium on Computer-Based Medical Systems, CBMS 2016. Institute of Electrical and Electronics Engineers Inc., p. 100-105 6 p. 7545965. (Proceedings - IEEE Symposium on Computer-Based Medical Systems; vol. 2016-August).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2017

CPS runtime architecture and automated transformation of applications

Sha, L., Nov 3 2017, FEAST 2017 - Proceedings of the 2017 Workshop on Forming an Ecosystem Around Software Transformation, co-located with CCS 2017. Association for Computing Machinery, Inc, p. 31-34 4 p. (FEAST 2017 - Proceedings of the 2017 Workshop on Forming an Ecosystem Around Software Transformation, co-located with CCS 2017).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Data-centered runtime verification of wireless medical cyber-physical system

Jiang, Y., Song, H., Wang, R., Gu, M., Sun, J. & Sha, L., Aug 2017, In : IEEE Transactions on Industrial Informatics. 13, 4, p. 1900-1909 10 p., 7480373.

Research output: Contribution to journalArticle

2014

Integrated Modular Avionics (IMA) partition scheduling with conflict-free I/O for multicore avionics systems

Kim, J. E., Yoon, M. K., Bradford, R. & Sha, L., Sep 15 2014, In : Proceedings - International Computer Software and Applications Conference. p. 321-331 11 p., 6899233.

Research output: Contribution to journalConference article

2015

Exploiting structured human interactions to enhance estimation accuracy in cyber-Physical systems

Gao, Y., Hu, S., Mancuso, R., Wang, H., Kim, M., Wu, P. L., Su, L., Sha, L. & Abdelzaher, T., Apr 14 2015, ACM/IEEE 6th International Conference on Cyber-Physical Systems, ICCPS 2015. Association for Computing Machinery, Inc, p. 60-69 10 p. (ACM/IEEE 6th International Conference on Cyber-Physical Systems, ICCPS 2015).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2017

WiP abstract: A physiology-aware communication architecture for distributed emergency medical CPS

Hosseini, M., Berlin, R. R. & Sha, L., Apr 18 2017, Proceedings - 2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems, ICCPS 2017 (part of CPS Week). Association for Computing Machinery, Inc, p. 83 1 p. (Proceedings - 2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems, ICCPS 2017 (part of CPS Week)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2014

Applying software model checking to PALS systems

Nam, M. Y., Sha, L. R., Chaki, S. & Kim, C., Dec 8 2014, 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference, DASC. Institute of Electrical and Electronics Engineers Inc., p. 5B41-5B414 6979483. (AIAA/IEEE Digital Avionics Systems Conference - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2016

From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design

Jiang, Y., Yang, Y., Liu, H., Kong, H., Gu, M., Sun, J. & Sha, L., Apr 27 2016, 2016 IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2016 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 7461337. (2016 IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2016 - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Schedulability analysis for memory bandwidth regulated multicore real-time systems

Yao, G., Yun, H., Wu, Z. P., Pellizzoni, R., Caccamo, M. & Sha, L., Feb 1 2016, In : IEEE Transactions on Computers. 65, 2, p. 601-614 14 p., 7093140.

Research output: Contribution to journalArticle

2012

How to reliably integrate medical devices over wireless

Kim, C., Sun, M., Rahmaniheris, M. & Sha, L., Nov 1 2012, 2012 9th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks, SECON 2012. p. 85-87 3 p. 6276355. (Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks workshops; vol. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2013

SecureCore: A multicore-based intrusion detection architecture for real-time embedded systems

Yoon, M. K., Mohan, S., Choi, J., Kim, J. E. & Sha, L., Aug 9 2013, 2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium, RTAS 2013. p. 21-32 12 p. 6531076. (Real-Time Technology and Applications - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2017

Pattern-Based Statechart Modeling Approach for Medical Best Practice Guidelines - A Case Study

Guo, C., Fu, Z., Ren, S., Jiang, Y., Rahmaniheris, M. & Sha, L., Nov 10 2017, Proceedings - 2017 IEEE 30th International Symposium on Computer-Based Medical Systems, CBMS 2017. Bamidis, P. D., Konstantinidis, S. T. & Rodrigues, P. P. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 117-122 6 p. 8104169. (Proceedings - IEEE Symposium on Computer-Based Medical Systems; vol. 2017-June).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2016

Sepsis Patient Detection and Monitor Based on Auto-BN

Jiang, Y., Sha, L., Rahmaniheris, M., Wan, B., Hosseini, M., Tan, P. & Berlin, R. B., Apr 1 2016, In : Journal of Medical Systems. 40, 4, 111.

Research output: Contribution to journalArticle

2013

A low complexity coordination architecture for networked supervisory medical systems

Wu, P. L., Kang, W., Ai-Nayeem, A., Sha, L. R., Berlin, R. B. & Goldman, J. M., Oct 15 2013, 2013 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2013. p. 89-98 10 p. 6604003. (2013 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2013).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A low complexity coordination architecture for networked supervisory medical systems

Wu, P. L., Kang, W., Al-Nayeem, A., Sha, L. R., Berlin, R. B. & Goldman, J. M., Sep 2 2013, Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems, ICCPS 2013. p. 89-98 10 p. (Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems, ICCPS 2013).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2015

SINk: A middleware for synchronization of heterogeneous software interfaces

Hosseini, M., Jiang, Y., Wu, P., Berlin, R. B. & Sha, L., Dec 7 2015, Proceedings of the 14th Workshop on Adaptive and Reflective Middleware, ARM 2015 - Collocated with ACM/IFIP/USENIX Middleware 2015. Association for Computing Machinery, Inc, 2. (Proceedings of the 14th Workshop on Adaptive and Reflective Middleware, ARM 2015 - Collocated with ACM/IFIP/USENIX Middleware 2015).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2017

Toward physiology-aware DASH: Bandwidth-compliant prioritized clinical multimedia communication in ambulances

Hosseini, M., Jiang, Y., Berlin, R. R., Sha, L. & Song, H., Oct 2017, In : IEEE Transactions on Multimedia. 19, 10, p. 2307-2321 15 p., 7995124.

Research output: Contribution to journalArticle

2014

Towards a cyber-medical model for device configuration safety in acute care

Rahmaniheris, M., Sha, L. R., Berlin, R. B. & Goldman, J. M., Feb 10 2014, 2014 IEEE Healthcare Innovation Conference, HIC 2014. Institute of Electrical and Electronics Engineers Inc., p. 118-124 7 p. 7038889. (2014 IEEE Healthcare Innovation Conference, HIC 2014).

Research output: Chapter in Book/Report/Conference proceedingConference contribution