Tian, Chun
Tian, Chun
ES
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.007 secondi).
Assumption-based Runtime Verification
2022-01-01 Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano
Assumption-Based Runtime Verification of Infinite-State Systems
2021-01-01 Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano
Assumption-based Runtime Verification with Partial Observability and Resets
2019-01-01 Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano
NuRV: a nuXmv Extension for Runtime Verification
2019-01-01 Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano
Unique solutions of contractions, CCS, and their HOL formalisation
2020-01-01 Tian, Chun; Sangiorgi, Davide
Unique Solutions of Contractions, CCS, and their HOL Formalisation
2018-01-01 Tian, Chun; Sangiorgi, Davide
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Assumption-based Runtime Verification | 1-gen-2022 | Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano | |
Assumption-Based Runtime Verification of Infinite-State Systems | 1-gen-2021 | Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano | |
Assumption-based Runtime Verification with Partial Observability and Resets | 1-gen-2019 | Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano | |
NuRV: a nuXmv Extension for Runtime Verification | 1-gen-2019 | Cimatti, Alessandro; Tian, Chun; Tonetta, Stefano | |
Unique solutions of contractions, CCS, and their HOL formalisation | 1-gen-2020 | Tian, Chun; Sangiorgi, Davide | |
Unique Solutions of Contractions, CCS, and their HOL Formalisation | 1-gen-2018 | Tian, Chun; Sangiorgi, Davide |