5 citations · 5 across the 4 of their papers we have counts for
5 papers
Engineering Reliable Autonomous Systems: Challenges and Solutions
Marie Farrell, Matt Luckcuck, Angelo Ferrando +28
Engineering reliable autonomous systems is an important and growing topic in computer science. As autonomous systems become more prevalent, easy-to-use techniques for building them…
Multi-Scale Verification of Distributed Synchronisation
Paul Gainer, Sven Linker, Clare Dixon +2
Algorithms for the synchronisation of clocks across networks are both common and important within distributed systems. We here address not only the formal modelling of these algori…
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time
Maryam Kamali, Sven Linker, Michael Fisher
The spread of autonomous systems into safety-critical areas has increased the demand for their formal verification, not only due to stronger certification requirements but also to…
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…
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…