Browsing by Author "Mu, Chunyan"
Now showing 1 - 16 of 16
- Results Per Page
- Sort Options
Item Analysing Flow Security Properties in Virtualised Computing Systems(ArXiv, 2020-04-11) Mu, Chunyan; University of Aberdeen.Computing Science; University of Aberdeen.Cybersecurity and PrivacyItem Asymptotic behaviour in temporal logic(ACM, 2014-07-14) Asarin, Eugene; Blockelet, Michel; Degorre, Aldric; Dima, Catalin; Mu, Chunyan; Henzinger, Thomas A.; Miller, Dale; University of Aberdeen.Computing ScienceItem Automated Game-Theoretic Verification of Security Systems(Springer, 2019-10-18) Mu, Chunyan; Parker, David; Wolf, Verena; University of Aberdeen.Computing Science; University of Aberdeen.Cybersecurity and PrivacyItem Bunch theory : Axioms, logic, applications and model(2024-08-01) Stoddart, Bill; Dunne, Steve; Mu, Chunyan; Zeyda, Frank; University of Aberdeen.Computing Science; University of Aberdeen.Cybersecurity and PrivacyItem First Order Predicate Logic with Null (FOPLN) Proof of Equivalence Laws(2021) Dunne, Steve; Mu, Chunyan; Stoddart, Bill; University of Aberdeen.Computing ScienceItem FOPL and FOPLN Backward Proofs of Equivalence Laws(2021) Dunne, Steve; Mu, Chunyan; Stoddart, Bill; University of Aberdeen.Computing ScienceItem Integrating Information Flow Analysis in Unifying Theories of Programming(IEEE Computer Society, 2022-01-12) Mu, Chunyan; Li, Guoqiang; University of Aberdeen.Cybersecurity and Privacy; University of Aberdeen.Computing ScienceItem A Language-based Approach to Analysing Flow Security Properties in Virtualised Computing Systems(IEEE Explore, 2020-12-11) Mu, Chunyan; University of Aberdeen.Computing Science; University of Aberdeen.Cybersecurity and PrivacyItem Measuring Responsibility in Multi-Agent Systems(ArXiv, 2024-10-31) Mu, Chunyan; Oren, Nir; University of Aberdeen.Agents at Aberdeen; University of Aberdeen.Computing Science; University of Aberdeen.Cybersecurity and Privacy; University of Aberdeen.Vice Principals; University of Aberdeen.Coastal Communities; University of Aberdeen.Human-Centred ComputingItem Multi-scale stochastic organization-oriented coarse-graining exemplified on the human mitotic checkpoint(2019-03-07) Mu, Chunyan; Henze, Richard; Puljiz, Mata; Kamaleson, Nishanthan; Huwald, Jan; Haslegrave, John; Di Fenizio, Pietro Speroni; Parker, David; Good, Christopher; Rowe, Jonathan E.; Dittrich, Peter; Ibrahim, Bashar; University of Aberdeen.Computing ScienceItem On Observability Analysis in Multiagent Systems(IOS Press, 2023-10-04) Mu, Chunyan; Pang, Jun; Gal, Kobi; Nowé, Ann; Nalepa, Grzegorz J.; Fairstein, Roy; Rădulescu, Roxana; University of Aberdeen.Cybersecurity and Privacy; University of Aberdeen.Computing Science; University of Aberdeen.Agents at AberdeenItem Probabilistic Strategy Logic with Degrees of Observability(2025-04-11) Mu, Chunyan; Motamed, Nima; Alechina, Natasha; Logan, Brian; University of Aberdeen.Agents at Aberdeen; University of Aberdeen.Computing ScienceItem Quantitative Verification of Opacity Properties in Security Systems(ArXiv, 2022-06-28) Mu, Chunyan; Clark, DavidItem Responsibility-aware Strategic Reasoning in Probabilistic Multi-Agent Systems(ArXiv, 2024-10-31) Mu, Chunyan; Najib, Muhammad; Oren, Nir; University of Aberdeen.Agents at Aberdeen; University of Aberdeen.Computing Science; University of Aberdeen.Cybersecurity and Privacy; University of Aberdeen.Vice Principals; University of Aberdeen.Coastal Communities; University of Aberdeen.Human-Centred ComputingItem Responsibility-aware Strategic Reasoning in Probabilistic Multi-Agent Systems(2025-04-11) Mu, Chunyan; Najib, Muhammad; Oren, Nir; University of Aberdeen.Agents at Aberdeen; University of Aberdeen.Vice Principals; University of Aberdeen.Coastal Communities; University of Aberdeen.Human-Centred Computing; University of Aberdeen.Computing ScienceItem Verifying Opacity Properties in Security Systems(2022-03-01) Mu, Chunyan; Clark, David; University of Aberdeen.Cybersecurity and Privacy; University of Aberdeen.Computing Science