Research output per year
Research output per year
Search results
-
2023
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 proceeding › Published conference contribution
Open AccessFile1 Downloads (Pure) -
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 proceeding › Published conference contribution
Open AccessFile1 Downloads (Pure) -
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. IEEE Computer Society, p. 67-76 10 p. ( Proceedings (IEEE Pacific Rim International Symposium on Dependable Computing)).Research output: Chapter in Book/Report/Conference proceeding › Published conference contribution
Open AccessFile1 Downloads (Pure) -
2020
A Language-based Approach to Analysing Flow Security Properties in Virtualised Computing Systems
Mu, C., 11 Dec 2020, 2020 International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE Explore, p. 185-192 8 p.Research output: Chapter in Book/Report/Conference proceeding › Published conference contribution
Open AccessFile1 Citation (Scopus)4 Downloads (Pure) -
2019
Automated Game-Theoretic Verification of Security Systems
Mu, C., 18 Oct 2019, 16th International Conference on Quantitative Evaluation of Systems (QEST). Parker, D. & Wolf, V. (eds.). Springer, Vol. 11785. p. 239-256 18 p. (Lecture Notes in Computer Science; vol. 11785).Research output: Chapter in Book/Report/Conference proceeding › Published conference contribution
Open AccessFile3 Downloads (Pure) -
2017
Time-sensitive information flow control in timed event-B
Mu, C. & Qin, S., 2017, IEEE 2017 11th International Symposium on Theoretical Aspects of Software Engineering (TASE). Mallet, F., Zhang, M. & Madelaine, E. (eds.). IEEE Computer Society, p. 1-8 8 p.Research output: Chapter in Book/Report/Conference proceeding › Published conference contribution
Open Access -
2016
Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory
Mu, C., Dittrich, P., Parker, D. & Rowe, J. E., 2016, 14th International Conference on Computational Methods in Systems Biology (CMSB). Bartocci, E., Liò, P. & Paoletti, N. (eds.). Springer, Vol. 9859. p. 232-251 20 p. (Lecture Notes in Computer Science; vol. 9859).Research output: Chapter in Book/Report/Conference proceeding › Published conference contribution
12 Citations (Scopus) -
2014
Asymptotic behaviour in temporal logic
Asarin, E., Blockelet, M., Degorre, A., Dima, C. & Mu, C., 14 Jul 2014, The Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Henzinger, T. A. & Miller, D. (eds.). ACM, p. 1-9 9 p. 10Research output: Chapter in Book/Report/Conference proceeding › Published conference contribution
Open AccessFile3 Citations (Scopus)5 Downloads (Pure)