Efficient System Verification with Multiple Weakly-Hard Constraints for Runtime Monitoring. - Shih-Lun Wu; Ching-Yuan Bai; Kai-Chieh Chang; Yi-Ting Hsieh 002; Chao Huang 015; Chung-Wei Lin; Eunsuk Kang; Qi Zhu 002 (RV, 2020)

System Verification and Runtime Monitoring with Multiple Weakly-Hard Constraints. - Yi-Ting Hsieh 002; Tzu-Tao Chang; Chen-Jun Tsai; Shih-Lun Wu; Ching-Yuan Bai; Kai-Chieh Chang; Chung-Wei Lin; Eunsuk Kang; Chao Huang 015; Qi Zhu 002 (ACM Trans. Cyber Phys. Syst., 2023)