| School of Computer Science and Engineering (CRICOS Provider No. 00098G)

Carroll Morgan's Information Page

Carroll Morgan

Aust. Professional Fellow ARC & Professor

Research Areas
To update this page please go to myCSE.
Office:	K17 201D
Phone:	+61 2 9385 5317 (Internal: x55317)
Fax:	+61 2 9385 5995 (Internal: x55995)
Email:
Mail:	School of Computer Science and Engineering The University of New South Wales Sydney 2052, Australia
Personal Website:	Further details are in my Home Page
	Formal Specification and Refinement Probabilistic Refinement Concurrency
Publications
	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, 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, pp. 3:1 - 3:43
	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, pp. 359 - 397
	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, 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, pp. 296 - 310
	The Shadow Knows: Refinement Of Ignorance In Sequential Programs C Morgan, LNCS 4014, T. Uustalu. Springer, Germany, 2006, 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, pp. 195 - 212
	The Challenge Of Probabilistic Event B - Extended Abstract (None HERDC) C Morgan, T Hoang, J Abrial, Lecture Notes in Artificial Intelligence, . Springer-Verlag Berlin, Berlin, Germany, 2005, 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, pp. 95 - 111
	Probabilistic Guarded Commands Mechanised In Hol C Morgan, A McIver, J Hurd, Theoretical computer science, . Elsevier, Netherlands, 2005, pp. 96 - 112
	Of Probabilistic Wp And Csp - And Compositionality C Morgan, Communicating sequential processes: the first 25 years, . Springer-Verlag Berlin, Berlin, 2005, pp. 220 - 241
	Memoryless Strategies For Stochastic Games Via Domain Theory (None HERDC) C Morgan, A McIver, Electronic notes on theoretical computer science, . Elsevier, Netherlands, 2005, 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, 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, pp. 79 - 84
	Abstraction, Refinement And Proof For Probabilistic Systems (None HERDC) 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, 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, 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, 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, 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, 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, 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, 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, pp. 30 - 36

To update this page please go to myCSE

###
Site maintained by webmistress@cse.unsw.edu.au
Please read the UNSW Copyright & Disclaimer Statement