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

Research Output

Filter
Article

Acoustic target tracking using tiny wireless sensor devices

Wang, Q., Chen, W. P., Zheng, R., Lee, K. & Sha, L., Dec 1 2003, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2634, p. 642-657 16 p.

Research output: Contribution to journalArticle

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

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

A Framework for Time Indexing in Sensor Networks

He, G., Gupta, I., Sha, L. & Zheng, R., Aug 1 2005, In : ACM Transactions on Sensor Networks. 1, 1, p. 101-133 33 p.

Research output: Contribution to journalArticle

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

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

Analysis of dual-link networks for real-time applications

Sha, L., Sathaye, S. S. & Strosnider, J. K., Dec 1 1997, In : IEEE Transactions on Computers. 46, 1, p. 1-13 13 p.

Research output: Contribution to journalArticle

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

An introduction to control and scheduling co-design

Årzén, K. E., Cervin, A., Eker, J. & Sha, L., Dec 2000, In : Proceedings of the IEEE Conference on Decision and Control. 5, p. 4865-4870 6 p.

Research output: Contribution to journalArticle

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

Aperiodic servers with resource constraints

Caccamo, M. & Sha, L., Jan 1 2001, In : Proceedings - Real-Time Systems Symposium. p. 161-170 10 p.

Research output: Contribution to journalArticle

Aperiodic task scheduling for Hard-Real-Time systems

Sprunt, B., Sha, L. & Lehoczky, J., Jun 1989, In : Real-Time Systems: The International Journal of Time-Critical Computing Systems. 1, 1, p. 27-60 34 p.

Research output: Contribution to journalArticle

A Real-Time Locking Protocol

Sha, L., Rajkumar, R., Son, S. H. & Chang, C. H., Jul 1991, In : IEEE Transactions on Computers. 40, 7, p. 793-800 8 p.

Research output: Contribution to journalArticle

A Systematic Approach to Designing Distributed Real-Time Systems

Sha, L. & Sathaye, S. S., Sep 1993, Computer, 26, 9, p. 68-78 11 p.

Research output: Contribution to specialist publicationArticle

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

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 2007, In : IEEE Transactions on Mobile Computing. 6, 6, p. 706-719 14 p.

Research output: Contribution to journalArticle

Concurrency Control for Distributed Real-Time Databases

Sha, L., Rajkumar, R. & Lehooczky, J. P., Jan 3 1988, In : ACM SIGMOD Record. 17, 1, p. 82-98 17 p.

Research output: Contribution to journalArticle

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

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

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

Design and analysis of an MST-based topology control algorithm

Li, N., Hou, J. C. & Sha, L., May 1 2005, In : IEEE Transactions on Wireless Communications. 4, 3, p. 1195-1206 12 p.

Research output: Contribution to journalArticle

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

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

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

Dynamic clustering for acoustic target tracking in wireless sensor networks

Chen, W. P., Hou, J. C. & Sha, L., Jul 1 2004, In : IEEE Transactions on Mobile Computing. 3, 3, p. 258-271 14 p.

Research output: Contribution to journalArticle

Dynamic Control System Upgrade Using the Simplex Architecture

Seto, D., Krogh, B. H., Sha, L. & Chutinan, A., Aug 1998, In : IEEE Control Systems. 18, 4, p. 72-80 9 p.

Research output: Contribution to journalArticle

Enhanced Utilization Bounds for QoS Management

Lee, C. G., Sha, L. & Peddi, A., Feb 1 2004, In : IEEE Transactions on Computers. 53, 2, p. 187-200 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

Generalized Rate-Monotonic Scheduling Theory: A Framework for Developing Real Time Systems

Sha, L., Rajkumar, R. & Sathaye, S. S., Jan 1994, In : Proceedings of the IEEE. 82, 1, p. 68-82 15 p.

Research output: Contribution to journalArticle

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. 1460-1473 14 p., 6399465.

Research output: Contribution to journalArticle

Handling execution overruns in hard real-time control systems

Caccamo, M., Buttazzo, G. & Sha, L., Jul 1 2002, In : IEEE Transactions on Computers. 51, 7, p. 835-849 15 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

Industrial Computing A Grand Challenge

Sha, L., Jan 1994, Computer, 27, 1, p. 12-13 2 p.

Research output: Contribution to specialist publicationArticle

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 2008, In : IEEE Transactions on Mobile Computing. 7, 5, p. 570-584 15 p., 4358996.

Research output: Contribution to journalArticle

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

Maintaining global time in futurebus+

Volz, R. A., Sha, L. & Wilcox, D., Mar 1 1991, In : Real-Time Systems. 3, 1, p. 5-17 13 p.

Research output: Contribution to journalArticle

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

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

Mode change protocols for priority-driven preemptive scheduling

Sha, L., Rajkumar, R., Lehoczky, J. & Ramamritham, K., Dec 1 1989, In : Real-Time Systems. 1, 3, p. 243-264 22 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

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

Modular Concurrency Control and Failure Recovery

Sha, L., Lehoczky, J. P. & Jensen, E. D., Jan 1 1988, In : IEEE Transactions on Computers. 37, 2, p. 146-159 14 p.

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

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

Online control optimization using load driven scheduling

Sha, L. R., Liu, X., Caccamo, M. & Buttazzo, G., Dec 2000, In : Proceedings of the IEEE Conference on Decision and Control. 5, p. 4877-4882 6 p.

Research output: Contribution to journalArticle

Online QoS optimization using service classes in surveillance radar systems

Lee, C. G., Shih, C. S. & Sha, L., Oct 1 2004, In : Real-Time Systems. 28, 1, p. 5-37 33 p.

Research output: Contribution to journalArticle

On the scheduling of flexible and reliable real-time control systems

Chandra, R., Liu, X. & Sha, L. R., Mar 1 2003, In : Real-Time Systems. 24, 2, p. 153-169 17 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