Differences

This shows you the differences between two versions of the page.

--- publications [2019/02/20 13:09]
123.193.82.126 created
+++ publications [2021/06/02 08:44] (current)
yfc
@@ Line 1: / Line 1: @@
 =====Publications =====
+Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Phi-Diep Bui, Julian Dolby, Petr Janku, Hsin-Hung Lin, Lukas Holik, Wei-Cheng Wu
+Efficient Handling of String-Number Conversion [{{{{ :pldi2020.pdf |preprint}}] \\
+**PLDI 2020**
+Yu-Fang Chen, Vojtech Havlena, Ondrej Lengál\\
+Simulations in Rank-Based Büchi Automata Complementation. [{{{{ :simulation.pdf |preprint}}]\\
+**APLAS 2019**
+Yu-Fang Chen, Chang-Yi Chiang, Lukás Holík, Wei-Tsung Kao, Hsin-Hung Lin, Tomás Vojnar, Yean-Fu Wen, Wei-Cheng Wu\\
+J-ReCoVer: Java Reducer Commutativity Verifier. [{{{{ :jrecover.pdf |preprint}}]\\
+**APLAS 2019**
+Yu-Fang Chen, Hsiao-chen Chung, Wen-Chi Hung, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang\\
+Synthesize Models for Quantitative Analysis Using Automata Learning. [{{{{ :learnMA.pdf |preprint}}]\\
+**NETYS 2019**
+Yong Li, Xuechao Sun, Andrea Turrini, Yu-Fang Chen, Junnan Xu\\
+ROLL 1.0: Omega-Regular Language Learning Library [{{{{ :roll.pdf |preprint}}]\\
+**TACAS 2019**
 Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Ahmed Rezine, Philipp Rümmer\\
 Trau: SMT solver for string constraints [{{ ::fmcad2018.pdf |preprint}}]\\
@@ Line 71: / Line 91: @@
 Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukás Holík, Ahmed Rezine, Philipp Rümmer, Jari Stenman\\
-String Constraints for Verification [{{ ::cav2014.pdf |preprint}}]\\
+String Constraints for Verification [{{ ::cav2014-1.pdf |preprint}}]\\
 **CAV 2014**

User Tools

Site Tools

Differences

Page Tools