Chun Tian

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 11

Top Topics

Higher Order Logic

Concurrent Programs

Top Venues

Publications

Alessandro Cimatti, Chun Tian, Stefano Tonetta
Assumption-based Runtime Verification. Formal Methods Syst. Des. 60 (2) (2022)
Alessandro Cimatti, Chun Tian, Stefano Tonetta
Assumption-Based Runtime Verification of Infinite-State Systems. RV (2021)
Chun Tian, Davide Sangiorgi
Unique solutions of contractions, CCS, and their HOL formalisation. Inf. Comput. 275 (2020)
Alessandro Cimatti, Chun Tian, Stefano Tonetta
Assumption-Based Runtime Verification with Partial Observability and Resets. RV (2019)
Alessandro Cimatti, Chun Tian, Stefano Tonetta
NuRV: A nuXmv Extension for Runtime Verification. RV (2019)
Chun Tian, Davide Sangiorgi
Unique Solutions of Contractions, CCS, and their HOL Formalisation. EXPRESS/SOS (2018)
Chun Tian
Further Formalization of the Process Algebra CCS in HOL4. CoRR (2017)
Chun Tian
A Formalization of Unique Solutions of Equations in Process Algebra. CoRR (2017)
Chun Tian
Formalized Lambek Calculus in Higher Order Logic (HOL4). CoRR (2017)
Chun Tian
SNMP for Common Lisp. CoRR (2017)
Chun Tian
A Formalization of the Process Algebra CCS in HOL4. CoRR (2017)