24 citations · 125 across the 32 of their papers we have counts for
5 papers · 1 filter
A Container-based DoS Attack-Resilient Control Framework for Real-Time UAV Systems
Jiyang Chen, Zhiwei Feng, Jen-Yang Wen +2
The Unmanned aerial vehicles (UAVs) sector is fast-expanding. Protection of real-time UAV applications against malicious attacks has become an urgent problem that needs to be solve…
Model and Integrate Medical Resource Availability into Verifiably Correct Executable Medical Guidelines - Technical Report
Chunhui Guo, Zhicheng Fu, Zhenyu Zhang +2
Improving effectiveness and safety of patient care is an ultimate objective for medical cyber-physical systems. A recent study shows that the patients' death rate can be reduced by…
Model and Integrate Medical Resource Available Times and Relationships in Verifiably Correct Executable Medical Best Practice Guideline Models (Extended Version)
Chunhui Guo, Zhicheng Fu, Zhenyu Zhang +2
Improving patient care safety is an ultimate objective for medical cyber-physical systems. A recent study shows that the patients' death rate is significantly reduced by computeriz…
Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report)
Chunhui Guo, Zhicheng Fu, Zhenyu Zhang +2
Improving patient care safety is an ultimate objective for medical cyber-physical systems. A recent study shows that the patients' death rate can be significantly reduced by comput…
Checking is Believing: Event-Aware Program Anomaly Detection in Cyber-Physical Systems
Long Cheng, Ke Tian, Danfeng Yao +2
Securing cyber-physical systems (CPS) against malicious attacks is of paramount importance because these attacks may cause irreparable damages to physical systems. Recent studies h…