Yuanrui Zhang

According to our database, Yuanrui Zhang authored at least 19 papers between 2014 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

Image reflection on process graphs of 1-free regular expressions modulo bisimilarity.

Yuanrui Zhang, Xinxin Liu

Theor. Comput. Sci., 2026

2025

A Generic Dynamic Logic for Program Reasoning Based on Operational Semantics.

Yuanrui Zhang, Zhibin Yang

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2025

2024

Specification and Verification of Multi-Clock Systems Using a Temporal Logic with Clock Constraints.

Yuanrui Zhang, Frédéric Mallet, Min Zhang, Zhiming Liu

Formal Aspects Comput., June, 2024

A dynamic logic with branching modalities.

Yuanrui Zhang, Zhiming Liu

J. Log. Algebraic Methods Program., January, 2024

2022

A dynamic logic for verification of synchronous models based on theorem proving.

Yuanrui Zhang, Frédéric Mallet, Zhiming Liu

Frontiers Comput. Sci., 2022

2021

A clock-based dynamic logic for the verification of CCSL specifications in synchronous systems.

Yuanrui Zhang, Hengyang Wu, Yixiang Chen, Frédéric Mallet

Sci. Comput. Program., 2021

A clock-based dynamic logic for schedulability analysis of CCSL specifications.

Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen, Bo Liu, Zhiming Liu

Sci. Comput. Program., 2021

2020

A survey of model-driven techniques and tools for cyber-physical systems.

Bo Liu, Yuanrui Zhang, Xuelian Cao, Yu Liu, Bin Gu, Tiexin Wang

Frontiers Inf. Technol. Electron. Eng., 2020

A verification framework for spatio-temporal consistency language with CCSL as a specification language.

Yuanrui Zhang, Frédéric Mallet, Yixiang Chen

Frontiers Comput. Sci., 2020

2019

A Process Algebra With Qualitative Calculus for Modeling Spatio-Temporal Behaviour.

Yuanrui Zhang, Yixiang Chen, Hengyang Wu

IEEE Access, 2019

A Logical Approach for the Schedulability Analysis of CCSL.

Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

2018

Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications.

Yuanrui Zhang, Hengyang Wu, Yixiang Chen, Frédéric Mallet

Proceedings of the Formal Techniques for Safety-Critical Systems, 2018

2016

A UTP Refinement Model of the STeC Language.

Yuanrui Zhang, Yujing Ma, Yixiang Chen

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

A Self-Adaptive Traffic Light Control System Based on Speed of Vehicles.

Jinyang Li, Yuanrui Zhang, Yixiang Chen

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

PSTeC: A Location-Time Driven Modelling Formalism for Probabilistic Real-Time Systems.

Kangli He, Yixiang Chen, Min Zhang, Yuanrui Zhang

Proceedings of the Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems, 2016

2015

PSTEP - A Novel Probabilistic Event Processing Language for Uncertain Spatio-temporal Event Streams of Internet of Vehicles.

Huiyong Li, Yuanrui Zhang, Yixiang Chen

Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

A Framework for Data-Driven Automata Design.

Yuanrui Zhang, Yixiang Chen, Yujing Ma

Proceedings of the Requirements Engineering in the Big Data Era, 2015

2014

Timed Automata Semantics of Spatial-Temporal Consistency Language STeC.

Yuanrui Zhang, Frédéric Mallet, Yixiang Chen

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

A Hybrid Clock System Related to STeC Language.

Yixiang Chen, Yuanrui Zhang

Proceedings of the IEEE Eighth International Conference on Software Security and Reliability, 2014