Software Engineering
Research Laboratory

In the Software Engineering Research Laboratory (SERL) at AUT we undertake world-class research in behavioural software engineering and in the engineering of software for large distributed systems. The results of our research have been published in the field’s top venues and we work closely with industry to ensure our research is relevant and has the potential for impact.

OUR RESEARCH

Read about our latest research projects, publications and research partners.

FIND OUT MORE

OUR PEOPLE

Learn about the knowledge and expertise our team represents.

FIND OUT MORE

RESOURCES

Find out about the concepts and methodologies behind our research.

FIND OUT MORE
Featured
ala workshop
SERL-Logo-Feature
Invited talk by Dr. Chen-Wei Yang (teamphoto)
Jim Buchan
kenneth-johnson-feature
Featured
ala workshop

ALA workshop

On 22 June 2020, SERL invited Mr. John Spray, who has dedicated 40+ years of his life writing and designing software code, for a workshop on Abstraction Layered Architecture (ALA). John built ALA as a result of his long-term experience and ongoing research in how to make software code more maintainable.

SERL-Logo-Feature

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.

Publication

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

Invited talk by Dr. Chen-Wei Yang

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

Jim Buchan at Southern SaaS conference

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)

kenneth-johnson-feature

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

Presentation

Contact us

Get in touch with us if you have questions regarding our research.

FIND OUT MORE