Meixian Chen

Publication Activity (10 Years)

Years Active: 2012-2019
Publications (10 Years): 2

Top Topics

Theorem Proving

Parallel Programming

Bounded Model Checking

Top Venues

Publications

Bin Huang, Teng Fu, Meixian Chen, Xiaobo Xu, Yong Zhang, Xiaojie Tao
Research on Air-Supported Force Measurement Method and Air-Supported Triaxial Force Measurement Platform. IEEE Access 7 (2019)
Andrea Aquino, Francesco A. Bianchi, Meixian Chen, Giovanni Denaro, Mauro Pezzè
Reusing constraint proofs in program analysis. ISSTA (2015)
Meixian Chen
Reusing constraint proofs for scalable program analysis. ISSTA (2014)
Qi Wang, Meixian Chen, Yu Liu, Zhenjiang Hu
Towards systematic parallel programming of graph problems via tree decomposition and tree parallelism. FHPC@ICFP (2013)
Meixian Chen, Jean-François Monin
Formal Verification of Netlog Protocols. TASE (2012)