If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Article
2020

A framework for supporting the development of verifiably safe medical best practice guideline systems

Guo, C., Fu, Z., Zhang, Z., Ren, S. & Sha, L., Mar 2020, In : Journal of Systems Architecture. 104, 101693.

Research output: Contribution to journalArticle

UACFinder: Mining Syntactic Carriers of Unspecified Assumptions in Medical Cyber-Physical System Design Models

Fu, Z., Guo, C., Zhang, Z., Ren, S. & Sha, L., May 2020, In : ACM Transactions on Cyber-Physical Systems. 4, 3, 3375405.

Research output: Contribution to journalArticle

Open Access
2019

Decision-driven scheduling

Kim, J. E., Abdelzaher, T., Sha, L., Bar-Noy, A., Hobbs, R. L. & Dron, W., Jul 15 2019, In : Real-Time Systems. 55, 3, p. 514-551 38 p.

Research output: Contribution to journalArticle

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

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

Athena: Towards decision-centric anticipatory sensor information delivery

Lee, J., Marcus, K., Abdelzaher, T., Amin, T. A., Bar-Noy, A., Dron, W., Govindan, R., Hobbs, R., Hu, S., Kim, J. E., Sha, L., Yao, S. & Zhao, Y., 2018, In : Journal of Sensor and Actuator Networks. 7, 1, 5.

Research output: Contribution to journalArticle

Dependable model-driven development of CPS: From Stateflow simulation to verified implementation

Jiang, Y., Song, H., Yang, Y., Liu, H., Gu, M., Guan, Y., Sun, J. & Sha, L., Aug 2018, In : ACM Transactions on Cyber-Physical Systems. 3, 1, 12.

Research output: Contribution to journalArticle

RSimplex: A robust control architecture for cyber and physical failures

Wang, X., Hovakimyan, N. & Sha, L., Aug 2018, In : ACM Transactions on Cyber-Physical Systems. 2, 4, 27.

Research output: Contribution to journalArticle

Safety-assured model-driven design of the multifunction vehicle bus controller

Jiang, Y., Liu, H., Song, H., Kong, H., Wang, R., Guan, Y. & Sha, L., Oct 2018, In : IEEE Transactions on Intelligent Transportation Systems. 19, 10, p. 3320-3333 14 p., 8260537.

Research output: Contribution to journalArticle

2017

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

On exploiting structured human interactions to enhance sensing accuracy in cyber-physical systems

Wang, H., Gao, Y., Hu, S., Wang, S., Mancuso, R., Kim, M., Wu, P., Su, L., Sha, L. & Abdelzaher, T., Jan 1 2017, In : ACM Transactions on Cyber-Physical Systems. 1, 3, 16.

Research output: Contribution to journalArticle

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

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

2016

A Pathophysiological Model-Driven Communication for Dynamic Distributed Medical Best Practice Guidance Systems

Hosseini, M., Jiang, Y., Wu, P., Berlin, R. B., Ren, S. & Sha, L., Nov 1 2016, In : Journal of Medical Systems. 40, 11, 227.

Research output: Contribution to journalArticle

Memory bandwidth management for efficient performance isolation in multi-core platforms

Yun, H., Yao, G., Pellizzoni, R., Caccamo, M. & Sha, L., Feb 1 2016, In : IEEE Transactions on Computers. 65, 2, p. 562-576 15 p., 7093151.

Research output: Contribution to journalArticle

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

Real-time reachability for verified simplex design

Johnson, T. T., Bak, S., Caccamo, M. & Sha, L., Feb 2016, In : ACM Transactions on Embedded Computing Systems. 15, 2, 2723871.

Research output: Contribution to journalArticle

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

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

2015

Medical-grade quality of service for real-time mobile healthcare

Kang, K., Wang, Q., Hur, J., Park, K. J. & Sha, L. R., Feb 1 2015, Computer, 48, 2, p. 41-49 9 p.

Research output: Contribution to specialist publicationArticle

The design of safe networked supervisory medical systems using organ-centric hierarchical control architecture

Kang, W., Sha, L. R., Berlin, R. B. & Goldman, J. M., May 1 2015, In : IEEE Journal of Biomedical and Health Informatics. 19, 3, p. 1077-1086 10 p., 6845329.

Research output: Contribution to journalArticle

Worst Case Analysis of Packet Delay in Avionics Systems for Environmental Monitoring

Kang, K., Nam, M. Y. & Sha, L., Dec 2015, In : IEEE Systems Journal. 9, 4, p. 1354-1362 9 p., 6872549.

Research output: Contribution to journalArticle

2014

Guaranteeing the end-to-end latency of an IMA system with an increasing workload

Nam, M. Y., Lee, J., Park, K. J., Sha, L. & Kang, K., Jun 2014, In : IEEE Transactions on Computers. 63, 6, p. 1459-1472 14 p., 6399465.

Research output: Contribution to journalArticle

qPALS: Quality-aware synchrony protocol for distributed real-time systems

Kang, W. & Sha, L. R., Oct 31 2014, In : KSII Transactions on Internet and Information Systems. 8, 10, p. 3361-3377 17 p.

Research output: Contribution to journalArticle

2013

Design and QoS of a wireless system for real-time remote electrocardiography

Kang, K., Ryu, J., Hur, J. & Sha, L., Oct 14 2013, In : IEEE Journal of Biomedical and Health Informatics. 17, 3, p. 745-755 11 p.

Research output: Contribution to journalArticle

Design of a crossbar VOQ real-time switch with clock-driven scheduling for a guaranteed delay bound

