In the following, we list bibliographic data of papers produced by members of the System Analysis and Verification Group, including DOI links and PDF postprints where available.

Please note: this list is incomplete and no longer updated. For the latest publications, please see the DBLP listing of Sun Jun.