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
Modeling and verification of real-time embedded systems with urgency
Hsiung, Pao-Ann, Lin, Shang-Wei, Chen, Yean-Ru, Huang, Chun-Hsian, Shih, Chihhsiong, Chu, William C.
Published in The Journal of systems and software (01.10.2009)
Published in The Journal of systems and software (01.10.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
Model Checking Prioritized Timed Automata
Lin, Shang-Wei, Hsiung, Pao-Ann, Huang, Chun-Hsian, Chen, Yean-Ru
Published in Automated Technology for Verification and Analysis (2005)
Published in Automated Technology for Verification and Analysis (2005)
Get full text
Book Chapter
Conference Proceeding
Model Checking Timed Systems with Urgencies
Hsiung, Pao-Ann, Lin, Shang-Wei, Chen, Yean-Ru, Huang, Chun-Hsian, Yeh, Jia-Jen, Sun, Hong-Yu, Lin, Chao-Sheng, Liao, Hsiao-Win
Published in Automated Technology for Verification and Analysis (2006)
Published in Automated Technology for Verification and Analysis (2006)
Get full text
Book Chapter
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
Congestion-aware scheduling for NoC-based reconfigurable systems
Hung-Lin Chao, Yean-Ru Chen, Sheng-Ya Tung, Pao-Ann Hsiung, Sao-Jie Chen
Published in 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.03.2012)
Published in 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.03.2012)
Get full text
Conference Proceeding
Model-driven development of multi-core embedded software
Hsiung, Pao-Ann, Lin, Shang-Wei, Chen, Yean-Ru, Hsueh, Nien-Lin, Chang, Chih-Hung, Shih, Chih-Hsiong, Koong, Chorng-Shiuh, Lin, Chao-Sheng, Lu, Chun-Hsien, Tong, Sheng-Ya, Su, Wan-Ting, Chu, William C
Published in International Conference on Software Engineering 2009 (18.05.2009)
Published in International Conference on Software Engineering 2009 (18.05.2009)
Get full text
Journal Article
VERTAF/MULT1-C0RE: 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)
Get full text
Published in Journal of the Chinese Institute of Engineers (01.11.2009)
Journal Article