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.433 |
|
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.374 |
|
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.312 |
|
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.337 |
|
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.347 |
|
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.363 |
|
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.528 |
|
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.629 |
|
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.362 |
|
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.368 |
|
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.669 |
|
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.585 |
|
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.358 |
|
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.775 |
|
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.692 |
|
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.306 |
|
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.54 |
|
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.38 |
|
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.491 |
|
2006 |
Sha L, Agrawala A. Real time and embedded (RTE) GENI Acm Sigbed Review. 3: 21-24. DOI: 10.1145/1164050.1164054 |
0.331 |
|
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.552 |
|
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.587 |
|
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.499 |
|
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.538 |
|
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.303 |
|
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.54 |
|
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.327 |
|
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.342 |
|
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.306 |
|
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.343 |
|
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.301 |
|
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.306 |
|
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.653 |
|
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.523 |
|
1993 |
Sha L, Sathaye SS. A Systematic Approach to Designing Distributed Real-Time Systems Computer. 26: 68-78. DOI: 10.1109/2.231276 |
0.412 |
|
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.597 |
|
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.561 |
|
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.611 |
|
Show low-probability matches. |