Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
---|---|---|---|---|---|---|
2017 | Flatten and conquer: a framework for efficient analysis of string constraints | Parosh Aziz Abdulla; Mohamed Faouzi Atig; Yu-Fang Chen; Bui Phi Diep; Lukás Holík; Ahmed Rezine; Philipp Rümmer | ||||
2011 | Learning Boolean Functions Incrementally | Yu-Fang Chen; Bow-Yaw Wang | TR-IIS-11-006 | |||
2012 | Learning Boolean Functions Incrementally | Yu-Fang Chen; Bow-Yaw Wang | ||||
2014 | Learning Summaries of Recursive Functions | Yu-Fang Chen; Bow-Yaw Wang; Kai-Chun Yang | ||||
2017 | Learning to prove safety over parameterised concurrent systems | Yu-Fang Chen; Chih-Duo Hong; Philipp Rümmer; Anthony Lin | ||||
2013 | Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO | Parosh Abdulla; Mohamed Faouzi Atig; Yu-Fang Chen; Carl Leonardsson; Ahmed Rezine | ||||
2015 | Norn: An SMT Solver for String Constraints | Parosh Aziz Abdulla; Mohamed Faouzi Atig; Yu-Fang Chen; Lukás Holík; Ahmed Rezine; Philipp Rümmer; Jari Stenman | ||||
2016 | Optimal Sanitization Synthesis for Web Application Vulnerability Repair | Fang Yu; Ching-Yuan Shueh; Chun-Han Lin; Yu-Fang Chen; Bow-Yaw Wang; Tevfik Bultan | ||||
2016 | PAC learning-based verification and model synthesis | Yu-Fang Chen; Chiao Hsieh; Ondrej Lengál; Tsung-Ju Lii; Ming-Hsien Tsai; Bow-Yaw Wang; Farn Wang | ||||
2017 | Register automata with linear arithmetic | Yu-Fang Chen; Ondrej Lengál; Tony Tan; Zhilin Wu | ||||
2014 | String Constraints for Verification | Parosh Aziz Abdulla; Mohamed Faouzi Atig; Yu-Fang Chen; Lukas Holik; Ahmed Rezine; Philipp Reummer; Jari Stenman | ||||
2016 | The Commutativity Problem of the MapReduce Framework: A Transducer-based Approach | Yu-Fang Chen; Lei Song; Zhilin Wu | ||||
2018 | Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) | Matthias Heizmann; Yu-Fang Chen; Daniel Dietsch; Marius Greitschus; Jochen Hoenicke; Yong Li; Alexander Nutz; Betim Musa; Christian Schilling; Tanja Schindler; Andreas Podelski | ||||
2014 | Verifying Curve25519 Software | Yu-Fang Chen; Chang-Hong Hsu; Hsin-Hung Lin; Peter Schwabe; Ming-Hsien Tsai; Bow-Yaw Wang; Bo-Yin Yang; Shang-Yi Yang |