Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Lui Sha
@article{DBLP:journals/cacm/LiuYFTYBYSA24,
author = {Shengzhong Liu and
Shuochao Yao and
Xinzhe Fu and
Rohan Tabish and
Simon Yu and
Ayoosh Bansal and
Heechul Yun and
Lui Sha and
Tarek F. Abdelzaher},
title = {Taming Algorithmic Priority Inversion in Mission-Critical Perception
Pipelines},
journal = {Commun. {ACM}},
volume = {67},
number = {2},
pages = {110--117},
year = {2024},
url = {https://doi.org/10.1145/3610801},
doi = {10.1145/3610801},
timestamp = {Fri, 23 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/LiuYFTYBYSA24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/KimWHSV23,
author = {Hunmin Kim and
Wenbin Wan and
Naira Hovakimyan and
Lui Sha and
Petros G. Voulgaris},
title = {Robust vehicle lane keeping control with networked proactive adaptation},
journal = {Artif. Intell.},
volume = {325},
pages = {104020},
year = {2023},
url = {https://doi.org/10.1016/j.artint.2023.104020},
doi = {10.1016/J.ARTINT.2023.104020},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/KimWHSV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/LiuFHWDYSA23,
author = {Shengzhong Liu and
Xinzhe Fu and
Yigong Hu and
Maggie B. Wigness and
Philip David and
Shuochao Yao and
Lui Sha and
Tarek F. Abdelzaher},
title = {Generalized self-cueing real-time attention scheduling with intermittent
inspection and image resizing},
journal = {Real Time Syst.},
volume = {59},
number = {2},
pages = {302--343},
year = {2023},
url = {https://doi.org/10.1007/s11241-023-09396-z},
doi = {10.1007/S11241-023-09396-Z},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/LiuFHWDYSA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/MaoGHSV23,
author = {Yanbing Mao and
Yuliang Gu and
Naira Hovakimyan and
Lui Sha and
Petros G. Voulgaris},
title = {S{\(\mathscr{L}\)}\({}_{\mbox{1}}\)-Simplex: Safe Velocity Regulation
of Self-Driving Vehicles in Dynamic and Unforeseen Environments},
journal = {{ACM} Trans. Cyber Phys. Syst.},
volume = {7},
number = {1},
pages = {2:1--2:24},
year = {2023},
url = {https://doi.org/10.1145/3564273},
doi = {10.1145/3564273},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcps/MaoGHSV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/ChenKTBCLMCS23,
author = {Jiyang Chen and
Tomasz Kloda and
Rohan Tabish and
Ayoosh Bansal and
Chien{-}Ying Chen and
Bo Liu and
Sibin Mohan and
Marco Caccamo and
Lui Sha},
title = {SchedGuard++: Protecting against Schedule Leaks Using Linux Containers
on Multi-Core Processors},
journal = {{ACM} Trans. Cyber Phys. Syst.},
volume = {7},
number = {1},
pages = {6:1--6:25},
year = {2023},
url = {https://doi.org/10.1145/3565974},
doi = {10.1145/3565974},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcps/ChenKTBCLMCS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/CaoMSC23,
author = {Hongpeng Cao and
Yanbing Mao and
Lui Sha and
Marco Caccamo},
title = {Physics-Model-Regulated Deep Reinforcement Learning Towards Safety
{\&} Stability Guarantees},
booktitle = {62nd {IEEE} Conference on Decision and Control, {CDC} 2023, Singapore,
December 13-15, 2023},
pages = {8306--8311},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CDC49753.2023.10383560},
doi = {10.1109/CDC49753.2023.10383560},
timestamp = {Mon, 29 Jan 2024 17:30:32 +0100},
biburl = {https://dblp.org/rec/conf/cdc/CaoMSC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/SaxenaSS23,
author = {Manasvi Saxena and
Shuang Song and
Lui Sha},
editor = {Alexander Nadel and
Kristin Yvonne Rozier},
title = {MediK: Towards Safe Guideline-based Clinical Decision Support},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2023, Ames, IA, USA,
October 24-27, 2023},
pages = {306--317},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.34727/2023/isbn.978-3-85448-060-0\_39},
doi = {10.34727/2023/ISBN.978-3-85448-060-0\_39},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/SaxenaSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/SongSTS23,
author = {Shuang Song and
Manasvi Saxena and
Pei{-}Hsuan Tsai and
Lui Sha},
title = {Towards Modular and Formally-Verifiable Software Architecture for
Clinical Guidance Systems},
booktitle = {{IEEE} International Conference on Systems, Man, and Cybernetics,
{SMC} 2023, Honolulu, Oahu, HI, USA, October 1-4, 2023},
pages = {4271--4276},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/SMC53992.2023.10393931},
doi = {10.1109/SMC53992.2023.10393931},
timestamp = {Tue, 13 Feb 2024 09:22:04 +0100},
biburl = {https://dblp.org/rec/conf/smc/SongSTS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-16860,
author = {Hongpeng Cao and
Yanbing Mao and
Lui Sha and
Marco Caccamo},
title = {Physical Deep Reinforcement Learning Towards Safety Guarantee},
journal = {CoRR},
volume = {abs/2303.16860},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.16860},
doi = {10.48550/ARXIV.2303.16860},
eprinttype = {arXiv},
eprint = {2303.16860},
timestamp = {Fri, 14 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-16860.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-16614,
author = {Hongpeng Cao and
Yanbing Mao and
Lui Sha and
Marco Caccamo},
title = {Physical Deep Reinforcement Learning: Safety and Unknown Unknowns},
journal = {CoRR},
volume = {abs/2305.16614},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.16614},
doi = {10.48550/ARXIV.2305.16614},
eprinttype = {arXiv},
eprint = {2305.16614},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-16614.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-06102,
author = {Ran Tao and
Hunmin Kim and
Hyung{-}Jin Yoon and
Wenbin Wan and
Naira Hovakimyan and
Lui Sha and
Petros G. Voulgaris},
title = {Backup Plan Constrained Model Predictive Control with Guaranteed Stability},
journal = {CoRR},
volume = {abs/2306.06102},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.06102},
doi = {10.48550/ARXIV.2306.06102},
eprinttype = {arXiv},
eprint = {2306.06102},
timestamp = {Wed, 14 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-06102.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-02937,
author = {Ayoosh Bansal and
Yang Zhao and
James Zhu and
Sheng Cheng and
Yuliang Gu and
Hyung{-}Jin Yoon and
Hunmin Kim and
Naira Hovakimyan and
Lui Sha},
title = {Synergistic Perception and Control Simplex for Verifiable Safe Vertical
Landing},
journal = {CoRR},
volume = {abs/2312.02937},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.02937},
doi = {10.48550/ARXIV.2312.02937},
eprinttype = {arXiv},
eprint = {2312.02937},
timestamp = {Thu, 28 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-02937.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/LiuYFSTYBYSA22,
author = {Shengzhong Liu and
Shuochao Yao and
Xinzhe Fu and
Huajie Shao and
Rohan Tabish and
Simon Yu and
Ayoosh Bansal and
Heechul Yun and
Lui Sha and
Tarek F. Abdelzaher},
title = {Real-Time Task Scheduling for Machine Perception in Intelligent Cyber-Physical
Systems},
journal = {{IEEE} Trans. Computers},
volume = {71},
number = {8},
pages = {1770--1783},
year = {2022},
url = {https://doi.org/10.1109/TC.2021.3106496},
doi = {10.1109/TC.2021.3106496},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/LiuYFSTYBYSA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/KlodaCBSC22,
author = {Tomasz Kloda and
Jiyang Chen and
Antoine Bertout and
Lui Sha and
Marco Caccamo},
editor = {Cristiana Bolchini and
Ingrid Verbauwhede and
Ioana Vatajelu},
title = {Latency analysis of self-suspending task chains},
booktitle = {2022 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2022, Antwerp, Belgium, March 14-23, 2022},
pages = {1299--1304},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.23919/DATE54114.2022.9774655},
doi = {10.23919/DATE54114.2022.9774655},
timestamp = {Wed, 25 May 2022 22:56:19 +0200},
biburl = {https://dblp.org/rec/conf/date/KlodaCBSC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/BansalKYLHCS22,
author = {Ayoosh Bansal and
Hunmin Kim and
Simon Yu and
Bo Li and
Naira Hovakimyan and
Marco Caccamo and
Lui Sha},
title = {Verifiable Obstacle Detection},
booktitle = {{IEEE} 33rd International Symposium on Software Reliability Engineering,
{ISSRE} 2022, Charlotte, NC, USA, October 31 - Nov. 3, 2022},
pages = {61--72},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ISSRE55969.2022.00017},
doi = {10.1109/ISSRE55969.2022.00017},
timestamp = {Sat, 04 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/BansalKYLHCS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/LiuFWDYSA22,
author = {Shengzhong Liu and
Xinzhe Fu and
Maggie B. Wigness and
Philip David and
Shuochao Yao and
Lui Sha and
Tarek F. Abdelzaher},
title = {Self-Cueing Real-Time Attention Scheduling in Criticality-Aware Visual
Machine Perception},
booktitle = {28th {IEEE} Real-Time and Embedded Technology and Applications Symposium,
{RTAS} 2022, Milano, Italy, May 4-6, 2022},
pages = {173--186},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/RTAS54340.2022.00022},
doi = {10.1109/RTAS54340.2022.00022},
timestamp = {Mon, 04 Jul 2022 17:06:22 +0200},
biburl = {https://dblp.org/rec/conf/rtas/LiuFWDYSA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-14403,
author = {Ayoosh Bansal and
Hunmin Kim and
Simon Yu and
Bo Li and
Naira Hovakimyan and
Marco Caccamo and
Lui Sha},
title = {Verifiable Obstacle Detection},
journal = {CoRR},
volume = {abs/2208.14403},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.14403},
doi = {10.48550/ARXIV.2208.14403},
eprinttype = {arXiv},
eprint = {2208.14403},
timestamp = {Sat, 04 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-14403.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-01710,
author = {Ayoosh Bansal and
Simon Yu and
Hunmin Kim and
Bo Li and
Naira Hovakimyan and
Marco Caccamo and
Lui Sha},
title = {Synergistic Redundancy: Towards Verifiable Safety for Autonomous Vehicles},
journal = {CoRR},
volume = {abs/2209.01710},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.01710},
doi = {10.48550/ARXIV.2209.01710},
eprinttype = {arXiv},
eprint = {2209.01710},
timestamp = {Sat, 04 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-01710.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-13511,
author = {Yanbing Mao and
Lui Sha and
Huajie Shao and
Yuliang Gu and
Qixin Wang and
Tarek F. Abdelzaher},
title = {Phy-Taylor: Physics-Model-Based Deep Neural Networks},
journal = {CoRR},
volume = {abs/2209.13511},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.13511},
doi = {10.48550/ARXIV.2209.13511},
eprinttype = {arXiv},
eprint = {2209.13511},
timestamp = {Thu, 06 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-13511.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/TabishWPMYCS21,
author = {Rohan Tabish and
Jen{-}Yang Wen and
Rodolfo Pellizzoni and
Renato Mancuso and
Heechul Yun and
Marco Caccamo and
Lui Raymond Sha},
title = {An Analyzable Inter-core Communication Framework for High-Performance
Multicore Embedded Systems},
journal = {J. Syst. Archit.},
volume = {118},
pages = {102178},
year = {2021},
url = {https://doi.org/10.1016/j.sysarc.2021.102178},
doi = {10.1016/J.SYSARC.2021.102178},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/TabishWPMYCS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/0005TYSB21,
author = {Long Cheng and
Ke Tian and
Danfeng Daphne Yao and
Lui Sha and
Raheem A. Beyah},
title = {Checking is Believing: Event-Aware Program Anomaly Detection in Cyber-Physical
Systems},
journal = {{IEEE} Trans. Dependable Secur. Comput.},
volume = {18},
number = {2},
pages = {825--842},
year = {2021},
url = {https://doi.org/10.1109/TDSC.2019.2906161},
doi = {10.1109/TDSC.2019.2906161},
timestamp = {Tue, 23 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tdsc/0005TYSB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/KimWHSV21,
author = {Hunmin Kim and
Wenbin Wan and
Naira Hovakimyan and
Lui Sha and
Petros G. Voulgaris},
title = {Robust Vehicle Lane Keeping Control with Networked Proactive Adaptation},
booktitle = {2021 American Control Conference, {ACC} 2021, New Orleans, LA, USA,
May 25-28, 2021},
pages = {136--141},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.23919/ACC50511.2021.9482669},
doi = {10.23919/ACC50511.2021.9482669},
timestamp = {Fri, 30 Jul 2021 11:11:12 +0200},
biburl = {https://dblp.org/rec/conf/amcc/KimWHSV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/KimYWHSV21,
author = {Hunmin Kim and
Hyung{-}Jin Yoon and
Wenbin Wan and
Naira Hovakimyan and
Lui Sha and
Petros G. Voulgaris},
title = {Backup Plan Constrained Model Predictive Control},
booktitle = {2021 60th {IEEE} Conference on Decision and Control (CDC), Austin,
TX, USA, December 14-17, 2021},
pages = {289--294},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CDC45484.2021.9683388},
doi = {10.1109/CDC45484.2021.9683388},
timestamp = {Tue, 17 May 2022 15:53:17 +0200},
biburl = {https://dblp.org/rec/conf/cdc/KimYWHSV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meco/BansalSVCS21,
author = {Ayoosh Bansal and
Jayati Singh and
Micaela Verucchi and
Marco Caccamo and
Lui Sha},
title = {Risk Ranked Recall: Collision Safety Metric for Object Detection Systems
in Autonomous Vehicles},
booktitle = {10th Mediterranean Conference on Embedded Computing, {MECO} 2021,
Budva, Montenegro, June 7-10, 2021},
pages = {1--4},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/MECO52532.2021.9460196},
doi = {10.1109/MECO52532.2021.9460196},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/meco/BansalSVCS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/ChenKBTCLMCS21,
author = {Jiyang Chen and
Tomasz Kloda and
Ayoosh Bansal and
Rohan Tabish and
Chien{-}Ying Chen and
Bo Liu and
Sibin Mohan and
Marco Caccamo and
Lui Sha},
title = {SchedGuard: Protecting against Schedule Leaks Using Linux Containers},
booktitle = {27th {IEEE} Real-Time and Embedded Technology and Applications Symposium,
{RTAS} 2021, Nashville, TN, USA, May 18-21, 2021},
pages = {14--26},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/RTAS52030.2021.00010},
doi = {10.1109/RTAS52030.2021.00010},
timestamp = {Wed, 15 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/ChenKBTCLMCS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-14819,
author = {Hunmin Kim and
Hyung{-}Jin Yoon and
Wenbin Wan and
Naira Hovakimyan and
Lui Sha and
Petros G. Voulgaris},
title = {Backup Plan Constrained Model Predictive Control},
journal = {CoRR},
volume = {abs/2103.14819},
year = {2021},
url = {https://arxiv.org/abs/2103.14819},
eprinttype = {arXiv},
eprint = {2103.14819},
timestamp = {Wed, 07 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-14819.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-04528,
author = {Jiyang Chen and
Tomasz Kloda and
Ayoosh Bansal and
Rohan Tabish and
Chien{-}Ying Chen and
Bo Liu and
Sibin Mohan and
Marco Caccamo and
Lui Sha},
title = {SchedGuard: Protecting against Schedule Leaks Using Linux Containers},
journal = {CoRR},
volume = {abs/2104.04528},
year = {2021},
url = {https://arxiv.org/abs/2104.04528},
eprinttype = {arXiv},
eprint = {2104.04528},
timestamp = {Wed, 15 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-04528.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-04146,
author = {Ayoosh Bansal and
Jayati Singh and
Micaela Verucchi and
Marco Caccamo and
Lui Sha},
title = {Risk Ranked Recall: Collision Safety Metric for Object Detection Systems
in Autonomous Vehicles},
journal = {CoRR},
volume = {abs/2106.04146},
year = {2021},
url = {https://arxiv.org/abs/2106.04146},
eprinttype = {arXiv},
eprint = {2106.04146},
timestamp = {Fri, 11 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-04146.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-09799,
author = {Jiyang Chen and
Simon Yu and
Rohan Tabish and
Ayoosh Bansal and
Shengzhong Liu and
Tarek F. Abdelzaher and
Lui Sha},
title = {LiDAR Cluster First and Camera Inference Later: {A} New Perspective
Towards Autonomous Driving},
journal = {CoRR},
volume = {abs/2111.09799},
year = {2021},
url = {https://arxiv.org/abs/2111.09799},
eprinttype = {arXiv},
eprint = {2111.09799},
timestamp = {Mon, 22 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-09799.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/GuoFZRS20,
author = {Chunhui Guo and
Zhicheng Fu and
Zhenyu Zhang and
Shangping Ren and
Lui Sha},
title = {A framework for supporting the development of verifiably safe medical
best practice guideline systems},
journal = {J. Syst. Archit.},
volume = {104},
pages = {101693},
year = {2020},
url = {https://doi.org/10.1016/j.sysarc.2019.101693},
doi = {10.1016/J.SYSARC.2019.101693},
timestamp = {Sun, 12 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/GuoFZRS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/FuGZRS20,
author = {Zhicheng Fu and
Chunhui Guo and
Zhenyu Zhang and
Shangping Ren and
Lui Sha},
title = {\emph{UACFinder}: Mining Syntactic Carriers of Unspecified Assumptions
in Medical Cyber-Physical System Design Models},
journal = {{ACM} Trans. Cyber Phys. Syst.},
volume = {4},
number = {3},
pages = {24:1--24:25},
year = {2020},
url = {https://doi.org/10.1145/3375405},
doi = {10.1145/3375405},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcps/FuGZRS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/WanKHSV20,
author = {Wenbin Wan and
Hunmin Kim and
Naira Hovakimyan and
Lui Sha and
Petros G. Voulgaris},
title = {A Safety Constrained Control Framework for UAVs in {GPS} Denied Environment},
booktitle = {59th {IEEE} Conference on Decision and Control, {CDC} 2020, Jeju Island,
South Korea, December 14-18, 2020},
pages = {214--219},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/CDC42340.2020.9304304},
doi = {10.1109/CDC42340.2020.9304304},
timestamp = {Fri, 04 Mar 2022 13:31:02 +0100},
biburl = {https://dblp.org/rec/conf/cdc/WanKHSV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meco/TabishWP0YCS20,
author = {Rohan Tabish and
Jen{-}Yang Wen and
Rodolfo Pellizzoni and
Renato Mancuso and
Heechul Yun and
Marco Caccamo and
Lui Sha},
title = {SCE-Comm: {A} Real-Time Inter-Core Communication Framework for Strictly
Partitioned Multi-core Processors},
booktitle = {9th Mediterranean Conference on Embedded Computing, {MECO} 2020, Budva,
Montenegro, June 8-11, 2020},
pages = {1--6},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/MECO49872.2020.9134178},
doi = {10.1109/MECO49872.2020.9134178},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meco/TabishWP0YCS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/LiuYFTYBYSA20,
author = {Shengzhong Liu and
Shuochao Yao and
Xinzhe Fu and
Rohan Tabish and
Simon Yu and
Ayoosh Bansal and
Heechul Yun and
Lui Sha and
Tarek F. Abdelzaher},
title = {On Removing Algorithmic Priority Inversion from Mission-critical Machine
Inference Pipelines},
booktitle = {41st {IEEE} Real-Time Systems Symposium, {RTSS} 2020, Houston, TX,
USA, December 1-4, 2020},
pages = {319--332},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/RTSS49844.2020.00037},
doi = {10.1109/RTSS49844.2020.00037},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/LiuYFTYBYSA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-07697,
author = {Wenbin Wan and
Hunmin Kim and
Yikun Cheng and
Naira Hovakimyan and
Petros G. Voulgaris and
Lui Sha},
title = {Safety Constrained Multi-UAV Time Coordination: {A} Bi-level Control
Framework in {GPS} Denied Environment},
journal = {CoRR},
volume = {abs/2005.07697},
year = {2020},
url = {https://arxiv.org/abs/2005.07697},
eprinttype = {arXiv},
eprint = {2005.07697},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-07697.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-01627,
author = {Yanbing Mao and
Naira Hovakimyan and
Petros G. Voulgaris and
Lui Sha},
title = {Finite-Time Model-Learning Based L1-Simplex For Integrated {TCS} and
{ABS}},
journal = {CoRR},
volume = {abs/2008.01627},
year = {2020},
url = {https://arxiv.org/abs/2008.01627},
eprinttype = {arXiv},
eprint = {2008.01627},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-01627.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-12349,
author = {Hunmin Kim and
Wenbin Wan and
Naira Hovakimyan and
Lui Sha and
Petros G. Voulgaris},
title = {Robust Vehicle Lane Keeping Control with Networked Proactive Adaptation},
journal = {CoRR},
volume = {abs/2009.12349},
year = {2020},
url = {https://arxiv.org/abs/2009.12349},
eprinttype = {arXiv},
eprint = {2009.12349},
timestamp = {Wed, 30 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-12349.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-06616,
author = {Yanbing Mao and
Naira Hovakimyan and
Petros G. Voulgaris and
Lui Sha},
title = {Finite-Time Model Inference From {A} Single Noisy Trajectory},
journal = {CoRR},
volume = {abs/2010.06616},
year = {2020},
url = {https://arxiv.org/abs/2010.06616},
eprinttype = {arXiv},
eprint = {2010.06616},
timestamp = {Tue, 20 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-06616.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iotj/GuoFZRS19,
author = {Chunhui Guo and
Zhicheng Fu and
Zhenyu Zhang and
Shangping Ren and
Lui Sha},
title = {Design Verifiably Correct Model Patterns to Facilitate Modeling Medical
Best Practice Guidelines With Statecharts},
journal = {{IEEE} Internet Things J.},
volume = {6},
number = {4},
pages = {6276--6284},
year = {2019},
url = {https://doi.org/10.1109/JIOT.2018.2879475},
doi = {10.1109/JIOT.2018.2879475},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iotj/GuoFZRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/KimASBHD19,
author = {Jung{-}Eun Kim and
Tarek F. Abdelzaher and
Lui Sha and
Amotz Bar{-}Noy and
Reginald L. Hobbs and
William Dron},
title = {Decision-driven scheduling},
journal = {Real Time Syst.},
volume = {55},
number = {3},
pages = {514--551},
year = {2019},
url = {https://doi.org/10.1007/s11241-018-09324-6},
doi = {10.1007/S11241-018-09324-6},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/KimASBHD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/JiangSYLGGSS19,
author = {Yu Jiang and
Houbing Song and
Yixiao Yang and
Han Liu and
Ming Gu and
Yong Guan and
Jiaguang Sun and
Lui Sha},
title = {Dependable Model-driven Development of {CPS:} From Stateflow Simulation
to Verified Implementation},
journal = {{ACM} Trans. Cyber Phys. Syst.},
volume = {3},
number = {1},
pages = {12:1--12:31},
year = {2019},
url = {https://doi.org/10.1145/3078623},
doi = {10.1145/3078623},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcps/JiangSYLGGSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/ChenFWLS19,
author = {Jiyang Chen and
Zhiwei Feng and
Jen{-}Yang Wen and
Bo Liu and
Lui Sha},
editor = {J{\"{u}}rgen Teich and
Franco Fummi},
title = {A Container-based DoS Attack-Resilient Control Framework for Real-Time
{UAV} Systems},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2019, Florence, Italy, March 25-29, 2019},
pages = {1222--1227},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.23919/DATE.2019.8714888},
doi = {10.23919/DATE.2019.8714888},
timestamp = {Wed, 15 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/ChenFWLS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-05348,
author = {Hyung{-}Jin Yoon and
Wenbin Wan and
Hunmin Kim and
Naira Hovakimyan and
Lui Sha and
Petros G. Voulgaris},
title = {Towards Resilient {UAV:} Escape Time in {GPS} Denied Environment with
Sensor Drift},
journal = {CoRR},
volume = {abs/1906.05348},
year = {2019},
url = {http://arxiv.org/abs/1906.05348},
eprinttype = {arXiv},
eprint = {1906.05348},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-05348.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-10493,
author = {Chunhui Guo and
Zhicheng Fu and
Zhenyu Zhang and
Shangping Ren and
Lui Sha},
title = {Formalism for Supporting the Development of Verifiably Safe Medical
Guidelines with Statecharts},
journal = {CoRR},
volume = {abs/1909.10493},
year = {2019},
url = {http://arxiv.org/abs/1909.10493},
eprinttype = {arXiv},
eprint = {1909.10493},
timestamp = {Sun, 12 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-10493.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-10826,
author = {Wenbin Wan and
Hunmin Kim and
Naira Hovakimyan and
Lui Sha and
Petros G. Voulgaris},
title = {A Safety Constrained Control Framework for UAVs in {GPS} Denied Environment},
journal = {CoRR},
volume = {abs/1910.10826},
year = {2019},
url = {http://arxiv.org/abs/1910.10826},
eprinttype = {arXiv},
eprint = {1910.10826},
timestamp = {Fri, 25 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-10826.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/GuJZGSS18,
author = {Zuxing Gu and
Yu Jiang and
Min Zhou and
Ming Gu and
Xiaoyu Song and
Lui Sha},
title = {A Cyber-Physical System Framework for Early Detection of Paroxysmal
Diseases},
journal = {{IEEE} Access},
volume = {6},
pages = {34834--34845},
year = {2018},
url = {https://doi.org/10.1109/ACCESS.2018.2850039},
doi = {10.1109/ACCESS.2018.2850039},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/GuJZGSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsan/LeeMAABDGHHKSYZ18,
author = {Jongdeog Lee and
Kelvin Marcus and
Tarek F. Abdelzaher and
Md. Tanvir Al Amin and
Amotz Bar{-}Noy and
William Dron and
Ramesh Govindan and
Reginald L. Hobbs and
Shaohan Hu and
Jung{-}Eun Kim and
Lui Sha and
Shuochao Yao and
Yiran Zhao},
title = {Athena: Towards Decision-Centric Anticipatory Sensor Information Delivery},
journal = {J. Sens. Actuator Networks},
volume = {7},
number = {1},
pages = {5},
year = {2018},
url = {https://doi.org/10.3390/jsan7010005},
doi = {10.3390/JSAN7010005},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsan/LeeMAABDGHHKSYZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/WangHS18,
author = {Xiaofeng Wang and
Naira Hovakimyan and
Lui Sha},
title = {RSimplex: {A} Robust Control Architecture for Cyber And Physical Failures},
journal = {{ACM} Trans. Cyber Phys. Syst.},
volume = {2},
number = {4},
pages = {27:1--27:26},
year = {2018},
url = {https://doi.org/10.1145/3121428},
doi = {10.1145/3121428},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcps/WangHS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tits/JiangLSKWGS18,
author = {Yu Jiang and
Han Liu and
Houbing Song and
Hui Kong and
Rui Wang and
Yong Guan and
Lui Sha},
title = {Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus
Controller},
journal = {{IEEE} Trans. Intell. Transp. Syst.},
volume = {19},
number = {10},
pages = {3320--3333},
year = {2018},
url = {https://doi.org/10.1109/TITS.2017.2778077},
doi = {10.1109/TITS.2017.2778077},
timestamp = {Mon, 09 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tits/JiangLSKWGS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/FuWGZRS18,
author = {Zhicheng Fu and
Zhao Wang and
Chunhui Guo and
Zhenyu Zhang and
Shangping Ren and
Lui Sha},
title = {\emph{IAfinder}: identifying potential implicit assumptions to facilitate
validation in medical cyber-physical system},
booktitle = {Proceedings of the 55th Annual Design Automation Conference, {DAC}
2018, San Francisco, CA, USA, June 24-29, 2018},
pages = {143:1--143:6},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3195970.3196062},
doi = {10.1145/3195970.3196062},
timestamp = {Wed, 15 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/FuWGZRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/GuoFZRS18,
author = {Chunhui Guo and
Zhicheng Fu and
Zhenyu Zhang and
Shangping Ren and
Lui Sha},
editor = {Chris Gill and
Bruno Sinopoli and
Xue Liu and
Paulo Tabuada},
title = {Model and integrate medical resource available times and relationships
in verifiably correct executable medical best practice guideline models},
booktitle = {Proceedings of the 9th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2018, Porto, Portugal, April 11-13, 2018},
pages = {253--262},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2018},
url = {https://doi.org/10.1109/ICCPS.2018.00032},
doi = {10.1109/ICCPS.2018.00032},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/GuoFZRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/OuR0SFR18,
author = {Andrew Yi{-}Zong Ou and
Maryam Rahmaniheris and
Yu Jiang and
Lui Sha and
Zhicheng Fu and
Shangping Ren},
editor = {Hisham M. Haddad and
Roger L. Wainwright and
Richard Chbeir},
title = {Safetrace: a safety-driven requirement traceability framework on device
interaction hazards for {MD} PnP},
booktitle = {Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing,
{SAC} 2018, Pau, France, April 09-13, 2018},
pages = {1282--1291},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3167132.3167270},
doi = {10.1145/3167132.3167270},
timestamp = {Wed, 25 Sep 2019 18:12:13 +0200},
biburl = {https://dblp.org/rec/conf/sac/OuR0SFR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-00074,
author = {Long Cheng and
Ke Tian and
Danfeng Yao and
Lui Sha and
Raheem A. Beyah},
title = {Checking is Believing: Event-Aware Program Anomaly Detection in Cyber-Physical
Systems},
journal = {CoRR},
volume = {abs/1805.00074},
year = {2018},
url = {http://arxiv.org/abs/1805.00074},
eprinttype = {arXiv},
eprint = {1805.00074},
timestamp = {Mon, 06 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-00074.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-00694,
author = {Chunhui Guo and
Zhicheng Fu and
Zhenyu Zhang and
Shangping Ren and
Lui Sha},
title = {Design Verifiably Correct Model Patterns to Facilitate Modeling Medical
Best Practice Guidelines with Statecharts (Technical Report)},
journal = {CoRR},
volume = {abs/1811.00694},
year = {2018},
url = {http://arxiv.org/abs/1811.00694},
eprinttype = {arXiv},
eprint = {1811.00694},
timestamp = {Wed, 15 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-00694.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-08061,
author = {Chunhui Guo and
Zhicheng Fu and
Zhenyu Zhang and
Shangping Ren and
Lui Sha},
title = {Model and Integrate Medical Resource Available Times and Relationships
in Verifiably Correct Executable Medical Best Practice Guideline Models
(Extended Version)},
journal = {CoRR},
volume = {abs/1811.08061},
year = {2018},
url = {http://arxiv.org/abs/1811.08061},
eprinttype = {arXiv},
eprint = {1811.08061},
timestamp = {Wed, 15 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-08061.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-08064,
author = {Chunhui Guo and
Zhicheng Fu and
Zhenyu Zhang and
Shangping Ren and
Lui Sha},
title = {Model and Integrate Medical Resource Availability into Verifiably
Correct Executable Medical Guidelines - Technical Report},
journal = {CoRR},
volume = {abs/1811.08064},
year = {2018},
url = {http://arxiv.org/abs/1811.08064},
eprinttype = {arXiv},
eprint = {1811.08064},
timestamp = {Wed, 15 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-08064.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-02834,
author = {Jiyang Chen and
Zhiwei Feng and
Jen{-}Yang Wen and
Bo Liu and
Lui Sha},
title = {A Container-based DoS Attack-Resilient Control Framework for Real-Time
{UAV} Systems},
journal = {CoRR},
volume = {abs/1812.02834},
year = {2018},
url = {http://arxiv.org/abs/1812.02834},
eprinttype = {arXiv},
eprint = {1812.02834},
timestamp = {Wed, 15 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-02834.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jms/OuJWSB17,
author = {Andrew Y.{-}Z. Ou and
Yu Jiang and
Po{-}Liang Wu and
Lui Sha and
Richard B. Berlin Jr.},
title = {Preventable Medical Errors Driven Modeling of Medical Best Practice
Guidance Systems},
journal = {J. Medical Syst.},
volume = {41},
number = {1},
pages = {9:1--9:12},
year = {2017},
url = {https://doi.org/10.1007/s10916-016-0614-2},
doi = {10.1007/S10916-016-0614-2},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jms/OuJWSB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jms/WuNCKSB17,
author = {Po{-}Liang Wu and
Min{-}Young Nam and
Jeonghwan Choi and
Alex Kirlik and
Lui Sha and
Richard B. Berlin Jr.},
title = {Supporting Emergency Medical Care Teams with an Integrated Status
Display Providing Real-Time Access to Medical Best Practices, Workflow
Tracking, and Patient Data},
journal = {J. Medical Syst.},
volume = {41},
number = {12},
pages = {186:1--186:19},
year = {2017},
url = {https://doi.org/10.1007/s10916-017-0829-x},
doi = {10.1007/S10916-017-0829-X},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jms/WuNCKSB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/WangGHWMKWSSA17,
author = {Hongwei Wang and
Yunlong Gao and
Shaohan Hu and
Shiguang Wang and
Renato Mancuso and
Minje Kim and
Po{-}Liang Wu and
Lu Su and
Lui Sha and
Tarek F. Abdelzaher},
title = {On Exploiting Structured Human Interactions to Enhance Sensing Accuracy
in Cyber-physical Systems},
journal = {{ACM} Trans. Cyber Phys. Syst.},
volume = {1},
number = {3},
pages = {16:1--16:19},
year = {2017},
url = {https://doi.org/10.1145/3064006},
doi = {10.1145/3064006},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcps/WangGHWMKWSSA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/JiangSWGSS17,
author = {Yu Jiang and
Houbing Song and
Rui Wang and
Ming Gu and
Jiaguang Sun and
Lui Sha},
title = {Data-Centered Runtime Verification of Wireless Medical Cyber-Physical
System},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {13},
number = {4},
pages = {1900--1909},
year = {2017},
url = {https://doi.org/10.1109/TII.2016.2573762},
doi = {10.1109/TII.2016.2573762},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tii/JiangSWGSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmm/HosseiniJBSS17,
author = {Mohammad Hosseini and
Yu Jiang and
Richard R. Berlin and
Lui Sha and
Houbing Song},
title = {Toward Physiology-Aware {DASH:} Bandwidth-Compliant Prioritized Clinical
Multimedia Communication in Ambulances},
journal = {{IEEE} Trans. Multim.},
volume = {19},
number = {10},
pages = {2307--2321},
year = {2017},
url = {https://doi.org/10.1109/TMM.2017.2733298},
doi = {10.1109/TMM.2017.2733298},
timestamp = {Thu, 01 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tmm/HosseiniJBSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbms/GuoFRJRS17,
author = {Chunhui Guo and
Zhicheng Fu and
Shangping Ren and
Yu Jiang and
Maryam Rahmaniheris and
Lui Sha},
editor = {Panagiotis D. Bamidis and
Stathis Th. Konstantinidis and
Pedro Pereira Rodrigues},
title = {Pattern-Based Statechart Modeling Approach for Medical Best Practice
Guidelines - {A} Case Study},
booktitle = {30th {IEEE} International Symposium on Computer-Based Medical Systems,
{CBMS} 2017, Thessaloniki, Greece, June 22-24, 2017},
pages = {117--122},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/CBMS.2017.14},
doi = {10.1109/CBMS.2017.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cbms/GuoFRJRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbms/FuGROS17,
author = {Zhicheng Fu and
Chunhui Guo and
Shangping Ren and
Yizong Ou and
Lui Sha},
editor = {Panagiotis D. Bamidis and
Stathis Th. Konstantinidis and
Pedro Pereira Rodrigues},
title = {Modeling and Integrating Human Interaction Assumptions in Medical
Cyber-Physical System Design},
booktitle = {30th {IEEE} International Symposium on Computer-Based Medical Systems,
{CBMS} 2017, Thessaloniki, Greece, June 22-24, 2017},
pages = {373--378},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/CBMS.2017.50},
doi = {10.1109/CBMS.2017.50},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cbms/FuGROS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/Sha17,
author = {Lui Sha},
editor = {Taesoo Kim and
Cliff Wang and
Dinghao Wu},
title = {{CPS} Runtime Architecture And Automated Transformation of Applications},
booktitle = {Proceedings of the 2017 Workshop on Forming an Ecosystem Around Software
Transformation, FEAST@CCS 2017, Dallas, TX, USA, November 3, 2017},
pages = {31--34},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3141235.3141238},
doi = {10.1145/3141235.3141238},
timestamp = {Tue, 10 Nov 2020 16:06:16 +0100},
biburl = {https://dblp.org/rec/conf/ccs/Sha17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chase/HosseiniBJS17,
author = {Mohammad Hosseini and
Richard R. Berlin and
Yu Jiang and
Lui Sha},
editor = {Paolo Bonato and
Honggang Wang},
title = {Adaptive Clinical Data Communication for Remote Monitoring in Rural
Ambulance Transport},
booktitle = {Proceedings of the Second {IEEE/ACM} International Conference on Connected
Health: Applications, Systems and Engineering Technologies, {CHASE}
2017, Philadelphia, PA, USA, July 17-19, 2017},
pages = {245--246},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2017},
url = {https://doi.org/10.1109/CHASE.2017.85},
doi = {10.1109/CHASE.2017.85},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/chase/HosseiniBJS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/GuoFRJS17,
author = {Chunhui Guo and
Zhicheng Fu and
Shangping Ren and
Yu Jiang and
Lui Sha},
editor = {Sorel Reisman and
Sheikh Iqbal Ahamed and
Claudio Demartini and
Thomas M. Conte and
Ling Liu and
William R. Claycomb and
Motonori Nakamura and
Edmundo Tovar and
Stelvio Cimato and
Chung{-}Horng Lung and
Hiroki Takakura and
Ji{-}Jiang Yang and
Toyokazu Akiyama and
Zhiyong Zhang and
Kamrul Hasan},
title = {Towards Verifiable Safe and Correct Medical Best Practice Guideline
Systems},
booktitle = {41st {IEEE} Annual Computer Software and Applications Conference,
{COMPSAC} 2017, Turin, Italy, July 4-8, 2017. Volume 1},
pages = {760--765},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/COMPSAC.2017.253},
doi = {10.1109/COMPSAC.2017.253},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/GuoFRJS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/KimBAS17,
author = {Jung{-}Eun Kim and
Richard M. Bradford and
Tarek F. Abdelzaher and
Lui Sha},
editor = {David Atienza and
Giorgio Di Natale},
title = {A schedulability test for software migration on multicore system},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2017, Lausanne, Switzerland, March 27-31, 2017},
pages = {1261--1264},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/DATE.2017.7927184},
doi = {10.23919/DATE.2017.7927184},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/KimBAS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/FuGRJS17,
author = {Zhicheng Fu and
Chunhui Guo and
Shangping Ren and
Yu Jiang and
Lui Sha},
editor = {David Atienza and
Giorgio Di Natale},
title = {Modeling and integrating physical environment assumptions in medical
cyber-physical system design},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2017, Lausanne, Switzerland, March 27-31, 2017},
pages = {1615--1618},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/DATE.2017.7927249},
doi = {10.23919/DATE.2017.7927249},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/FuGRJS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/OuRJWS17,
author = {Andrew Y.{-}Z. Ou and
Maryam Rahmaniheris and
Yu Jiang and
Po{-}Liang Wu and
Lui Sha},
editor = {Sri Parameswaran},
title = {Toward safe interoperations in network connected medical cyber-physical
systems using open-loop safe protocols},
booktitle = {2017 {IEEE/ACM} International Conference on Computer-Aided Design,
{ICCAD} 2017, Irvine, CA, USA, November 13-16, 2017},
pages = {957--963},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ICCAD.2017.8203884},
doi = {10.1109/ICCAD.2017.8203884},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/iccad/OuRJWS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/GuoFZRS17,
author = {Chunhui Guo and
Zhicheng Fu and
Zhenyu Zhang and
Shangping Ren and
Lui Sha},
editor = {Sri Parameswaran},
title = {Model and integrate medical resource availability into verifiably
correct executable medical guidelines},
booktitle = {2017 {IEEE/ACM} International Conference on Computer-Aided Design,
{ICCAD} 2017, Irvine, CA, USA, November 13-16, 2017},
pages = {964--969},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ICCAD.2017.8203885},
doi = {10.1109/ICCAD.2017.8203885},
timestamp = {Wed, 15 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccad/GuoFZRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/HosseiniBS17,
author = {Mohammad Hosseini and
Richard R. Berlin and
Lui Sha},
editor = {Sonia Mart{\'{\i}}nez and
Eduardo Tovar and
Chris Gill and
Bruno Sinopoli},
title = {A physiology-aware communication architecture for distributed emergency
medical {CPS}},
booktitle = {Proceedings of the 8th International Conference on Cyber-Physical
Systems, {ICCPS} 2017, Pittsburgh, Pennsylvania, USA, April 18-20,
2017},
pages = {83},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3055004.3064841},
doi = {10.1145/3055004.3064841},
timestamp = {Fri, 03 Sep 2021 09:01:40 +0200},
biburl = {https://dblp.org/rec/conf/iccps/HosseiniBS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/YoonLHS17,
author = {Man{-}Ki Yoon and
Bo Liu and
Naira Hovakimyan and
Lui Sha},
editor = {Sonia Mart{\'{\i}}nez and
Eduardo Tovar and
Chris Gill and
Bruno Sinopoli},
title = {VirtualDrone: virtual sensing, actuation, and communication for attack-resilient
unmanned aerial systems},
booktitle = {Proceedings of the 8th International Conference on Cyber-Physical
Systems, {ICCPS} 2017, Pittsburgh, Pennsylvania, USA, April 18-20,
2017},
pages = {143--154},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3055004.3055010},
doi = {10.1145/3055004.3055010},
timestamp = {Wed, 15 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/YoonLHS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/FuGRJS17,
author = {Zhicheng Fu and
Chunhui Guo and
Shangping Ren and
Yu Jiang and
Lui Sha},
title = {Study of Software-Related Causes in the {FDA} Medical Device Recalls},
booktitle = {22nd International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2017, Fukuoka, Japan, November 5-8, 2017},
pages = {60--69},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICECCS.2017.20},
doi = {10.1109/ICECCS.2017.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/FuGRJS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ichi/HosseiniBS17,
author = {Mohammad Hosseini and
Richard B. Berlin Jr. and
Lui Sha},
title = {Physiology-Aware Rural Ambulance Routing},
booktitle = {2017 {IEEE} International Conference on Healthcare Informatics, {ICHI}
2017, Park City, UT, USA, August 23-26, 2017},
pages = {332--337},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICHI.2017.27},
doi = {10.1109/ICHI.2017.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ichi/HosseiniBS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iotdi/YoonMCCS17,
author = {Man{-}Ki Yoon and
Sibin Mohan and
Jaesik Choi and
Mihai Christodorescu and
Lui Sha},
editor = {Tarek F. Abdelzaher and
P. R. Kumar and
Alejandro P. Buchmann and
Chenyang Lu},
title = {Learning Execution Contexts from System Call Distribution for Anomaly
Detection in Smart Embedded System},
booktitle = {Proceedings of the Second International Conference on Internet-of-Things
Design and Implementation, IoTDI 2017, Pittsburgh, PA, USA, April
18-21, 2017},
pages = {191--196},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3054977.3054999},
doi = {10.1145/3054977.3054999},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iotdi/YoonMCCS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmsys/HosseiniJYBS17,
author = {Mohammad Hosseini and
Yu Jiang and
Ali Yekkehkhany and
Richard R. Berlin and
Lui Sha},
title = {A Mobile Geo-Communication Dataset for Physiology-Aware {DASH} in
Rural Ambulance Transport},
booktitle = {Proceedings of the 8th {ACM} on Multimedia Systems Conference, MMSys
2017, Taipei, Taiwan, June 20-23, 2017},
pages = {158--163},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3083187.3083211},
doi = {10.1145/3083187.3083211},
timestamp = {Tue, 06 Nov 2018 11:07:10 +0100},
biburl = {https://dblp.org/rec/conf/mmsys/HosseiniJYBS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HosseiniJYBS17,
author = {Mohammad Hosseini and
Yu Jiang and
Ali Yekkehkhany and
Richard R. Berlin and
Lui Sha},
title = {A Mobile Geo-Communication Dataset for Physiology-Aware {DASH} in
Rural Ambulance Transport},
journal = {CoRR},
volume = {abs/1706.05288},
year = {2017},
url = {http://arxiv.org/abs/1706.05288},
eprinttype = {arXiv},
eprint = {1706.05288},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HosseiniJYBS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HosseiniBS17,
author = {Mohammad Hosseini and
Richard B. Berlin Jr. and
Lui Sha},
title = {Physiology-Aware Rural Ambulance Routing},
journal = {CoRR},
volume = {abs/1706.10290},
year = {2017},
url = {http://arxiv.org/abs/1706.10290},
eprinttype = {arXiv},
eprint = {1706.10290},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HosseiniBS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HosseiniJBSS17,
author = {Mohammad Hosseini and
Yu Jiang and
Richard R. Berlin and
Lui Sha and
Houbing Song},
title = {Towards Physiology-Aware {DASH:} Bandwidth-Compliant Prioritized Clinical
Multimedia Communication in Ambulances},
journal = {CoRR},
volume = {abs/1707.04918},
year = {2017},
url = {http://arxiv.org/abs/1707.04918},
eprinttype = {arXiv},
eprint = {1707.04918},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HosseiniJBSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-09192,
author = {Mohammad Hosseini and
Richard R. Berlin and
Lui Sha and
Axel Terfloth and
Houbing Song},
title = {Communication and Synchronization of Distributed Medical Models: Design,
Development, and Performance Analysis},
journal = {CoRR},
volume = {abs/1711.09192},
year = {2017},
url = {http://arxiv.org/abs/1711.09192},
eprinttype = {arXiv},
eprint = {1711.09192},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-09192.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/ShaCMKYPYKPAB16,
author = {Lui Sha and
Marco Caccamo and
Renato Mancuso and
Jung{-}Eun Kim and
Man{-}Ki Yoon and
Rodolfo Pellizzoni and
Heechul Yun and
Russell Kegley and
Dennis R. Perlman and
Greg Arundale and
Richard M. Bradford},
title = {Real-Time Computing on Multicore Processors},
journal = {Computer},
volume = {49},
number = {9},
pages = {69--77},
year = {2016},
url = {https://doi.org/10.1109/MC.2016.271},
doi = {10.1109/MC.2016.271},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/ShaCMKYPYKPAB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jms/JiangSRWHTB16,
author = {Yu Jiang and
Lui Sha and
Maryam Rahmaniheris and
Binhua Wan and
Mohammad Hosseini and
Pengliu Tan and
Richard B. Berlin Jr.},
title = {Sepsis Patient Detection and Monitor Based on Auto-BN},
journal = {J. Medical Syst.},
volume = {40},
number = {4},
pages = {111:1--111:10},
year = {2016},
url = {https://doi.org/10.1007/s10916-016-0444-2},
doi = {10.1007/S10916-016-0444-2},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jms/JiangSRWHTB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jms/HosseiniJWBRS16,
author = {Mohammad Hosseini and
Yu Jiang and
Po{-}Liang Wu and
Richard B. Berlin Jr. and
Shangping Ren and
Lui Sha},
title = {A Pathophysiological Model-Driven Communication for Dynamic Distributed
Medical Best Practice Guidance Systems},
journal = {J. Medical Syst.},
volume = {40},
number = {11},
pages = {227:1--227:17},
year = {2016},
url = {https://doi.org/10.1007/s10916-016-0583-5},
doi = {10.1007/S10916-016-0583-5},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jms/HosseiniJWBRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/YunYPCS16,
author = {Heechul Yun and
Gang Yao and
Rodolfo Pellizzoni and
Marco Caccamo and
Lui Sha},
title = {Memory Bandwidth Management for Efficient Performance Isolation in
Multi-Core Platforms},
journal = {{IEEE} Trans. Computers},
volume = {65},
number = {2},
pages = {562--576},
year = {2016},
url = {https://doi.org/10.1109/TC.2015.2425889},
doi = {10.1109/TC.2015.2425889},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/YunYPCS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/YaoYWPCS16,
author = {Gang Yao and
Heechul Yun and
Zheng Pei Wu and
Rodolfo Pellizzoni and
Marco Caccamo and
Lui Sha},
title = {Schedulability Analysis for Memory Bandwidth Regulated Multicore Real-Time
Systems},
journal = {{IEEE} Trans. Computers},
volume = {65},
number = {2},
pages = {601--614},
year = {2016},
url = {https://doi.org/10.1109/TC.2015.2425874},
doi = {10.1109/TC.2015.2425874},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/YaoYWPCS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/JohnsonBCS16,
author = {Taylor T. Johnson and
Stanley Bak and
Marco Caccamo and
Lui Sha},
title = {Real-Time Reachability for Verified Simplex Design},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {15},
number = {2},
pages = {26:1--26:27},
year = {2016},
url = {https://doi.org/10.1145/2723871},
doi = {10.1145/2723871},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/JohnsonBCS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bibm/GuSJCHSG16,
author = {Zuxing Gu and
Hong Song and
Yu Jiang and
Jeonghone Choi and
Hongjiang He and
Lui Sha and
Ming Gu},
editor = {Tianhai Tian and
Qinghua Jiang and
Yunlong Liu and
Kevin Burrage and
Jiangning Song and
Yadong Wang and
Xiaohua Hu and
Shinichi Morishita and
Qian Zhu and
Guohua Wang},
title = {An integrated Medical {CPS} for early detection of paroxysmal sympathetic
hyperactivity},
booktitle = {{IEEE} International Conference on Bioinformatics and Biomedicine,
{BIBM} 2016, Shenzhen, China, December 15-18, 2016},
pages = {818--822},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/BIBM.2016.7822630},
doi = {10.1109/BIBM.2016.7822630},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bibm/GuSJCHSG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbms/JiangTSWHS16,
author = {Yu Jiang and
Pengliu Tan and
Houbing Song and
Binhua Wan and
Mohammad Hosseini and
Lui Sha},
title = {A Self-Adaptively Evolutionary Screening Approach for Sepsis Patient},
booktitle = {29th {IEEE} International Symposium on Computer-Based Medical Systems,
{CBMS} 2016, Belfast, {UK} and Dublin, Ireland, June 20-24, 2016},
pages = {60--65},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/CBMS.2016.8},
doi = {10.1109/CBMS.2016.8},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cbms/JiangTSWHS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbms/RahmaniherisWSB16,
author = {Maryam Rahmaniheris and
Po{-}Liang Wu and
Lui Sha and
Richard R. Berlin},
title = {An Organ-Centric Best Practice Assist System for Acute Care},
booktitle = {29th {IEEE} International Symposium on Computer-Based Medical Systems,
{CBMS} 2016, Belfast, {UK} and Dublin, Ireland, June 20-24, 2016},
pages = {100--105},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/CBMS.2016.12},
doi = {10.1109/CBMS.2016.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cbms/RahmaniherisWSB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/JiangLSKGSS16,
author = {Yu Jiang and
Han Liu and
Houbing Song and
Hui Kong and
Ming Gu and
Jiaguang Sun and
Lui Sha},
editor = {John S. Fitzgerald and
Constance L. Heitmeyer and
Stefania Gnesi and
Anna Philippou},
title = {Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle
Bus Controller},
booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9995},
pages = {757--763},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48989-6\_47},
doi = {10.1007/978-3-319-48989-6\_47},
timestamp = {Mon, 09 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/JiangLSKGSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/GuoRJWSB16,
author = {Chunhui Guo and
Shangping Ren and
Yu Jiang and
Po{-}Liang Wu and
Lui Sha and
Richard B. Berlin Jr.},
title = {Transforming Medical Best Practice Guidelines to Executable and Verifiable
Statechart Models},
booktitle = {7th {ACM/IEEE} International Conference on Cyber-Physical Systems,
{ICCPS} 2016, Vienna, Austria, April 11-14, 2016},
pages = {34:1--34:10},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICCPS.2016.7479121},
doi = {10.1109/ICCPS.2016.7479121},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/GuoRJWSB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/JiangLKWHSS16,
author = {Yu Jiang and
Han Liu and
Hui Kong and
Rui Wang and
Mohammad Hosseini and
Jia{-}Guang Sun and
Lui Sha},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {Use runtime verification to improve the quality of medical care practice},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume},
pages = {112--121},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2889160.2889233},
doi = {10.1145/2889160.2889233},
timestamp = {Mon, 09 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/JiangLKWHSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/YoonMCS16,
author = {Man{-}Ki Yoon and
Sibin Mohan and
Chien{-}Ying Chen and
Lui Sha},
title = {TaskShuffler: {A} Schedule Randomization Protocol for Obfuscation
against Timing Inference Attacks in Real-Time Systems},
booktitle = {2016 {IEEE} Real-Time and Embedded Technology and Applications Symposium
(RTAS), Vienna, Austria, April 11-14, 2016},
pages = {111--122},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/RTAS.2016.7461362},
doi = {10.1109/RTAS.2016.7461362},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/YoonMCS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/JiangYLKGSS16,
author = {Yu Jiang and
Yixiao Yang and
Han Liu and
Hui Kong and
Ming Gu and
Jia{-}Guang Sun and
Lui Sha},
title = {From Stateflow Simulation to Verified Implementation: {A} Verification
Approach and {A} Real-Time Train Controller Design},
booktitle = {2016 {IEEE} Real-Time and Embedded Technology and Applications Symposium
(RTAS), Vienna, Austria, April 11-14, 2016},
pages = {231--241},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/RTAS.2016.7461337},
doi = {10.1109/RTAS.2016.7461337},
timestamp = {Sat, 07 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rtas/JiangYLKGSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/KimASBHD16,
author = {Jung{-}Eun Kim and
Tarek F. Abdelzaher and
Lui Sha and
Amotz Bar{-}Noy and
Reginald L. Hobbs and
William Dron},
title = {On Maximizing Quality of Information for the Internet of Things: {A}
Real-Time Scheduling Perspective (Invited Paper)},
booktitle = {22nd {IEEE} International Conference on Embedded and Real-Time Computing
Systems and Applications, {RTCSA} 2016, Daegu, South Korea, August
17-19, 2016},
pages = {202--211},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/RTCSA.2016.47},
doi = {10.1109/RTCSA.2016.47},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/KimASBHD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/KimASBH16,
author = {Jung{-}Eun Kim and
Tarek F. Abdelzaher and
Lui Sha and
Amotz Bar{-}Noy and
Reginald L. Hobbs},
title = {Sporadic Decision-Centric Data Scheduling with Normally-off Sensors},
booktitle = {2016 {IEEE} Real-Time Systems Symposium, {RTSS} 2016, Porto, Portugal,
November 29 - December 2, 2016},
pages = {135--145},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/RTSS.2016.022},
doi = {10.1109/RTSS.2016.022},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/KimASBH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/OuJWSB16,
author = {Andrew Y.{-}Z. Ou and
Yu Jiang and
Po{-}Liang Wu and
Lui Sha and
Richard B. Berlin Jr.},
title = {Using human intellectual tasks as guidelines to systematically model
medical cyber-physical systems},
booktitle = {2016 {IEEE} International Conference on Systems, Man, and Cybernetics,
{SMC} 2016, Budapest, Hungary, October 9-12, 2016},
pages = {4394--4399},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/SMC.2016.7844922},
doi = {10.1109/SMC.2016.7844922},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/smc/OuJWSB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/systor/YoonCSM16,
author = {Man{-}Ki Yoon and
Mihai Christodorescu and
Lui Sha and
Sibin Mohan},
title = {The DragonBeam Framework: Hardware-Protected Security Modules for
In-Place Intrusion Detection},
booktitle = {Proceedings of the 9th {ACM} International on Systems and Storage
Conference, {SYSTOR} 2016, Haifa, Israel, June 6-8, 2016},
pages = {1:1--1:12},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2928275.2928290},
doi = {10.1145/2928275.2928290},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/systor/YoonCSM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HosseiniJWBRS16,
author = {Mohammad Hosseini and
Yu Jiang and
Po{-}Liang Wu and
Richard B. Berlin Jr. and
Shangping Ren and
Lui Sha},
title = {A Pathophysiological Model-Driven Communication for Dynamic Distributed
Medical Best Practice Guidance Systems},
journal = {CoRR},
volume = {abs/1608.04661},
year = {2016},
url = {http://arxiv.org/abs/1608.04661},
eprinttype = {arXiv},
eprint = {1608.04661},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HosseiniJWBRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RahmaniherisJS16,
author = {Maryam Rahmaniheris and
Yu Jiang and
Lui Sha},
title = {Model-Driven Design of Clinical Guidance Systems},
journal = {CoRR},
volume = {abs/1610.06895},
year = {2016},
url = {http://arxiv.org/abs/1610.06895},
eprinttype = {arXiv},
eprint = {1610.06895},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RahmaniherisJS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/KangWHPS15,
author = {Kyungtae Kang and
Qixin Wang and
Junbeom Hur and
Kyung{-}Joon Park and
Lui Sha},
title = {Medical-Grade Quality of Service for Real-Time Mobile Healthcare},
journal = {Computer},
volume = {48},
number = {2},
pages = {41--49},
year = {2015},
url = {https://doi.org/10.1109/MC.2015.52},
doi = {10.1109/MC.2015.52},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/KangWHPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sj/KangNS15,
author = {Kyungtae Kang and
Min{-}Young Nam and
Lui Sha},
title = {Worst Case Analysis of Packet Delay in Avionics Systems for Environmental
Monitoring},
journal = {{IEEE} Syst. J.},
volume = {9},
number = {4},
pages = {1354--1362},
year = {2015},
url = {https://doi.org/10.1109/JSYST.2014.2336872},
doi = {10.1109/JSYST.2014.2336872},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sj/KangNS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/titb/KangSBG15,
author = {Woochul Kang and
Lui Sha and
Richard B. Berlin Jr. and
Julian M. Goldman},
title = {The Design of Safe Networked Supervisory Medical Systems Using Organ-Centric
Hierarchical Control Architecture},
journal = {{IEEE} J. Biomed. Health Informatics},
volume = {19},
number = {3},
pages = {1077--1086},
year = {2015},
url = {https://doi.org/10.1109/JBHI.2014.2333778},
doi = {10.1109/JBHI.2014.2333778},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/titb/KangSBG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/YoonSMC15,
author = {Man{-}Ki Yoon and
Lui Sha and
Sibin Mohan and
Jaesik Choi},
title = {Memory heat map: anomaly detection in real-time embedded systems using
memory behavior},
booktitle = {Proceedings of the 52nd Annual Design Automation Conference, San Francisco,
CA, USA, June 7-11, 2015},
pages = {35:1--35:6},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2744769.2744869},
doi = {10.1145/2744769.2744869},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/YoonSMC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/KimAS15,
author = {Jung{-}Eun Kim and
Tarek F. Abdelzaher and
Lui Sha},
editor = {Wolfgang Nebel and
David Atienza},
title = {Schedulability bound for integrated modular avionics partitions},
booktitle = {Proceedings of the 2015 Design, Automation {\&} Test in Europe
Conference {\&} Exhibition, {DATE} 2015, Grenoble, France, March
9-13, 2015},
pages = {37--42},
publisher = {{ACM}},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2755762},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/KimAS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/MancusoPCSY15,
author = {Renato Mancuso and
Rodolfo Pellizzoni and
Marco Caccamo and
Lui Sha and
Heechul Yun},
title = {WCET(m) Estimation in Multi-core Systems Using Single Core Equivalence},
booktitle = {27th Euromicro Conference on Real-Time Systems, {ECRTS} 2015, Lund,
Sweden, July 8-10, 2015},
pages = {174--183},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ECRTS.2015.23},
doi = {10.1109/ECRTS.2015.23},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/MancusoPCSY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/WuSBG15,
author = {Po{-}Liang Wu and
Lui Sha and
Richard B. Berlin Jr. and
Julian M. Goldman},
title = {Safe Workflow Adaptation and Validation Protocol for Medical Cyber-Physical
Systems},
booktitle = {41st Euromicro Conference on Software Engineering and Advanced Applications,
{EUROMICRO-SEAA} 2015, Madeira, Portugal, August 26-28, 2015},
pages = {464--471},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SEAA.2015.27},
doi = {10.1109/SEAA.2015.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/WuSBG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/GaoHMWKWSSA15,
author = {Yunlong Gao and
Shaohan Hu and
Renato Mancuso and
Hongwei Wang and
Minje Kim and
Po{-}Liang Wu and
Lu Su and
Lui Sha and
Tarek F. Abdelzaher},
editor = {Alexandre M. Bayen and
Michael S. Branicky},
title = {Exploiting structured human interactions to enhance estimation accuracy
in cyber-physical systems},
booktitle = {Proceedings of the {ACM/IEEE} Sixth International Conference on Cyber-Physical
Systems, {ICCPS} 2015, Seattle, WA, USA, April 14-16, 2015},
pages = {60--69},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2735960.2735965},
doi = {10.1145/2735960.2735965},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccps/GaoHMWKWSSA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/middleware/HosseiniJWBS15,
author = {Mohammad Hosseini and
Yu Jiang and
Po{-}Liang Wu and
Richard B. Berlin Jr. and
Lui Sha},
title = {SINk: {A} Middleware for Synchronization of Heterogeneous Software
Interfaces},
booktitle = {Proceedings of the 14th International Workshop on Adaptive and Reflective
Middleware, ARM@Middleware 2015, Vancouver, BC, Canada, December 7-11,
2015},
pages = {2:1--2:6},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2834965.2834967},
doi = {10.1145/2834965.2834967},
timestamp = {Tue, 06 Nov 2018 16:57:13 +0100},
biburl = {https://dblp.org/rec/conf/middleware/HosseiniJWBS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/KimAS15,
author = {Jung{-}Eun Kim and
Tarek F. Abdelzaher and
Lui Sha},
title = {Budgeted generalized rate monotonic analysis for the partitioned,
yet globally scheduled uniprocessor model},
booktitle = {21st {IEEE} Real-Time and Embedded Technology and Applications Symposium,
Seattle, WA, USA, April 13-16, 2015},
pages = {221--231},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/RTAS.2015.7108445},
doi = {10.1109/RTAS.2015.7108445},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/KimAS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/YoonMCCS15,
author = {Man{-}Ki Yoon and
Sibin Mohan and
Jaesik Choi and
Mihai Christodorescu and
Lui Sha},
title = {Intrusion Detection Using Execution Contexts Learned from System Call
Distributions of Real-Time Embedded Systems},
journal = {CoRR},
volume = {abs/1501.05963},
year = {2015},
url = {http://arxiv.org/abs/1501.05963},
eprinttype = {arXiv},
eprint = {1501.05963},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/YoonMCCS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HosseiniJWBS15,
author = {Mohammad Hosseini and
Yu Jiang and
Po{-}Liang Wu and
Richard B. Berlin Jr. and
Lui Sha},
title = {SINk: {A} Middleware for Synchronization of Heterogeneous Software
Interfaces},
journal = {CoRR},
volume = {abs/1510.05606},
year = {2015},
url = {http://arxiv.org/abs/1510.05606},
eprinttype = {arXiv},
eprint = {1510.05606},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HosseiniJWBS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/itiis/KangS14,
author = {Woochul Kang and
Lui Sha},
title = {qPALS: Quality-Aware Synchrony Protocol for Distributed Real-Time
Systems},
journal = {{KSII} Trans. Internet Inf. Syst.},
volume = {8},
number = {10},
pages = {3361--3377},
year = {2014},
url = {https://doi.org/10.3837/tiis.2014.10.004},
doi = {10.3837/TIIS.2014.10.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/itiis/KangS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/NamLPSK14,
author = {Min{-}Young Nam and
Jaemyoun Lee and
Kyung{-}Joon Park and
Lui Sha and
Kyungtae Kang},
title = {Guaranteeing the End-to-End Latency of an {IMA} System with an Increasing
Workload},
journal = {{IEEE} Trans. Computers},
volume = {63},
number = {6},
pages = {1460--1473},
year = {2014},
url = {https://doi.org/10.1109/TC.2012.300},
doi = {10.1109/TC.2012.300},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/NamLPSK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/KimYBS14,
author = {Jung{-}Eun Kim and
Man{-}Ki Yoon and
Richard M. Bradford and
Lui Sha},
title = {Integrated Modular Avionics {(IMA)} Partition Scheduling with Conflict-Free
{I/O} for Multicore Avionics Systems},
booktitle = {{IEEE} 38th Annual Computer Software and Applications Conference,
{COMPSAC} 2014, Vasteras, Sweden, July 21-25, 2014},
pages = {321--331},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/COMPSAC.2014.54},
doi = {10.1109/COMPSAC.2014.54},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/KimYBS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/WuRSBG14,
author = {Po{-}Liang Wu and
Dhashrath Raguraman and
Lui Sha and
Richard B. Berlin Jr. and
Julian M. Goldman},
title = {A Treatment Validation Protocol for Cyber-Physical-Human Medical Systems},
booktitle = {40th {EUROMICRO} Conference on Software Engineering and Advanced Applications,
{EUROMICRO-SEAA} 2014, Verona, Italy, August 27-29, 2014},
pages = {183--190},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SEAA.2014.10},
doi = {10.1109/SEAA.2014.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/WuRSBG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/WuRSBG14,
author = {Po{-}Liang Wu and
Dhashrath Raguraman and
Lui Sha and
Richard B. Berlin Jr. and
Julian M. Goldman},
title = {WiP abstract: {A} treatment coordination protocol for cyber-physical-human
medical systems},
booktitle = {{ACM/IEEE} International Conference on Cyber-Physical Systems, ICCPS,
Berlin, Germany, April 14-17, 2014},
pages = {226},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICCPS.2014.6843739},
doi = {10.1109/ICCPS.2014.6843739},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/WuRSBG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/BakJCS14,
author = {Stanley Bak and
Taylor T. Johnson and
Marco Caccamo and
Lui Sha},
title = {Real-Time Reachability for Verified Simplex Design},
booktitle = {Proceedings of the {IEEE} 35th {IEEE} Real-Time Systems Symposium,
{RTSS} 2014, Rome, Italy, December 2-5, 2014},
pages = {138--148},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/RTSS.2014.21},
doi = {10.1109/RTSS.2014.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/BakJCS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/KangPSW13,
author = {Kyungtae Kang and
Kyung{-}Joon Park and
Lui Sha and
Qixin Wang},
title = {Design of a crossbar {VOQ} real-time switch with clock-driven scheduling
for a guaranteed delay bound},
journal = {Real Time Syst.},
volume = {49},
number = {1},
pages = {117--135},
year = {2013},
url = {https://doi.org/10.1007/s11241-012-9169-6},
doi = {10.1007/S11241-012-9169-6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/KangPSW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/BettiBPCS13,
author = {Emiliano Betti and
Stanley Bak and
Rodolfo Pellizzoni and
Marco Caccamo and
Lui Sha},
title = {Real-Time {I/O} Management System with {COTS} Peripherals},
journal = {{IEEE} Trans. Computers},
volume = {62},
number = {1},
pages = {45--58},
year = {2013},
url = {https://doi.org/10.1109/TC.2011.202},
doi = {10.1109/TC.2011.202},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/BettiBPCS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/YaoLZS13,
author = {Jianguo Yao and
Xue Liu and
Guchuan Zhu and
Lui Sha},
title = {NetSimplex: Controller Fault Tolerance Architecture in Networked Control
Systems},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {9},
number = {1},
pages = {346--356},
year = {2013},
url = {https://doi.org/10.1109/TII.2012.2219060},
doi = {10.1109/TII.2012.2219060},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tii/YaoLZS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/titb/KangRHS13,
author = {Kyungtae Kang and
Junhee Ryu and
Junbeom Hur and
Lui Sha},
title = {Design and QoS of a Wireless System for Real-Time Remote Electrocardiography},
journal = {{IEEE} J. Biomed. Health Informatics},
volume = {17},
number = {3},
pages = {745--755},
year = {2013},
url = {https://doi.org/10.1109/JBHI.2013.2237782},
doi = {10.1109/JBHI.2013.2237782},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/titb/KangRHS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmc/KangNS13,
author = {Kyungtae Kang and
Min{-}Young Nam and
Lui Sha},
title = {Model-Based Analysis of Wireless System Architectures for Real-Time
Applications},
journal = {{IEEE} Trans. Mob. Comput.},
volume = {12},
number = {2},
pages = {219--232},
year = {2013},
url = {https://doi.org/10.1109/TMC.2011.260},
doi = {10.1109/TMC.2011.260},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tmc/KangNS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbms/KangWRSBG13,
author = {Woochul Kang and
Po{-}Liang Wu and
Maryam Rahmaniheris and
Lui Sha and
Richard B. Berlin Jr. and
Julian M. Goldman},
editor = {Pedro Pereira Rodrigues and
Mykola Pechenizkiy and
Jo{\~{a}}o Gama and
Ricardo Cruz{-}Correia and
Jiming Liu and
Agma J. M. Traina and
Peter J. F. Lucas and
Paolo Soda},
title = {Towards organ-centric compositional development of safe networked
supervisory medical systems},
booktitle = {Proceedings of the 26th {IEEE} International Symposium on Computer-Based
Medical Systems, Porto, Portugal, June 20-22, 2013},
pages = {143--148},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/CBMS.2013.6627779},
doi = {10.1109/CBMS.2013.6627779},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cbms/KangWRSBG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbms/RahmaniherisKLSBG13,
author = {Maryam Rahmaniheris and
Woochul Kang and
Lue{-}Jane Lee and
Lui Sha and
Richard B. Berlin Jr. and
Julian M. Goldman},
editor = {Pedro Pereira Rodrigues and
Mykola Pechenizkiy and
Jo{\~{a}}o Gama and
Ricardo Cruz{-}Correia and
Jiming Liu and
Agma J. M. Traina and
Peter J. F. Lucas and
Paolo Soda},
title = {Modeling and architecture design of an MDPnP acute care monitoring
system},
booktitle = {Proceedings of the 26th {IEEE} International Symposium on Computer-Based
Medical Systems, Porto, Portugal, June 20-22, 2013},
pages = {514--515},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/CBMS.2013.6627855},
doi = {10.1109/CBMS.2013.6627855},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cbms/RahmaniherisKLSBG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsna/AbadWLBCS0M13,
author = {Fardin Abdi Taghi Abad and
Joel van der Woude and
Yi Lu and
Stanley Bak and
Marco Caccamo and
Lui Sha and
Renato Mancuso and
Sibin Mohan},
title = {On-chip control flow integrity check for real time embedded systems},
booktitle = {1st {IEEE} International Conference on Cyber-Physical Systems, Networks,
and Applications, {CPSNA} 2013, Taipei, Taiwan, August 19-20, 2013},
pages = {26--31},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/CPSNA.2013.6614242},
doi = {10.1109/CPSNA.2013.6614242},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpsna/AbadWLBCS0M13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/KimYIBS13,
author = {Jung{-}Eun Kim and
Man{-}Ki Yoon and
Sungjin Im and
Richard M. Bradford and
Lui Sha},
editor = {Enrico Macii},
title = {Optimized scheduling of multi-IMA partitions with exclusive region
for synchronized real-time multi-core systems},
booktitle = {Design, Automation and Test in Europe, {DATE} 13, Grenoble, France,
March 18-22, 2013},
pages = {970--975},
publisher = {{EDA} Consortium San Jose, CA, {USA} / {ACM} {DL}},
year = {2013},
url = {https://doi.org/10.7873/DATE.2013.203},
doi = {10.7873/DATE.2013.203},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/KimYIBS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/YoonKBS13,
author = {Man{-}Ki Yoon and
Jung{-}Eun Kim and
Richard M. Bradford and
Lui Sha},
editor = {Enrico Macii},
title = {Holistic design parameter optimization of multiple periodic resources
in hierarchical scheduling},
booktitle = {Design, Automation and Test in Europe, {DATE} 13, Grenoble, France,
March 18-22, 2013},
pages = {1313--1318},
publisher = {{EDA} Consortium San Jose, CA, {USA} / {ACM} {DL}},
year = {2013},
url = {https://doi.org/10.7873/DATE.2013.271},
doi = {10.7873/DATE.2013.271},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/YoonKBS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/Al-NayeemKKWS13,
author = {Abdullah Al{-}Nayeem and
Cheolgi Kim and
Woochul Kang and
Po{-}Liang Wu and
Lui Sha},
editor = {Rolf Ernst and
Oleg Sokolsky},
title = {Middleware design for Physically-Asynchronous Logically-Synchronous
{(PALS)} systems},
booktitle = {Proceedings of the International Conference on Embedded Software,
{EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
pages = {5:1--5:10},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/EMSOFT.2013.6658583},
doi = {10.1109/EMSOFT.2013.6658583},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/Al-NayeemKKWS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicons/MohanBBYSC13,
author = {Sibin Mohan and
Stanley Bak and
Emiliano Betti and
Heechul Yun and
Lui Sha and
Marco Caccamo},
editor = {Linda Bushnell and
Larry Rohrbough and
Saurabh Amin and
Xenofon D. Koutsoukos},
title = {{S3A:} secure system simplex architecture for enhanced security and
robustness of cyber-physical systems},
booktitle = {2nd {ACM} International Conference on High Confidence Networked Systems
(part of {CPS} Week), HiCoNS 2013, Philadelphia, PA, USA, April 9-11,
2013},
pages = {65--74},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2461446.2461456},
doi = {10.1145/2461446.2461456},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hicons/MohanBBYSC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/WangHS13,
author = {Xiaofeng Wang and
Naira Hovakimyan and
Lui Sha},
editor = {Chenyang Lu and
P. R. Kumar and
Radu Stoleru},
title = {L1Simplex: fault-tolerant control of cyber-physical systems},
booktitle = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
(with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
8-11, 2013},
pages = {41--50},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2502524.2502531},
doi = {10.1145/2502524.2502531},
timestamp = {Sat, 26 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccps/WangHS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/WuKASBG13,
author = {Po{-}Liang Wu and
Woochul Kang and
Abdullah Al{-}Nayeem and
Lui Sha and
Richard B. Berlin Jr. and
Julian M. Goldman},
editor = {Chenyang Lu and
P. R. Kumar and
Radu Stoleru},
title = {A low complexity coordination architecture for networked supervisory
medical systems},
booktitle = {{ACM/IEEE} 4th International Conference on Cyber-Physical Systems
(with {CPS} Week 2013), {ICCPS} '13, Philadelphia, PA, USA, April
8-11, 2013},
pages = {89--98},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2502524.2502537},
doi = {10.1145/2502524.2502537},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/WuKASBG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/YoonMCKS13,
author = {Man{-}Ki Yoon and
Sibin Mohan and
Jaesik Choi and
Jung{-}Eun Kim and
Lui Sha},
title = {SecureCore: {A} multicore-based intrusion detection architecture for
real-time embedded systems},
booktitle = {19th {IEEE} Real-Time and Embedded Technology and Applications Symposium,
{RTAS} 2013, Philadelphia, PA, USA, April 9-11, 2013},
pages = {21--32},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/RTAS.2013.6531076},
doi = {10.1109/RTAS.2013.6531076},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/YoonMCKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/YunYPCS13,
author = {Heechul Yun and
Gang Yao and
Rodolfo Pellizzoni and
Marco Caccamo and
Lui Sha},
title = {MemGuard: Memory bandwidth reservation system for efficient performance
isolation in multi-core platforms},
booktitle = {19th {IEEE} Real-Time and Embedded Technology and Applications Symposium,
{RTAS} 2013, Philadelphia, PA, USA, April 9-11, 2013},
pages = {55--64},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/RTAS.2013.6531079},
doi = {10.1109/RTAS.2013.6531079},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/YunYPCS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/Sha13,
author = {Lui Sha},
title = {Keynote: "Re-engineering acute care"},
booktitle = {2013 {IEEE} 19th International Conference on Embedded and Real-Time
Computing Systems and Applications, {RTCSA} 2013, Taipei, Taiwan,
August 19-21, 2013},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/RTCSA.2013.6732197},
doi = {10.1109/RTCSA.2013.6732197},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/Sha13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/NamKPPKS12,
author = {Min{-}Young Nam and
Kyungtae Kang and
Rodolfo Pellizzoni and
Kyung{-}Joon Park and
Jung{-}Eun Kim and
Lui Sha},
title = {Modeling towards incremental early analyzability of networked avionics
systems using virtual integration},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {11},
number = {4},
pages = {81:1--81:23},
year = {2012},
url = {https://doi.org/10.1145/2362336.2362348},
doi = {10.1145/2362336.2362348},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/NamKPPKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bibm/KangNLPYS12,
author = {Kyungtae Kang and
Min{-}Young Nam and
Jaemyoun Lee and
Juyoung Park and
Homin Yoo and
Lui Sha},
title = {Model-based design of a wireless telemetry system and QoS assessment
using {AADL}},
booktitle = {2012 {IEEE} International Conference on Bioinformatics and Biomedicine
Workshops, {BIBMW} 2012, Philadelphia, USA, October 4-7, 2012},
pages = {748--749},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/BIBMW.2012.6470230},
doi = {10.1109/BIBMW.2012.6470230},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bibm/KangNLPYS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/YunYPCS12,
author = {Heechul Yun and
Gang Yao and
Rodolfo Pellizzoni and
Marco Caccamo and
Lui Sha},
editor = {Robert Davis},
title = {Memory Access Control in Multiprocessor for Real-Time Systems with
Mixed Criticality},
booktitle = {24th Euromicro Conference on Real-Time Systems, {ECRTS} 2012, Pisa,
Italy, July 11-13, 2012},
pages = {299--308},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ECRTS.2012.32},
doi = {10.1109/ECRTS.2012.32},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/YunYPCS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/Al-NayeemSCM12,
author = {Abdullah Al{-}Nayeem and
Lui Sha and
Darren D. Cofer and
Steven P. Miller},
title = {Pattern-Based Composition and Analysis of Virtually Synchronized Real-Time
Distributed Systems},
booktitle = {2012 {IEEE/ACM} Third International Conference on Cyber-Physical Systems,
{ICCPS} 2012, Beijing, China, April 17-19, 2012},
pages = {65--74},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICCPS.2012.15},
doi = {10.1109/ICCPS.2012.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/Al-NayeemSCM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/CoferGMWLS12,
author = {Darren D. Cofer and
Andrew Gacek and
Steven P. Miller and
Michael W. Whalen and
Brian LaValley and
Lui Sha},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Compositional Verification of Architectural Models},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {126--140},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_13},
doi = {10.1007/978-3-642-28891-3\_13},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/CoferGMWLS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secon/KimSRS12,
author = {Cheolgi Kim and
Mu Sun and
Maryam Rahmaniheris and
Lui Sha},
title = {How to reliably integrate medical devices over wireless},
booktitle = {9th Annual {IEEE} Communications Society Conference on Sensor, Mesh
and Ad Hoc Communications and Networks, {SECON} 2012, Seoul, Korea
(South), June 18-21, 2012},
pages = {85--87},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/SECON.2012.6276355},
doi = {10.1109/SECON.2012.6276355},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/secon/KimSRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1202-5722,
author = {Sibin Mohan and
Stanley Bak and
Emiliano Betti and
Heechul Yun and
Lui Sha and
Marco Caccamo},
title = {{S3A:} Secure System Simplex Architecture for Enhanced Security of
Cyber-Physical Systems},
journal = {CoRR},
volume = {abs/1202.5722},
year = {2012},
url = {http://arxiv.org/abs/1202.5722},
eprinttype = {arXiv},
eprint = {1202.5722},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-5722.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/YunWAKAS11,
author = {Heechul Yun and
Po{-}Liang Wu and
Anshu Arya and
Cheolgi Kim and
Tarek F. Abdelzaher and
Lui Sha},
title = {System-wide energy optimization for multiple {DVS} components and
real-time tasks},
journal = {Real Time Syst.},
volume = {47},
number = {5},
pages = {489--515},
year = {2011},
url = {https://doi.org/10.1007/s11241-011-9125-x},
doi = {10.1007/S11241-011-9125-X},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/YunWAKAS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/titb/KangPSYS11,
author = {Kyungtae Kang and
Kyung{-}Joon Park and
Jae{-}Jin Song and
Chang{-}Hwan Yoon and
Lui Sha},
title = {A Medical-Grade Wireless Architecture for Remote Electrocardiography},
journal = {{IEEE} Trans. Inf. Technol. Biomed.},
volume = {15},
number = {2},
pages = {260--267},
year = {2011},
url = {https://doi.org/10.1109/TITB.2011.2104365},
doi = {10.1109/TITB.2011.2104365},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/titb/KangPSYS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/NamNWS11,
author = {Min{-}Young Nam and
Dionisio de Niz and
Lutz Wrage and
Lui Sha},
editor = {Samarjit Chakraborty and
Ahmed Jerraya and
Sanjoy K. Baruah and
Sebastian Fischmeister},
title = {Resource allocation contracts for open analytic runtime models},
booktitle = {Proceedings of the 11th International Conference on Embedded Software,
{EMSOFT} 2011, part of the Seventh Embedded Systems Week, ESWeek 2011,
Taipei, Taiwan, October 9-14, 2011},
pages = {13--22},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2038642.2038647},
doi = {10.1145/2038642.2038647},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/NamNWS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/NamSSPK11,
author = {Min{-}Young Nam and
Eunsoo Seo and
Lui Sha and
Kyung{-}Joon Park and
Kyungtae Kang},
title = {Limiting Worst-Case End-to-End Latency When Traffic Increases in a
Switched Avionics Network},
booktitle = {17th {IEEE} International Conference on Embedded and Real-Time Computing
Systems and Applications, {RTCSA} 2011, Toyama, Japan, August 28-31,
2011, Volume 1},
pages = {285--294},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/RTCSA.2011.9},
doi = {10.1109/RTCSA.2011.9},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/NamSSPK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/YoonKS11,
author = {Man{-}Ki Yoon and
Jung{-}Eun Kim and
Lui Sha},
title = {Optimizing Tunable {WCET} with Shared Resource Allocation and Arbitration
in Hard Real-Time Multicore Systems},
booktitle = {Proceedings of the 32nd {IEEE} Real-Time Systems Symposium, {RTSS}
2011, Vienna, Austria, November 29 - December 2, 2011},
pages = {227--238},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/RTSS.2011.28},
doi = {10.1109/RTSS.2011.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/YoonKS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1104-2110,
author = {Heechul Yun and
Cheolgi Kim and
Lui Sha},
title = {Deterministic Real-time Thread Scheduling},
journal = {CoRR},
volume = {abs/1104.2110},
year = {2011},
url = {http://arxiv.org/abs/1104.2110},
eprinttype = {arXiv},
eprint = {1104.2110},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1104-2110.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iet-com/ParkPSS10,
author = {Kyung{-}Joon Park and
Tae Rim Park and
Christopher D. Schmitz and
Lui Sha},
title = {Design of robust adaptive frequency hopping for wireless medical telemetry
systems},
journal = {{IET} Commun.},
volume = {4},
number = {2},
pages = {178--191},
year = {2010},
url = {https://doi.org/10.1049/iet-com.2008.0693},
doi = {10.1049/IET-COM.2008.0693},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iet-com/ParkPSS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/KangS10,
author = {Kyungtae Kang and
Lui Sha},
title = {An Interleaving Structure for Guaranteed QoS in Real-Time Broadcasting
Systems},
journal = {{IEEE} Trans. Computers},
volume = {59},
number = {5},
pages = {666--678},
year = {2010},
url = {https://doi.org/10.1109/TC.2009.151},
doi = {10.1109/TC.2009.151},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/KangS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/RajkumarLSS10,
author = {Ragunathan Rajkumar and
Insup Lee and
Lui Sha and
John A. Stankovic},
editor = {Sachin S. Sapatnekar},
title = {Cyber-physical systems: the next computing revolution},
booktitle = {Proceedings of the 47th Design Automation Conference, {DAC} 2010,
Anaheim, California, USA, July 13-18, 2010},
pages = {731--736},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837274.1837461},
doi = {10.1145/1837274.1837461},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/RajkumarLSS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/YunWAAKS10,
author = {Heechul Yun and
Po{-}Liang Wu and
Anshu Arya and
Tarek F. Abdelzaher and
Cheolgi Kim and
Lui Sha},
title = {System-Wide Energy Optimization for Multiple {DVS} Components and
Real-Time Tasks},
booktitle = {22nd Euromicro Conference on Real-Time Systems, {ECRTS} 2010, Brussels,
Belgium, July 6-9, 2010},
pages = {133--142},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ECRTS.2010.14},
doi = {10.1109/ECRTS.2010.14},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/YunWAAKS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/YunWRKS10,
author = {Heechul Yun and
Po{-}Liang Wu and
Maryam Rahmaniheris and
Cheolgi Kim and
Lui Sha},
editor = {Janos Sztipanovits and
Raj Rajkumar},
title = {A reduced complexity design pattern for distributed hierarchical command
and control system},
booktitle = {{ACM/IEEE} 1st International Conference on Cyber-Physical Systems,
{ICCPS} '10, Stockholm, Sweden, April 12-15, 2010},
pages = {42--49},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1795194.1795201},
doi = {10.1145/1795194.1795201},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/YunWRKS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/KimSMYSA10,
author = {Cheolgi Kim and
Mu Sun and
Sibin Mohan and
Heechul Yun and
Lui Sha and
Tarek F. Abdelzaher},
editor = {Janos Sztipanovits and
Raj Rajkumar},
title = {A framework for the safe interoperability of medical devices in the
presence of network failures},
booktitle = {{ACM/IEEE} 1st International Conference on Cyber-Physical Systems,
{ICCPS} '10, Stockholm, Sweden, April 12-15, 2010},
pages = {149--158},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1795194.1795215},
doi = {10.1145/1795194.1795215},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccps/KimSMYSA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wrla/SunMS10,
author = {Mu Sun and
Jos{\'{e}} Meseguer and
Lui Sha},
editor = {Peter Csaba {\"{O}}lveczky},
title = {A Formal Pattern Architecture for Safe Medical Systems},
booktitle = {Rewriting Logic and Its Applications - 8th International Workshop,
{WRLA} 2010, Held as a Satellite Event of {ETAPS} 2010, Paphos, Cyprus,
March 20-21, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6381},
pages = {157--173},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16310-4\_11},
doi = {10.1007/978-3-642-16310-4\_11},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wrla/SunMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/PellizzoniMNSCS09,
author = {Rodolfo Pellizzoni and
Patrick O'Neil Meredith and
Min{-}Young Nam and
Mu Sun and
Marco Caccamo and
Lui Sha},
editor = {Samarjit Chakraborty and
Nicolas Halbwachs},
title = {Handling mixed-criticality in SoC-based real-time embedded systems},
booktitle = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
2009},
pages = {235--244},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1629335.1629367},
doi = {10.1145/1629335.1629367},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/PellizzoniMNSCS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/NamPSB09,
author = {Min{-}Young Nam and
Rodolfo Pellizzoni and
Lui Sha and
Richard M. Bradford},
title = {{ASIIST:} Application Specific {I/O} Integration Support Tool for
Real-Time Bus Architecture Designs},
booktitle = {14th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2009, Potsdam, Germany, 2-4 June 2009},
pages = {11--22},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICECCS.2009.31},
doi = {10.1109/ICECCS.2009.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/NamPSB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/BakCASCS09,
author = {Stanley Bak and
Deepti K. Chivukula and
Olugbemiga Adekunle and
Mu Sun and
Marco Caccamo and
Lui Sha},
title = {The System-Level Simplex Architecture for Improved Real-Time Embedded
System Safety},
booktitle = {15th {IEEE} Real-Time and Embedded Technology and Applications Symposium,
{RTAS} 2009, San Francisco, CA, USA, 13-16 April 2009},
pages = {99--107},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/RTAS.2009.20},
doi = {10.1109/RTAS.2009.20},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/BakCASCS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/MohanNPSBF09,
author = {Sibin Mohan and
Min{-}Young Nam and
Rodolfo Pellizzoni and
Lui Sha and
Richard M. Bradford and
Shana Fliginger},
editor = {Theodore P. Baker},
title = {Rapid Early-Phase Virtual Integration},
booktitle = {Proceedings of the 30th {IEEE} Real-Time Systems Symposium, {RTSS}
2009, Washington, DC, USA, 1-4 December 2009},
pages = {33--44},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/RTSS.2009.48},
doi = {10.1109/RTSS.2009.48},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/MohanNPSBF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/Al-NayeemSQSMC09,
author = {Abdullah Al{-}Nayeem and
Mu Sun and
Xiaokang Qiu and
Lui Sha and
Steven P. Miller and
Darren D. Cofer},
editor = {Theodore P. Baker},
title = {A Formal Architecture Pattern for Real-Time Distributed Systems},
booktitle = {Proceedings of the 30th {IEEE} Real-Time Systems Symposium, {RTSS}
2009, Washington, DC, USA, 1-4 December 2009},
pages = {161--170},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/RTSS.2009.50},
doi = {10.1109/RTSS.2009.50},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/Al-NayeemSQSMC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/BakBPCS09,
author = {Stanley Bak and
Emiliano Betti and
Rodolfo Pellizzoni and
Marco Caccamo and
Lui Sha},
editor = {Theodore P. Baker},
title = {Real-Time Control of {I/O} {COTS} Peripherals for Embedded Systems},
booktitle = {Proceedings of the 30th {IEEE} Real-Time Systems Symposium, {RTSS}
2009, Washington, DC, USA, 1-4 December 2009},
pages = {193--203},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/RTSS.2009.41},
doi = {10.1109/RTSS.2009.41},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/BakBPCS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/GopalakrishnanCS08,
author = {Sathish Gopalakrishnan and
Marco Caccamo and
Lui Sha},
title = {Sharp Thresholds for Scheduling Recurring Tasks with Distance Constraints},
journal = {{IEEE} Trans. Computers},
volume = {57},
number = {3},
pages = {344--358},
year = {2008},
url = {https://doi.org/10.1109/TC.2007.70808},
doi = {10.1109/TC.2007.70808},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/GopalakrishnanCS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/LiuWGHSDL08,
author = {Xue Liu and
Qixin Wang and
Sathish Gopalakrishnan and
Wenbo He and
Lui Sha and
Hui Ding and
Kihwal Lee},
title = {{ORTEGA:} An Efficient and Flexible Online Fault Tolerance Architecture
for Real-Time Control Systems},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {4},
number = {4},
pages = {213--224},
year = {2008},
url = {https://doi.org/10.1109/TII.2008.2010774},
doi = {10.1109/TII.2008.2010774},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tii/LiuWGHSDL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmc/WangZTLS08,
author = {Qixin Wang and
Rong Zheng and
Ajay Tirumala and
Xue Liu and
Lui Sha},
title = {Lightning: {A} Hard Real-Time, Fast, and Lightweight Low-End Wireless
Sensor Election Protocol for Acoustic Event Localization},
journal = {{IEEE} Trans. Mob. Comput.},
volume = {7},
number = {5},
pages = {570--584},
year = {2008},
url = {https://doi.org/10.1109/TMC.2007.70752},
doi = {10.1109/TMC.2007.70752},
timestamp = {Thu, 09 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tmc/WangZTLS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tnsm/LiuHSZ08,
author = {Xue Liu and
Jin Heo and
Lui Sha and
Xiaoyun Zhu},
title = {Queueing-Model-Based Adaptive Control of Multi-Tiered Web Applications},
journal = {{IEEE} Trans. Netw. Serv. Manag.},
volume = {5},
number = {3},
pages = {157--167},
year = {2008},
url = {https://doi.org/10.1109/TNSM.2009.031103},
doi = {10.1109/TNSM.2009.031103},
timestamp = {Thu, 27 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tnsm/LiuHSZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/LiuDLWS08,
author = {Xue Liu and
Hui Ding and
Kihwal Lee and
Qixin Wang and
Lui Sha},
title = {{ORTEGA:} An Efficient and Flexible Software Fault Tolerance Architecture
for Real-Time Control Systems},
booktitle = {20th Euromicro Conference on Real-Time Systems, {ECRTS} 2008, 2-4
July 2008, Prague, Czech Republic, Proceedings},
pages = {125--134},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ECRTS.2008.17},
doi = {10.1109/ECRTS.2008.17},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/LiuDLWS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/WangGLS08,
author = {Qixin Wang and
Sathish Gopalakrishnan and
Xue Liu and
Lui Sha},
title = {A Switch Design for Real-Time Industrial Networks},
booktitle = {Proceedings of the 14th {IEEE} Real-Time and Embedded Technology and
Applications Symposium, {RTAS} 2008, April 22-24, 2008, St. Louis,
Missouri, {USA}},
pages = {367--376},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/RTAS.2008.8},
doi = {10.1109/RTAS.2008.8},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/WangGLS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/BuiCSM08,
author = {Bach Duy Bui and
Marco Caccamo and
Lui Sha and
Joseph Martinez},
title = {Impact of Cache Partitioning on Multi-tasking Real Time Embedded Systems},
booktitle = {The Fourteenth {IEEE} Internationl Conference on Embedded and Real-Time
Computing Systems and Applications, {RTCSA} 2008, Kaohisung, Taiwan,
25-27 August 2008, Proceedings},
pages = {101--110},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/RTCSA.2008.42},
doi = {10.1109/RTCSA.2008.42},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/BuiCSM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/PellizzoniBCS08,
author = {Rodolfo Pellizzoni and
Bach Duy Bui and
Marco Caccamo and
Lui Sha},
title = {Coscheduling of {CPU} and {I/O} Transactions in COTS-Based Embedded
Systems},
booktitle = {Proceedings of the 29th {IEEE} Real-Time Systems Symposium, {RTSS}
2008, Barcelona, Spain, 30 November - 3 December 2008},
pages = {221--231},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/RTSS.2008.42},
doi = {10.1109/RTSS.2008.42},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/PellizzoniBCS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sutc/ShaGLW08,
author = {Lui Sha and
Sathish Gopalakrishnan and
Xue Liu and
Qixin Wang},
editor = {Mukesh Singhal and
Giovanna Di Marzo Serugendo and
Jeffrey J. P. Tsai and
Wang{-}Chien Lee and
Kay R{\"{o}}mer and
Yu{-}Chee Tseng and
Han C. W. Hsiao},
title = {Cyber-Physical Systems: {A} New Frontier},
booktitle = {{IEEE} International Conference on Sensor Networks, Ubiquitous, and
Trustworthy Computing {(SUTC} 2008), 11-13 June 2008, Taichung, Taiwan},
pages = {1--9},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SUTC.2008.85},
doi = {10.1109/SUTC.2008.85},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sutc/ShaGLW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/ShaM08,
author = {Lui Sha and
Jos{\'{e}} Meseguer},
editor = {Martin Wirsing and
Jean{-}Pierre Ban{\^{a}}tre and
Matthias M. H{\"{o}}lzl and
Axel Rauschmayer},
title = {Design of Complex Cyber Physical Systems with Formalized Architectural
Patterns},
booktitle = {Software-Intensive Systems and New Computing Paradigms - Challenges
and Visions},
series = {Lecture Notes in Computer Science},
volume = {5380},
pages = {92--100},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89437-7\_5},
doi = {10.1007/978-3-540-89437-7\_5},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/ShaM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmc/WangLCSC07,
author = {Qixin Wang and
Xue Liu and
Weiqun Chen and
Lui Sha and
Marco Caccamo},
title = {Building Robust Wireless {LAN} for Industrial Control with the {DSSS-CDMA}
Cell Phone Network Paradigm},
journal = {{IEEE} Trans. Mob. Comput.},
volume = {6},
number = {6},
pages = {706--719},
year = {2007},
url = {https://doi.org/10.1109/TMC.2007.1018},
doi = {10.1109/TMC.2007.1018},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tmc/WangLCSC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/WangLHS07,
author = {Qixin Wang and
Xue Liu and
Jennifer C. Hou and
Lui Sha},
title = {GD-Aggregate: {A} {WAN} Virtual Topology Building Tool for Hard Real-Time
and Embedded Applications},
booktitle = {Proceedings of the 28th {IEEE} Real-Time Systems Symposium {(RTSS}
2007), 3-6 December 2007, Tucson, Arizona, {USA}},
pages = {379--388},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/RTSS.2007.8},
doi = {10.1109/RTSS.2007.8},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/WangLHS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/CrenshawGRSK07,
author = {Tanya L. Crenshaw and
Elsa L. Gunter and
Craig L. Robinson and
Lui Sha and
P. R. Kumar},
title = {The Simplex Reference Model: Limiting Fault-Propagation Due to Unreliable
Components in Cyber-Physical System Architectures},
booktitle = {Proceedings of the 28th {IEEE} Real-Time Systems Symposium {(RTSS}
2007), 3-6 December 2007, Tucson, Arizona, {USA}},
pages = {400--412},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/RTSS.2007.34},
doi = {10.1109/RTSS.2007.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/CrenshawGRSK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/LeePCHKLRS06,
author = {Insup Lee and
George J. Pappas and
Rance Cleaveland and
John Hatcliff and
Bruce H. Krogh and
Peter Lee and
Harvey Rubin and
Lui Sha},
title = {High-Confidence Medical Device Software and Systems},
journal = {Computer},
volume = {39},
number = {4},
pages = {33--38},
year = {2006},
url = {https://doi.org/10.1109/MC.2006.127},
doi = {10.1109/MC.2006.127},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computer/LeePCHKLRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijes/ShaL06,
author = {Lui Sha and
Chang{-}Gun Lee},
title = {Real-time virtual machines for avionics software migration},
journal = {Int. J. Embed. Syst.},
volume = {2},
number = {3/4},
pages = {156--165},
year = {2006},
url = {https://doi.org/10.1504/IJES.2006.014852},
doi = {10.1504/IJES.2006.014852},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijes/ShaL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijwin/ZhengWS06,
author = {Rong Zheng and
Jatindera Singh Walia and
Lui Sha},
title = {Local Group Communication-aware {MAC} Protocol in Wireless Sensor
Networks},
journal = {Int. J. Wirel. Inf. Networks},
volume = {13},
number = {4},
pages = {275--287},
year = {2006},
url = {https://doi.org/10.1007/s10776-006-0038-x},
doi = {10.1007/S10776-006-0038-X},
timestamp = {Thu, 09 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijwin/ZhengWS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijwmc/HuZHS06,
author = {Chunyu Hu and
Rong Zheng and
Jennifer C. Hou and
Lui Sha},
title = {A microscopic study of power management in {IEEE} 802.11 wireless
networks},
journal = {Int. J. Wirel. Mob. Comput.},
volume = {1},
number = {3/4},
pages = {165--178},
year = {2006},
url = {https://doi.org/10.1504/IJWMC.2006.012553},
doi = {10.1504/IJWMC.2006.012553},
timestamp = {Thu, 09 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijwmc/HuZHS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/GopalakrishnanCSLS06,
author = {Sathish Gopalakrishnan and
Marco Caccamo and
Chi{-}Sheng Shih and
Chang{-}Gun Lee and
Lui Sha},
title = {Finite-horizon scheduling of radar dwells with online template construction},
journal = {Real Time Syst.},
volume = {33},
number = {1-3},
pages = {47--75},
year = {2006},
url = {https://doi.org/10.1007/s11241-006-6882-z},
doi = {10.1007/S11241-006-6882-Z},
timestamp = {Wed, 22 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/GopalakrishnanCSLS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/LiuDLSC06,
author = {Xue Liu and
Hui Ding and
Kihwal Lee and
Lui Sha and
Marco Caccamo},
title = {Feedback fault tolerance of real-time embedded systems: issues and
possible solutions},
journal = {{SIGBED} Rev.},
volume = {3},
number = {2},
pages = {23--28},
year = {2006},
url = {https://doi.org/10.1145/1143489.1143495},
doi = {10.1145/1143489.1143495},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/LiuDLSC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/ShaA06,
author = {Lui Sha and
Ashok K. Agrawala},
title = {Real time and embedded {(RTE)} {GENI}},
journal = {{SIGBED} Rev.},
volume = {3},
number = {3},
pages = {21--24},
year = {2006},
url = {https://doi.org/10.1145/1164050.1164054},
doi = {10.1145/1164050.1164054},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/ShaA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/LeeKSS06,
author = {Chang{-}Gun Lee and
Phil{-}Su Kang and
Chi{-}Sheng Shih and
Lui Sha},
title = {Schedulability Envelope for Real-Time Radar Dwell Scheduling},
journal = {{IEEE} Trans. Computers},
volume = {55},
number = {12},
pages = {1599--1613},
year = {2006},
url = {https://doi.org/10.1109/TC.2006.205},
doi = {10.1109/TC.2006.205},
timestamp = {Wed, 22 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/LeeKSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmc/ZhengHS06,
author = {Rong Zheng and
Jennifer C. Hou and
Lui Sha},
title = {Optimal Block Design for Asynchronous Wake-Up Schedules and Its Applications
in Multihop Wireless Networks},
journal = {{IEEE} Trans. Mob. Comput.},
volume = {5},
number = {9},
pages = {1228--1241},
year = {2006},
url = {https://doi.org/10.1109/TMC.2006.134},
doi = {10.1109/TMC.2006.134},
timestamp = {Thu, 09 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tmc/ZhengHS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosn/LiuWHCS06,
author = {Xue Liu and
Qixin Wang and
Wenbo He and
Marco Caccamo and
Lui Sha},
title = {Optimal real-time sampling rate assignment for wireless sensor networks},
journal = {{ACM} Trans. Sens. Networks},
volume = {2},
number = {2},
pages = {263--295},
year = {2006},
url = {https://doi.org/10.1145/1149283.1149288},
doi = {10.1145/1149283.1149288},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosn/LiuWHCS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/twc/ZhengHS06,
author = {Rong Zheng and
Jennifer C. Hou and
Lui Sha},
title = {Performance analysis of power management policies in wireless networks},
journal = {{IEEE} Trans. Wirel. Commun.},
volume = {5},
number = {6},
pages = {1351--1361},
year = {2006},
url = {https://doi.org/10.1109/TWC.2006.1638656},
doi = {10.1109/TWC.2006.1638656},
timestamp = {Thu, 09 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/twc/ZhengHS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/KowshikRS06,
author = {Sumant Kowshik and
Grigore Rosu and
Lui Sha},
title = {Static Analysis to Enforce Safe Value Flow in Embedded Control Systems},
booktitle = {2006 International Conference on Dependable Systems and Networks {(DSN}
2006), 25-28 June 2006, Philadelphia, Pennsylvania, USA, Proceedings},
pages = {23--34},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/DSN.2006.66},
doi = {10.1109/DSN.2006.66},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/KowshikRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/DingASC06,
author = {Hui Ding and
Leon Arber and
Lui Sha and
Marco Caccamo},
title = {The Dependency Management Framework: {A} Case Study of the {ION} CubeSat},
booktitle = {18th Euromicro Conference on Real-Time Systems, ECRTS'06, 5-7 July
2006, Dresden, Germany, Proceedings},
pages = {52--64},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ECRTS.2006.28},
doi = {10.1109/ECRTS.2006.28},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/DingASC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/noms/LiuHSZ06,
author = {Xue Liu and
Jin Heo and
Lui Sha and
Xiaoyun Zhu},
editor = {Joseph L. Hellerstein and
Burkhard Stiller},
title = {Adaptive Control of Multi-Tiered Web Applications Using Queueing Predictor},
booktitle = {Management of Integrated End-to-End Communications and Services, 10th
{IEEE/IFIP} Network Operations and Management Symposium, {NOMS} 2006,
Vancouver, Canada, April 3-7, 2006. Proceedings},
pages = {106--114},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/NOMS.2006.1687543},
doi = {10.1109/NOMS.2006.1687543},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/noms/LiuHSZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/GopalakrishnanCS06,
author = {Sathish Gopalakrishnan and
Marco Caccamo and
Lui Sha},
title = {Switch Scheduling and Network Design for Real-Time Systems},
booktitle = {12th {IEEE} Real-Time and Embedded Technology and Applications Symposium
{(RTAS} 2006), 4-7 April 2006, San Jose, California, {USA}},
pages = {289--300},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/RTAS.2006.42},
doi = {10.1109/RTAS.2006.42},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/GopalakrishnanCS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/CrenshawRDKS06,
author = {Tanya L. Crenshaw and
Craig L. Robinson and
Hui Ding and
P. R. Kumar and
Lui Sha},
title = {A Pattern for Adaptive Behavior in Safety-Critical, Real-Time Middleware},
booktitle = {Proceedings of the 27th {IEEE} Real-Time Systems Symposium {(RTSS}
2006), 5-8 December 2006, Rio de Janeiro, Brazil},
pages = {127--136},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/RTSS.2006.8},
doi = {10.1109/RTSS.2006.8},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/CrenshawRDKS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/WangSLZOACGGHKS06,
author = {Qixin Wang and
Wook Shin and
Xue Liu and
Zheng Zeng and
Cham Oh and
Bedoor K. AlShebli and
Marco Caccamo and
Carl A. Gunter and
Elsa L. Gunter and
Jennifer C. Hou and
Karrie Karahalios and
Lui Sha},
title = {I-Living: An Open System Architecture for Assisted Living},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
and Cybernetics, Taipei, Taiwan, October 8-11, 2006},
pages = {4268--4275},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/ICSMC.2006.384805},
doi = {10.1109/ICSMC.2006.384805},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/smc/WangSLZOACGGHKS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/TirumalaCSBKRW05,
author = {Ajay Tirumala and
Tanya L. Crenshaw and
Lui Sha and
Girish Baliga and
Sumant Kowshik and
Craig L. Robinson and
Weerasak Witthawaskul},
title = {Prevention of failures due to assumptions made by software components
in real-time systems},
journal = {{SIGBED} Rev.},
volume = {2},
number = {3},
pages = {36--39},
year = {2005},
url = {https://doi.org/10.1145/1121802.1121810},
doi = {10.1145/1121802.1121810},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/TirumalaCSBKRW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosn/HeZGS05,
author = {Guanghui He and
Rong Zheng and
Indranil Gupta and
Lui Sha},
title = {A framework for time indexing in sensor networks},
journal = {{ACM} Trans. Sens. Networks},
volume = {1},
number = {1},
pages = {101--133},
year = {2005},
url = {https://doi.org/10.1145/1077391.1077396},
doi = {10.1145/1077391.1077396},
timestamp = {Thu, 09 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosn/HeZGS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/twc/LiHS05,
author = {Ning Li and
Jennifer C. Hou and
Lui Sha},
title = {Design and analysis of an MST-based topology control algorithm},
journal = {{IEEE} Trans. Wirel. Commun.},
volume = {4},
number = {3},
pages = {1195--1206},
year = {2005},
url = {https://doi.org/10.1109/TWC.2005.846971},
doi = {10.1109/TWC.2005.846971},
timestamp = {Wed, 30 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/twc/LiHS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/KowshikBGS05,
author = {Sumant Kowshik and
Girish Baliga and
Scott R. Graham and
Lui Sha},
title = {Co-Design Based Approach to Improve Robustness in Networked Control
Systems},
booktitle = {2005 International Conference on Dependable Systems and Networks {(DSN}
2005), 28 June - 1 July 2005, Yokohama, Japan, Proceedings},
pages = {454--463},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/DSN.2005.26},
doi = {10.1109/DSN.2005.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/KowshikBGS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/DingLS05,
author = {Hui Ding and
Kihwal Lee and
Lui Sha},
title = {Dependency Algebra: {A} Theoretical Framework for Dependency Management
in Real-Time Control Systems},
booktitle = {12th {IEEE} International Conference on the Engineering of Computer-Based
Systems {(ECBS} 2005), 4-7 April 2005, Greenbelt, MD, {USA}},
pages = {41--48},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ECBS.2005.30},
doi = {10.1109/ECBS.2005.30},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/DingLS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icas/LiuZHWS05,
author = {Xue Liu and
Rong Zheng and
Jin Heo and
Qixin Wang and
Lui Sha},
title = {Timing Performance Control in Web Server Systems Utilizing Server
Internal State Information},
booktitle = {Joint International Conference on Autonomic and Autonomous Systems
2005 / International Conference on Networking and Services 2005, {ICAS/ICNS}
2005, Papeete, Tahiti, France, October 23-28, 2005},
pages = {75},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICAS-ICNS.2005.89},
doi = {10.1109/ICAS-ICNS.2005.89},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icas/LiuZHWS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mascots/LiuHS05,
author = {Xue Liu and
Jin Heo and
Lui Sha},
title = {Modeling 3-Tiered Web Applications},
booktitle = {13th International Symposium on Modeling, Analysis, and Simulation
of Computer and Telecommunication Systems {(MASCOTS} 2005), 27-29
September 2005, Atlanta, GA, {USA}},
pages = {307--310},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MASCOTS.2005.40},
doi = {10.1109/MASCOTS.2005.40},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mascots/LiuHS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mass/ZhengSF05,
author = {Rong Zheng and
Lui Sha and
Wei Feng},
title = {{MAC} layer support for group communication in wireless sensor networks},
booktitle = {{IEEE} 2nd International Conference on Mobile Adhoc and Sensor Systems,
{MASS} 2005, November 7-10, 2005, The City Center Hotel, Washington,
{USA}},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MAHSS.2005.1542824},
doi = {10.1109/MAHSS.2005.1542824},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mass/ZhengSF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/LeeS05,
author = {Kihwal Lee and
Lui Sha},
title = {Process Resurrection: {A} Fast Recovery Mechanism for Real-Time Embedded
Systems},
booktitle = {11th {IEEE} Real-Time and Embedded Technology and Applications Symposium
{(RTAS} 2005), 7-10 March 2005, San Francisco, CA, {USA}},
pages = {292--301},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/RTAS.2005.42},
doi = {10.1109/RTAS.2005.42},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/LeeS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/LeeS05,
author = {Kihwal Lee and
Lui Sha},
title = {A Dependable Online Testing and Upgrade Architecture for Real-Time
Embedded Systems},
booktitle = {11th {IEEE} International Conference on Embedded and Real-Time Computing
Systems and Applications {(RTCSA} 2005), 17-19 August 2005, Hong Kong,
China},
pages = {160--165},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/RTCSA.2005.8},
doi = {10.1109/RTCSA.2005.8},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/LeeS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/DingS05,
author = {Hui Ding and
Lui Sha},
title = {Dependency Algebra: {A} Tool for Designing Robust Real-Time Systems},
booktitle = {Proceedings of the 26th {IEEE} Real-Time Systems Symposium {(RTSS}
2005), 6-8 December 2005, Miami, FL, {USA}},
pages = {210--220},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/RTSS.2005.16},
doi = {10.1109/RTSS.2005.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/DingS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/LiuZHS05,
author = {Xue Liu and
Rong Zheng and
Jin Heo and
Lui Sha},
editor = {Allan Ellis and
Tatsuya Hagino},
title = {Improved timing control for web server systems using internal state
information},
booktitle = {Proceedings of the 14th international conference on World Wide Web,
{WWW} 2005, Chiba, Japan, May 10-14, 2005 - Special interest tracks
and posters},
pages = {1068--1069},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1062745.1062872},
doi = {10.1145/1062745.1062872},
timestamp = {Fri, 23 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/LiuZHS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/necs2005/CaccamoBBBS05,
author = {Marco Caccamo and
Theodore P. Baker and
Alan Burns and
Giorgio C. Buttazzo and
Lui Sha},
editor = {Dimitrios Hristu{-}Varsakelis and
William S. Levine},
title = {Real-Time Scheduling for Embedded Systems},
booktitle = {Handbook of Networked and Embedded Control Systems},
pages = {173--196},
publisher = {Birkh{\"{a}}user},
year = {2005},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/necs2005/CaccamoBBBS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dsonline/BaligaGSK04,
author = {Girish Baliga and
Scott R. Graham and
Lui Sha and
P. R. Kumar},
title = {Service Continuity in Networked Control Using Etherware},
journal = {{IEEE} Distributed Syst. Online},
volume = {5},
number = {9},
year = {2004},
url = {https://doi.org/10.1109/MDSO.2004.23},
doi = {10.1109/MDSO.2004.23},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dsonline/BaligaGSK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/LeeSS04,
author = {Chang{-}Gun Lee and
Chi{-}Sheng Shih and
Lui Sha},
title = {Online QoS Optimization Using Service Classes in Surveillance Radar
Systems},
journal = {Real Time Syst.},
volume = {28},
number = {1},
pages = {5--37},
year = {2004},
url = {https://doi.org/10.1023/B:TIME.0000033377.75148.d0},
doi = {10.1023/B:TIME.0000033377.75148.D0},
timestamp = {Wed, 22 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/LeeSS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/ShaAACBBBCLM04,
author = {Lui Sha and
Tarek F. Abdelzaher and
Karl{-}Erik {\AA}rz{\'{e}}n and
Anton Cervin and
Theodore P. Baker and
Alan Burns and
Giorgio C. Buttazzo and
Marco Caccamo and
John P. Lehoczky and
Aloysius K. Mok},
title = {Real Time Scheduling Theory: {A} Historical Perspective},
journal = {Real Time Syst.},
volume = {28},
number = {2-3},
pages = {101--155},
year = {2004},
url = {https://doi.org/10.1023/B:TIME.0000045315.61234.1e},
doi = {10.1023/B:TIME.0000045315.61234.1E},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rts/ShaAACBBBCLM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/Sha04,
author = {Lui Sha},
title = {Open challenges in real time embedded systems},
journal = {{SIGBED} Rev.},
volume = {1},
number = {1},
pages = {13--15},
year = {2004},
url = {https://doi.org/10.1145/1121554.1121557},
doi = {10.1145/1121554.1121557},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/Sha04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/LeeSP04,
author = {Chang{-}Gun Lee and
Lui Sha and
Avinash Peddi},
title = {Enhanced Utilization Bounds for QoS Management},
journal = {{IEEE} Trans. Computers},
volume = {53},
number = {2},
pages = {187--200},
year = {2004},
url = {https://doi.org/10.1109/TC.2004.1261828},
doi = {10.1109/TC.2004.1261828},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/LeeSP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmc/ChenHS04,
author = {Wei{-}Peng Chen and
Jennifer C. Hou and
Lui Sha},
title = {Dynamic Clustering for Acoustic Target Tracking in Wireless Sensor
Networks},
journal = {{IEEE} Trans. Mob. Comput.},
volume = {3},
number = {3},
pages = {258--271},
year = {2004},
url = {https://doi.org/10.1109/TMC.2004.22},
doi = {10.1109/TMC.2004.22},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tmc/ChenHS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/globecom/ZhengHS04,
author = {Rong Zheng and
Jennifer C. Hou and
Lui Sha},
title = {On time-out driven power management policies in wireless networks},
booktitle = {Proceedings of the Global Telecommunications Conference, 2004. {GLOBECOM}
'04, Dallas, Texas, USA, 29 November - 3 December 2004},
pages = {4097--4103},
publisher = {{IEEE}},
year = {2004},
url = {https://doi.org/10.1109/GLOCOM.2004.1379136},
doi = {10.1109/GLOCOM.2004.1379136},
timestamp = {Thu, 09 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/globecom/ZhengHS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipsn/ChenS04,
author = {Wei{-}Peng Chen and
Lui Sha},
editor = {Kannan Ramchandran and
Janos Sztipanovits and
Jennifer C. Hou and
Thrasyvoulos N. Pappas},
title = {An energy-aware data-centric generic utility based approach in wireless
sensor networks},
booktitle = {Proceedings of the Third International Symposium on Information Processing
in Sensor Networks, {IPSN} 2004, Berkeley, California, USA, April
26-27, 2004},
pages = {215--224},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/984622.984654},
doi = {10.1145/984622.984654},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/ipsn/ChenS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/BagligaGSK04,
author = {Girish Baliga and
Scott R. Graham and
Lui Sha and
P. R. Kumar},
title = {Etherware: Domainware for Wireless Control Networks},
booktitle = {7th {IEEE} International Symposium on Object-Oriented Real-Time Distributed
Computing {(ISORC} 2004), 12-14 May 2004, Vienna, Austria},
pages = {155--162},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ISORC.2004.1300341},
doi = {10.1109/ISORC.2004.1300341},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/BagligaGSK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mass/ZhengHGS04,
author = {Rong Zheng and
Guanghui He and
Indranil Gupta and
Lui Sha},
title = {Time indexing in sensor networks},
booktitle = {2004 {IEEE} International Conference on Mobile Ad-hoc and Sensor Systems,
Fort Lauderdale, FL, USA, October 25-27, 2004},
pages = {274--283},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/MAHSS.2004.1392166},
doi = {10.1109/MAHSS.2004.1392166},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mass/ZhengHGS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/GopalakrishnanCSLS04,
author = {Sathish Gopalakrishnan and
Marco Caccamo and
Chi{-}Sheng Shih and
Chang{-}Gun Lee and
Lui Sha},
title = {Finite-Horizon Scheduling of Radar Dwells with Online Template Construction},
booktitle = {Proceedings of the 25th {IEEE} Real-Time Systems Symposium {(RTSS}
2004), 5-8 December 2004, Lisbon, Portugal},
pages = {23--33},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/REAL.2004.21},
doi = {10.1109/REAL.2004.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/GopalakrishnanCSLS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/WangZTLS04,
author = {Qixin Wang and
Rong Zheng and
Ajay Tirumala and
Xue Liu and
Lui Sha},
title = {Lightning: {A} Fast and Lightweight Acoustic Localization Protocol
Using Low-End Wireless Micro-Sensors},
booktitle = {Proceedings of the 25th {IEEE} Real-Time Systems Symposium {(RTSS}
2004), 5-8 December 2004, Lisbon, Portugal},
pages = {371--381},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/REAL.2004.29},
doi = {10.1109/REAL.2004.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/WangZTLS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/GopalakrishnanSC04,
author = {Sathish Gopalakrishnan and
Lui Sha and
Marco Caccamo},
title = {Hard Real-Time Communication in Bus-Based Networks},
booktitle = {Proceedings of the 25th {IEEE} Real-Time Systems Symposium {(RTSS}
2004), 5-8 December 2004, Lisbon, Portugal},
pages = {405--414},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/REAL.2004.24},
doi = {10.1109/REAL.2004.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/GopalakrishnanSC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/crc/ShaC04,
author = {Lui Sha and
Marco Caccamo},
editor = {Joseph Y.{-}T. Leung},
title = {Real-Time Synchronization Protocols},
booktitle = {Handbook of Scheduling - Algorithms, Models, and Performance Analysis},
publisher = {Chapman and Hall/CRC},
year = {2004},
url = {http://www.crcnetbase.com/doi/abs/10.1201/9780203489802.ch29},
doi = {10.1201/9780203489802.CH29},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/crc/ShaC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/StankovicALSH03,
author = {John A. Stankovic and
Tarek F. Abdelzaher and
Chenyang Lu and
Lui Sha and
Jennifer C. Hou},
title = {Real-time communication and coordination in embedded sensor networks},
journal = {Proc. {IEEE}},
volume = {91},
number = {7},
pages = {1002--1022},
year = {2003},
url = {https://doi.org/10.1109/JPROC.2003.814620},
doi = {10.1109/JPROC.2003.814620},
timestamp = {Mon, 04 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/StankovicALSH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/Sha03,
author = {Lui Sha},
title = {Upgrading real-time control software in the field},
journal = {Proc. {IEEE}},
volume = {91},
number = {7},
pages = {1131--1140},
year = {2003},
url = {https://doi.org/10.1109/JPROC.2003.814611},
doi = {10.1109/JPROC.2003.814611},
timestamp = {Mon, 04 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/Sha03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/ChandraLS03,
author = {Ramesh Chandra and
Xue Liu and
Lui Sha},
title = {On the Scheduling of Flexible and Reliable Real-Time Control Systems},
journal = {Real Time Syst.},
volume = {24},
number = {2},
pages = {153--169},
year = {2003},
url = {https://doi.org/10.1023/A:1021726418716},
doi = {10.1023/A:1021726418716},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/ChandraLS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/ZhangHS03,
author = {Honghai Zhang and
Jennifer C. Hou and
Lui Sha},
title = {A Bluetooth loop scatternet formation algorithm},
booktitle = {Proceedings of {IEEE} International Conference on Communications,
{ICC} 2003, Anchorage, Alaska, USA, 11-15 May, 2003},
pages = {1174--1180},
publisher = {{IEEE}},
year = {2003},
url = {https://doi.org/10.1109/ICC.2003.1204553},
doi = {10.1109/ICC.2003.1204553},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/icc/ZhangHS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnp/ChenHS03,
author = {Wei{-}Peng Chen and
Jennifer C. Hou and
Lui Sha},
title = {Dynamic Clustering for Acoustic Target Tracking in Wireless Sensor
Networks},
booktitle = {11th {IEEE} International Conference on Network Protocols {(ICNP}
2003), 4-7 November 2003, Atlanta, GA, {USA}},
pages = {284--294},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ICNP.2003.1249778},
doi = {10.1109/ICNP.2003.1249778},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icnp/ChenHS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/LiHS03,
author = {Ning Li and
Jennifer C. Hou and
Lui Sha},
title = {Design and Analysis of an MST-Based Topology Control Algorithm},
booktitle = {Proceedings {IEEE} {INFOCOM} 2003, The 22nd Annual Joint Conference
of the {IEEE} Computer and Communications Societies, San Franciso,
CA, USA, March 30 - April 3, 2003},
pages = {1702--1712},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/INFCOM.2003.1209193},
doi = {10.1109/INFCOM.2003.1209193},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/infocom/LiHS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/LeeS03,
author = {Chang{-}Gun Lee and
Lui Sha},
title = {Enhanced Processor Budget for QoS Management in Multimedia Systems},
booktitle = {17th International Parallel and Distributed Processing Symposium {(IPDPS}
2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings},
pages = {123},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/IPDPS.2003.1213244},
doi = {10.1109/IPDPS.2003.1213244},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/LeeS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipsn/WangCZLS03,
author = {Qixin Wang and
Wei{-}Peng Chen and
Rong Zheng and
Kihwal Lee and
Lui Sha},
editor = {Feng Zhao and
Leonidas J. Guibas},
title = {Acoustic Target Tracking Using Tiny Wireless Sensor Devices},
booktitle = {Information Processing in Sensor Networks, Second International Workshop,
{IPSN} 2003, Palo Alto, CA, USA, April 22-23, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2634},
pages = {642--657},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36978-3\_43},
doi = {10.1007/3-540-36978-3\_43},
timestamp = {Thu, 09 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipsn/WangCZLS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwqos/LiuSDFHP03,
author = {Xue Liu and
Lui Sha and
Yixin Diao and
Steve Froehlich and
Joseph L. Hellerstein and
Sujay S. Parekh},
editor = {Kevin Jeffay and
Ion Stoica and
Klaus Wehrle},
title = {Online Response Time Optimization of Apache Web Server},
booktitle = {Quality of Service - IWQoS 2003, 11th International Workshop, Berkeley,
CA, USA, June 2-4, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2707},
pages = {461--478},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44884-5\_25},
doi = {10.1007/3-540-44884-5\_25},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/iwqos/LiuSDFHP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobihoc/ZhengHS03,
author = {Rong Zheng and
Jennifer C. Hou and
Lui Sha},
title = {Asynchronous wakeup for ad hoc networks},
booktitle = {Proceedings of the 4th {ACM} Interational Symposium on Mobile Ad Hoc
Networking and Computing, MobiHoc 2003, Annapolis, Maryland, USA,
June 1-3, 2003},
pages = {35--45},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/778415.778420},
doi = {10.1145/778415.778420},
timestamp = {Thu, 09 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mobihoc/ZhengHS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/ShihGGCS03,
author = {Chi{-}Sheng Shih and
Sathish Gopalakrishnan and
Phanindra Ganti and
Marco Caccamo and
Lui Sha},
title = {Template-Based Real-Time Dwell Scheduling with Energy Constraint},
booktitle = {Proceedings of the 9th {IEEE} Real-Time and Embedded Technology and
Applications Symposium {(RTAS} 2003), May 27-30, 2003, Toronto, Canada},
pages = {19},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/RTTAS.2003.1203033},
doi = {10.1109/RTTAS.2003.1203033},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/ShihGGCS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/LuALSL03,
author = {Ying Lu and
Tarek F. Abdelzaher and
Chenyang Lu and
Lui Sha and
Xue Liu},
title = {Feedback Control with Queueing-Theoretic Prediction for Relative Delay
Guarantees in Web Servers},
booktitle = {Proceedings of the 9th {IEEE} Real-Time and Embedded Technology and
Applications Symposium {(RTAS} 2003), May 27-30, 2003, Toronto, Canada},
pages = {208--218},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/RTTAS.2003.1203053},
doi = {10.1109/RTTAS.2003.1203053},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rtas/LuALSL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/Sha03,
author = {Lui Sha},
editor = {Jing Chen and
Seongsoo Hong},
title = {Real-Time Virtual Machines for Avionics Software Porting and Development},
booktitle = {Real-Time and Embedded Computing Systems and Applications, 9th International
Conference, {RTCSA} 2003, Tainan, Taiwan, February 18-20, 2003. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {2968},
pages = {123--135},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24686-2\_8},
doi = {10.1007/978-3-540-24686-2\_8},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/rtcsa/Sha03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/LeeKSS03,
author = {Chang{-}Gun Lee and
Phil{-}Su Kang and
Chi{-}Sheng Shih and
Lui Sha},
title = {Radar Dwell Scheduling Considering Physical Characteristics of Phased
Array Antenna},
booktitle = {Proceedings of the 24th {IEEE} Real-Time Systems Symposium {(RTSS}
2003), 3-5 December 2003, Cancun, Mexico},
pages = {14--24},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/REAL.2003.1253250},
doi = {10.1109/REAL.2003.1253250},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/LeeKSS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/ShihGGCS03,
author = {Chi{-}Sheng Shih and
Sathish Gopalakrishnan and
Phanindra Ganti and
Marco Caccamo and
Lui Sha},
title = {Scheduling Real-Time Dwells Using Tasks with Synthetic Periods},
booktitle = {Proceedings of the 24th {IEEE} Real-Time Systems Symposium {(RTSS}
2003), 3-5 December 2003, Cancun, Mexico},
pages = {210--219},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/REAL.2003.1253268},
doi = {10.1109/REAL.2003.1253268},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/ShihGGCS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/LiuWSH03,
author = {Xue Liu and
Qixin Wang and
Lui Sha and
Wenbo He},
title = {Optimal QoS Sampling Frequency Assignment for Real-Time Wireless Sensor
Networks},
booktitle = {Proceedings of the 24th {IEEE} Real-Time Systems Symposium {(RTSS}
2003), 3-5 December 2003, Cancun, Mexico},
pages = {308--319},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/REAL.2003.1253277},
doi = {10.1109/REAL.2003.1253277},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/LiuWSH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/DingZSA03,
author = {Hui Ding and
Can Zheng and
Lui Sha and
Gul Agha},
title = {Specification and Validation of Fault-Tolerant Software Architectures
Based on Actor Model},
booktitle = {Proceedings of the Fifteenth International Conference on Software
Engineering {\&} Knowledge Engineering (SEKE'2003), Hotel Sofitel,
San Francisco Bay, CA, USA, July 1-3, 2003},
pages = {458--466},
year = {2003},
timestamp = {Fri, 18 Feb 2005 13:16:38 +0100},
biburl = {https://dblp.org/rec/conf/seke/DingZSA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/words/DingZAS03,
author = {Hui Ding and
Can Zheng and
Gul Agha and
Lui Sha},
title = {Automated Verification of the Dependability of Object-Oriented Real-Time
Systems},
booktitle = {9th {IEEE} International Workshop on Object-Oriented Real-Time Dependable
Systems {(WORDS} Fall 2003), 1-3 October 2003, Anacapri (Capri Island),
Italy},
pages = {171--178},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/WORDS.2003.1267505},
doi = {10.1109/WORDS.2003.1267505},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/words/DingZAS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/ShaA02,
author = {Lui Sha and
Tarek F. Abdelzaher},
title = {Guest Editorial},
journal = {Real Time Syst.},
volume = {23},
number = {1-2},
pages = {5--6},
year = {2002},
url = {https://doi.org/10.1023/A:1015344501520},
doi = {10.1023/A:1015344501520},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/ShaA02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/CaccamoBS02,
author = {Marco Caccamo and
Giorgio C. Buttazzo and
Lui Sha},
title = {Handling Execution Overruns in Hard Real-Time Control Systems},
journal = {{IEEE} Trans. Computers},
volume = {51},
number = {7},
pages = {835--849},
year = {2002},
url = {https://doi.org/10.1109/TC.2002.1017703},
doi = {10.1109/TC.2002.1017703},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/CaccamoBS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/Sha02,
author = {Lui Sha},
editor = {Alberto L. Sangiovanni{-}Vincentelli and
Joseph Sifakis},
title = {Upgrading Embedded Software in the Field: Dependability and Survivability},
booktitle = {Embedded Software, Second International Conference, {EMSOFT} 2002,
Grenoble, France, October 7-9, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2491},
pages = {166--181},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45828-X\_13},
doi = {10.1007/3-540-45828-X\_13},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/Sha02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/CaccamoZSB02,
author = {Marco Caccamo and
Lynn Y. Zhang and
Lui Sha and
Giorgio C. Buttazzo},
title = {An Implicit Prioritized Access Protocol for Wireless Sensor Networks},
booktitle = {Proceedings of the 23rd {IEEE} Real-Time Systems Symposium (RTSS'02),
Austin, Texas, USA, December 3-5, 2002},
pages = {39--48},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/REAL.2002.1181560},
doi = {10.1109/REAL.2002.1181560},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/CaccamoZSB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/ShaL02,
author = {Lui Sha and
Xue Liu},
title = {Queueing Model Based Network Server Performance Control},
booktitle = {Proceedings of the 23rd {IEEE} Real-Time Systems Symposium (RTSS'02),
Austin, Texas, USA, December 3-5, 2002},
pages = {81--90},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/REAL.2002.1181564},
doi = {10.1109/REAL.2002.1181564},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/ShaL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/TheysASCHKSSSSS01,
author = {Mitchell D. Theys and
Shoukat Ali and
Howard Jay Siegel and
K. Mani Chandy and
Kai Hwang and
Ken Kennedy and
Lui Sha and
Kang G. Shin and
Marc Snir and
Larry Snyder and
Thomas L. Sterling},
title = {What Are the Top Ten Most Influential Parallel and Distributed Processing
Concepts of the Past Millenium?},
journal = {J. Parallel Distributed Comput.},
volume = {61},
number = {12},
pages = {1827--1841},
year = {2001},
url = {https://doi.org/10.1006/jpdc.2001.1767},
doi = {10.1006/JPDC.2001.1767},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/TheysASCHKSSSSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/SetoLSS01,
author = {Danbing Seto and
John P. Lehoczky and
Lui Sha and
Kang G. Shin},
title = {Trade-Off Analysis of Real-Time Control Performance and Schedulability},
journal = {Real Time Syst.},
volume = {21},
number = {3},
pages = {199--217},
year = {2001},
url = {https://doi.org/10.1023/A:1011151320157},
doi = {10.1023/A:1011151320157},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/SetoLSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scpe/LimLS01,
author = {Sung{-}Soo Lim and
Kihwal Lee and
Lui Sha},
title = {Ensuring Integrity and Service Availability in a Web-Based Control
Laboratory},
journal = {Scalable Comput. Pract. Exp.},
volume = {4},
number = {2},
year = {2001},
url = {http://www.scpe.org/index.php/scpe/article/view/237},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scpe/LimLS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Sha01,
author = {Lui Sha},
title = {Using Simplicity to Control Complexity},
journal = {{IEEE} Softw.},
volume = {18},
number = {4},
pages = {20--28},
year = {2001},
url = {https://doi.org/10.1109/MS.2001.936213},
doi = {10.1109/MS.2001.936213},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/software/Sha01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/ShihSL01,
author = {Chi{-}Sheng Shih and
Lui Sha and
Jane W.{-}S. Liu},
title = {Scheduling Tasks With Variable Deadlines},
booktitle = {Proceedings of the 7th {IEEE} Real-Time Technology and Applications
Symposium {(RTAS} 2001), 30 May - 1 June 2001, Taipei, Taiwan},
pages = {120--122},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/RTTAS.2001.929874},
doi = {10.1109/RTTAS.2001.929874},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/ShihSL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/LeeSS01,
author = {Chang{-}Gun Lee and
Chi{-}Sheng Shih and
Lui Sha},
title = {Service Class-Based Online QoS Management in Surveillance Radar Systems},
booktitle = {Proceedings of the 22nd {IEEE} Real-Time Systems Symposium {(RTSS}
2001), London, UK, 2-6 December 2001},
pages = {139--148},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/REAL.2001.990605},
doi = {10.1109/REAL.2001.990605},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/LeeSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/CaccamoS01,
author = {Marco Caccamo and
Lui Sha},
title = {Aperiodic Servers with Resource Constraints},
booktitle = {Proceedings of the 22nd {IEEE} Real-Time Systems Symposium {(RTSS}
2001), London, UK, 2-6 December 2001},
pages = {161--170},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/REAL.2001.990607},
doi = {10.1109/REAL.2001.990607},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/CaccamoS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/ArzenCES00,
author = {Karl{-}Erik {\AA}rz{\'{e}}n and
Anton Cervin and
Johan Eker and
Lui Sha},
title = {An introduction to control and scheduling co-design},
booktitle = {39th {IEEE} Conference on Decision and Control, {CDC} 2000, Sydney,
Australia, December 12-15, 2000},
pages = {4865--4870},
publisher = {{IEEE}},
year = {2000},
url = {https://doi.org/10.1109/CDC.2001.914701},
doi = {10.1109/CDC.2001.914701},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/ArzenCES00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/ShaLCB00,
author = {Lui Sha and
Xue Liu and
Marco Caccamo and
Giorgio C. Buttazzo},
title = {Online control optimization using load driven scheduling},
booktitle = {39th {IEEE} Conference on Decision and Control, {CDC} 2000, Sydney,
Australia, December 12-15, 2000},
pages = {4877--4882},
publisher = {{IEEE}},
year = {2000},
url = {https://doi.org/10.1109/CDC.2001.914703},
doi = {10.1109/CDC.2001.914703},
timestamp = {Wed, 30 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/ShaLCB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/CaccamoBS00,
author = {Marco Caccamo and
Giorgio C. Buttazzo and
Lui Sha},
title = {Elastic feedback control},
booktitle = {12th Euromicro Conference on Real-Time Systems {(ECRTS} 2000), 19-21
June 2000, Stockholm, Sweden, Proceedings},
pages = {121--128},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/EMRTS.2000.853999},
doi = {10.1109/EMRTS.2000.853999},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/CaccamoBS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic/SchwarzPWS00,
author = {Janek Schwarz and
Andreas Polze and
Kristopher Wehner and
Lui Sha},
editor = {Peter Graham and
Muthucumaru Maheswaran},
title = {Remote Lab: {A} Reliable Tele-Laboratory Environment},
booktitle = {Proceedings of the International Conference on Internet Computing,
IC'2000, Las Vegas, Nevada, USA, June 26-29, 2000},
pages = {55--62},
publisher = {{CSREA} Press},
year = {2000},
timestamp = {Thu, 09 Oct 2003 13:19:50 +0200},
biburl = {https://dblp.org/rec/conf/ic/SchwarzPWS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/ShaS00,
author = {Lui Sha and
Danbing Seto},
editor = {Jos{\'{e}} D. P. Rolim},
title = {A Distributed Real Time Coordination Protocol},
booktitle = {Parallel and Distributed Processing, 15 {IPDPS} 2000 Workshops, Cancun,
Mexico, May 1-5, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1800},
pages = {671--677},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45591-4\_91},
doi = {10.1007/3-540-45591-4\_91},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ipps/ShaS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/PolzeSWS00,
author = {Andreas Polze and
Janek Schwarz and
Kristopher Wehner and
Lui Sha},
title = {Integration of {CORBA} Services with a Dynamic Real-Time Architecture},
booktitle = {Proceedings of the Sixth {IEEE} Real Time Technology and Applications
Symposium, {RTAS} 2000, Washington, DC, USA, May 31 - June 2, 2000},
pages = {198--206},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTTAS.2000.852464},
doi = {10.1109/RTTAS.2000.852464},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/PolzeSWS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/CaccamoBS00,
author = {Marco Caccamo and
Giorgio C. Buttazzo and
Lui Sha},
title = {Capacity Sharing for Overrun Control},
booktitle = {Proceedings of the 21st {IEEE} Real-Time Systems Symposium {(RTSS}
2000), Orlando, Florida, USA, 27-30 November 2000},
pages = {295--304},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/REAL.2000.896018},
doi = {10.1109/REAL.2000.896018},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/CaccamoBS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/Sha99,
author = {Lui Sha},
title = {Using {COTS} Software in High Assurance Control Applications},
booktitle = {4th {IEEE} International Symposium on High-Assurance Systems Engineering
{(HASE} '99), 17-19 November 1999, Washington, D.C, USA, Proceedings},
pages = {118},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/HASE.1999.809485},
doi = {10.1109/HASE.1999.809485},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/Sha99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/HeS99,
author = {Xiaoyan He and
Lui Sha},
title = {A Fault Tolerant Real-time Publisher/Subscriber Inter-Process Communication
Architecture},
booktitle = {6th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} '99), 13-16 December 1999, Hong Kong, China},
pages = {204--207},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/RTCSA.1999.811225},
doi = {10.1109/RTCSA.1999.811225},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/HeS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/ChandraS99,
author = {Ramesh Chandra and
Lui Sha},
title = {On Scheduling Tasks in Reliable Real-Time Control Systems},
booktitle = {Proceedings of the 20th {IEEE} Real-Time Systems Symposium, Phoenix,
AZ, USA, December 1-3, 1999},
pages = {164--165},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/REAL.1999.818839},
doi = {10.1109/REAL.1999.818839},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/ChandraS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/PolzeS98,
author = {Andreas Polze and
Lui Sha},
title = {Composite Objects: Real-Time Programming with {CORBA}},
booktitle = {24th {EUROMICRO} '98 Conference, Engineering Systems and Software
for the Next Decade, 25-27 August 1998, Vesteras, Sweden},
pages = {20997},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/EURMIC.1998.708133},
doi = {10.1109/EURMIC.1998.708133},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/PolzeS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/SetoLS98,
author = {Danbing Seto and
John P. Lehoczky and
Lui Sha},
title = {Task Period Selection and Schedulability in Real-Time Systems},
booktitle = {Proceedings of the 19th {IEEE} Real-Time Systems Symposium, Madrid,
Spain, December 2-4, 1998},
pages = {188--198},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/REAL.1998.739745},
doi = {10.1109/REAL.1998.739745},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/SetoLS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/Sha98,
author = {Lui Sha},
title = {Dependable System Upgrade},
booktitle = {Proceedings of the 19th {IEEE} Real-Time Systems Symposium, Madrid,
Spain, December 2-4, 1998},
pages = {440--448},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/REAL.1998.739777},
doi = {10.1109/REAL.1998.739777},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/Sha98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/ShaSS97,
author = {Lui Sha and
Shirish S. Sathaye and
Jay K. Strosnider},
title = {Analysis of Dual-Link Networks for Real-Time Applications},
journal = {{IEEE} Trans. Computers},
volume = {46},
number = {1},
pages = {1--13},
year = {1997},
url = {https://doi.org/10.1109/12.559798},
doi = {10.1109/12.559798},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/ShaSS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Sha96,
author = {Lui Sha},
title = {Real-Time In the Real World},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {4es},
pages = {187},
year = {1996},
url = {https://doi.org/10.1145/242224.242467},
doi = {10.1145/242224.242467},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Sha96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/GagliardiRS96,
author = {Michael Gagliardi and
Ragunathan Rajkumar and
Lui Sha},
title = {Designing for evolvability: building blocks for evolvable real-time
systems},
booktitle = {2nd {IEEE} Real-Time Technology and Applications Symposium, {RTAS}
'96, Boston, MA, USA, June 10-12, 1996},
pages = {100--109},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/RTTAS.1996.509527},
doi = {10.1109/RTTAS.1996.509527},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/GagliardiRS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/SetoLSS96,
author = {Danbing Seto and
John P. Lehoczky and
Lui Sha and
Kang G. Shin},
title = {On task schedulability in real-time control systems},
booktitle = {Proceedings of the 17th {IEEE} Real-Time Systems Symposium {(RTSS}
'96), December 4-6, 1996, Washington, DC, {USA}},
pages = {13--21},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/REAL.1996.563693},
doi = {10.1109/REAL.1996.563693},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/SetoLSS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/StrosniderLS95,
author = {Jay K. Strosnider and
John P. Lehoczky and
Lui Sha},
title = {The Deferrable Server Algorithm for Enhanced Aperiodic Responsiveness
in Hard Real-Time Environments},
journal = {{IEEE} Trans. Computers},
volume = {44},
number = {1},
pages = {73--91},
year = {1995},
url = {https://doi.org/10.1109/12.368008},
doi = {10.1109/12.368008},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/StrosniderLS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/RajkumarGS95,
author = {Ragunathan Rajkumar and
Michael Gagliardi and
Lui Sha},
title = {The real-time publisher/subscriber inter-process communication model
for distributed real-time systems: design and implementation},
booktitle = {1st {IEEE} Real-Time Technology and Applications Symposium, Chicago,
Illinois, USA, May 15-17, 1995},
pages = {66--75},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/RTTAS.1995.516203},
doi = {10.1109/RTTAS.1995.516203},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/RajkumarGS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/95/BodsonLRSS95,
author = {Marc Bodson and
John P. Lehoczky and
Ragunathan Rajkumar and
Lui Sha and
Jennifer Stephan},
editor = {Donald S. Fussell and
Miroslaw Malek},
title = {Fault-Tolerant Automatic Control},
booktitle = {Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time
Systems},
series = {The Kluwer/Springer International Series in Engineering and Computer
Science},
volume = {297},
pages = {209--223},
publisher = {Kluwer / Springer {US}},
year = {1995},
url = {https://doi.org/10.1007/978-1-4615-2271-3\_11},
doi = {10.1007/978-1-4615-2271-3\_11},
timestamp = {Wed, 26 Jun 2019 17:32:58 +0200},
biburl = {https://dblp.org/rec/books/sp/95/BodsonLRSS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Sha94,
author = {Lui Sha},
title = {Industrial Computing: {A} Grand Challenge - Guest Editor's Introduction},
journal = {Computer},
volume = {27},
number = {1},
pages = {12--13},
year = {1994},
url = {https://doi.org/10.1109/2.248872},
doi = {10.1109/2.248872},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Sha94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/ShaRS94,
author = {Lui Sha and
Ragunathan Rajkumar and
Shirish S. Sathaye},
title = {Generalized rate-monotonic scheduling theory: a framework for developing
real-time systems},
journal = {Proc. {IEEE}},
volume = {82},
number = {1},
pages = {68--82},
year = {1994},
url = {https://doi.org/10.1109/5.259427},
doi = {10.1109/5.259427},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/ShaRS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/ShaS93,
author = {Lui Sha and
Shirish S. Sathaye},
title = {A Systematic Approach to Design Distributed Real-Time Systems},
journal = {Computer},
volume = {26},
number = {9},
pages = {68--78},
year = {1993},
url = {https://doi.org/10.1109/2.231276},
doi = {10.1109/2.231276},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/ShaS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/DavariS92,
author = {Sadegh Davari and
Lui Sha},
title = {Sources of Unbounded Priority Inversions in Real-Time Systems and
a Comparative Study of Possible Solutions},
journal = {{ACM} {SIGOPS} Oper. Syst. Rev.},
volume = {26},
number = {2},
pages = {110--120},
year = {1992},
url = {https://doi.org/10.1145/142111.142126},
doi = {10.1145/142111.142126},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigops/DavariS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/ShaSS92,
author = {Lui Sha and
Shirish S. Sathaye and
Jay K. Strosnider},
title = {Scheduling real-time communication on dual-link networks},
booktitle = {Proceedings of the Real-Time Systems Symposium - 1992, Phoenix, Arizona,
USA, December 1992},
pages = {188--197},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/REAL.1992.242664},
doi = {10.1109/REAL.1992.242664},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/ShaSS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/ShaRSC91,
author = {Lui Sha and
Ragunathan Rajkumar and
Sang Hyuk Son and
Chun{-}Hyon Chang},
title = {A Real-Time Locking Protocol},
journal = {{IEEE} Trans. Computers},
volume = {40},
number = {7},
pages = {793--800},
year = {1991},
url = {https://doi.org/10.1109/12.83617},
doi = {10.1109/12.83617},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/ShaRSC91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/ShaG90,
author = {Lui Sha and
John B. Goodenough},
title = {Real-Time Scheduling Theory and Ada},
journal = {Computer},
volume = {23},
number = {4},
pages = {53--62},
year = {1990},
url = {https://doi.org/10.1109/2.55469},
doi = {10.1109/2.55469},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/ShaG90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/ShaRL90,
author = {Lui Sha and
Ragunathan Rajkumar and
John P. Lehoczky},
title = {Priority Inheritance Protocols: An Approach to Real-Time Synchronization},
journal = {{IEEE} Trans. Computers},
volume = {39},
number = {9},
pages = {1175--1185},
year = {1990},
url = {https://doi.org/10.1109/12.57058},
doi = {10.1109/12.57058},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tc/ShaRL90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/ShaLR90,
author = {Lui Sha and
John P. Lehoczky and
Ragunathan Rajkumar},
title = {Real-Time Scheduling Support in Futurebus+},
booktitle = {Proceedings of the Real-Time Systems Symposium - 1990, Lake Buena
Vista, Florida, USA, December 1990},
pages = {331--340},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/REAL.1990.128765},
doi = {10.1109/REAL.1990.128765},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/ShaLR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/SpruntSL89,
author = {Brinkley Sprunt and
Lui Sha and
John P. Lehoczky},
title = {Aperiodic Task Scheduling for Hard Real-Time Systems},
journal = {Real Time Syst.},
volume = {1},
number = {1},
pages = {27--60},
year = {1989},
url = {https://doi.org/10.1007/BF02341920},
doi = {10.1007/BF02341920},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/SpruntSL89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/ShaRLR89,
author = {Lui Sha and
Ragunathan Rajkumar and
John P. Lehoczky and
Krithi Ramamritham},
title = {Mode Change Protocols for Priority-Driven Preemptive Scheduling},
journal = {Real Time Syst.},
volume = {1},
number = {3},
pages = {243--264},
year = {1989},
url = {https://doi.org/10.1007/BF00365439},
doi = {10.1007/BF00365439},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rts/ShaRLR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/LehoczkySD89,
author = {John P. Lehoczky and
Lui Sha and
Y. Ding},
title = {The Rate Monotonic Scheduling Algorithm: Exact Characterization and
Average Case Behavior},
booktitle = {Proceedings of the Real-Time Systems Symposium - 1989, Santa Monica,
California, USA, December 1989},
pages = {166--171},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/REAL.1989.63567},
doi = {10.1109/REAL.1989.63567},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/LehoczkySD89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/ShaRL88,
author = {Lui Sha and
Ragunathan Rajkumar and
John P. Lehoczky},
title = {Concurrency Control for Distributed Real-Time Databases},
journal = {{SIGMOD} Rec.},
volume = {17},
number = {1},
pages = {82--98},
year = {1988},
url = {https://doi.org/10.1145/44203.44210},
doi = {10.1145/44203.44210},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmod/ShaRL88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/ShaLJ88,
author = {Lui Sha and
John P. Lehoczky and
E. Douglas Jensen},
title = {Modular Concurrency Control and Failure Recovery},
journal = {{IEEE} Trans. Computers},
volume = {37},
number = {2},
pages = {146--159},
year = {1988},
url = {https://doi.org/10.1109/12.2144},
doi = {10.1109/12.2144},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/ShaLJ88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/0002S88,
author = {John B. Goodenough and
Lui Sha},
editor = {John Barnes},
title = {The priority ceiling protocol: {A} method for minimizing the blocking
of high priority Ada tasks},
booktitle = {Proceedings of the Second International Workshop on Real-Time Ada
Issues, {IRTAW} 1988, Moretonhampstead, Devon, UK, June 1-3, 1988},
pages = {20--31},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/58612.59371},
doi = {10.1145/58612.59371},
timestamp = {Thu, 31 Mar 2022 11:11:48 +0200},
biburl = {https://dblp.org/rec/conf/irtaw/0002S88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/LockeSRLB88,
author = {C. Douglass Locke and
Lui Sha and
R. Rajikumar and
John P. Lehoczky and
Gregory Burns},
editor = {John Barnes},
title = {Priority inversion and its control: An experimental investigation},
booktitle = {Proceedings of the Second International Workshop on Real-Time Ada
Issues, {IRTAW} 1988, Moretonhampstead, Devon, UK, June 1-3, 1988},
pages = {39--42},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/58612.59374},
doi = {10.1145/58612.59374},
timestamp = {Wed, 20 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/irtaw/LockeSRLB88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isca/SpruntKS88,
author = {Brinkley Sprunt and
David Blair Kirk and
Lui Sha},
editor = {Howard Jay Siegel},
title = {Priority-Driven, Preemptive {I/O} Controllers for Real-Time Systems},
booktitle = {Proceedings of the 15th Annual International Symposium on Computer
Architecture, Honolulu, Hawaii, USA, May-June 1988},
pages = {152--159},
publisher = {{IEEE} Computer Society},
year = {1988},
url = {https://doi.org/10.1109/ISCA.1988.5224},
doi = {10.1109/ISCA.1988.5224},
timestamp = {Thu, 02 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isca/SpruntKS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/SpruntLS88,
author = {Brinkley Sprunt and
John P. Lehoczky and
Lui Sha},
title = {Exploiting Unused Periodic Time for Aperiodic Service Using the Extended
Priority Exchange Algorithm},
booktitle = {Proceedings of the 9th {IEEE} Real-Time Systems Symposium {(RTSS}
'88), December 6-8, 1988, Huntsville, Alabama, {USA}},
pages = {251--258},
publisher = {{IEEE} Computer Society},
year = {1988},
url = {https://doi.org/10.1109/REAL.1988.51120},
doi = {10.1109/REAL.1988.51120},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/SpruntLS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/RajkumarSL88,
author = {Ragunathan Rajkumar and
Lui Sha and
John P. Lehoczky},
title = {Real-Time Synchronization Protocols for Multiprocessors},
booktitle = {Proceedings of the 9th {IEEE} Real-Time Systems Symposium {(RTSS}
'88), December 6-8, 1988, Huntsville, Alabama, {USA}},
pages = {259--269},
publisher = {{IEEE} Computer Society},
year = {1988},
url = {https://doi.org/10.1109/REAL.1988.51121},
doi = {10.1109/REAL.1988.51121},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/RajkumarSL88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/CornhillSL87,
author = {Dennis Cornhill and
Lui Sha and
John P. Lehoczky},
editor = {John Barnes},
title = {Limitations of Ada for real-time scheduling},
booktitle = {Proceedings of the First International Workshop on Real-Time Ada Issues,
{IRTAW} 1987, Morehampstead, Devon, United Kingdom, May 13-15, 1987},
pages = {33--39},
publisher = {{ACM}},
year = {1987},
url = {https://doi.org/10.1145/36821.36798},
doi = {10.1145/36821.36798},
timestamp = {Wed, 30 Mar 2022 14:40:38 +0200},
biburl = {https://dblp.org/rec/conf/irtaw/CornhillSL87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/RajkumarL87,
author = {Ragunathan Rajkumar and
Lui Sha and
John P. Lehoczky},
title = {On Countering the Effects of Cycle-Stealing in a Hard Real-Time Environment},
booktitle = {Proceedings of the 8th {IEEE} Real-Time Systems Symposium {(RTSS}
'87), December 1-3, 1987, San Jose, Califorinia, {USA}},
pages = {2--11},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Wed, 23 Jan 2013 07:55:26 +0100},
biburl = {https://dblp.org/rec/conf/rtss/RajkumarL87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/LehoczkySS87,
author = {John P. Lehoczky and
Lui Sha and
Jay K. Strosnider},
title = {Enhanced Aperiodic Responsiveness in Hard Real-Time Environments},
booktitle = {Proceedings of the 8th {IEEE} Real-Time Systems Symposium {(RTSS}
'87), December 1-3, 1987, San Jose, Califorinia, {USA}},
pages = {261--270},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Wed, 23 Jan 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/LehoczkySS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/ShaLR86,
author = {Lui Sha and
John P. Lehoczky and
Ragunathan Rajkumar},
title = {Solutions for Some Practical Problems in Prioritized Preemptive Scheduling},
booktitle = {Proceedings of the 7th {IEEE} Real-Time Systems Symposium {(RTSS}
'86), December 2-4, 1986, New Orleans, Louisiana, {USA}},
pages = {181--191},
publisher = {{IEEE} Computer Society},
year = {1986},
timestamp = {Wed, 23 Jan 2013 07:55:26 +0100},
biburl = {https://dblp.org/rec/conf/rtss/ShaLR86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmetrics/LehoczkyS86,
author = {John P. Lehoczky and
Lui Sha},
editor = {Harry G. Perros and
William J. Stewart and
Kishor S. Trivedi},
title = {Performance of Real-Time Bus Scheduling Algorithms},
booktitle = {Proceedings of the 1986 {ACM} {SIGMETRICS} joint international conference
on Computer performance modelling, measurement and evaluation, North
Carolina, State University, USA, May 28-30, 1986},
pages = {44--53},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/317499.317538},
doi = {10.1145/317499.317538},
timestamp = {Mon, 13 Feb 2023 21:54:28 +0100},
biburl = {https://dblp.org/rec/conf/sigmetrics/LehoczkyS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/ShaJRN83,
author = {Lui Sha and
E. Douglas Jensen and
Richard F. Rashid and
J. Duane Northcutt},
editor = {David C. Wood and
Simon S. Lam},
title = {Distributed co-operating processes and transactions},
booktitle = {Proceedings of the symposium on Communications Architectures {\&}
Protocols, {SIGCOMM} 1983, Austin, Texas, USA, March 8-9, 1983},
pages = {188--196},
publisher = {{ACM}},
year = {1983},
url = {https://doi.org/10.1145/1035237.1035275},
doi = {10.1145/1035237.1035275},
timestamp = {Fri, 23 Jul 2021 15:35:16 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/ShaJRN83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-02-26 22:46 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
