Read about our latest research projects, publications and research partners.FIND OUT MORE
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.
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 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.