News & Events

November 2018

Best paper award at ICFEM 2018

Members of the Department's Autonomy and Verification Lab won best paper award at The 20th International Conference on Formal Engineering Methods, 12-16 November 2018, Griffith University, Gold Coast, Australia for the paper

Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt and Michael Fisher

The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators

This  work  was  carried out as part of the EPSRC  Research Programme  Grant EP/N00756/1 Science  of  Sensor  Systems  Software and was also  supported  by  the  Sir  Joseph  Rotblat Alumni  Scholarship  at  Liverpool.

Return to main news page