As an active teaching and research laboratory we produce code and tools, we deliver courses and classes, and we give research presentations.

Programme development

  1. Bachelor of Engineering (Honours) in Software Engineering
  2. Bachelor of Computer and Information Science

Papers developed by SERL

  1. Distributed and Mobile Systems
  2. Formal Specification and Design
  3. Mobile System Development
  4. Programming 2
  5. Software Architecture
  6. Software Development Practice

Probabilistic Verification of Socio-Cyber Physical Systems of Disaster-Affected Regions

We propose a tool-supported framework to verify the reliability and expected cost properties of human involvement in resource and emergency aid distribution in a disaster-affected region. At the core of our approach is the ROute Advisor for Disaster Scenarios (ROADS) framework that operates on high-level algebraic models of the region to plan delivery routes used by human agents. Probabilistic and parametric verification of Markov models synthesised from the resulting socio-cyber-physical system supports disaster

management decision making during response and preparedness phases.

Download Roads tool
Install the Roads Source Code
Interpretation of ROAD outputs and Scenarios

For more information contact

Dr. Kenneth Johnson
Software Engineering Research Laboratory (SERL)

Architecting an Agent-Based Fault Diagnosis Engine


Barry Dowdeswell’s research article, titled “Architecting an Agent-Based Fault Diagnosis Engine for IEC 61499 Industrial Cyber-Physical Systems” co-authored with Roopak Sinha and Stephen MacDonell, has been accepted for publication in the MDPI journal Future Internet. It will appear as part of their Special Issue Modern Trends in Multi-Agent Systems.

Jim featured in AgileIT Interview Series

Jim Featured Interview 300

Jim Buchan has recently been featured in AgileIT interview conducted by Luke Pivac as part of Agilists in Auckland series of blogs.

PhD defence success

Subash Humagain Success

Subash Humagain successfully defended his PhD thesis, titled “Intelligent Dynamic Route Optimization and Road Pre-emption System for On-road Emergency Services” on 16 June ’21. Subash was supervised by Roopak Sinha, Edmund Lai and Prakash Ranjitkar (Auckland University).

PhD defence success


Nidhi Gowdra successfully defended his PhD thesis, titled “Exploring entropy-based optimization methods to increase Neural Network model training effectiveness” on 3 June 2021. Nidhi was supervised by Roopak Sinha, Wei Qi Yan and Stephen MacDonell.

Research published in Elsevier’s Information Systems journal


Chandan Sharma’s research article, titled “Practical and Comprehensive Formalisms for Modeling Contemporary Graph Query Languages” co-authored with Roopak Sinha and Kenneth Johnson has been accepted in Elsevier’s Information Systems Journal (h-index 85).

Research published in Elsevier’s Pattern Recognition Journal


Nidhi Gowdra’s research article, titled “Mitigating severe over-parameterization in deep convolutional neural networks through forced feature abstraction and compression with an entropy-based heuristic” co-authored with Roopak Sinha, Stephen MacDonell and Wei Qi Yan, has been accepted at Elsevier’s Pattern Recognition Journal (h-index 210).

Journal-first presentation - ICSSP/ICGSE 2021


A recent journal-first presentation, titled “Do Scaling Agile Frameworks Address Global Software Development Risks? An Empirical Study”  was given at the ICSSP/ICGSE conference as a co-located event at ICSE 2021 on 19 May 2021. The paper is by Sarah Beecham and co-authored with Tony Clear, Ramesh Lal and John Noll.

Adjunct post-doctoral fellow Dr Don Lee joins SERL

don lee featured

Dr Don Lee is completing a one-year research project, primarily in response to COVID-19’s impact on airline operations, at the AUT Software Engineering Research Laboratory, mentored by Professor Stephen MacDonell.

Dr Don Lee's Academic profile

Student research: Arnab Sen


For his Master of Philosophy research, Arnab Sen is working with a company that is an industry leader in innovative software architecture. Support from the Embedded Software group is helping him achieve his research goals.

Read Arnab's story

Graduate success: Xingbin Cheng


After investigating an innovative approach to software architecture for his Master of Computer and Information Sciences, Xingbin Cheng has now been hired by the company he collaborated with for his research.

Read Xingbin's story

Research paper presentation


Jim presented a research paper titled “Applying Distributed Cognition Theory to Agile Requirements Engineering”. This paper was presented in the Requirement Engineering: Foundations for Software Quality (REFSQ) conference.

Research published in IEEE Transactions on Industrial Informatics


Awais Tanveer has had a paper accepted in the Q1-ranked IEEE TII journal. The paper proposes a novel design abstraction called “secure links” which allow software developers to include communication security mechanisms into industrial control applications while ensuring high code readability and maintainability.

Research published in Journal of Systems and Software


Barry Dowdeswell, a PhD student who studies fault diagnostics for industrial cyber-physical systems had a paper accepted to the Q1-ranked Journal of Systems and Software. The paper surveys the state of the art of fault identification and management across the aerospace, automotive and industrial control domains.


Invited talk by Dr. Chen-Wei Yang

Invited talk by Dr. Chen-Wei Yang (teamphoto)

The EMSOFT group hosted a talk, titled “Autonomy in Energy Systems Automation - systems engineering perspective” by Dr. Chen-Wei Yang from LTU, Sweden.

More information

Jim Buchan at Southern SaaS conference

Jim Buchan

In his presentation "Successfully on boarding a new team member – good luck or good support", Jim Buchan talked about some contemporary team on boarding techniques used in the software industry and highlighted challenges in current practices.

Callaghan Innovation

Programme (EIS Everywhere)

Parametric model checking


Dr. Kenneth Johnson recently presented his work on Parametric model checking at University of Waikato. This presentation was based on a paper titled “Efficient Parametric Model Checking Using Domain Knowledge” published in IEEE Transactions on Software Engineering.

Research paper


Research paper accepted in “Transport Reviews”


Subash Humagain, a Ph.D. student, had a research paper accepted in “Transport Reviews” - a very high ranked journal. The publication titled “A systematic review of route optimisation and pre-emption methods for emergency vehicles”  reports the current state of the art in intelligent transportation systems.


Explore degrees

Degree students can be associated with our lab.

Degrees at AUT