×
Author ID: chen.yu-fang Recent zbMATH articles by "Chen, Yu-Fang"
Published as: Chen, Yu-Fang

Publications by Year

Citations contained in zbMATH Open

18 Publications have been cited 108 times in 83 Documents Cited by Year
Extending automated compositional verification to the full class of omega-regular languages. Zbl 1134.68406
Farzan, Azadeh; Chen, Yu-Fang; Clarke, Edmund M.; Tsay, Yih-Kuen; Wang, Bow-Yaw
24
2008
Learning minimal separating DFA’s for compositional verification. Zbl 1234.68166
Chen, Yu-Fang; Farzan, Azadeh; Clarke, Edmund M.; Tsay, Yih-Kuen; Wang, Bow-Yaw
20
2009
When simulation meets antichains. (On checking language inclusion of nondeterministic finite (tree) automata). Zbl 1284.68337
Abdulla, Parosh Aziz; Chen, Yu-Fang; Holík, Lukáš; Mayr, Richard; Vojnar, Tomáš
16
2010
Advanced Ramsey-based Büchi automata inclusion testing. Zbl 1343.68130
Abdulla, Parosh Aziz; Chen, Yu-Fang; Clemente, Lorenzo; Holík, Lukáš; Hong, Chih-Duo; Mayr, Richard; Vojnar, Tomáš
12
2011
A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. Zbl 1453.68098
Li, Yong; Chen, Yu-Fang; Zhang, Lijun; Liu, Depeng
8
2017
Counter-example guided fence insertion under TSO. Zbl 1352.68047
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Chen, Yu-Fang; Leonardsson, Carl; Rezine, Ahmed
7
2012
GOAL extended: Towards a research tool for omega automata and temporal logic. Zbl 1134.68420
Tsay, Yih-Kuen; Chen, Yu-Fang; Tsai, Ming-Hsien; Chan, Wen-Chin; Luo, Chi-Jian
6
2008
Global stability of deficiency zero chemical networks. Zbl 0823.92011
Siegel, D.; Chen, Y. F.
4
1994
Prediction of filling times of porous cavities. Zbl 0884.76071
Voller, V. R.; Chen, Y. F.
4
1996
Numerical solution of transient, free surface problems in porous media. Zbl 0884.76072
Voller, V. R.; Peng, S.; Chen, Y. F.
4
1996
Mediating for reduction (on minimizing alternating Büchi automata). Zbl 1248.68280
Abdulla, Parosh A.; Chen, Yu-Fang; Holik, Lukáš; Vojnar, Tomáš
3
2009
Counterexample-guided polynomial loop invariant generation by Lagrange interpolation. Zbl 1381.68049
Chen, Yu-Fang; Hong, Chih-Duo; Wang, Bow-Yaw; Zhang, Lijun
3
2015
A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. Zbl 1518.68150
Li, Yong; Chen, Yu-Fang; Zhang, Lijun; Liu, Depeng
3
2021
Register automata with linear arithmetic. Zbl 1458.68095
Chen, Yu-Fang; Lengál, Ondřej; Tan, Tony; Wu, Zhilin
3
2017
Vortex structure of quantum eigenstates and classical periodic orbits in two-dimensional harmonic oscillators. Zbl 1026.81022
Chen, Y. F.; Huang, K. F.
2
2003
Constrained monotonic abstraction: a CEGAR for parameterized verification. Zbl 1287.68117
Abdulla, Parosh Aziz; Chen, Yu-Fang; Delzanno, Giorgio; Haziza, Frédéric; Hong, Chih-Duo; Rezine, Ahmed
1
2010
A symbolic algorithm for the case-split rule in string constraint solving. Zbl 1476.68312
Chen, Yu-Fang; Havlena, Vojtěch; Lengál, Ondřej; Turrini, Andrea
1
2020
Solving not-substring constraint with flat abstraction. Zbl 1520.68068
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Chen, Yu-Fang; Diep, Bui Phi; Holík, Lukáš; Hu, Denghang; Tsai, Wei-Lun; Wu, Zhillin; Yen, Di-De
1
2021
A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. Zbl 1518.68150
Li, Yong; Chen, Yu-Fang; Zhang, Lijun; Liu, Depeng
3
2021
Solving not-substring constraint with flat abstraction. Zbl 1520.68068
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Chen, Yu-Fang; Diep, Bui Phi; Holík, Lukáš; Hu, Denghang; Tsai, Wei-Lun; Wu, Zhillin; Yen, Di-De
1
2021
A symbolic algorithm for the case-split rule in string constraint solving. Zbl 1476.68312
Chen, Yu-Fang; Havlena, Vojtěch; Lengál, Ondřej; Turrini, Andrea
1
2020
A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. Zbl 1453.68098
Li, Yong; Chen, Yu-Fang; Zhang, Lijun; Liu, Depeng
8
2017
Register automata with linear arithmetic. Zbl 1458.68095
Chen, Yu-Fang; Lengál, Ondřej; Tan, Tony; Wu, Zhilin
3
2017
Counterexample-guided polynomial loop invariant generation by Lagrange interpolation. Zbl 1381.68049
Chen, Yu-Fang; Hong, Chih-Duo; Wang, Bow-Yaw; Zhang, Lijun
3
2015
Counter-example guided fence insertion under TSO. Zbl 1352.68047
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Chen, Yu-Fang; Leonardsson, Carl; Rezine, Ahmed
7
2012
Advanced Ramsey-based Büchi automata inclusion testing. Zbl 1343.68130
Abdulla, Parosh Aziz; Chen, Yu-Fang; Clemente, Lorenzo; Holík, Lukáš; Hong, Chih-Duo; Mayr, Richard; Vojnar, Tomáš
12
2011
When simulation meets antichains. (On checking language inclusion of nondeterministic finite (tree) automata). Zbl 1284.68337
Abdulla, Parosh Aziz; Chen, Yu-Fang; Holík, Lukáš; Mayr, Richard; Vojnar, Tomáš
16
2010
Constrained monotonic abstraction: a CEGAR for parameterized verification. Zbl 1287.68117
Abdulla, Parosh Aziz; Chen, Yu-Fang; Delzanno, Giorgio; Haziza, Frédéric; Hong, Chih-Duo; Rezine, Ahmed
1
2010
Learning minimal separating DFA’s for compositional verification. Zbl 1234.68166
Chen, Yu-Fang; Farzan, Azadeh; Clarke, Edmund M.; Tsay, Yih-Kuen; Wang, Bow-Yaw
20
2009
Mediating for reduction (on minimizing alternating Büchi automata). Zbl 1248.68280
Abdulla, Parosh A.; Chen, Yu-Fang; Holik, Lukáš; Vojnar, Tomáš
3
2009
Extending automated compositional verification to the full class of omega-regular languages. Zbl 1134.68406
Farzan, Azadeh; Chen, Yu-Fang; Clarke, Edmund M.; Tsay, Yih-Kuen; Wang, Bow-Yaw
24
2008
GOAL extended: Towards a research tool for omega automata and temporal logic. Zbl 1134.68420
Tsay, Yih-Kuen; Chen, Yu-Fang; Tsai, Ming-Hsien; Chan, Wen-Chin; Luo, Chi-Jian
6
2008
Vortex structure of quantum eigenstates and classical periodic orbits in two-dimensional harmonic oscillators. Zbl 1026.81022
Chen, Y. F.; Huang, K. F.
2
2003
Prediction of filling times of porous cavities. Zbl 0884.76071
Voller, V. R.; Chen, Y. F.
4
1996
Numerical solution of transient, free surface problems in porous media. Zbl 0884.76072
Voller, V. R.; Peng, S.; Chen, Y. F.
4
1996
Global stability of deficiency zero chemical networks. Zbl 0823.92011
Siegel, D.; Chen, Y. F.
4
1994
all top 5

