We stand with Ukraine

We stand with Ukraine

Chun Tian

Orcid: 0000-0002-2777-9443

Affiliations:

Fondazione Bruno Kessler, Povo, Trento, Italy

According to our database¹, Chun Tian authored at least 10 papers between 2017 and 2022.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

Online presence:

On csauthors.net:

Bibliography

2022

Assumption-based Runtime Verification.

[BibT_eX]

[DOI]

Alessandro Cimatti

,

,

Stefano Tonetta

Formal Methods Syst. Des., April, 2022

2021

Assumption-Based Runtime Verification of Infinite-State Systems.

[BibT_eX]

[DOI]

Alessandro Cimatti

,

,

Stefano Tonetta

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

2019

NuRV: A nuXmv Extension for Runtime Verification.

[BibT_eX]

[DOI]

Alessandro Cimatti

,

,

Stefano Tonetta

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

Assumption-Based Runtime Verification with Partial Observability and Resets.

[BibT_eX]

[DOI]

Alessandro Cimatti

,

,

Stefano Tonetta

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

2018

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

[BibT_eX]

[DOI]

,

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.

[BibT_eX]

[DOI]

CoRR, 2017

SNMP for Common Lisp.

[BibT_eX]

[DOI]

CoRR, 2017

Formalized Lambek Calculus in Higher Order Logic (HOL4).

[BibT_eX]

[DOI]

CoRR, 2017

Further Formalization of the Process Algebra CCS in HOL4.

[BibT_eX]

[DOI]

CoRR, 2017

A Formalization of the Process Algebra CCS in HOL4.

[BibT_eX]

[DOI]

CoRR, 2017

Loading...