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

Ken Robinson's Information Page

Ken Robinson

Associate Professor & Program Director - Software Engineering & Grievance Officer

Research Areas
To update this page please go to myCSE.
Office:	K17 208
Phone:	+61 2 9385 4045 (Internal: x54045)
Fax:	+61 2 9385 5995 (Internal: x55995)
Email:
Mail:	School of Computer Science and Engineering The University of New South Wales Sydney 2052, Australia
	Formal Methods Functional Programming Languages Parsing and Translation Programming Languages and Implementation Software Engineering Specification and Refinement
Publications
	Patterns For B: Bridging Formal And Informal Development K Robinson, K Chan, B Welch, B2007: formal specification and development in B, J. Julliand, O. Kouchnarenko. Springer, Berlin, 2007, pp. 125 - 139
	Tank Monitoring: A Pamn Case Study S Schneider, T Hoang, K Robinson, H Treharne, Formal aspects of computing, E. Boiten, M. Butler. Springer, London, 2006, pp. 308 - 328
	Tank Monitoring: A Pamn Case Study (None HERDC) S Schneider, T Hoang, K Robinson, H Treharne, Electronic Notes in Theoretical Computer Science, . Elsevier BV, 2005, pp. 183 - 204
	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
	Embedding Formal Development In Software Engineering K Robinson, Teaching Formal Methods, Dean, Boute. SPRINGER-VERLAG BERLIN, BERLIN, 2004, pp. 203 - 213
	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
	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
	Reconciling Axiomatic And Model-Based Specifications Using The B Method K Robinson, ZB2000: Formal Specification and Development in Z and B, . Springer, Berlin, 2000, pp. 95 - 106
	Introduction To The B Method K Robinson, Program Development by Refinement, . Springer, London, 1998
	Informatics: The Core And The Presentation H Geissinger, P Ho, K Robinson, Proceedings of IFIP TC3/WG3.2 International Conference on Informatics (computer science) as a discipline and in Other Disciplines: what is common?, . Kluwer Academic Publishers(Chapman & Hall), Boston, 1998, pp. 54 - 63
	Correctness In Refinement Developments M De Groot, K Robinson, International Refinement Workshop & Formal Methods Pacific '98, . Springer, Singapore, 1998, pp. 117 - 132
	Computer Science Education At The Crossroads K Robinson, IFIP TC3/WG3.2 International Conference on Informatics (computer science) as a discipline and in Other Disciplines: what is common?, . Kluwer Academic Publishers(Chapman & Hall), Boston, 1998, pp. 120 - 126
	The B-Method And The B-Toolkit K Robinson, Proceedings of 6th International Conference on Algebraic Methodology and Software Technology, . Springer, Berlin, 1997, pp. 576 - 580
	Specification And Implementation Of A Random Access Data Type: A Case Study Using The B-Method K Robinson, Formal Methods Pacific '97, . Springer, Singapore, 1997, p. 1
	Random Access Data Types: An Exercise Using B K Robinson, Formal Methods Pacific '97, . Springer, Singapore, 1997, pp. 313 - 314
	Modular Refinement Diagrams M De Groot, K Robinson, Formal Methods Pacific '97, . Springer, Singapore, 1997, pp. 315 - 316
	Modular Refinement And Model Buuilding M De Groot, K Robinson, Proceedings of 6th International Conference on Algebraic Methods and Software Technology, . Springer, Berlin, 1997, pp. 155 - 168
	Early Experiences In Teaching The B-Method K Robinson, Proceedings of First International Conference on the B Method, . Institut de Recherche en Informatique de Nantes, Nantes, 1997, pp. 291 - 296
	To Zed And Back: Integrating Data Flow Diagrams And Z K Robinson, P Ho, M Schwenke, Proceedings of the First Australasian Conference on Computer Science Education, . ACM, Australia, 1996, pp. 127 - 134
	The Give System: Paperless Collection, Testing And Assessment Of Assignments G Whale, P Ho, K Robinson, Proceedings of ED-MEDIA '96, . AACE, VA, USA, 1996, pp. 691 - 696

To update this page please go to myCSE

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