Bounded Program Verification Using an SMT Solver: A Case Study. - Tianhai Liu; Michael Nagel; Mana Taghdiri (ICST, 2012)

Crustal deformation in linfen area studied by MT-InSAR. - Huaining Yang; Huadong Guo; Tianhai Liu; Guang Liu 001; Shiyong Yan (IGARSS, 2012)

Generating JML Specifications from Alloy Expressions. - Daniel Grunwald; Christoph Gladisch; Tianhai Liu; Mana Taghdiri; Shmuel S. Tyszberowicz (Haifa Verification Conference, 2014)

A Comparative Study of Incremental Constraint Solving Approaches in Symbolic Execution. - Tianhai Liu; Mateus Araújo; Marcelo d'Amorim; Mana Taghdiri (Haifa Verification Conference, 2014)

Computing Specification-Sensitive Abstractions for Program Verification. - Tianhai Liu; Shmuel S. Tyszberowicz; Mihai Herda; Bernhard Beckert; Daniel Grahl; Mana Taghdiri (SETTA, 2016)

Computing Exact Loop Bounds for Bounded Program Verification. - Tianhai Liu; Shmuel S. Tyszberowicz; Bernhard Beckert; Mana Taghdiri (SETTA, 2017)

Efficient Verification of Programs with Complex Data Structures Using SMT Solvers. - Tianhai Liu (2018)

TEASER: Simulation-Based CAN Bus Regression Testing for Self-Driving Cars Software. - Christian Birchler; Cyrill Rohrbach; Hyeongkyun Kim; Alessio Gambi; Tianhai Liu; Jens Horneber; Timo Kehrer; Sebastiano Panichella (ASE, 2023)