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

Research Output 1983 2019

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. R., 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

Denial of Service
Unmanned aerial vehicles (UAV)
Container
Containers
Attack

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

Communication
Semantics
Laser surgery
Rapid prototyping
Cyber Physical System
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

Medicine
Cyber Physical System

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., Jan 1 2018, In : Journal of Sensor and Actuator Networks. 7, 1, 5.

Research output: Contribution to journalArticle

delivery
Network protocols
Sensor
sensors
Sensors

Decision-driven scheduling

Kim, J. E., Abdelzaher, T., Sha, L. R., Bar-Noy, A., Hobbs, R. & Dron, W., Jan 1 2018, (Accepted/In press) In : Real-Time Systems.

Research output: Contribution to journalArticle

Event-driven
Scheduling
Sensor
Periodic Tasks
Sensors

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

Simulink
Simulation
Fault
Defects
Model

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. R., Jun 24 2018, Proceedings of the 55th Annual Design Automation Conference, DAC 2018. Institute of Electrical and Electronics Engineers Inc., Vol. Part F137710. a143

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

Statecharts
Data mining
Invariant
Cardiac
Cyber Physical System

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. R., 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

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

Best Practice
Integrate
Resources
Verify
Safety

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

Robust control
Robust Control
Controllers
Controller
Monitor

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

Ou, A. Y. Z., Rahmaniheris, M., Jiang, Y., Sha, L. R., 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

Hazards

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. R., Oct 2018, In : IEEE Transactions on Intelligent Transportation Systems. 19, 10, p. 3320-3333 14 p., 8260537.

Research output: Contribution to journalArticle

Controllers
Binary codes
Glues
Model checking
Data communication systems

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

Industrial research
Software design
Systems analysis
Cyber Physical System
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

Ambulances
Communication
monitoring
Bandwidth
Monitoring

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

Ambulances
Physiology
Communication
Bandwidth
Monitoring

An integrated Medical CPS for early detection of paroxysmal sympathetic hyperactivity

Gu, Z., Song, H., Jiang, Y., Choi, J., He, H., Sha, L. R. & 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

Brain
Medical Staff
Publications
Detectors
Costs and Cost Analysis

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

Time division multiple access
Servers
Scheduling
Industry

CPS runtime architecture and automated transformation of applications

Sha, L. R., 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

Application programs

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

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

Research output: Contribution to journalArticle

Decision support systems
Health care
Flow simulation
Medicine
Cyber Physical System

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

Embedded systems
Cluster analysis

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

Availability
Biomedical equipment
Cyber Physical System

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

Fu, Z., Guo, C., Ren, S., Ou, Y. & Sha, L. R., 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

Systems analysis
Theoretical Models
United States Food and Drug Administration
Mechanical Ventilators
Medical Device Recalls

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

Systems analysis
Mathematical models
Cyber Physical System
Engineers
Chemical analysis

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

Work Flow
Sensing
Sensors
Interaction
Concretes

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. R., 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

Practice Guidelines
Medical Staff
Guidelines
Heart Arrest
Patient Care

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

Ambulances
Communication
Emergencies
Physiologic Monitoring
Patient Care

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

Medical Errors
Practice Guidelines
Systems analysis
Resuscitation
Intensive care units
Patient Identification Systems
Patient Care Team
Workflow
Emergency Medical Services
Health care

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

Ambulances
Physiology
Bandwidth
Communication
Wireless networks

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. R., 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

Network protocols
Communication
Wireless networks
Personnel
Cyber Physical System

Towards Verifiable Safe and Correct Medical Best Practice Guideline Systems

Guo, C., Fu, Z., Ren, S., Jiang, Y. & Sha, L. R., 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

Formal verification

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

Systems analysis
Resuscitation
System Design
Intensive care units
Navigation systems

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

Antennas
Communication
Software architecture
Computer hardware
Actuators

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

Hosseini, M., Berlin, R. B. & Sha, L. R., 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

Physiology
Communication
Ambulances
Bandwidth
Satellite links
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

Practice Guidelines
Patient monitoring
Monitoring
Finite automata
Managers

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

Practice Guidelines
Communication
Ambulances
Rural Hospitals
Telemedicine

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

Sepsis
Screening
Systemic Inflammatory Response Syndrome
Semantics
Cause of Death

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. R., 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

Controllers
Computer hardware description languages
Hardware
Engineers
Monitoring

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

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

Research output: Contribution to journalArticle

Isolation
Bandwidth
Data storage equipment
Reservation
Reservation systems

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

Scheduling
Heuristic algorithms
Internet of things
Quality of information
Deadline

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

Avionics
Engineers

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

Controllers
Hybrid systems
ARM processors
Pendulums
Microcontrollers

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., Jan 1 2016, FM 2016: Formal Methods - 21st International Symposium, Proceedings. Heitmeyer, C., Philippou, A., Gnesi, S. & Fitzgerald, J. (eds.). Springer-Verlag, 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

Formal Model
Safety
Controller
Controllers
Timed Automata

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

Schedulability Analysis
Real time systems
Bandwidth
Real-time
Data storage equipment

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

Sepsis
Screening
Monitoring
Statistical Models
Cause of Death

Sporadic Decision-Centric Data Scheduling with Normally-off Sensors

Kim, J. E., Abdelzaher, T., Sha, L. R., 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

Scheduling
Sensors
Chemical activation
Controllers
Sampling

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

Real time systems
Entropy
Uncertainty

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

Intrusion detection
Monitoring
Engines
Hardware
Hardware security

Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models

Guo, C., Ren, S., Jiang, Y., Wu, P. L., Sha, L. R. & Berlin, R. B., May 25 2016, 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems, ICCPS 2016 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 7479121. (2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems, ICCPS 2016 - Proceedings).

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

Rapid prototyping
Large scale systems
Websites
Formal verification
Cyber Physical System

Use runtime verification to improve the quality of medical care practice

Jiang, Y., Liu, H., Kong, H., Wang, R., Hosseini, M., Sun, J. & Sha, L., May 14 2016, Proceedings - 5th International Workshop on Green and Sustainable Software, GREENS 2016. IEEE Computer Society, p. 112-121 10 p. (Proceedings - International Conference on Software Engineering).

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

Decision support systems
Health care
Flow simulation
Medicine
Data acquisition
2015

Budgeted generalized rate monotonic analysis for the partitioned, yet globally scheduled uniprocessor model

Kim, J. E., Abdelzaher, T. & Sha, L. R., May 14 2015, Proceedings - 21st IEEE Real Time and Embedded Technology and Applications Symposium, RTAS 2015. Institute of Electrical and Electronics Engineers Inc., p. 221-231 11 p. 7108445. (Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS; vol. 2015-May).

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

Program processors
Scheduling
Linear programming
Software engineering
Servers