KIT - Application-oriented Formal Verification - Team

Tianhai Liu, Dr. rer. nat. Researcher
Room 227, Building 50.34 Phone: +49 721 608-43856 Fax: +49 721 608-44021 tianhai.liuXwx3∂kit edu https://asa.iti.kit.edu/21_191.php	KIT / Institute of Information Security and Dependability (KASTEL) Am Fasanengarten 5 Building 50.34 76131 Karlsruhe Germany

Tianhai Liu, Dr. rer. nat.

Researcher

Room 227, Building 50.34
Phone: +49 721 608-43856
Fax: +49 721 608-44021
tianhai.liuXwx3∂kit edu

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

KIT / Institute of Information Security and Dependability (KASTEL)

Am Fasanengarten 5
Building 50.34
76131 Karlsruhe
Germany

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)