5 citations · 5 across the 4 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018
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…
cs.AI2018
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…