Quantitative Analysis of Secure Information Flow via Probabilistic Semantics. - Chunyan Mu; David Clark 001 (ARES, 2009)

Measuring Information Flow in Reactive Processes. - Chunyan Mu (ICICS, 2009)

An Interval-based Abstraction for Quantifying Information Flow. - Chunyan Mu; David Clark 001 (QAPL, 2009)

A Tool: Quantitative Analyser for Programs. - Chunyan Mu; David Clark 001 (QEST, 2011)

Foreword: programming language interference and dependence. - David Clark 001; Roberto Giacobazzi; Chunyan Mu (Math. Struct. Comput. Sci., 2011)

Quantitative Program Dependence Graphs. - Chunyan Mu (ICFEM, 2012)

Security measurement in service-based computing systems. - Chunyan Mu; Wen Zeng (SOCA, 2012)

Towards Quantitative Analysis of Opacity. - Jeremy W. Bryans; Maciej Koutny; Chunyan Mu (TGC, 2012)

On Information Flow Control in Event-B and Refinement. - Chunyan Mu (TASE, 2013)

Asymptotic behaviour in temporal logic. - Eugene Asarin; Michel Blockelet; Aldric Degorre; Catalin Dima; Chunyan Mu (CSL-LICS, 2014)

A Flow Sensitive Security Model for Cloud Computing Systems. - Wen Zeng; Chunyan Mu; Maciej Koutny; Paul Watson 001 (CoRR, 2014)

Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory. - Chunyan Mu; Peter Dittrich; David Parker 001; Jonathan E. Rowe (CMSB, 2016)

Time-sensitive information flow control in timed event-B. - Chunyan Mu; Shengchao Qin (TASE, 2017)

Evaluation of redundancy-based system: a model checking approach. - Ling Fang; Chunyan Mu; Zhuo Cheng; Guoqiang Li 001 (Sci. China Inf. Sci., 2018)

Organisation-Oriented Coarse Graining and Refinement of Stochastic Reaction Networks. - Chunyan Mu; Peter Dittrich; David Parker 001; Jonathan E. Rowe (IEEE ACM Trans. Comput. Biol. Bioinform., 2018)

Automated Game-Theoretic Verification of Security Systems. - Chunyan Mu (QEST, 2019)

A Language-based Approach to Analysing Flow Security Properties in Virtualised Computing Systems. - Chunyan Mu (TASE, 2020)

Analysing Flow Security Properties in Virtualised Computing Systems. - Chunyan Mu (CoRR, 2020)

Integrating Information Flow Analysis in Unifying Theories of Programming. - Chunyan Mu; Guoqiang Li 001 (PRDC, 2021)

Quantitative Verification of Opacity Properties in Security Systems. - Chunyan Mu; David Clark 001 (CoRR, 2022)

On Observability Analysis in Multiagent Systems. - Chunyan Mu; Jun Pang 001 (ECAI, 2023)

On Quantified Observability Analysis in Multiagent Systems. - Chunyan Mu; Jun Pang 001 (CoRR, 2023)

Verifying Opacity Properties in Security Systems. - Chunyan Mu; David Clark 001 (IEEE Trans. Dependable Secur. Comput., 2023)

Measuring Responsibility in Multi-Agent Systems. - Chunyan Mu; Nir Oren (CoRR, 2024)

Bunch theory: Axioms, logic, applications and model. - Bill Stoddart; Steve Dunne; Chunyan Mu; Frank Zeyda (J. Log. Algebraic Methods Program., 2024)

Probabilistic Strategy Logic with Degrees of Observability. - Chunyan Mu; Nima Motamed; Natasha Alechina; Brian Logan 001 (AAAI, 2025)

Responsibility-aware Strategic Reasoning in Probabilistic Multi-Agent Systems. - Chunyan Mu; Muhammad Najib; Nir Oren (AAAI, 2025)