Mu Sun

Addressing Safety and Security Contradictions in Cyber-Physical Systems

Carl A. Gunter, Mu Sun, Sibin Mohan, 2009 .

A framework for the safe interoperability of medical devices in the presence of network failures

Lui Sha, Tarek F. Abdelzaher, Sibin Mohan, 2010, ICCPS '10.

Lab Tests Confirmation Invalidate Augment Information Diagnosis InvalidDiagnosis Treatment Ineffective Treatment Option Confirmation

L. Sha, Mu Sun, Cheolgi Kim, 2012 .

Addressing Safety and Security Contradictions in Cyber-Physical Systems

Carl A. Gunter, Mu Sun, Sibin Mohan, 2009 .

Handling mixed-criticality in SoC-based real-time embedded systems

Lui Sha, Marco Caccamo, Min-Young Nam, 2009, EMSOFT '09.

Towards a Systematic Software Architecture for Acute Care Support

Lui Sha, Richard B. Berlin, Mu Sun, 2012 .

A Formal Pattern Architecture for Safe Medical Systems

Lui Sha, José Meseguer, Mu Sun, 2010, WRLA.

A Formal Architecture Pattern for Real-Time Distributed Systems

Xiaokang Qiu, Steven P. Miller, Lui Sha, 2009, 2009 30th IEEE Real-Time Systems Symposium.

The System-Level Simplex Architecture for Improved Real-Time Embedded System Safety

Lui Sha, Marco Caccamo, Stanley Bak, 2009, 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium.