Ken Robinson

Associate Professor & Program Director - Software Engineering & Grievance Officer

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
Research Areas
Research Topics:	Formal Methods Functional Programming Languages Parsing and Translation Programming Languages and Implementation Software Engineering Specification and Refinement
Publications
	Reconciling axiomatic and model-based specifications reprised K Robinson, Abstract state machines, B and Z, E. Borger, et al.. , 2008
	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 (non-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

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