Gang Chen

Publication Activity (10 Years)

Years Active: 2007-2011
Publications (10 Years): 0

Publications

Feng Liu, Xiaoyu Song, Qingping Tan, Gang Chen
Formal Analysis of Hybrid Prefix/Carry-Select Arithmetic Systems. Comput. J. 54 (6) (2011)
Hai Wan, Gang Chen, Xiaoyu Song, Ming Gu
Formalisation and verification of programmable logic controllers timers in Coq. IET Softw. 5 (1) (2011)
Feng Liu, QingPing Tan, Xiaoyu Song, Gang Chen
Formal Proof for a General Architecture of Hybrid Prefix/Carry-Select Adders. ICA3PP (1) (2010)
Hai Wan, Xiaoyu Song, Gang Chen, Ming Gu
A Refinement-Based Validation Method for Programmable Logic Controllers. QSIC (2010)
Feng Liu, Qingping Tan, Gang Chen
Formal proof of prefix adders. Math. Comput. Model. 52 (1-2) (2010)
Feng Liu, Qingping Tan, Gang Chen, Xiaoyu Song, Otmane Aït Mohamed, Ming Gu
Field programmable gate array prototyping of end-around carry parallel prefix tree architectures. IET Comput. Digit. Tech. 4 (4) (2010)
Feng Liu, Xiaoyu Song, Qingping Tan, Gang Chen
Formal Analysis of End-Around-Carry Adder in Floating-Point Unit. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 29 (10) (2010)
Gang Chen, Feng Liu
Proofs of Correctness and Properties of Integer Adder Circuits. IEEE Trans. Computers 59 (1) (2010)
Feng Liu, Fariborz Fereydouni-Forouzandeh, Otmane Aït Mohamed, Gang Chen, Xiaoyu Song, QingPing Tan
A Comparative Study of Parallel Prefix Adders in FPGA Implementation of EAC. DSD (2009)
Hai Wan, Gang Chen, Xiaoyu Song, Ming Gu
Formalization and Verification of PLC Timers in Coq. COMPSAC (1) (2009)
Gang Chen, Xiaoyu Song, Feng Liu, QingPing Tan, Fei He
A note on "a mapping algorithm for computer-assisted exploration in the design of embedded systems". ACM Trans. Design Autom. Electr. Syst. 12 (4) (2007)