公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
2019 | A Byzantine-Tolerant Distributed Consensus Algorithm for Connected Vehicles Using Proof-of-Eligibility. | Liu, Huiye; CHUNG-WEI LIN ; Kang, Eunsuk; Shiraishi, Shinichi; Blough, Douglas M. | Proceedings of the 22nd International ACM Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2019, Miami Beach, FL, USA, November 25-29, 2019 | 11 | 0 | |
2018 | Network and system level security in connected vehicle applications. | Liang, Hengyi; Jagielski, Matthew; Zheng, Bowen; CHUNG-WEI LIN ; Kang, Eunsuk; Shiraishi, Shinichi; Nita-Rotaru, Cristina; Zhu, Qi | Proceedings of the International Conference on Computer-Aided Design, ICCAD 2018, San Diego, CA, USA, November 05-08, 2018 | 13 | 0 | |
2018 | Property-Driven Runtime Resolution of Feature Interactions. | Raghavan, Santhana Gopalan; Watanabe, Kosuke; Kang, Eunsuk; Lin, Chung-Wei; Jiang, Zhihao; Shiraishi, Shinichi; CHUNG-WEI LIN | Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings | | | |
2018 | Quotient for Assume-Guarantee Contracts. | Romeo, ??igo ?ncer; Sangiovanni-Vincentelli, Alberto L.; Lin, Chung-Wei; Kang, Eunsuk; CHUNG-WEI LIN | 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2018, Beijing, China, October 15-18, 2018 | | | |
2018 | Runtime monitoring for safety of intelligent vehicles. | Watanabe, Kosuke; Kang, Eunsuk; Lin, Chung-Wei; Shiraishi, Shinichi; CHUNG-WEI LIN | Proceedings of the 55th Annual Design Automation Conference, DAC 2018, San Francisco, CA, USA, June 24-29, 2018 | | | |
2018 | Safe and Secure Automotive Over-the-Air Updates. | Chowdhury, Thomas; Lesiuta, Eric; Rikley, Kerianne; Lin, Chung-Wei; Kang, Eunsuk; Kim, BaekGyu; Shiraishi, Shinichi; Lawford, Mark; Wassyng, Alan; CHUNG-WEI LIN | Computer Safety, Reliability, and Security - 37th International Conference, SAFECOMP 2018, V?ster?s, Sweden, September 19-21, 2018, Proceedings | | | |
2023 | System Verification and Runtime Monitoring with Multiple Weakly-Hard Constraints | YI-TING HSIEH; Chang, Tzu Tao; Tsai, Chen Jun; Wu, Shih Lun; Bai, Ching Yuan; Chang, Kai Chieh; CHUNG-WEI LIN ; Kang, Eunsuk; Huang, Chao; Zhu, Qi | ACM Transactions on Cyber-Physical Systems | 0 | 0 | |