( en | de | ru )

 

Disambiguation of "Chen, Liqian"

Author of the publication

copydeleteadd this publication to your clipboard
Analyzing Math Library Functions via Summarization.

, , , , and . QRS Companion, page 259-264. IEEE, (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.

Chen Chen

Chen Chen

Shih Chen Chen

Yi-Chen Chen

Chen-Loung Chen

 

Other publications of authors with the same name

Analyzing Interrupt Handlers via Interprocedural Summaries., , and . Symposium on Real-Time and Hybrid Systems, volume 11180 of Lecture Notes in Computer Science, Springer, (2018)Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking., , , , and . SERE (Companion), page 204-210. IEEE, (2013)Evolutionary Conflict Checking., , , , and . CoRR, (2020)NuMFUZZ: A Floating-Point Format Aware Fuzzer for Numerical Programs., , , , and . APSEC, page 338-347. IEEE, (2022)An Abstract Domain of Linear Templates with Disjunctive Right-Hand-Side Intervals., , , , and . SETTA, volume 14464 of Lecture Notes in Computer Science, page 314-330. Springer, (2023)Leveraging specifications of subcomponents to mine precise specifications of composite components., , , and . WCRE, page 162-171. IEEE Computer Society, (2013)Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification., , , , , and . SAS, volume 11822 of Lecture Notes in Computer Science, page 296-319. Springer, (2019)Efficient Complete Verification of Neural Networks via Layerwised Splitting and Refinement., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 41 (11): 3898-3909 (2022)Understanding Merge Conflicts and Resolutions in Git Rebases., , , and . ISSRE, page 70-80. IEEE, (2020)Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification., , , , and . CoRR, (2019)