Kang, K., Park, K. J., Sha, L. & Wang, Q., Jan 1 2013, In : Real-Time Systems. 49, 1, p. 117-135 19 p.

Research output: Contribution to journalArticle

Model-based analysis of wireless system architectures for real-time applications

Kang, K., Nam, M. Y. & Sha, L. R., Jan 7 2013, In : IEEE Transactions on Mobile Computing. 12, 2, p. 219-232 14 p., 6104052.

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., Jan 1 2013, In : Proceedings - IEEE Symposium on Computer-Based Medical Systems. p. 514-515 2 p., 6627855.

Research output: Contribution to journalArticle

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

Real-time I/O management system with COTS peripherals

Betti, E., Bak, S., Pellizzoni, R., Caccamo, M. & Sha, L., Jan 1 2013, In : IEEE Transactions on Computers. 62, 1, p. 45-58 14 p., 6051430.

Research output: Contribution to journalArticle

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

Kang, W., Wu, P., Rahmaniheris, M., Sha, L., Berlin, R. B. & Goldman, J. M., Jan 1 2013, In : Proceedings - IEEE Symposium on Computer-Based Medical Systems. p. 143-148 6 p., 6627779.

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

2011

A medical-grade wireless architecture for remote electrocardiography

Kang, K., Park, K. J., Song, J. J., Yoon, C. H. & Sha, L., Mar 1 2011, In : IEEE Transactions on Information Technology in Biomedicine. 15, 2, p. 260-267 8 p., 5682049.

Research output: Contribution to journalArticle

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

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

2010

An interleaving structure for guaranteed QoS in real-time broadcasting systems

Kang, K. & Sha, L. R., Apr 7 2010, In : IEEE Transactions on Computers. 59, 5, p. 666-678 13 p., 5276796.

Research output: Contribution to journalArticle

Design of robust adaptive frequency hopping for wireless medical telemetry systems

Park, K. J., Park, T. R., Schmitz, C. D. & Sha, L., Feb 5 2010, In : IET Communications. 4, 2, p. 178-191 14 p.

Research output: Contribution to journalArticle

2009

Resilient mixed-criticality systems

Sha, L. R., Sep 1 2009, In : CrossTalk. 22, 9-10, p. 9-14 6 p.

Research output: Contribution to journalArticle

2008

Lightning: A hard real-time, fast, and lightweight low-end wireless sensor election protocol for acoustic event localization

Wang, Q., Zheng, R., Tirumala, A., Liu, X. & Sha, L., May 1 2008, In : IEEE Transactions on Mobile Computing. 7, 5, p. 270-284 15 p., 4358996.

Research output: Contribution to journalArticle

ORTEGA: An efficient and flexible online fault tolerance architecture for real-time control systems

Liu, X., Wang, Q., Gopalakrishnan, S., He, W., Sha, L., Ding, H. & Lee, K., Nov 1 2008, In : IEEE Transactions on Industrial Informatics. 4, 4, p. 213-224 12 p., 4753900.

Research output: Contribution to journalArticle

Queueing-model-based adaptive control of multi-tiered web applications

Liu, X., Heo, J., Sha, L. & Zhu, X., Dec 1 2008, In : IEEE Transactions on Network and Service Management. 5, 3, p. 157-167 11 p.

Research output: Contribution to journalArticle

Sharp thresholds for scheduling recurring tasks with distance constraints

Gopalakrishnan, S., Caccamo, M. & Sha, L., Mar 1 2008, In : IEEE Transactions on Computers. 57, 3, p. 344-358 15 p.

Research output: Contribution to journalArticle

2007

Building robust wireless LAN for industrial control with the DSSS-CDMA n cell phone network paradigm

Wang, Q., Liu, X., Chen, W., Sha, L. & Caccamo, M., Jun 1 2007, In : IEEE Transactions on Mobile Computing. 6, 6, p. 706-719 14 p.

Research output: Contribution to journalArticle

2006

A microscopic study of power management in IEEE 802.11 wireless networks

Hu, C., Zheng, R., Hou, J. C. & Sha, L., 2006, In : International Journal of Wireless and Mobile Computing. 1, 3-4, p. 165-178 14 p.

Research output: Contribution to journalArticle

Finite-horizon scheduling of radar dwells with online template construction

Gopalakrishnan, S., Caccamo, M., Shih, C. S., Lee, C. G. & Sha, L., Jul 1 2006, In : Real-Time Systems. 33, 1-3, p. 47-75 29 p.

Research output: Contribution to journalArticle

High-Confidence medical device software and systems

Lee, I., Pappas, G. J., Cleaveland, R., Hatcliff, J., Krogh, B. H., Lee, P., Rubin, H. & Sha, L., Apr 1 2006, Computer, 39, 4, p. 33-38 6 p.

Research output: Contribution to specialist publicationArticle

Local group communication-aware MAC protocol in wireless sensor networks

Zheng, R., Walia, J. S. & Sha, L. R., Oct 1 2006, In : International Journal of Wireless Information Networks. 13, 4, p. 275-287 13 p.

Research output: Contribution to journalArticle

Optimal block design for asynchronous wake-up schedules and its applications in multihop wireless networks

Zheng, R., Hou, J. C. & Sha, L., Sep 1 2006, In : IEEE Transactions on Mobile Computing. 5, 9, p. 1228-1240 13 p., 1661531.

Research output: Contribution to journalArticle

Optimal real-time sampling rate assignment for wireless sensor networks

Liu, X., Wang, Q., He, W., Caccamo, M. & Sha, L., Aug 14 2006, In : ACM Transactions on Sensor Networks. 2, 2, p. 263-295 33 p.

Research output: Contribution to journalArticle