News & Events
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.