Tianhai Liu

According to our database, Tianhai Liu authored at least 10 papers between 2012 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

Analyses as First-Class Citizens in Model-Driven Development.

Tianhai Liu, Shmuel S. Tyszberowicz, Bernhard Beckert

Proceedings of the Fundamental Approaches to Software Engineering, 2026

Observable Consistency Checking across Requirements and Models.

Tianhai Liu, Shmuel S. Tyszberowicz, Bernhard Beckert

Proceedings of the 21st International Conference on Evaluation of Novel Approaches to Software Engineering, 2026

2023

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

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

2018

Efficient Verification of Programs with Complex Data Structures Using SMT Solvers.

Tianhai Liu

PhD thesis, 2018

2017

Computing Exact Loop Bounds for Bounded Program Verification.

Tianhai Liu, Shmuel S. Tyszberowicz, Bernhard Beckert, Mana Taghdiri

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

2016

Computing Specification-Sensitive Abstractions for Program Verification.

Tianhai Liu, Shmuel S. Tyszberowicz, Mihai Herda, Bernhard Beckert, Daniel Grahl, Mana Taghdiri

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

2014

A Comparative Study of Incremental Constraint Solving Approaches in Symbolic Execution.

Tianhai Liu, Mateus Araújo, Marcelo d'Amorim, Mana Taghdiri

Proceedings of the Hardware and Software: Verification and Testing, 2014

Generating JML Specifications from Alloy Expressions.

Daniel Grunwald, Christoph Gladisch, Tianhai Liu, Mana Taghdiri, Shmuel S. Tyszberowicz

Proceedings of the Hardware and Software: Verification and Testing, 2014

2012

Crustal deformation in linfen area studied by MT-InSAR.

Huaining Yang, Huadong Guo, Tianhai Liu, Guang Liu, Shiyong Yan

Proceedings of the 2012 IEEE International Geoscience and Remote Sensing Symposium, 2012

Bounded Program Verification Using an SMT Solver: A Case Study.

Tianhai Liu, Michael Nagel, Mana Taghdiri

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012