Hongjian Jiang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2021–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAV | sfHornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses. | Hongjian Jiang, Anthony W. Lin, Oliver Markgraf, Philipp Rmmer, Daniel Stan |
| 2024 | TASE | A Formally Verified Scheme for Security Protocols with the Operational Semantics of Strand Space. | Yongjian Li, Hongjian Jiang, Yongxin Zhao |
| 2021 | SEKE | HHML: A Hierarchical Hybrid Modeling Language for Mode-based Periodic Controllers. | Zhiming Hu, Zheng Wang, Hongjian Jiang, Yuyuan Zhang, Yongxin Zhao |
| 2021 | SEKE | AnB2Murphi: A Translator for Converting AliceBob Specifications to Murphi. | Yongxin Zhao, Hongjian Jiang, Jin Lv, Sijun Tan, Yongjian Li |
| 2021 | TASE | Encoding Induction Proof in Dafny. | Hongjian Jiang, Yongjian Li, Sijun Tan, Yongxin Zhao |