PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Chen, Yu-Fang"

Author of the publication

copydeleteadd this publication to your clipboard
Optimal sanitization synthesis for web application vulnerability repair.

, , , , , and . ISSTA, page 189-200. ACM, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Wei Yu University of Stuttgart

Hong Chen University of Stuttgart

Yiyin Chen University of Stuttgart

Jun Chen University of Stuttgart

Lu Chen University of Stuttgart

 

Other publications of authors with the same name

Mediating for reduction (on minimizing alternating Büchi automata)., , , and . Theor. Comput. Sci., (2014)Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning., , , , , , , and . ISoLA (1), volume 6415 of Lecture Notes in Computer Science, page 643-657. Springer, (2010)Synthesize Models for Quantitative Analysis Using Automata Learning., , , , , and . NETYS, volume 11704 of Lecture Notes in Computer Science, page 75-92. Springer, (2019)Counter-Example Guided Fence Insertion under TSO., , , , and . TACAS, volume 7214 of Lecture Notes in Computer Science, page 204-219. Springer, (2012)When Simulation Meets Antichains., , , , and . TACAS, volume 6015 of Lecture Notes in Computer Science, page 158-174. Springer, (2010)Learning Minimal Separating DFA's for Compositional Verification., , , , and . TACAS, volume 5505 of Lecture Notes in Computer Science, page 31-45. Springer, (2009)GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic., , , , and . TACAS, volume 4963 of Lecture Notes in Computer Science, page 346-350. Springer, (2008)Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification., , , , , and . CONCUR, volume 6269 of Lecture Notes in Computer Science, page 86-101. Springer, (2010)Trau: SMT solver for string constraints., , , , , , and . FMCAD, page 1-5. IEEE, (2018)Register automata with linear arithmetic., , , and . LICS, page 1-12. IEEE Computer Society, (2017)