Professor
Aust. Professional Fellow ARC
| Office | K17 201D |
|---|---|
| Phone | +61 2 9385 5317 (Internal: x55317) |
| Fax | +61 2 9385 5995 (Internal: x55995) |
|
|
| School of Computer Science and Engineering The University of New South Wales Sydney 2052, Australia |
|
| Personal Website | Further details are in my Home Page |
Update your CSE Profile or your Publications in myCSE.
|
The thousand-and-one cryptographers
A McIver, C Morgan, Reflections on the work of C.A.R. Hoare, Wood, Roscoe, Jones. Springer, 2010, pages 255 - 282 |
|
Linear-invariant generation for probabilistic programs
J Katoen, A McIver, L Meinicke, C Morgan, AICI - Lecture Notes in Computer Science, . Springer, Germany, 2010 |
|
Compositional refinement in agent-based security protocols
A McIver, C Morgan, Formal Aspects of Computing, . Springer, New York, 2010 |
|
Compositional noninterference from first principles
C Morgan, Formal Aspects of Computing, . Springer, New York, 2010 |
|
Compositional closure for Bayes Risk in sequential noninterference
A McIver, L Meinicke, C Morgan, Proceedings ICALP 2010, LNCS 6199, . Springer, 2010 |
|
The Shadow Knows: Refinement and security in sequential programs
C Morgan, Science of Computer Programming, . Elsevier Science BV, 2009, pages 629 - 653 |
|
Testing Finitary Probabilistic Processes
Y Deng, M Hennessy, R van Glabbeek, C Morgan, Agent Computing and Multi-Agent Systems, Abdallah, Jones, Roscoe, Sanders. Springer, 2009 |
|
Sums and Lovers: Case studies in security, compositionality and refinement
A McIver, C Morgan, FM 2009: Formal Methods, Ann E. Nicholson and Xiaodong Li. Springer, 2009 |
|
Security, probability and nearly fair coins in the cryptographers' cafe
A McIver, L Meinicke, C Morgan, FM 2009: Formal Methods, Ann E. Nicholson and Xiaodong Li. Springer, 2009 |
|
How to brew-up a refinement order
C Morgan, Electronic Notes in Theoretical Computer Science 112, . Elsevier BV, 2009 |
|
Using probabilistic Kleene algebra pKA for protocol verification
A McIver, C Gonzalia, E Cohen, C Morgan, Journal of Logic and Algebraic Programming, . Elsevier Science Inc, 2008, pages 90 - 111 |
|
Proofs and refutations for probabilistic systems
A McIver, C Gonzalia, C Morgan, Formal methods 2008, J. Cuellar, et al.. Springer, 2008 |
|
Scalar Outcomes Suffice For Finitary Probabilistic Testing
Y Deng, R van Glabbeek, C Morgan, C Zhang, Programming languages and systems, R. De Nicola. Springer, New York, 2007, pages pp. 363 - 378 - |
|
Results On The Quantitative Mu-Calculus Qm Mu
A McIver, C Morgan, ACM Transactions on Computational Logic, . Assoc Computing Machinery, New York, 2007, pages pp. 3:1 - 3:43 - [More Info] |
|
Remarks On Testing Probabilistic Processes
Y Deng, R van Glabbeek, M Hennessy, C Morgan, C Zhang, Electronic Notes in Theoretical Computer Science, . Elsevier, Online, 2007, pages pp. 359 - 397 - [More Info] |
|
Characterising Testing Preorders For Finite Probabilistic Processes
Y Deng, R van Glabbeek, M Hennessy, C Morgan, C Zhang, 22nd Annual IEEE symposium on logic in computer science, Proceedings, . IEEE computer society press, Los Alamitos, USA, 2007, pages pp. 313 - 322 - |
|
Using Probabilistic Kleene Algebra For Protocol Verification
A McIver, E Cohen, C Morgan, Lecture Notes in Artificial Intelligence, Renate Schmidt. Springer-Verlag Berlin, Berlin, 2006, pages pp. 296 - 310 - [More Info] |
|
The Shadow Knows: Refinement Of Ignorance In Sequential Programs
C Morgan, LNCS 4014, T. Uustalu. Springer, Germany, 2006, pages pp. 359 - 378 - |
|
Programming-Logic Analysis Of Fault Tolerance
C Morgan, A McIver, Rigorous Development of Complex Fault-Tolerant Systems, Butler, Jones, Romanovsky, Troubitsyna. Springer, Germany, 2006 |
|
Developing And Reasoning About Probabilistic Programs In Pgcl
C Morgan, A McIver, Refinement Techniques in Software Engineering, Cavalcanti, Sampaio, Woodcock. Springer, Germany, 2006 |
|
A Novel Stochastic Game Via The Quantitative Modal Mu-Calculus
C Morgan, A McIver, ENTCS 153: Proceedings QAPL 2005, Cerone and Wiklicky. Elsevier, online, 2006, pages pp. 195 - 212 - |
|
The Challenge Of Probabilistic Event B - Extended Abstract
C Morgan, T Hoang, J Abrial, Lecture Notes in Artificial Intelligence, . Springer-Verlag Berlin, Berlin, Germany, 2005, pages pp. 162 - 171 - |
|
Probabilistic Guarded Commands Mechanized In Hol
J Hurd, A McIver, C Morgan, Electronic Notes in Theoretical Computer Science, . Elsevier BV, Netherlands, 2005, pages pp. 95 - 111 - |
|
Probabilistic Guarded Commands Mechanised In Hol
C Morgan, A McIver, J Hurd, Theoretical computer science, . Elsevier, Netherlands, 2005, pages pp. 96 - 112 - |
|
Of Probabilistic Wp And Csp - And Compositionality
C Morgan, Communicating sequential processes: the first 25 years, . Springer-Verlag Berlin, Berlin, 2005, pages pp. 220 - 241 - |
|
Memoryless Strategies For Stochastic Games Via Domain Theory
C Morgan, A McIver, Electronic notes on theoretical computer science, . Elsevier, Netherlands, 2005, pages pp. 23 - 37 - |
|
Development Via Refinement In Probabilistic B - Foundation And Case Study
T Hoang, Z Jin, K Robinson, A McIver, C Morgan, ZB 2005: Formal specification and development in Z and B, . Springer-Verlag Berlin, Berlin, Germany, 2005, pages pp. 355 - 373 - |
|
An Elementary Proof That Herman`S Ring Is Theta (N-2)
A McIver, C Morgan, Information Processing Letters, . Elsevier Science Bv, Amsterdam, 2005, pages pp. 79 - 84 - |
|
Abstraction, Refinement And Proof For Probabilistic Systems
C Morgan, A McIver, , . Springer Verlag, New York, 2005 |
|
Abstraction And Refinement In Probabilistic Systems
C Morgan, A McIver, J Hurd, ACM SIGMETRICS performance evaluation review, . ACM, New York, 2005, pages pp. 41 - 47 - |
|
Development Via Refinement In Probabilistic B - Foundation And Case Study
T Hoang, Z Jin, K Robinson, A McIver, C Morgan, ZB2005: Formal Specification and Development in Z and B, Helen Treharne et al.. Springer, Germany, 2004, pages pp. 356 - 374 - |
|
Deriving Probabilistic Semantics Vis The Weakest Completion
C Morgan, A McIver, J He, Formal Methods and Software Engineering, Davies et al. Springer, Berlin, 2004, pages pp. 131 - 145 - |
|
Probabilistic Termination In B
C Morgan, A McIver, T Hoang, ZB 2003: Formal Specification and develoment in B and Z, Didier Bert and Jonathan P. Bowen. Springer, Germany, 2003, pages pp. 216 - 239 - |
|
Probabilistic Invariants For Probabilistic Machines
C Morgan, A McIver, T Hoang, K Robinson, Z Jin, ZB 2003: Formal Specification and develoment in B and Z, Didier Bert, Jonathan Bowen. Springer, Germany, 2003, pages pp. 240 - 259 - |
|
Almost-Certain Eventualities And Abstract Probabilities In Quantitative Temporal Logic
C Morgan, A McIver, Theoretical Computer Science, . Elsevier North-Holland, Amsterdam Netherland, 2003, pages pp. 507 - 534 - |
|
A Probabilistic Approach To Information Hiding
C Morgan, A McIver, Programming Methodology, A. McIver, C. Morgan. Springer, New York, USA, 2003 |
|
Games, Probability And The Quantitative Mu-Calculus Qmu
C Morgan, Logic for Programming, Artificial Intelligence and Reasoning, Matthias Baaz; Andrei Voronkov. Springer Verlag, Heidelberg, 2002, pages pp. 292 - 310 - |
|
The Oxygen Permeability Of A New Type Of High Dk Soft Contact Lens Material
L Alvord, J Court, T Davis, C Morgan, K Schindhelm, J Vogt, L Winterton, Optometry and Vision Science, . Williams & Wilkins, Baltimore, MD, USA, 1998, pages pp. 30 - 36 - |
Update your CSE Profile or your Publications in myCSE.