Yu-Fang Chen – Post Doctoral

Address: Division of Computer Systems
Department of Information Technology
Uppsala University
Box 337
SE-751 05 Uppsala
Sweden
Visit: ITC building 1, floor 4, room 1445
Fax: +46 18 511925
Email: yu-fang.chen@it.uu.se

I moved to Academia Sinica, Taiwan around Oct 2009

My research interests includes Formal Verification, Temporal Logic, and Automata Theory.
Below is a list of my selected publications. If you have any question or ideas for discussion, please do not hesitate to contact me.
Mediating for Reduction (on Minimizing Alternating Buchi Automata)
P.A. Abdulla, Y.-F. Chen, L. Holik, and T. Vojnar
The 29th Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2009)

Tool Support for Learning Buechi Automata and Linear Temporal Logic
Y.-K. Tsay, Y.-F. Chen, M.-H. Tsai, K.-N. Wu, W.-C. Chan, C.-J. Luo, and J.-S. Chang
Formal Aspects of Computing, 21:259-275, 2009

Learning Minimal Separating DFA's for Compositional Verification
Y.-F. Chen, A. Farzan, E.M. Clarke, Y.-K. Tsay, and B.-Y. Wang
The 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009), LNCS 5505, 31-45, March 2009.

GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic
Y.-K. Tsay, Y.-F. Chen, M.-H. Tsai, W.-C. Chan, and C.-J. Luo
The 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2008), LNCS 4963, 346--350, March/April 2008.

Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages
A. Farzan, Y.-F. Chen, E.M. Clarke, Y.-K. Tsay, and B.-Y. Wang
The 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2008), LNCS 4963, 2--17, March/April 2008.

GOAL: A Graphical Tool for Manipulating Buechi Automata and Temporal Formulae
Y.-K. Tsay, Y.-F. Chen, M.-H. Tsai, K.-N. Wu, and W.-C. Chan
The 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2007), LNCS 4424, 466--471, March/April 2007.

Tool

  • GOAL: a graphical interactive tool for defining and manipulating Omega automata and temporal logic formulae. This tool is developped together with Prof. Yih-Kuen Tsay begin_of_the_skype_highlighting     end_of_the_skype_highlighting and other group members. Here is a WIKI for GOAL.