Chen Chen

Publication Activity (10 Years)

Years Active: 2012-2020
Publications (10 Years): 3

Top Topics

Probabilistic Logic Programs

Energy Consumption

Routing Protocol

Top Venues

IEEE J. Sel. Areas Commun.

Publications

Shaobo Wang, Hui Lyu, Jiachi Zhang, Chenyuan Wu, Xinyi Chen, Wenchao Zhou, Boon Thau Loo, Susan B. Davidson, Chen Chen
Provenance for Probabilistic Logic Programs. EDBT (2020)
Ang Chen, Chen Chen, Lay Kuan Loh, Yang Wu, Andreas Haeberlen, Limin Jia, Boon Thau Loo, Wenchao Zhou
Data Center Diagnostics with Network Provenance. IEEE Data Eng. Bull. 41 (1) (2018)
Chen Chen, Harshal Tushar Lehri, Lay Kuan Loh, Anupam Alur, Limin Jia, Boon Thau Loo, Wenchao Zhou
Distributed Provenance Compression. SIGMOD Conference (2017)
Chen Chen, Limin Jia, Hao Xu, Cheng Luo, Wenchao Zhou, Boon Thau Loo
A Program Logic for Verifying Secure Routing Protocols. Log. Methods Comput. Sci. 11 (4) (2015)
Chen Chen, Changbin Liu, Pingkai Liu, Boon Thau Loo, Ling Ding
A scalable multi-datacenter layer-2 network architecture. SOSR (2015)
Chen Chen, Lay Kuan Loh, Limin Jia, Wenchao Zhou, Boon Thau Loo
Automated verification of safety properties of declarative networking programs. PPDP (2015)
Chen Chen, Limin Jia, Wenchao Zhou, Boon Thau Loo
Proof-based Verification of Software Defined Networks. ONS (2014)
Chen Chen, Limin Jia, Hao Xu, Cheng Luo, Wenchao Zhou, Boon Thau Loo
A Program Logic for Verifying Secure Routing Protocols. FORTE (2014)
Jiaxin Cao, Chuanxiong Guo, Guohan Lu, Yongqiang Xiong, Yixin Zheng, Yongguang Zhang, Yibo Zhu, Chen Chen, Ye Tian
Datacast: A Scalable and Efficient Reliable Group Data Delivery Service for Data Centers. IEEE J. Sel. Areas Commun. 31 (12) (2013)
Chen Chen, Limin Jia, Boon Thau Loo, Wenchao Zhou
Reduction-based security analysis of Internet routing protocols. ICNP (2012)
Jiaxin Cao, Chuanxiong Guo, Guohan Lu, Yongqiang Xiong, Yixin Zheng, Yongguang Zhang, Yibo Zhu, Chen Chen
Datacast: a scalable and efficient reliable group data delivery service for data centers. CoNEXT (2012)