Chunyan Mu

29 papers A* 2A 1B 1C 3Misc 3Journal 12Unranked 7
YearRankTypeTitle / Venue / Authors
2025 A* conf
Probabilistic Strategy Logic with Degrees of Observability.
AAAI
Chunyan Mu, Nima Motamed, Natasha Alechina, Brian Logan
2025 A* conf
Responsibility-aware Strategic Reasoning in Probabilistic Multi-Agent Systems.
AAAI
Chunyan Mu, Muhammad Najib, Nir Oren
2024 J jnl
Bunch theory: Axioms, logic, applications and model.
J. Log. Algebraic Methods Program.
Bill Stoddart, Steve Dunne, Chunyan Mu, Frank Zeyda
2024 J jnl
Measuring Responsibility in Multi-Agent Systems.
CoRR
Chunyan Mu, Nir Oren
2024 J jnl
Probabilistic Strategy Logic with Degrees of Observability.
CoRR
Chunyan Mu, Nima Motamed, Natasha Alechina, Brian Logan
2024 J jnl
Responsibility-aware Strategic Reasoning in Probabilistic Multi-Agent Systems.
CoRR
Chunyan Mu, Muhammad Najib, Nir Oren
2023 A conf
On Observability Analysis in Multiagent Systems.
ECAI
Chunyan Mu, Jun Pang
2023 J jnl
On Quantified Observability Analysis in Multiagent Systems.
CoRR
Chunyan Mu, Jun Pang
2023 J jnl
Verifying Opacity Properties in Security Systems.
IEEE Trans. Dependable Secur. Comput.
Chunyan Mu, David Clark
2022 J jnl
Quantitative Verification of Opacity Properties in Security Systems.
CoRR
Chunyan Mu, David Clark
2021 C conf
Integrating Information Flow Analysis in Unifying Theories of Programming.
PRDC
Chunyan Mu, Guoqiang Li
2020 Misc conf
A Language-based Approach to Analysing Flow Security Properties in Virtualised Computing Systems.
TASE
Chunyan Mu
2020 J jnl
Analysing Flow Security Properties in Virtualised Computing Systems.
CoRR
Chunyan Mu
2019 — conf
Automated Game-Theoretic Verification of Security Systems.
QEST
Chunyan Mu
2018 J jnl
Evaluation of redundancy-based system: a model checking approach.
Sci. China Inf. Sci.
Ling Fang, Chunyan Mu, Zhuo Cheng, Guoqiang Li
2018 J jnl
Organisation-Oriented Coarse Graining and Refinement of Stochastic Reaction Networks.
IEEE ACM Trans. Comput. Biol. Bioinform.
Chunyan Mu, Peter Dittrich, David Parker, Jonathan E. Rowe
2017 Misc conf
Time-sensitive information flow control in timed event-B.
TASE
Chunyan Mu, Shengchao Qin
2016 — conf
Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory.
CMSB
Chunyan Mu, Peter Dittrich, David Parker, Jonathan E. Rowe
2014 J jnl
A Flow Sensitive Security Model for Cloud Computing Systems.
CoRR
Wen Zeng, Chunyan Mu, Maciej Koutny, Paul Watson
2014 — conf
Asymptotic behaviour in temporal logic.
CSL-LICS
Eugene Asarin, Michel Blockelet, Aldric Degorre, Catalin Dima, Chunyan Mu
2013 Misc conf
On Information Flow Control in Event-B and Refinement.
TASE
Chunyan Mu
2012 C conf
Quantitative Program Dependence Graphs.
ICFEM
Chunyan Mu
2012 — conf
Security measurement in service-based computing systems.
SOCA
Chunyan Mu, Wen Zeng
2012 — conf
Towards Quantitative Analysis of Opacity.
TGC
Jeremy W. Bryans, Maciej Koutny, Chunyan Mu
2011 — conf
A Tool: Quantitative Analyser for Programs.
QEST
Chunyan Mu, David Clark
2011 J jnl
Foreword: programming language interference and dependence.
Math. Struct. Comput. Sci.
David Clark, Roberto Giacobazzi, Chunyan Mu
2009 — conf
An Interval-based Abstraction for Quantifying Information Flow.
QAPL
Chunyan Mu, David Clark
2009 C conf
Measuring Information Flow in Reactive Processes.
ICICS
Chunyan Mu
2009 B conf
Quantitative Analysis of Secure Information Flow via Probabilistic Semantics.
ARES
Chunyan Mu, David Clark