KIT - Application-oriented Formal Verification - Alumni/ae - Tianhai Liu

Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification

Dr. rer. nat. Tianhai Liu

Researcher

liuRuu8∂mail informatik kit edu

https://asa.iti.kit.edu/21_191.php

KIT / Institute of Theoretical Informatics (ITI)

Am Fasanengarten 5
76131 Karlsruhe
Germany

Publications

2018
Title	Author(s)	Source
Efficient Verification of Programs with Complex Data Structures Using SMT Solvers	Tianhai Liu	Karlsruhe Institute of Technology (July 2018)

2017
Title	Author(s)	Source
Computing Exact Loop Bounds for Bounded Program Verification	Tianhai Liu, Shmuel Tyszberowicz, Bernhard Beckert, and Mana Taghdiri	International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2017)

2016
Title	Author(s)	Source
Computing Specification-Sensitive Abstractions for Program Verification	Tianhai Liu, Shmuel Tyszberowicz, Mihai Herda, Bernhard Beckert, Daniel Grahl, and Mana Taghdiri	Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2016)

2014
Title	Author(s)	Source
Generating JML Specifications from Alloy Expressions	Daniel Grunwald, Christoph Gladisch, Tianhai Liu, Mana Taghdiri, and Shmuel Tyszberowicz	10th International Haifa Verification Conference on Hardware and Software: Verification and Testing (HVC 2014)
A Comparative Study of Incremental Constraint Solving Approaches in Symbolic Execution	Tianhai Liu, Mateus Araújo, Marcelo d'Amorim, and Mana Taghdiri	10th International Haifa Verification Conference on Hardware and Software: Verification and Testing (HVC 2014)

2012
Title	Author(s)	Source
Bounded Program Verification Using an SMT Solver: A Case Study	Tianhai Liu, Michael Nagel, and Mana Taghdiri	Fifth IEEE International Conference on Software Testing, Verification and Validation (ICST 2012)