Chun Tian

13 papers B 4Journal 8Unranked 1

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Mechanising Böhm Trees and λη-Completeness. ITP Chun Tian, Michael Norrish
2025	J	`jnl`	Some properties of β-η-normal forms in λ-K-calculus (Alcune proprietá delle forme β-η-normali nel λ-K-calcolo). CoRR Corrado Böhm, Chun Tian
2022	J	`jnl`	Assumption-based Runtime Verification. Formal Methods Syst. Des. Alessandro Cimatti, Chun Tian, Stefano Tonetta
2021	B	`conf`	Assumption-Based Runtime Verification of Infinite-State Systems. RV Alessandro Cimatti, Chun Tian, Stefano Tonetta
2020	J	`jnl`	Unique solutions of contractions, CCS, and their HOL formalisation. Inf. Comput. Chun Tian, Davide Sangiorgi
2019	B	`conf`	Assumption-Based Runtime Verification with Partial Observability and Resets. RV Alessandro Cimatti, Chun Tian, Stefano Tonetta
2019	B	`conf`	NuRV: A nuXmv Extension for Runtime Verification. RV Alessandro Cimatti, Chun Tian, Stefano Tonetta
2018	—	`conf`	Unique Solutions of Contractions, CCS, and their HOL Formalisation. EXPRESS/SOS Chun Tian, Davide Sangiorgi
2017	J	`jnl`	A Formalization of Unique Solutions of Equations in Process Algebra. CoRR Chun Tian
2017	J	`jnl`	A Formalization of the Process Algebra CCS in HOL4. CoRR Chun Tian
2017	J	`jnl`	Formalized Lambek Calculus in Higher Order Logic (HOL4). CoRR Chun Tian
2017	J	`jnl`	Further Formalization of the Process Algebra CCS in HOL4. CoRR Chun Tian
2017	J	`jnl`	SNMP for Common Lisp. CoRR Chun Tian