No photo of Chunyan Mu

Chunyan Mu

Dr

Accepting PhD Students

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2022

    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 (PRDC). IEEE, p. 67-76

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    23 Downloads (Pure)
  • 2020

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

    Mu, C., 11 Dec 2020, IEEE Theoretical Aspects of Software Engineering (TASE) 2020. IEEE, p. 185-192

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    10 Downloads (Pure)
  • 2019

    Automated Game-Theoretic Verification of Security Systems

    Mu, C., 4 Sep 2019, Quantitative Evaluation of Systems. QEST 2019. Parker, D. & Wolf, V. (eds.). Springer, p. 239-256 (Lecture Notes in Computer Science; vol. 11785).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    194 Downloads (Pure)
  • 2017

    Time-sensitive Information Flow Control in Timed Event-B

    Mu, C. & Qin, S., 13 Sep 2017, 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, p. 1-8

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    183 Downloads (Pure)
  • 2016

    Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory

    Mu, C., Dittrich, P., Parker, D. & Rowe, J. E., 21 Sep 2016, Computational Methods in Systems Biology. CMSB 2016. Springer, (Lecture Notes in Computer Science; vol. 9859).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    150 Downloads (Pure)
  • 2014

    Asymptotic behaviour in temporal logic

    Asarin, E., Bockelet, M., Degorre, A., Dima, C. & Mu, C., 2014, 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) . ACM, p. 1-9 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    146 Downloads (Pure)