Research output per year
Research output 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
-
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-76Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile29 Downloads (Pure) -
Verifying Opacity Properties in Security Systems
Mu, C. & Clark, D., 1 Mar 2022, In: IEEE Transactions on Dependable and Secure Computing. p. 1-11 11 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile38 Downloads (Pure) -
First Order Predicate Logic with Null (FOPLN) Proof of Equivalence Laws
Mu, C., Stoddart, B. & Dunne, S., 2021, 17 p.Research output: Book/Report › Other report
File12 Downloads (Pure) -
FOPL and FOPLN Backward Proofs of Equivalence Laws
Mu, C., Stoddart, B. & Dunne, S., 2021, 25 p.Research output: Book/Report › Other report
File10 Downloads (Pure) -
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-192Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile11 Downloads (Pure)