Cited by 173 Authors

9 Holík, Lukáš
8 Tsay, Yih-Kuen
8 Vojnar, Tomáš
7 Chen, Yu-Fang
7 Fisman, Dana
7 Vardi, Moshe Ya’akov
6 Abdulla, Parosh Aziz
6 Angluin, Dana
6 Lengál, Ondřej
6 Li, Yong
5 Grumberg, Orna
5 Zhang, Lijun
4 Atig, Mohamed Faouzi
4 Shoham, Sharon
3 Clemente, Lorenzo
3 Fogarty, Seth J.
3 Havlena, Vojtěch
3 Păsăreanu, Corina S.
3 Tsai, Ming-Hsien
3 Wang, Bow-Yaw
2 An, Jie
2 Bartocci, Ezio
2 Bouajjani, Ahmed
2 Brunet, Paul
2 Chang, Jinn-Shu
2 Ciancia, Vincenzo
2 Dierl, Simon
2 Fiedor, Tomáš
2 Frenkel, Hadar
2 Garcia, Pedro
2 Héam, Pierre-Cyrille
2 Howar, Falk
2 Kovács, Laura Ildikó
2 Leonardsson, Carl
2 Lin, Anthony Widjaja
2 Liu, Depeng
2 López , Damián
2 Mayr, Richard M.
2 Nicaud, Cyril
2 Pous, Damien
2 Rogalewicz, Adam
2 Schmitz, Sylvain
2 Sheinvald, Sarai
2 Stankovič, Miroslav
2 Turrini, Andrea
2 Vázquez de Parga, Manuel
2 Zhan, Bohua
2 Zhan, Naijun
2 Zhang, Miaomiao
1 Abd Elkader, Karam
1 Antonopoulos, Timos
1 Aronis, Stavros
1 Bao, Jialu
1 Barth, Stephan
1 Björklund, Henrik
1 Björklund, Johanna
1 Blahoudek, František
1 Boker, Udi
1 Bonchi, Filippo
1 Chan, Wen-Chin
1 Chang, Yi-Wen
1 Chatterjee, Krishnendu
1 Chen, Mingshuai
1 Chocholatý, David
1 Clarke, Edmund Melson jun.
1 David, Cristina
1 Deng, Robert Huijie
1 Diskin, Zinovy
1 Doveri, Kyveli
1 Farzan, Azadeh
1 Feng, Weizhi
1 Fernau, Henning
1 Fisher, Corey
1 Fleischhacker, Nils
1 Friedmann, Oliver
1 Ganty, Pierre
1 Garg, Pranav
1 Gheorghe, Marian
1 Giannakopoulou, Dimitra
1 Habermehl, Peter
1 Hague, Matthew
1 Haziza, Frédéric
1 Heggernes, Pinar
1 Heizmann, Matthias
1 Holík, Luká
1 Hong, Chih-Duo
1 Hsu, Justin
1 Iosif, Radu
1 Ipate, Florentin
1 Janků, Petr
1 Jin, Xiangyu
1 Jonsson, Bengt
1 Jung, Yungbum
1 Kappé, Tobias
1 Kaxiras, Stefanos
1 Klaedtke, Felix
1 Kong, Soonho
1 König, Barbara
1 Krupp, Johannes
1 Kuperberg, Denis
...and 73 more Authors

Citations by Year