Scheduled Maintenance Notice

Please note that Researcher Profiles will be undergoing scheduled maintenance on Wednesday 7th Oct, from 8:00am to 9:00am. During this time, the Researcher Profiles system will be unavailable. We apologise for any inconvenience and appreciate your understanding.

Select Publications

By Emeritus Professor Carroll Morgan

Preprints

Bordenabe N; McIver A; Morgan C; Rabehaja T, 2016, Compositional security and collateral leakage, http://dx.doi.org/10.48550/arxiv.1604.04983

Andronick J; Lewis C; Morgan C, 2015, Controlled Owicki-Gries Concurrency: Reasoning about the Preemptible eChronos Embedded Operating System, http://dx.doi.org/10.48550/arxiv.1511.04170

Andronick J; Lewis C; Morgan C, 2015, Controlled owicki-gries concurrency: Reasoning about the preemptible eChronos embedded operating system, http://dx.doi.org/10.4204/EPTCS.196.2

Deng Y; van Glabbeek R; Hennessy M; Morgan C, 2011, Real-Reward Testing for Probabilistic Processes (Extended Abstract), http://dx.doi.org/10.48550/arxiv.1107.1201

McIver A; Meinicke L; Morgan C, 2011, Hidden-Markov Program Algebra with iteration, http://dx.doi.org/10.48550/arxiv.1102.0333

McIver A; Meinicke L; Morgan C, 2010, Compositional closure for Bayes Risk in probabilistic noninterference, http://dx.doi.org/10.48550/arxiv.1007.1054

Deng Y; Hennessy M; van Glabbeek R; Morgan C, 2008, Characterising Testing Preorders for Finite Probabilistic Processes, http://dx.doi.org/10.48550/arxiv.0810.3708


Back to profile page

ORCID as entered in ROS

orcid_icon https://orcid.org/0000-0002-8535-9068

UNSW Sydney NSW 2052 Australia Telephone +61 2 93851000
Authorised by Deputy Vice-Chancellor (Research)
UNSW CRICOS Provider Code: 00098G ABN: 57 195 873 179

Join the conversation