2 citations · 4 across the 10 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023
Parameterized Verification of Coverability in Infinite State 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.DC2023
Coefficient Synthesis for Threshold Automata
A. R. Balasubramanian
Threshold automata are a formalism for modeling fault-tolerant distributed algorithms. The main feature of threshold automata is the notion of a threshold guard, which allows us to…