2 citations · 4 across the 10 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018
Parameterized Verification of Coverability in Well-Structured Broadcast Networks
A. R. Balasubramanian
Parameterized verification of coverability in broadcast networks with finite state processes has been studied for different types of models and topologies. In this paper, we attemp…
cs.LO2018
Parameterized verification of synchronization in constrained reconfigurable broadcast networks
A. R. Balasubramanian, Nathalie Bertrand, Nicolas Markey
Reconfigurable broadcast networks provide a convenient formalism for modelling and reasoning about networks of mobile agents broadcasting messages to other agents following some (e…