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

Research Output

2020

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

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

Research output: Contribution to journalArticle

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

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

Research output: Contribution to journalArticle

Open Access
2019

A Container-based DoS Attack-Resilient Control Framework for Real-Time UAV Systems

Chen, J., Feng, Z., Wen, J. Y., Liu, B. & Sha, L., May 14 2019, Proceedings of the 2019 Design, Automation and Test in Europe Conference and Exhibition, DATE 2019. Institute of Electrical and Electronics Engineers Inc., p. 1222-1227 6 p. 8714888. (Proceedings of the 2019 Design, Automation and Test in Europe Conference and Exhibition, DATE 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Decision-driven scheduling

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

Research output: Contribution to journalArticle

Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts

Guo, C., Fu, Z., Zhang, Z., Ren, S. & Sha, L., Aug 2019, In : IEEE Internet of Things Journal. 6, 4, p. 6276-6284 9 p., 8521661.

Research output: Contribution to journalArticle

Towards resilient UAV: Escape time in GPS denied environment with sensor drift

Yoon, H. J., Wan, W., Kim, H., Hovakimyan, N., Sha, L. & Voulgaris, P. G., Oct 2019, In : IFAC-PapersOnLine. 52, 12, p. 423-428 6 p.

Research output: Contribution to journalConference article

Open Access
2018

A cyber-physical system framework for early detection of paroxysmal diseases

Gu, Z., Jiang, Y., Zhou, M., Gu, M., Song, X. & Sha, L., Jun 23 2018, In : IEEE Access. 6, p. 34834-34845 12 p.

Research output: Contribution to journalArticle

Athena: Towards decision-centric anticipatory sensor information delivery

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

Research output: Contribution to journalArticle

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

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

Research output: Contribution to journalArticle

IAFinder: Identifying potential implicit assumptions to facilitate validation in medical cyber-physical system

Fu, Z., Wang, Z., Guo, C., Zhang, Z., Ren, S. & Sha, L., Jun 24 2018, Proceedings of the 55th Annual Design Automation Conference, DAC 2018. Institute of Electrical and Electronics Engineers Inc., a143. (Proceedings - Design Automation Conference; vol. Part F137710).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Model and Integrate Medical Resource Available Times and Relationships in Verifiably Correct Executable Medical Best Practice Guideline Models

Guo, C., Fu, Z., Zhang, Z., Ren, S. & Sha, L., Aug 21 2018, Proceedings - 9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018. Institute of Electrical and Electronics Engineers Inc., p. 253-262 10 p. 8443739. (Proceedings - 9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

RSimplex: A robust control architecture for cyber and physical failures

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

Research output: Contribution to journalArticle

SafeTrace: A safety-driven requirement traceability framework on device interaction hazards for MD PnP

Ou, A. Y. Z., Rahmaniheris, M., Jiang, Y., Sha, L., Fu, Z. & Ren, S., Apr 9 2018, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018. Association for Computing Machinery, p. 1282-1291 10 p. (Proceedings of the ACM Symposium on Applied Computing).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

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

Research output: Contribution to journalArticle

Study of Software-Related Causes in the FDA Medical Device Recalls

Fu, Z., Guo, C., Ren, S., Jiang, Y. & Sha, L., Feb 14 2018, Proceedings - 2017 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017. Institute of Electrical and Electronics Engineers Inc., p. 60-69 10 p. (Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS; vol. 2017-November).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2017

Adaptive Clinical Data Communication for Remote Monitoring in Rural Ambulance Transport

Hosseini, M., Berlin, R. R., Jiang, Y. & Sha, L., Aug 14 2017, Proceedings - 2017 IEEE 2nd International Conference on Connected Health: Applications, Systems and Engineering Technologies, CHASE 2017. Institute of Electrical and Electronics Engineers Inc., p. 245-246 2 p. 8010640. (Proceedings - 2017 IEEE 2nd International Conference on Connected Health: Applications, Systems and Engineering Technologies, CHASE 2017).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A mobile geo-communication dataset for physiology-aware DASH in rural ambulance transport

Hosseini, M., Jiang, Y., Yekkehkhany, A., Berlin, R. R. & Sha, L., Jun 20 2017, Proceedings of the 8th ACM Multimedia Systems Conference, MMSys 2017. Association for Computing Machinery, Inc, p. 158-163 6 p. (Proceedings of the 8th ACM Multimedia Systems Conference, MMSys 2017).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

An integrated Medical CPS for early detection of paroxysmal sympathetic hyperactivity

Gu, Z., Song, H., Jiang, Y., Choi, J., He, H., Sha, L. & Gu, M., Jan 17 2017, Proceedings - 2016 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2016. Burrage, K., Zhu, Q., Liu, Y., Tian, T., Wang, Y., Hu, X. T., Jiang, Q., Song, J., Morishita, S., Burrage, K. & Wang, G. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 818-822 5 p. 7822630. (Proceedings - 2016 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2016).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A schedulability test for software migration on multicore system

Kim, J. E., Bradford, R., Abdelzaher, T. & Sha, L. R., May 11 2017, Proceedings of the 2017 Design, Automation and Test in Europe, DATE 2017. Institute of Electrical and Electronics Engineers Inc., p. 1261-1264 4 p. 7927184. (Proceedings of the 2017 Design, Automation and Test in Europe, DATE 2017).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

CPS runtime architecture and automated transformation of applications

Sha, L., Nov 3 2017, FEAST 2017 - Proceedings of the 2017 Workshop on Forming an Ecosystem Around Software Transformation, co-located with CCS 2017. Association for Computing Machinery, Inc, p. 31-34 4 p. (FEAST 2017 - Proceedings of the 2017 Workshop on Forming an Ecosystem Around Software Transformation, co-located with CCS 2017).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Data-centered runtime verification of wireless medical cyber-physical system

Jiang, Y., Song, H., Wang, R., Gu, M., Sun, J. & Sha, L., Aug 2017, In : IEEE Transactions on Industrial Informatics. 13, 4, p. 1900-1909 10 p., 7480373.

Research output: Contribution to journalArticle

Learning execution contexts from system call distribution for anomaly detection in smart embedded system

Yoon, M. K., Mohan, S., Choi, J., Christodorescu, M. & Sha, L., Apr 18 2017, Proceedings - 2017 IEEE/ACM 2nd International Conference on Internet-of-Things Design and Implementation, IoTDI 2017 (part of CPS Week). Association for Computing Machinery, Inc, p. 191-196 6 p. (Proceedings - 2017 IEEE/ACM 2nd International Conference on Internet-of-Things Design and Implementation, IoTDI 2017 (part of CPS Week)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Model and integrate medical resource availability into verifiably correct executable medical guidelines

Guo, C., Fu, Z., Zhang, Z., Ren, S. & Sha, L. R., Dec 13 2017, 2017 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2017. Institute of Electrical and Electronics Engineers Inc., p. 964-969 6 p. (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD; vol. 2017-November).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Modeling and Integrating Human Interaction Assumptions in Medical Cyber-Physical System Design

Fu, Z., Guo, C., Ren, S., Ou, Y. & Sha, L., Nov 10 2017, Proceedings - 2017 IEEE 30th International Symposium on Computer-Based Medical Systems, CBMS 2017. Bamidis, P. D., Konstantinidis, S. T. & Rodrigues, P. P. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 373-378 6 p. 8104222. (Proceedings - IEEE Symposium on Computer-Based Medical Systems; vol. 2017-June).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Modeling and integrating physical environment assumptions in medical cyber-physical system design

Fu, Z., Guo, C., Ren, S., Jiang, Y. & Sha, L. R., May 11 2017, Proceedings of the 2017 Design, Automation and Test in Europe, DATE 2017. Institute of Electrical and Electronics Engineers Inc., p. 1615-1618 4 p. 7927249. (Proceedings of the 2017 Design, Automation and Test in Europe, DATE 2017).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

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

Research output: Contribution to journalArticle

Pattern-Based Statechart Modeling Approach for Medical Best Practice Guidelines - A Case Study

Guo, C., Fu, Z., Ren, S., Jiang, Y., Rahmaniheris, M. & Sha, L., Nov 10 2017, Proceedings - 2017 IEEE 30th International Symposium on Computer-Based Medical Systems, CBMS 2017. Bamidis, P. D., Konstantinidis, S. T. & Rodrigues, P. P. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 117-122 6 p. 8104169. (Proceedings - IEEE Symposium on Computer-Based Medical Systems; vol. 2017-June).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Physiology-Aware Rural Ambulance Routing

Hosseini, M., Berlin, R. B. & Sha, L., Sep 8 2017, Proceedings - 2017 IEEE International Conference on Healthcare Informatics, ICHI 2017. Cummins, M., Facelli, J., Meixner, G., Giraud-Carrier, C. & Nakajima, H. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 332-337 6 p. 8031170. (Proceedings - 2017 IEEE International Conference on Healthcare Informatics, ICHI 2017).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Preventable Medical Errors Driven Modeling of Medical Best Practice Guidance Systems

Ou, A. Y. Z., Jiang, Y., Wu, P. L., Sha, L. & Berlin, R. B., Jan 1 2017, In : Journal of Medical Systems. 41, 1, 9.

Research output: Contribution to journalArticle

Toward physiology-aware DASH: Bandwidth-compliant prioritized clinical multimedia communication in ambulances

Hosseini, M., Jiang, Y., Berlin, R. R., Sha, L. & Song, H., Oct 2017, In : IEEE Transactions on Multimedia. 19, 10, p. 2307-2321 15 p., 7995124.

Research output: Contribution to journalArticle

Toward safe interoperations in network connected medical cyber-physical systems using open-loop safe protocols

Ou, A. Y. Z., Rahmaniheris, M., Jiang, Y., Wu, P. L. & Sha, L., Dec 13 2017, 2017 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2017. Institute of Electrical and Electronics Engineers Inc., p. 957-963 7 p. (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD; vol. 2017-November).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards Verifiable Safe and Correct Medical Best Practice Guideline Systems

Guo, C., Fu, Z., Ren, S., Jiang, Y. & Sha, L., Sep 7 2017, Proceedings - 2017 IEEE 41st Annual Computer Software and Applications Conference, COMPSAC 2017. Demartini, C., Conte, T., Nakamura, M., Lung, C-H., Zhang, Z., Hasan, K., Reisman, S., Liu, L., Claycomb, W., Takakura, H., Yang, J-J., Tovar, E., Cimato, S., Ahamed, S. I. & Akiyama, T. (eds.). IEEE Computer Society, p. 760-765 6 p. 8029695. (Proceedings - International Computer Software and Applications Conference; vol. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Using human intellectual tasks as guidelines to systematically model medical cyber-physical systems

Ou, A. Y. Z., Yu, J., Wu, P. L., Sha, L. R. & Berlin, R. B., Feb 6 2017, 2016 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2016 - Conference Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 4394-4399 6 p. 7844922. (2016 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2016 - Conference Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

VirtualDrone: Virtual sensing, actuation, and communication for attack-resilient unmanned aerial systems

Yoon, M. K., Liu, B., Hovakimyan, N. & Sha, L., Apr 18 2017, Proceedings - 2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems, ICCPS 2017 (part of CPS Week). Association for Computing Machinery, Inc, p. 143-154 12 p. (Proceedings - 2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems, ICCPS 2017 (part of CPS Week)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

WiP abstract: A physiology-aware communication architecture for distributed emergency medical CPS

Hosseini, M., Berlin, R. R. & Sha, L., Apr 18 2017, Proceedings - 2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems, ICCPS 2017 (part of CPS Week). Association for Computing Machinery, Inc, 1 p. (Proceedings - 2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems, ICCPS 2017 (part of CPS Week)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2016

An organ-centric best practice assist system for acute care

Rahmaniheris, M., Wu, P., Sha, L. & Berlin, R. R., Aug 16 2016, Proceedings - IEEE 29th International Symposium on Computer-Based Medical Systems, CBMS 2016. Institute of Electrical and Electronics Engineers Inc., p. 100-105 6 p. 7545965. (Proceedings - IEEE Symposium on Computer-Based Medical Systems; vol. 2016-August).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

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

Research output: Contribution to journalArticle

A Self-Adaptively Evolutionary Screening Approach for Sepsis Patient

Jiang, Y., Tan, P., Song, H., Wan, B., Hosseini, M. & Sha, L., Aug 16 2016, Proceedings - IEEE 29th International Symposium on Computer-Based Medical Systems, CBMS 2016. Institute of Electrical and Electronics Engineers Inc., p. 60-65 6 p. 7545957. (Proceedings - IEEE Symposium on Computer-Based Medical Systems; vol. 2016-August).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design

Jiang, Y., Yang, Y., Liu, H., Kong, H., Gu, M., Sun, J. & Sha, L., Apr 27 2016, 2016 IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2016 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 7461337. (2016 IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2016 - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

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

Research output: Contribution to journalArticle

On Maximizing Quality of Information for the Internet of Things: A Real-Time Scheduling Perspective (Invited Paper)

Kim, J. E., Abdelzaher, T., Sha, L., Bar-Noy, A., Hobbs, R. & Dron, W., Sep 29 2016, Proceedings - 2016 IEEE 22nd International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2016. Institute of Electrical and Electronics Engineers Inc., p. 202-211 10 p. 7579957. (Proceedings - 2016 IEEE 22nd International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2016).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Real-Time Computing on Multicore Processors

Sha, L., Caccamo, M., Mancuso, R., Kim, J. E., Yoon, M. K., Pellizzoni, R., Yun, H., Kegley, R. B., Perlman, D. R., Arundale, G. & Bradford, R., Sep 2016, Computer, 49, 9, p. 69-77 9 p.

Research output: Contribution to specialist publicationArticle

Real-time reachability for verified simplex design

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

Research output: Contribution to journalArticle

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

Jiang, Y., Liu, H., Song, H., Kong, H., Gu, M., Sun, J. & Sha, L., 2016, FM 2016: Formal Methods - 21st International Symposium, Proceedings. Heitmeyer, C., Philippou, A., Gnesi, S. & Fitzgerald, J. (eds.). Springer-Verlag Berlin Heidelberg, p. 757-763 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9995 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Schedulability analysis for memory bandwidth regulated multicore real-time systems

Yao, G., Yun, H., Wu, Z. P., Pellizzoni, R., Caccamo, M. & Sha, L., Feb 1 2016, In : IEEE Transactions on Computers. 65, 2, p. 601-614 14 p., 7093140.

Research output: Contribution to journalArticle

Sepsis Patient Detection and Monitor Based on Auto-BN

Jiang, Y., Sha, L., Rahmaniheris, M., Wan, B., Hosseini, M., Tan, P. & Berlin, R. B., Apr 1 2016, In : Journal of Medical Systems. 40, 4, 111.

Research output: Contribution to journalArticle

Sporadic Decision-Centric Data Scheduling with Normally-off Sensors

Kim, J. E., Abdelzaher, T., Sha, L., Bar-Noy, A. & Hobbs, R., Jul 2 2016, Proceedings - 2016 IEEE Real-Time Systems Symposium, RTSS 2016. Institute of Electrical and Electronics Engineers Inc., p. 135-145 11 p. 7809850. (Proceedings - Real-Time Systems Symposium; vol. 0).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TaskShuffler: A Schedule Randomization Protocol for Obfuscation against Timing Inference Attacks in Real-Time Systems

Yoon, M. K., Mohan, S., Chen, C. Y. & Sha, L., Apr 27 2016, 2016 IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2016 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 7461362. (2016 IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2016 - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

The dragonbeam framework: Hardware-protected security modules for in-place intrusion detection

Yoon, M. K., Christodorescu, M., Sha, L. & Mohan, S., Jun 6 2016, SYSTOR 2016 - Proceedings of the 9th ACM International Systems and Storage Conference. Association for Computing Machinery, Inc, 2928290. (SYSTOR 2016 - Proceedings of the 9th ACM International Systems and Storage Conference).

Research output: Chapter in Book/Report/Conference proceedingConference contribution