• 28
    Citations
20142023

Research activity per year

Fingerprint

Dive into the research topics where Chunyan Mu is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • On Observability Analysis in Multiagent Systems

    Mu, C. & Pang, J., 28 Sept 2023, 26th European Conference on Artificial Intelligence, September 30–October 4, 2023, Kraków, Poland – Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023). Gal, K., Gal, K., Nowe, A., Nalepa, G. J., Fairstein, R. & Radulescu, R. (eds.). IOS Press BV, p. 1755-1762 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 372).

    Research output: Chapter in Book/Report/Conference proceedingPublished conference contribution

    Open Access
    File
  • On Quantified Observability Analysis in Multi-Agent Systems

    Mu, C. & Pang, J., 15 Jul 2023, (Accepted/In press) 27th European Conference on Artificial Intelligence. IOS Press, 8 p. (Frontiers in Artificial Intelligence and Applications).

    Research output: Chapter in Book/Report/Conference proceedingPublished conference contribution

    Open Access
    File
  • Quantitative Verification of Opacity Properties in Security Systems

    Mu, C. & Clark, D., 28 Jun 2022, ArXiv, 23 p.

    Research output: Working paperPreprint

    File
    16 Downloads (Pure)
  • Verifying Opacity Properties in Security Systems

    Mu, C. & Clark, D., 1 Mar 2022, In: IEEE Transactions on Dependable and Secure Computing. 20, 2, p. 1450-1460 11 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    6 Downloads (Pure)
  • Integrating Information Flow Analysis in Unifying Theories of Programming

    Mu, C. & Li, G., 12 Jan 2022, 2021 IEEE 26th Pacific Rim International Symposium on Dependable Computing. IEEE Computer Society, p. 67-76 10 p. ( Proceedings (IEEE Pacific Rim International Symposium on Dependable Computing)).

    Research output: Chapter in Book/Report/Conference proceedingPublished conference contribution

    Open Access
    File