Chun Tian

According to our database, Chun Tian authored at least 11 papers between 2017 and 2025.

Collaborative distances:

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

2025

Some properties of β-η-normal forms in λ-K-calculus (Alcune proprietá delle forme β-η-normali nel λ-K-calcolo).

Corrado Böhm, Chun Tian

CoRR, February, 2025

2022

Assumption-based Runtime Verification.

Alessandro Cimatti, Chun Tian, Stefano Tonetta

Formal Methods Syst. Des., April, 2022

2021

Assumption-Based Runtime Verification of Infinite-State Systems.

Alessandro Cimatti, Chun Tian, Stefano Tonetta

Proceedings of the Runtime Verification - 21st International Conference, 2021

2019

NuRV: A nuXmv Extension for Runtime Verification.

Alessandro Cimatti, Chun Tian, Stefano Tonetta

Proceedings of the Runtime Verification - 19th International Conference, 2019

Assumption-Based Runtime Verification with Partial Observability and Resets.

Alessandro Cimatti, Chun Tian, Stefano Tonetta

Proceedings of the Runtime Verification - 19th International Conference, 2019

2018

Unique Solutions of Contractions, CCS, and their HOL Formalisation.

Chun Tian, Davide Sangiorgi

Proceedings of the Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, 2018

2017

A Formalization of Unique Solutions of Equations in Process Algebra.

Chun Tian

CoRR, 2017

SNMP for Common Lisp.

Chun Tian

CoRR, 2017

Formalized Lambek Calculus in Higher Order Logic (HOL4).

Chun Tian

CoRR, 2017

Further Formalization of the Process Algebra CCS in HOL4.

Chun Tian

CoRR, 2017

A Formalization of the Process Algebra CCS in HOL4.

Chun Tian

CoRR, 2017