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.