Yu-Fang Chen

	2012
16		Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine: Counter-Example Guided Fence Insertion under TSO. TACAS 2012: 204-219
	2011
15		Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois Knoll: Algorithms for Synthesizing Priorities in Component-Based Systems. ATVA 2011: 150-167
14		Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, Tomás Vojnar: Advanced Ramsey-Based Büchi Automata Inclusion Testing. CONCUR 2011: 187-202
13		Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois Knoll: Algorithms for Synthesizing Priorities in Component-based Systems CoRR abs/1107.1383: (2011)
	2010
12		Yu-Fang Chen, Ahmed Rezine: Proceedings 12th International Workshop on Verification of Infinite-State Systems INFINITY 2010
11		Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, Tomás Vojnar: Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing. CAV 2010: 132-147
10		Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang: Automated Assume-Guarantee Reasoning through Implicit Learning. CAV 2010: 511-526
9		Parosh Aziz Abdulla, Yu-Fang Chen, Giorgio Delzanno, Frédéric Haziza, Chih-Duo Hong, Ahmed Rezine: Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification. CONCUR 2010: 86-101
8		Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Fei He, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang, Lei Zhu: Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning. ISoLA (1) 2010: 643-657
7		Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Richard Mayr, Tomás Vojnar: When Simulation Meets Antichains. TACAS 2010: 158-174
	2009
6		Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Tomás Vojnar: Mediating for Reduction (on Minimizing Alternating Büchi Automata). FSTTCS 2009: 1-12
5		Yu-Fang Chen, Azadeh Farzan, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang: Learning Minimal Separating DFA's for Compositional Verification. TACAS 2009: 31-45
4		Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan, Chi-Jian Luo, Jinn-Shu Chang: Tool support for learning Büchi automata and linear temporal logic. Formal Asp. Comput. 21(3): 259-275 (2009)
	2008
3		Azadeh Farzan, Yu-Fang Chen, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang: Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages. TACAS 2008: 2-17
2		Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Wen-Chin Chan, Chi-Jian Luo: GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic. TACAS 2008: 346-350
	2007
1		Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan: GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae. TACAS 2007: 466-471

Coauthor Index

1	Parosh Aziz Abdulla	[6] [7] [9] [11] [14] [16]
2	Mohamed Faouzi Atig	[16]
3	Saddek Bensalem	[13] [15]
4	Christian Buckl	[13] [15]
5	Wen-Chin Chan	[1] [2] [4]
6	Jinn-Shu Chang	[4]
7	Chih-Hong Cheng	[13] [15]
8	Edmund M. Clarke	[3] [5] [8] [10]
9	Lorenzo Clemente	[11] [14]
10	Giorgio Delzanno	[9]
11	Azadeh Farzan	[3] [5] [8] [10]
12	Frédéric Haziza	[9]
13	Fei He	[8]
14	Lukás Holík	[6] [7] [11] [14]
15	Chih-Duo Hong	[9] [11] [14]
16	Barbara Jobstmann	[13] [15]
17	Alois Knoll	[13] [15]
18	Carl Leonardsson	[16]
19	Chi-Jian Luo	[2] [4]
20	Richard Mayr	[7] [11] [14]
21	Ahmed Rezine	[9] [12] [16]
22	Harald Ruess (Harald Rueß)	[13] [15]
23	Ming-Hsien Tsai	[1] [2] [4] [8] [10]
24	Yih-Kuen Tsay	[1] [2] [3] [4] [5] [8] [10]
25	Tomás Vojnar	[6] [7] [11] [14]
26	Bow-Yaw Wang	[3] [5] [8] [10]
27	Kang-Nien Wu	[1] [4]
28	Rongjie Yan	[13] [15]
29	Lei Zhu	[8]

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