5 citations · 5 across the 4 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.DC2017
The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators
Paul Gainer, Sven Linker, Clare Dixon +2
We assess the power consumption of network synchronisation protocols, particularly the energy required to synchronise all nodes across a network. We use the widely adopted approach…
eess.SY2017★ 5 cited
Proceedings First Workshop on Formal Verification of Autonomous Vehicles
Lukas Bulwahn, Maryam Kamali, Sven Linker
These are the proceedings of the workshop on Formal Verification of Autonomous Vehicles, held on September 19th, 2017 in Turin, Italy, as an affiliated workshop of the Internationa…