Chunyan Mu

According to our database, Chunyan Mu authored at least 23 papers between 2009 and 2023.

Collaborative distances:

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

2023

Verifying Opacity Properties in Security Systems.

Chunyan Mu, David Clark

IEEE Trans. Dependable Secur. Comput., 2023

On Quantified Observability Analysis in Multiagent Systems.

Chunyan Mu, Jun Pang

CoRR, 2023

On Observability Analysis in Multiagent Systems.

Chunyan Mu, Jun Pang

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

2022

Quantitative Verification of Opacity Properties in Security Systems.

Chunyan Mu, David Clark

CoRR, 2022

2021

Integrating Information Flow Analysis in Unifying Theories of Programming.

Chunyan Mu, Guoqiang Li

Proceedings of the 26th IEEE Pacific Rim International Symposium on Dependable Computing, 2021

2020

Analysing Flow Security Properties in Virtualised Computing Systems.

Chunyan Mu

CoRR, 2020

A Language-based Approach to Analysing Flow Security Properties in Virtualised Computing Systems.

Chunyan Mu

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

2019

Automated Game-Theoretic Verification of Security Systems.

Chunyan Mu

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

2018

Organisation-Oriented Coarse Graining and Refinement of Stochastic Reaction Networks.

Chunyan Mu, Peter Dittrich, David Parker, Jonathan E. Rowe

IEEE ACM Trans. Comput. Biol. Bioinform., 2018

Evaluation of redundancy-based system: a model checking approach.

Ling Fang, Chunyan Mu, Zhuo Cheng, Guoqiang Li

Sci. China Inf. Sci., 2018

2017

Time-sensitive information flow control in timed event-B.

Chunyan Mu, Shengchao Qin

Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

2016

Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory.

Chunyan Mu, Peter Dittrich, David Parker, Jonathan E. Rowe

Proceedings of the Computational Methods in Systems Biology, 2016

2014

A Flow Sensitive Security Model for Cloud Computing Systems.

Wen Zeng, Chunyan Mu, Maciej Koutny, Paul Watson

CoRR, 2014

Asymptotic behaviour in temporal logic.

Eugene Asarin, Michel Blockelet, Aldric Degorre, Catalin Dima, Chunyan Mu

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2013

On Information Flow Control in Event-B and Refinement.

Chunyan Mu

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

2012

Towards Quantitative Analysis of Opacity.

Jeremy W. Bryans, Maciej Koutny, Chunyan Mu

Proceedings of the Trustworthy Global Computing - 7th International Symposium, 2012

Security measurement in service-based computing systems.

Chunyan Mu, Wen Zeng

Proceedings of the 2012 Fifth IEEE International Conference on Service-Oriented Computing and Applications (SOCA), 2012

Quantitative Program Dependence Graphs.

Chunyan Mu

Proceedings of the Formal Methods and Software Engineering, 2012

2011

Foreword: programming language interference and dependence.

David Clark, Roberto Giacobazzi, Chunyan Mu

Math. Struct. Comput. Sci., 2011

A Tool: Quantitative Analyser for Programs.

Chunyan Mu, David Clark

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

2009

An Interval-based Abstraction for Quantifying Information Flow.

Chunyan Mu, David Clark

Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, 2009

Measuring Information Flow in Reactive Processes.

Chunyan Mu

Proceedings of the Information and Communications Security, 11th International Conference, 2009

Quantitative Analysis of Secure Information Flow via Probabilistic Semantics.

Chunyan Mu, David Clark

Proceedings of the The Forth International Conference on Availability, 2009