Invariant Generation by Constraint Solving in Verification of Programs and Hybrid Systems
Naijun Zhan,Institute of Software Chinese Academy of Sciences
Exploiting Ultra Low Loss Silicon Nitride Platform for Various Applications
Xingchen Ji,Columbia University