Lijun Zhang

Defensive Design of Saturating Counters Based on Differential Privacy

N. Zhan, Bow-Yaw Wang, Pengfei Yang, 2022, ArXiv.

Model Checking Differentially Private Properties

Lijun Zhang, Bow-Yaw Wang, Depeng Liu, 2018, APLAS.

Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes

Lijun Zhang, Bow-Yaw Wang, Fei He, 2016, ACM Trans. Softw. Eng. Methodol..