Tianhai Liu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2012–2026
Best venue rank
National
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ENASE | Observable Consistency Checking across Requirements and Models. | Tianhai Liu, Shmuel S. Tyszberowicz, Bernhard Beckert |
| 2026 | FASE | Analyses as First-Class Citizens in Model-Driven Development. | Tianhai Liu, Shmuel S. Tyszberowicz, Bernhard Beckert |
| 2017 | SETTA | Computing Exact Loop Bounds for Bounded Program Verification. | Tianhai Liu, Shmuel S. Tyszberowicz, Bernhard Beckert, Mana Taghdiri |
| 2016 | SETTA | Computing Specification-Sensitive Abstractions for Program Verification. | Tianhai Liu, Shmuel S. Tyszberowicz, Mihai Herda, Bernhard Beckert, Daniel Grahl, Mana Taghdiri |
| 2012 | IGARSS | Crustal deformation in linfen area studied by MT-InSAR. | Huaining Yang, Huadong Guo, Tianhai Liu, Guang Liu, Shiyong Yan |
| 2012 | ICST | Bounded Program Verification Using an SMT Solver: A Case Study. | Tianhai Liu, Michael Nagel, Mana Taghdiri |