Ningning Chen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2020–2022
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ICTAC | Denotational and Algebraic Semantics for the CaIT Calculus. | Ningning Chen, Huibiao Zhu |
| 2022 | PDCAT | Formalization and Verification of SIP Using CSP. | Zhiru Hou, Jiaqi Yin, Huibiao Zhu, Ningning Chen |
| 2022 | SEKE | Modeling and Verifying AUPS Using CSP. | Hongqin Zhang, Huibiao Zhu, Jiaqi Yin, Ningning Chen |
| 2021 | SEKE | Formal Modeling and Verification of ICN-IoT Middleware Architecture (S). | Hongqin Zhang, Jiaqi Yin, Huibiao Zhu, Ningning Chen |
| 2021 | TASE | A Proof System for HRML with Extended Hoare Logic. | Ningning Chen, Huibiao Zhu, Huixing Fang |
| 2020 | APSEC | Modeling and Verifying Data Access Mechanism of NLSR Trust Model. | Ningning Chen, Huibiao Zhu, Yuan Fei, Lili Xiao, Jiaqi Yin |
| 2020 | SEKE | Modeling and Verifying NDN-based IoV Using CSP. | Ningning Chen, Huibiao Zhu, Jiaqi Yin, Lili Xiao, Yuan Fei |