Current position: Home >> Scientific Research >> Paper Publications

Yuanrui Zhang

Personal Information

Lecturer

Paper Publications

[1].A Clock-based Dynamic Logic for Modelling and Verification of CCSL Specifications in Synchronous ...:Science of Computer Programming (CCF B),2021,203:102591
[2].A Clock-based Dynamic Logic for Schedulability Analysis of CCSL Specifications:Science of Computer Programming (CCF B),2021,202:102546
[3].A Dynamic Logic for Verification of Synchronous Models based on Theorem Proving:Frontiers of Computer Science (CCF B),16(4):164407
[4].A Dynamic Logic with Branching Modalities:Journal of Logical and Algebraic Methods in Programming (JCR Q2),2024,136:100921
[5].Specification and Verification of Multiclock Systems using a Temporal Logic with Clock Constraint...:Formal Aspects of Computing (CCF B),2024,36(2)

total5 1/1

firstpreviousnextlast