Model Checking Safety-Critical Systems Using Safecharts
Hsiung, Pao-Ann, Chen, Yean-Ru, Lin, Yen-Hung
Published in IEEE transactions on computers (01.05.2007)
Published in IEEE transactions on computers (01.05.2007)
Get full text
Journal Article
SMT Solver With Hardware Acceleration
Chen, Yean-Ru, Chen, Si-Han, Lin, Shang-Wei
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.06.2023)
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.06.2023)
Get full text
Journal Article
Markov Clustering-Based Content Placement in Roadside-Unit Caching With Deadline Constraint
Wang, Yu-Ting, Lin, Ting-Yu, Sou, Sok-Ian, Chen, Lo-An, Tsai, Meng-Hsun, Chen, Yean-Ru, Tu, Chia-Heng
Published in IEEE transactions on intelligent transportation systems (01.09.2024)
Published in IEEE transactions on intelligent transportation systems (01.09.2024)
Get full text
Journal Article
Empirical Study of Proposed Meltdown Attack Implementation on BOOM v3
Lin, Chien-Hsiang, Su, Yi-Pei, Chen, Yean-Ru, Chou, Yu-Ting, Chen, Sao-Jie
Published in 2022 IEEE 65th International Midwest Symposium on Circuits and Systems (MWSCAS) (07.08.2022)
Published in 2022 IEEE 65th International Midwest Symposium on Circuits and Systems (MWSCAS) (07.08.2022)
Get full text
Conference Proceeding
Accelerating Coverage Estimation Through Partial Model Checking
Chen, Yean-Ru, Yeh, Jia-Jen, Hsiung, Pao-Ann, Chen, Sao-Jie
Published in IEEE transactions on computers (01.07.2014)
Published in IEEE transactions on computers (01.07.2014)
Get full text
Journal Article
VERTAF/Multi-Core: A sysml-based application framework for multi-core embedded software development
Lin, Chao-Sheng, Hsiung, Pao-Ann, Lin, Shang-Wei, Chen, Yean-Ru, Lu, Chun-Hsien, Tong, Sheng-Ya, Su, Wan-Ting, Shih, Chihhsiong, Hsueh, Nien-Lin, Chang, Chih-Hung, Koong, Chorng-Shiuh
Published in Journal of the Chinese Institute of Engineers (01.11.2009)
Published in Journal of the Chinese Institute of Engineers (01.11.2009)
Get full text
Journal Article
Congestion-aware scheduling for NoC-based reconfigurable systems
Chao, Hung-Lin, Chen, Yean-Ru, Tung, Sheng-Ya, Hsiung, Pao-Ann, Chen, Sao-Jie
Published in Proceedings of the Conference on Design, Automation and Test in Europe (12.03.2012)
Published in Proceedings of the Conference on Design, Automation and Test in Europe (12.03.2012)
Get full text
Conference Proceeding
Backward probing deadlock detection for networks-on-chip
Yean-Ru Chen, Zi-Rong Wang, Pao-Ann Hsiung, Sao-Jie Chen, Meng-Hsun Tsai
Published in 2013 Seventh IEEE/ACM International Symposium on Networks-on-Chip (NoCS) (01.04.2013)
Published in 2013 Seventh IEEE/ACM International Symposium on Networks-on-Chip (NoCS) (01.04.2013)
Get full text
Conference Proceeding
Model-driven development of multi-core embedded software
Hsiung, Pao-Ann, Lin, Shang-Wei, Yean-Ru Chen, Nien-Lin Hsueh, Chih-Hung Chang, Chih-Hsiong Shih, Chorng-Shiuh Koong, Chao-Sheng Lin, Chun-Hsien Lu, Sheng-Ya Tong, Wan-Ting Su, Chu, William C.
Published in 2009 ICSE Workshop on Multicore Software Engineering (18.05.2009)
Published in 2009 ICSE Workshop on Multicore Software Engineering (18.05.2009)
Get full text
Conference Proceeding
Empirical study on security verification and assessment of neural network accelerator
Chen, Yean Ru, Wang, Tzu Fan, Chen, Si-Han, Kao, Yi-Chun
Published in Microprocessors and microsystems (01.06.2023)
Published in Microprocessors and microsystems (01.06.2023)
Get full text
Journal Article