Author of the publication

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

, , , , , and . J. Medical Systems, 40 (11): 227:1-227:17 (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation., , , , , , , and . ACM Trans. Cyber Phys. Syst., 3 (1): 12:1-12:31 (2019)SchedGuard++: Protecting against Schedule Leaks Using Linux Containers on Multi-Core Processors., , , , , , , , and . ACM Trans. Cyber Phys. Syst., 7 (1): 6:1-6:25 (January 2023)Service Continuity in Networked Control Using Etherware., , , and . IEEE Distributed Syst. Online, (2004)The priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasks., and . IRTAW, page 20-31. ACM, (1988)Compositional Verification of Architectural Models., , , , , and . NASA Formal Methods, volume 7226 of Lecture Notes in Computer Science, page 126-140. Springer, (2012)A Mobile Geo-Communication Dataset for Physiology-Aware DASH in Rural Ambulance Transport., , , , and . MMSys, page 158-163. ACM, (2017)Towards Resilient UAV: Escape Time in GPS Denied Environment with Sensor Drift., , , , , and . CoRR, (2019)Model and Integrate Medical Resource Available Times and Relationships in Verifiably Correct Executable Medical Best Practice Guideline Models (Extended Version)., , , , and . CoRR, (2018)Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report)., , , , and . CoRR, (2018)Optimal real-time sampling rate assignment for wireless sensor networks., , , , and . ACM Trans. Sens. Networks, 2 (2): 263-295 (2006)