SSE's RHD Students

Systems and Software Engineering research division staff advise Research Higher Degree students engaged in a wide variety of projects. Current RHD students associated with the SSE are as follows, sorted by advisor.

Prof. Paul Bailes

PhD

Brough, Leighton Improving software development practices with compiler-based tracing techniques
Hearnden, David Iain Deltaware
Kemp, Colin John Totally-Functional Programming
Van Emmerik, Michael James Type Inference Based Decompilation
Wilks, Barry Allan Persistent Abstract Syntax trees for Software Re-engineering

Dr. David Carrington

Mphil

Muys, Andrae Willem The application of persistent datastructures to the provision of enterprise functionality for semi-structured data

PhD

Bradley, Daniel Robert Software development visualisation
Sien, Ven Yu A minimal approach to object-oriented analysis and design
Wood, David Hyland Anticipating emergent properties in object oriented software

Dr. Roger Duke

PhD

Thomas, Richard Neil Strategies for Migrating to Object Technology

Prof. Ian Hayes

PhD

Dongol, Brijesh Formal reasoning about progress in concurrent programs
Meinicke, Larissa Anne Formal Reasoning for Fault-Tolerant Systems
Wildman, Luke Peter Requirements Formulation and Analysis

Dr. Ariel Liebman

PhD

Smith, Morgan Pierce Learning agents to model air traffic control systems

Prof. Peter A Lindsay

PhD

Arnott, Shane The impact of advanced technologies in support of decision making in complex environments
Chen, Kuang Yuan An approach for the architecture of a "multi-agent system' environment
Connelly, Simon Usability guidelines for complex systems
Kanagarajah, Ashok Characteristics, strategies and trend for health sector supply chain in Australia
Rae, Andrew John A Behaviour-Based Methodology for Fault Tree Generation

Dr. Peter Robinson

PhD

Duczmal, Katie Developing controls for secure logic based systems

Dr. Graeme Smith

PhD

Fu, Zheng Automatically verifying refinements using model checking and abstraction
McComb, Timothy Jay Formal Object-Oriented Design through Step-wise Refinement

Dr. Paul Strooper

Mphil

Hakimipour, Niusha Empirical evaluation of tools and techniques for verifying real-time systems

PhD

Javed, Abu Zafer Verification and validation in model driven architecture
Mahrin, Mohd Naz'ri Empirical evaluations of process based inspections in SPI context
Mealy (nee Glynn), Erica Maree Artefact derivation for evolutionary architectures
Wojcicki, Margaret Ann Evaluating and combining verification and validation technologies for concurrent components
Zakaria, Zulfa Empirical evaluation of tools and techniques for verifying real-time systems

Past students

Completed 2007

Long, Benjamin Wallace Formal verification of security protocols (David Carrington)
Shukla, Rakeshkumar Y A Framework for Reliability Assessment of Software Components. (Paul Strooper)

Completed 2006

Cook, Philip John Incremental Compilation in Language Based Environments (Ian Hayes)
Foster, Geoffrey Alan Hints, Help and Coaching - Aids to Effective Use of Computer Software (Roger Duke)
Hunter, Christopher Distributed Environments for the Development of High Integrity Software. (Peter Robinson)
Long, Gregory David Towards Plug-in Proof Support for Formal Development Environments (David Hemer) (Mphil)
McDonald, Jason Generating test oracles from object-oriented formal specifications. (Paul Strooper)

Completed 2005

Long, Bradley Joseph Testing Concurrent Java Classes. (Paul Strooper)
Miller, Timothy Specification Animation and Software Testing. (Paul Strooper)
Pollard, Janelle From Maths Problem to Program: What's the Best Path? (Roger Duke)
Robinson, Neil John Validating Refinements using Specification Animation (Colin Fidge)

Completed 2004

Atchison, Brenton Mark The Integration of Safety and Analysis and Functional Verification Techniques for Software Safety Arguments (Peter Lindsay)
Shield, Jamie Barry Object-Oriented Refinement Calculus Semantics Made Simple and Concise (David Carrington)

Last Updated: 28 May, 2007