Yean-Ru Chen

	2012
10		Hung-Lin Chao, Yean-Ru Chen, Sheng-Ya Tong, Pao-Ann Hsiung, Sao-Jie Chen: Congestion-aware scheduling for NoC-based reconfigurable systems. DATE 2012: 1561-1566
	2011
9		Chao-Sheng Lin, Chun-Hsien Lu, Shang-Wei Lin, Yean-Ru Chen, Pao-Ann Hsiung: VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development. J. Comput. Sci. Technol. 26(3): 448-462 (2011)
	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
7		Pao-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
6		Pao-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
5		Yean-Ru Chen, Pao-Ann Hsiung, Sao-Jie Chen: Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts. SAFECOMP 2007: 451-464
4		Pao-Ann Hsiung, Yean-Ru Chen, Yen-Hung Lin: Model Checking Safety-Critical Systems Using Safecharts. IEEE Trans. Computers 56(5): 692-705 (2007)
3		Yean-Ru Chen, Pao-Ann Hsiung: Automatic Failure Analysis Using Safecharts. International Journal of Software Engineering and Knowledge Engineering 17(1): 57-78 (2007)
	2006
2		Pao-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
1		Shang-Wei Lin, Pao-Ann Hsiung, Chun-Hsian Huang, Yean-Ru Chen: Model Checking Prioritized Timed Automata. ATVA 2005: 370-384

Coauthor Index

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

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page