☰

Lui Sha - Publications

Affiliations: 
University of Illinois, Urbana-Champaign, Urbana-Champaign, IL 
Area:
Computer Science
Tree Info Similar researchers PubMed Report error

106 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2023 Mao Y, Gu Y, Sha L, Shao H, Wang Q, Abdelzaher T. Phy-Taylor: Partially Physics-Knowledge-Enhanced Deep Neural Networks via NN Editing. Ieee Transactions On Neural Networks and Learning Systems. PMID 37883250 DOI: 10.1109/TNNLS.2023.3325432  0.441
2020 Guo C, Fu Z, Zhang Z, Ren S, Sha L. A framework for supporting the development of verifiably safe medical best practice guideline systems Journal of Systems Architecture. 104: 101693. DOI: 10.1016/J.Sysarc.2019.101693  0.303
2019 Jiang Y, Song H, Yang Y, Liu H, Gu M, Guan Y, Sun J, Sha L. Dependable Model-driven Development of CPS Acm Transactions On Cyber-Physical Systems. 3: 1-31. DOI: 10.1145/3078623  0.373
2019 Cheng L, Tian K, Yao D, Sha L, Beyah RA. Checking is Believing: Event-Aware Program Anomaly Detection in Cyber-Physical Systems Ieee Transactions On Dependable and Secure Computing. 1-1. DOI: 10.1109/Tdsc.2019.2906161  0.311
2019 Guo C, Fu Z, Zhang Z, Ren S, Sha L. Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines With Statecharts Ieee Internet of Things Journal. 6: 6276-6284. DOI: 10.1109/Jiot.2018.2879475  0.307
2019 Yoon H, Wan W, Kim H, Hovakimyan N, Sha L, Voulgaris PG. Towards Resilient UAV: Escape Time in GPS Denied Environment with Sensor Drift Ifac-Papersonline. 52: 423-428. DOI: 10.1016/J.Ifacol.2019.11.280  0.318
2019 Kim J, Abdelzaher TF, Sha L, Bar-Noy A, Hobbs RL, Dron W. Decision-driven scheduling Real-Time Systems. 55: 514-551. DOI: 10.1007/S11241-018-09324-6  0.369
2018 Lee J, Marcus K, Abdelzaher T, Amin M, Bar-Noy A, Dron W, Govindan R, Hobbs R, Hu S, Kim J, Sha L, Yao S, Zhao Y. Athena: Towards Decision-Centric Anticipatory Sensor Information Delivery Journal of Sensor and Actuator Networks. 7: 5. DOI: 10.3390/Jsan7010005  0.329
2018 Wang X, Hovakimyan N, Sha L. RSimplex Acm Transactions On Cyber-Physical Systems. 2: 1-26. DOI: 10.1145/3121428  0.402
2018 Jiang Y, Liu H, Song H, Kong H, Wang R, Guan Y, Sha L. Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller Ieee Transactions On Intelligent Transportation Systems. 19: 3320-3333. DOI: 10.1109/Tits.2017.2778077  0.371
2017 Wang H, Gao Y, Hu S, Wang S, Mancuso R, Kim M, Wu P, Su L, Sha L, Abdelzaher T. On Exploiting Structured Human Interactions to Enhance Sensing Accuracy in Cyber-physical Systems Acm Transactions On Cyber-Physical Systems. 1: 1-19. DOI: 10.1145/3064006  0.325
2017 Hosseini M, Jiang Y, Berlin RR, Sha L, Song H. Toward Physiology-Aware DASH: Bandwidth-Compliant Prioritized Clinical Multimedia Communication in Ambulances Ieee Transactions On Multimedia. 19: 2307-2321. DOI: 10.1109/Tmm.2017.2733298  0.325
2017 Jiang Y, Song H, Wang R, Gu M, Sun J, Sha L. Data-Centered Runtime Verification of Wireless Medical Cyber-Physical System Ieee Transactions On Industrial Informatics. 13: 1900-1909. DOI: 10.1109/Tii.2016.2573762  0.366
2016 Hosseini M, Jiang Y, Wu P, Berlin RB, Ren S, Sha L. A Pathophysiological Model-Driven Communication for Dynamic Distributed Medical Best Practice Guidance Systems. Journal of Medical Systems. 40: 227. PMID 27628728 DOI: 10.1007/S10916-016-0583-5  0.309
2016 Yun H, Yao G, Pellizzoni R, Caccamo M, Sha L. Memory bandwidth management for efficient performance isolation in multi-core platforms Ieee Transactions On Computers. 65: 562-576. DOI: 10.1109/Tc.2015.2425889  0.658
2016 Yao G, Yun H, Wu ZP, Pellizzoni R, Caccamo M, Sha L. Schedulability analysis for memory bandwidth regulated multicore real-time systems Ieee Transactions On Computers. 65: 601-614. DOI: 10.1109/Tc.2015.2425874  0.718
2016 Yoon MK, Mohan S, Chen CY, Sha L. TaskShuffler: A Schedule Randomization Protocol for Obfuscation against Timing Inference Attacks in Real-Time Systems 2016 Ieee Real-Time and Embedded Technology and Applications Symposium, Rtas 2016 - Proceedings. DOI: 10.1109/RTAS.2016.7461362  0.336
2016 Sha L, Caccamo M, Mancuso R, Kim JE, Yoon MK, Pellizzoni R, Yun H, Kegley RB, Perlman DR, Arundale G, Bradford R. Real-Time Computing on Multicore Processors Computer. 49: 69-77. DOI: 10.1109/Mc.2016.271  0.686
2015 Sha L, Shao M, Liu C, Li S, Li Z, Luo Y, Wang Q, Xu C, Zhao J, Ma Y, Xu D, Chen Y. [The prevalence of asthma in children: a comparison between the year of 2010 and 2000 in urban China]. Zhonghua Jie He He Hu Xi Za Zhi = Zhonghua Jiehe He Huxi Zazhi = Chinese Journal of Tuberculosis and Respiratory Diseases. 38: 664-668. PMID 26703770  0.355
2015 Li L, Wang Q, Lv X, Sha L, Qin H, Wang L, Li L. Expression and localization of estrogen receptor in human breast cancer and its clinical significance. Cell Biochemistry and Biophysics. 71: 63-8. PMID 25113640 DOI: 10.1007/s12013-014-0163-6  0.371
2015 Kang W, Sha L, Berlin RB, Goldman JM. The Design of Safe Networked Supervisory Medical Systems Using Organ-Centric Hierarchical Control Architecture. Ieee Journal of Biomedical and Health Informatics. 19: 1077-86. PMID 24988597 DOI: 10.1109/Jbhi.2014.2333778  0.319
2015 Bak S, Johnson TT, Caccamo M, Sha L. Real-time reachability for verified simplex design Proceedings - Real-Time Systems Symposium. 2015: 138-148. DOI: 10.1145/2723871  0.386
2015 Kang K, Wang Q, Hur J, Park KJ, Sha L. Medical-grade quality of service for real-time mobile healthcare Computer. 48: 41-49. DOI: 10.1109/Mc.2015.52  0.534
2015 Mancuso R, Pellizzoni R, Caccamo M, Sha L, Yun H. WCET(m) Estimation in Multi-core Systems Using Single Core Equivalence Proceedings - Euromicro Conference On Real-Time Systems. 2015: 174-183. DOI: 10.1109/ECRTS.2015.23  0.587
2014 Nam MY, Lee J, Park KJ, Sha L, Kang K. Guaranteeing the end-to-end latency of an IMA system with an increasing workload Ieee Transactions On Computers. 63: 1459-1472. DOI: 10.1109/Tc.2012.300  0.686
2014 Kang K, Nam MY, Sha L. Worst Case Analysis of Packet Delay in Avionics Systems for Environmental Monitoring Ieee Systems Journal. DOI: 10.1109/Jsyst.2014.2336872  0.698
2014 Nam MY, Sha L, Chaki S, Kim C. Applying software model checking to PALS systems Aiaa/Ieee Digital Avionics Systems Conference - Proceedings. 5B41-5B414. DOI: 10.1109/DASC.2014.6979483  0.628
2013 Kang K, Ryu J, Hur J, Sha L. Design and QoS of a wireless system for real-time remote electrocardiography. Ieee Journal of Biomedical and Health Informatics. 17: 745-55. PMID 24592475 DOI: 10.1109/Jbhi.2013.2237782  0.424
2013 Liu CH, Shao MJ, Wang Q, Sha L, Li S, Luo YQ, Li ZY, Xu CY, Xu DQ, Chen YZ. [Epidemiological survey of children asthma prevalence in Beijing urban area]. Zhonghua Yi Xue Za Zhi. 93: 574-8. PMID 23663334  0.371
2013 Kang K, Nam MY, Sha L. Model-based analysis of wireless system architectures for real-time applications Ieee Transactions On Mobile Computing. 12: 219-232. DOI: 10.1109/Tmc.2011.260  0.71
2013 Yao J, Liu X, Zhu G, Sha L. NetSimplex: Controller Fault Tolerance Architecture in Networked Control Systems Ieee Transactions On Industrial Informatics. 9: 346-356. DOI: 10.1109/Tii.2012.2219060  0.367
2013 Betti E, Bak S, Pellizzoni R, Caccamo M, Sha L. Real-time I/O management system with COTS peripherals Ieee Transactions On Computers. 62: 45-58. DOI: 10.1109/Tc.2011.202  0.694
2013 Yun H, Yao G, Pellizzoni R, Caccamo M, Sha L. MemGuard: Memory bandwidth reservation system for efficient performance isolation in multi-core platforms Real-Time Technology and Applications - Proceedings. 55-64. DOI: 10.1109/RTAS.2013.6531079  0.627
2013 Abad FAT, Woude JVD, Lu Y, Bak S, Caccamo M, Sha L, Mancuso R, Mohan S. On-chip control flow integrity check for real time embedded systems 2013 Ieee 1st International Conference On Cyber-Physical Systems, Networks, and Applications, Cpsna 2013. 26-31. DOI: 10.1109/CPSNA.2013.6614242  0.357
2012 Nam MY, Kang K, Pellizzoni R, Park KJ, Kim JE, Sha L. Modeling towards incremental early analyzability of networked avionics systems using virtual integration Transactions On Embedded Computing Systems. 11. DOI: 10.1145/2362336.2362348  0.786
2012 Yun H, Yao G, Pellizzoni R, Caccamo M, Sha L. Memory access control in multiprocessor for real-time systems with mixed criticality Proceedings - Euromicro Conference On Real-Time Systems. 299-308. DOI: 10.1109/ECRTS.2012.32  0.668
2012 Kang K, Nam MY, Lee J, Park J, Yoo H, Sha L. Model-based design of a wireless telemetry system and QoS assessment using AADL Proceedings - 2012 Ieee International Conference On Bioinformatics and Biomedicine Workshops, Bibmw 2012. 748-749. DOI: 10.1109/BIBMW.2012.6470230  0.648
2012 Kang K, Park K, Sha L, Wang Q. Design of a crossbar VOQ real-time switch with clock-driven scheduling for a guaranteed delay bound Real-Time Systems. 49: 117-135. DOI: 10.1007/S11241-012-9169-6  0.589
2011 Nam MY, De Niz D, Wrage L, Sha L. Resource allocation contracts for open analytic runtime models Embedded Systems Week 2011, Esweek 2011 - Proceedings of the 9th Acm International Conference On Embedded Software, Emsoft'11. 13-22. DOI: 10.1145/2038642.2038647  0.62
2011 Nam MY, Seo E, Sha L, Park KJ, Kang K. Limiting worst-case end-to-end latency when traffic increases in a switched avionics network Proceedings - 17th Ieee International Conference On Embedded and Real-Time Computing Systems and Applications, Rtcsa 2011. 1: 285-294. DOI: 10.1109/RTCSA.2011.9  0.667
2011 Yun H, Wu P, Arya A, Kim C, Abdelzaher T, Sha L. System-wide energy optimization for multiple DVS components and real-time tasks Real-Time Systems. 47: 489-515. DOI: 10.1007/S11241-011-9125-X  0.357
2010 Rajkumar R, Lee I, Sha L, Stankovic J. Cyber-physical systems: The next computing revolution Proceedings - Design Automation Conference. 731-736. DOI: 10.1145/1837274.1837461  0.48
2010 Kang K, Sha L. An interleaving structure for guaranteed QoS in real-time broadcasting systems Ieee Transactions On Computers. 59: 666-678. DOI: 10.1109/Tc.2009.151  0.364
2010 Bradford R, Fliginger S, Nam MY, Mohan S, Pellizzoni R, Kim C, Caccamo M, Sha L. Exploring the design space of IMA system architectures Aiaa/Ieee Digital Avionics Systems Conference - Proceedings. DOI: 10.1109/DASC.2010.5655464  0.782
2009 Pellizzoni R, Meredith P, Nam MY, Sun M, Caccamo M, Sha L. Handling mixed-criticality in SoC-based real-time embedded systems Embedded Systems Week 2009 - Proceedings of the 7th Acm International Conference On Embedded Software, Emsoft '09. 235-244. DOI: 10.1145/1629335.1629367  0.781
2009 Mohan S, Nam MY, Pellizoni R, Sha L, Bradford R, Fliginger S. Rapid early-phase virtual integration Proceedings - Real-Time Systems Symposium. 33-44. DOI: 10.1109/RTSS.2009.48  0.661
2009 Bak S, Betti E, Pellizzoni R, Caccamo M, Sha L. Real-time control of I/O COTS peripherals for embedded systems Proceedings - Real-Time Systems Symposium. 193-203. DOI: 10.1109/RTSS.2009.41  0.666
2009 Nam MY, Pellizzoni R, Sha L, Bradford RM. ASIIST: Application specific I/O integration support tool for real-time bus architecture designs Proceedings of the Ieee International Conference On Engineering of Complex Computer Systems, Iceccs. 11-22. DOI: 10.1109/ICECCS.2009.31  0.774
2009 Miller SP, Cofer DD, Sha L, Meseguer J, Al-Nayeem A. Implementing logical synchrony in integrated modular avionics Aiaa/Ieee Digital Avionics Systems Conference - Proceedings. DOI: 10.1109/DASC.2009.5347579  0.783
2008 Liu X, Heo J, Sha L, Zhu X. Queueing-Model-Based Adaptive Control of Multi-Tiered Web Applications Ieee Transactions On Network and Service Management. 5: 157-167. DOI: 10.1109/Tnsm.2009.031103  0.329
2008 Wang Q, Zheng R, Tirumala A, Liu X, Sha L. Lightning: A Hard Real-Time, Fast, and Lightweight Low-End Wireless Sensor Election Protocol for Acoustic Event Localization Ieee Transactions On Mobile Computing. 7: 570-584. DOI: 10.1109/Tmc.2007.70752  0.739
2008 Gopalakrishnan S, Caccamo M, Sha L. Sharp thresholds for scheduling recurring tasks with distance constraints Ieee Transactions On Computers. 57: 344-358. DOI: 10.1109/Tc.2007.70808  0.372
2008 Pellizzoni R, Bui BD, Caccamo M, Sha L. Coscheduling of CPU and I/O transactions in COTS-based embedded systems Proceedings - Real-Time Systems Symposium. 221-231. DOI: 10.1109/RTSS.2008.42  0.691
2008 Bui BD, Caccamo M, Sha L, Martinez J. Impact of cache partitioning on multi-tasking real time embedded systems Proceedings - 14th Ieee International Conference On Embedded and Real-Time Computing Systems and Applications, Rtcsa 2008. 101-110. DOI: 10.1109/RTCSA.2008.42  0.305
2007 Wang Q, Liu X, Chen W, Sha L, Caccamo M. Building robust wireless LAN for industrial control with the DSSS-CDMA n cell phone network paradigm Ieee Transactions On Mobile Computing. 6: 706-719. DOI: 10.1109/Tmc.2007.1018  0.545
2007 Crenshaw TL, Gunter E, Robinson CL, Sha L, Kumar PR. The simplex reference model: Limiting fault-propagation due to unreliable components in cyber-physical system architectures Proceedings - Real-Time Systems Symposium. 400-409. DOI: 10.1109/RTSS.2007.34  0.582
2007 Hou JC, Wang Q, Alshebli BK, Ball L, Birge S, Caccamo M, Cheah CF, Gilbert E, Gunter CA, Gunter E, Lee CG, Karahalios K, Nam MY, Nitya N, Rohit C, ... Sha L, et al. PAS: A wireless-enabled, sensor-integrated personal assistance system for independent and assisted living Proceedings - 2007 Joint Workshop On High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability, Hcmdss/Mdpnp 2007. 64-75. DOI: 10.1109/HCMDSS-MDPnP.2007.13  0.631
2006 Huang XH, Chen QX, You MS, Wang Q, Song KK, Wang J, Sha L, Guan X. Inhibitory effects of fluorobenzaldehydes on the activity of mushroom tyrosinase. Journal of Enzyme Inhibition and Medicinal Chemistry. 21: 413-8. PMID 17059174 DOI: 10.1080/14756360500094193  0.387
2006 Hu C, Zheng R, Hou JC, Sha L. A microscopic study of power management in IEEE 802.11 wireless networks International Journal of Wireless and Mobile Computing. 1: 165. DOI: 10.1504/Ijwmc.2006.012553  0.496
2006 Sha L, Agrawala A. Real time and embedded (RTE) GENI Acm Sigbed Review. 3: 21-24. DOI: 10.1145/1164050.1164054  0.33
2006 Liu X, Wang Q, He W, Caccamo M, Sha L. Optimal real-time sampling rate assignment for wireless sensor networks Acm Transactions On Sensor Networks. 2: 263-295. DOI: 10.1145/1149283.1149288  0.557
2006 Liu X, Ding H, Lee K, Sha L, Caccamo M. Feedback fault tolerance of real-time embedded systems Acm Sigbed Review. 3: 23-28. DOI: 10.1145/1143489.1143495  0.59
2006 Zheng R, Hou JC, Sha L. Performance analysis of power management policies in wireless networks Ieee Transactions On Wireless Communications. 5: 1351-1361. DOI: 10.1109/Twc.2006.1638656  0.504
2006 Zheng R, Hou JC, Sha L. Optimal Block Design for Asynchronous Wake-Up Schedules and Its Applications in Multihop Wireless Networks Ieee Transactions On Mobile Computing. 5: 1228-1241. DOI: 10.1109/Tmc.2006.134  0.543
2006 Lee C, Kang P, Shih C, Sha L. Schedulability Envelope for Real-Time Radar Dwell Scheduling Ieee Transactions On Computers. 55: 1599-1613. DOI: 10.1109/Tc.2006.205  0.392
2006 Crenshaw TL, Robinson CL, Ding H, Kumar PR, Sha L. A pattern for adaptive behavior in safety-critical, real-time middleware Proceedings - Real-Time Systems Symposium. 127-136. DOI: 10.1109/RTSS.2006.8  0.578
2006 Gopalakrishnan S, Caccamo M, Sha L. Switch scheduling and network design for real-time systems Proceedings of the Ieee Real-Time and Embedded Technology and Applications Symposium, Rtas. 2006: 289-300. DOI: 10.1109/RTAS.2006.42  0.302
2006 Lee I, Pappas GJ, Cleaveland R, Hatcliff J, Krogh BH, Lee P, Rubin H, Sha L. High-Confidence medical device software and systems Computer. 39: 33-38. DOI: 10.1109/Mc.2006.127  0.301
2006 Ding H, Arber L, Sha L, Caccamo M. The dependency management framework: A case study of the ION CubeSat Proceedings - Euromicro Conference On Real-Time Systems. 2006: 52-61. DOI: 10.1109/ECRTS.2006.28  0.325
2006 Gopalakrishnan S, Caccamo M, Shih CS, Lee CG, Sha L. Finite-horizon scheduling of radar dwells with online template construction Real-Time Systems. 33: 47-75. DOI: 10.1007/S11241-006-6882-Z  0.407
2005 Tirumala A, Crenshaw T, Sha L, Baliga G, Kowshik S, Robinson C, Witthawaskul W. Prevention of failures due to assumptions made by software components in real-time systems Acm Sigbed Review. 2: 36-39. DOI: 10.1145/1121802.1121810  0.698
2005 He G, Zheng R, Gupta I, Sha L. A framework for time indexing in sensor networks Acm Transactions On Sensor Networks (Tosn). 1: 101-133. DOI: 10.1145/1077391.1077396  0.545
2005 Ding H, Sha L. Dependency algebra: A tool for designing robust real-time systems Proceedings - Real-Time Systems Symposium. DOI: 10.1109/RTSS.2005.16  0.352
2005 Lee K, Sha L. A dependable online testing and upgrade architecture for real-time embedded systems Proceedings - 11th Ieee International Conference On Embedded and Real-Time Computing Systems and Applications. 160-168. DOI: 10.1109/RTCSA.2005.8  0.326
2005 Lee K, Sha L. Process Resurrection: A fast recovery mechanism for real-time embedded systems Proceedings of the Ieee Real-Time and Embedded Technology and Applications Symposium, Rtas. 292-301.  0.354
2004 Sha L. Open challenges in real time embedded systems Acm Sigbed Review. 1: 13-15. DOI: 10.1145/1121554.1121557  0.413
2004 Lee C-, Sha L, Peddi A. Enhanced utilization bounds for QoS management Ieee Transactions On Computers. 53: 187-200. DOI: 10.1109/Tc.2004.1261828  0.372
2004 Gopalakrishnan S, Sha L, Caccamo M. Hard real-time communication in bus-based networks Proceedings - Real-Time Systems Symposium. 405-414. DOI: 10.1109/REAL.2004.24  0.341
2004 Baliga G, Graham S, Sha L, Kumar PR. Service Continuity in Networked Control Using Etherware Ieee Distributed Systems Online. 5: 2-2. DOI: 10.1109/Mdso.2004.23  0.34
2004 Sha L, Abdelzaher T, Årzén KE, Cervin A, Baker T, Burns A, Buttazzo G, Caccamo M, Lehoczky J, Mok AK. Real time scheduling theory: A historical perspective Real-Time Systems. 28: 101-155. DOI: 10.1023/B:Time.0000045315.61234.1E  0.66
2004 Lee C, Shih C, Sha L. Online QoS Optimization Using Service Classes in Surveillance Radar Systems Real-Time Systems. 28: 5-37. DOI: 10.1023/B:Time.0000033377.75148.D0  0.366
2004 Sha L. 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). 2968: 123-135.  0.305
2003 Ding H, Zheng C, Agha G, Sha L. Automated verification of the dependability of object-oriented real-time systems Proceedings - International Workshop On Object-Oriented Real-Time Dependable Systems, Words. 171-178. DOI: 10.1109/WORDS.2003.1267505  0.342
2003 Sha L. Upgrading real-time control software in the field Proceedings of the Ieee. 91: 1131-1140. DOI: 10.1109/JPROC.2003.814611  0.3
2003 Lee CG, Sha L. Enhanced processor budget for QoS management in multimedia systems Proceedings - International Parallel and Distributed Processing Symposium, Ipdps 2003. DOI: 10.1109/IPDPS.2003.1213244  0.305
2003 Chandra R, Liu X, Sha L. Real-Time Systems. 24: 153-169. DOI: 10.1023/A:1021726418716  0.414
2002 Caccamo M, Buttazzo G, Sha L. Handling execution overruns in hard real-time control systems Ieee Transactions On Computers. 51: 835-849. DOI: 10.1109/Tc.2002.1017703  0.429
2001 Lim S, Lee K, Sha L. Ensuring Integrity and Service Availability in a Web-Based Control Laboratory Scalable Computing: Practice and Experience. 4. DOI: 10.12694/Scpe.V4I2.237  0.445
2001 Sha L. Using simplicity to control complexity Ieee Software. 18: 20-28. DOI: 10.1109/Ms.2001.936213  0.364
2001 Seto D, Lehoczky JP, Sha L, Shin KG. Trade-off analysis of real-time control performance and schedulability Real-Time Systems. 21: 199-217. DOI: 10.1023/A:1011151320157  0.652
1998 Seto D, Krogh BH, Sha L, Chutinan A. Dynamic control system upgrade using the simplex architecture Ieee Control Systems Magazine. 18: 72-80. DOI: 10.1109/37.710880  0.386
1997 Sha L, Sathaye SS, Strosnider JK. Analysis of dual-link networks for real-time applications Ieee Transactions On Computers. 46: 1-13. DOI: 10.1109/12.559798  0.354
1995 Strosnider JK, Lehoczky JP, Sha L. The Deferrable Server Algorithm for Enhanced Aperiodic Responsiveness in Hard Real-Time Environments Ieee Transactions On Computers. 44: 73-91. DOI: 10.1109/12.368008  0.634
1994 Sha L, Rajkumar R, Sathaye SS. Generalized Rate-Monotonic Scheduling Theory: A Framework for Developing Real Time Systems Proceedings of the Ieee. 82: 68-82. DOI: 10.1109/5.259427  0.522
1993 Sha L, Sathaye SS. A Systematic Approach to Designing Distributed Real-Time Systems Computer. 26: 68-78. DOI: 10.1109/2.231276  0.411
1993 Bodson M, Lehoczky J, Rajkumar R, Sha L, Soh D, Smith M, Stephan J. Control reconfiguration in the presence of software failures Proceedings of the Ieee Conference On Decision and Control. 3: 2284-2289.  0.596
1991 Sha L, Rajkumar R, Son SH, Chang CH. A Real-Time Locking Protocol Ieee Transactions On Computers. 40: 793-800. DOI: 10.1109/12.83617  0.595
1991 Volz RA, Sha L, Wilcox D. Maintaining global time in futurebus+ Real-Time Systems. 3: 5-17. DOI: 10.1007/Bf00365390  0.366
1990 Sha L, Rajkumar R, Lehoczky J. Real-time scheduling support in Futurebus+ Proceedings - Real-Time Systems Symposium. 331-340. DOI: 10.1109/REAL.1990.128765  0.741
1990 Sha L, Goodenough JB. Real-Time Scheduling Theory and Ada Computer. 23: 53-62. DOI: 10.1109/2.55469  0.333
1990 Sha L, Rajkumar R, Lehoczky JP. Priority Inheritance Protocols: An Approach to Real-Time Synchronization Ieee Transactions On Computers. 39: 1175-1185. DOI: 10.1109/12.57058  0.717
1989 Sprunt B, Sha L, Lehoczky J. Aperiodic task scheduling for Hard-Real-Time systems Real-Time Systems: the International Journal of Time-Critical Computing Systems. 1: 27-60. DOI: 10.1007/BF02341920  0.592
1989 Sha L, Rajkumar R, Lehoczky J, Ramamritham K. Mode change protocols for priority-driven preemptive scheduling Real-Time Systems. 1: 243-264. DOI: 10.1007/Bf00365439  0.686
1988 Sha L, Rajkumar R, Lehooczky JP. Concurrency Control for Distributed Real-Time Databases Acm Sigmod Record. 17: 82-98. DOI: 10.1145/44203.44210  0.56
1988 Sha L, Lehoczky JP, Jensen ED. Modular Concurrency Control and Failure Recovery Ieee Transactions On Computers. 37: 146-159. DOI: 10.1109/12.2144  0.614
1987 Sha L, Lehoczky JP, Rajkumar R. Task Scheduling in Distributed Real-Time Systems Proceedings of Spie - the International Society For Optical Engineering. 857: 909-916. DOI: 10.1117/12.943278  0.61
Show low-probability matches.