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

Dr. rer. nat. Tianhai Liu

Researcher

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)