Gang Chen

According to our database, Gang Chen authored at least 11 papers between 2007 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Formalisation and verification of programmable logic controllers timers in Coq.

Hai Wan, Gang Chen, Xiaoyu Song, Ming Gu

IET Softw., 2011

Formal Analysis of Hybrid Prefix/Carry-Select Arithmetic Systems.

Feng Liu, Xiaoyu Song, Qingping Tan, Gang Chen

Comput. J., 2011

2010

Formal Analysis of End-Around-Carry Adder in Floating-Point Unit.

Feng Liu, Xiaoyu Song, Qingping Tan, Gang Chen

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010

Proofs of Correctness and Properties of Integer Adder Circuits.

Gang Chen, Feng Liu

IEEE Trans. Computers, 2010

Formal proof of prefix adders.

Feng Liu, Qingping Tan, Gang Chen

Math. Comput. Model., 2010

Field programmable gate array prototyping of end-around carry parallel prefix tree architectures.

Feng Liu, Qingping Tan, Gang Chen, Xiaoyu Song, Otmane Aït Mohamed, Ming Gu

IET Comput. Digit. Tech., 2010

A Refinement-Based Validation Method for Programmable Logic Controllers.

Hai Wan, Xiaoyu Song, Gang Chen, Ming Gu

Proceedings of the 10th International Conference on Quality Software, 2010

Formal Proof for a General Architecture of Hybrid Prefix/Carry-Select Adders.

Feng Liu, QingPing Tan, Xiaoyu Song, Gang Chen

Proceedings of the Algorithms and Architectures for Parallel Processing, 2010

2009

A Comparative Study of Parallel Prefix Adders in FPGA Implementation of EAC.

Feng Liu, Fariborz Fereydouni-Forouzandeh, Otmane Aït Mohamed, Gang Chen, Xiaoyu Song, QingPing Tan

Proceedings of the 12th Euromicro Conference on Digital System Design, 2009

Formalization and Verification of PLC Timers in Coq.

Hai Wan, Gang Chen, Xiaoyu Song, Ming Gu

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2007

A note on "a mapping algorithm for computer-assisted exploration in the design of embedded systems".

Gang Chen, Xiaoyu Song, Feng Liu, QingPing Tan, Fei He

ACM Trans. Design Autom. Electr. Syst., 2007