dblp.uni-trier.dewww.uni-trier.de

Yean-Ru Chen Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
8 Yean-Ru Chen, To-Yu Chen, Pao-Ann Hsiung, Sao-Jie Chen, Yu Hen Hu: Compositional Automata Reduction with Non-critical Path Slicing. FCS 2009: 133-138
7EEPao-Ann Hsiung, Chao-Sheng Lin, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsien Lu, Sheng-Ya Tong, Wan-Ting Su, Chihhsiong Shih, Chorng-Shiuh Koong, Nien-Lin Hsueh, Chih-Hung Chang, William C. Chu: VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development. ICA3PP 2009: 303-314
6EEPao-Ann Hsiung, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsian Huang, Chihhsiong Shih, William C. Chu: Modeling and verification of real-time embedded systems with urgency. Journal of Systems and Software 82(10): 1627-1641 (2009)
2007
5EEYean-Ru Chen, Pao-Ann Hsiung, Sao-Jie Chen: Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts. SAFECOMP 2007: 451-464
4EEPao-Ann Hsiung, Yean-Ru Chen, Yen-Hung Lin: Model Checking Safety-Critical Systems Using Safecharts. IEEE Trans. Computers 56(5): 692-705 (2007)
3EEYean-Ru Chen, Pao-Ann Hsiung: Automatic Failure Analysis Using Safecharts. International Journal of Software Engineering and Knowledge Engineering 17(1): 57-78 (2007)
2006
2EEPao-Ann Hsiung, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsian Huang, Jia-Jen Yeh, Hong-Yu Sun, Chao-Sheng Lin, Hsiao-Win Liao: Model Checking Timed Systems with Urgencies. ATVA 2006: 67-81
2005
1EEShang-Wei Lin, Pao-Ann Hsiung, Chun-Hsian Huang, Yean-Ru Chen: Model Checking Prioritized Timed Automata. ATVA 2005: 370-384

Coauthor Index

1Chih-Hung Chang [7]
2Sao-Jie Chen [5] [8]
3To-Yu Chen [8]
4William C. Chu (William Cheng-Chung Chu) [6] [7]
5Pao-Ann Hsiung [1] [2] [3] [4] [5] [6] [7] [8]
6Nien-Lin Hsueh [7]
7Yu Hen Hu [8]
8Chun-Hsian Huang [1] [2] [6]
9Chorng-Shiuh Koong [7]
10Hsiao-Win Liao [2]
11Chao-Sheng Lin [2] [7]
12Shang-Wei Lin [1] [2] [6] [7]
13Yen-Hung Lin [4]
14Chun-Hsien Lu [7]
15Chihhsiong Shih [6] [7]
16Wan-Ting Su [7]
17Hong-Yu Sun [2]
18Sheng-Ya Tong [7]
19Jia-Jen Yeh [2]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)