Haibo Zeng

A Next-Generation Design Framework for Platform-Based Design

A. Sangiovanni-Vincentelli, D. Densmore, A. Pinto, 2007 .

Translation Validation: Case Studies in OCaml-to-PVS and x86 Disassembly

Thidapat Chantem, Xiaoxin An, Dongyoon Lee, 2022 .

Recent Progress on Two-Dimensional Materials

Qiyuan He, Jinlan Wang, H. Peng, 2021, Acta Physico Chimica Sinica.

Simple Case Study in Metropolis

Haibo Zeng, Douglas Densmore, Abhijit Davare, 2004 .