Yuanrui Zhang

17 papers Misc 2Journal 8Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
Image reflection on process graphs of 1-free regular expressions modulo bisimilarity.
Theor. Comput. Sci.
Yuanrui Zhang, Xinxin Liu
2024 J jnl
A dynamic logic with branching modalities.
J. Log. Algebraic Methods Program.
Yuanrui Zhang, Zhiming Liu
2024 J jnl
Specification and Verification of Multi-Clock Systems Using a Temporal Logic with Clock Constraints.
Formal Aspects Comput.
Yuanrui Zhang, Frédéric Mallet, Min Zhang, Zhiming Liu
2022 J jnl
A dynamic logic for verification of synchronous models based on theorem proving.
Frontiers Comput. Sci.
Yuanrui Zhang, Frédéric Mallet, Zhiming Liu
2021 J jnl
A clock-based dynamic logic for schedulability analysis of CCSL specifications.
Sci. Comput. Program.
Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen, Bo Liu, Zhiming Liu
2021 J jnl
A clock-based dynamic logic for the verification of CCSL specifications in synchronous systems.
Sci. Comput. Program.
Yuanrui Zhang, Hengyang Wu, Yixiang Chen, Frédéric Mallet
2020 J jnl
A verification framework for spatio-temporal consistency language with CCSL as a specification language.
Frontiers Comput. Sci.
Yuanrui Zhang, Frédéric Mallet, Yixiang Chen
2019 Misc conf
A Logical Approach for the Schedulability Analysis of CCSL.
TASE
Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen
2019 J jnl
A Process Algebra With Qualitative Calculus for Modeling Spatio-Temporal Behaviour.
IEEE Access
Yuanrui Zhang, Yixiang Chen, Hengyang Wu
2018 — conf
Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications.
FTSCS
Yuanrui Zhang, Hengyang Wu, Yixiang Chen, Frédéric Mallet
2016 — conf
A Self-Adaptive Traffic Light Control System Based on Speed of Vehicles.
QRS Companion
Jinyang Li, Yuanrui Zhang, Yixiang Chen
2016 — conf
A UTP Refinement Model of the STeC Language.
QRS Companion
Yuanrui Zhang, Yujing Ma, Yixiang Chen
2016 — conf
PSTeC: A Location-Time Driven Modelling Formalism for Probabilistic Real-Time Systems.
MMB/DFT
Kangli He, Yixiang Chen, Min Zhang, Yuanrui Zhang
2015 — conf
A Framework for Data-Driven Automata Design.
APRES
Yuanrui Zhang, Yixiang Chen, Yujing Ma
2015 — conf
PSTEP - A Novel Probabilistic Event Processing Language for Uncertain Spatio-temporal Event Streams of Internet of Vehicles.
QRS Companion
Huiyong Li, Yuanrui Zhang, Yixiang Chen
2014 — conf
A Hybrid Clock System Related to STeC Language.
SERE (Companion)
Yixiang Chen, Yuanrui Zhang
2014 Misc conf
Timed Automata Semantics of Spatial-Temporal Consistency Language STeC.
TASE
Yuanrui Zhang, Frédéric Mallet, Yixiang Chen