43 citations · 119 across the 29 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.SE2015★ 1 cited
Automated Synthesis of Distributed Self-Stabilizing Protocols
Fathiyeh Faghih, Borzoo Bonakdarpour, Sebastien Tixeuil +1
In this paper, we introduce an SMT-based method that automatically synthesizes a distributed self-stabilizing protocol from a given high-level specification and network topology. U…
cs.LO2015★ 9 cited
Abstract Model Repair
George Chatzieleftheriou, Borzoo Bonakdarpour, Panagiotis Katsaros +1
Given a Kripke structure M and CTL formula , where M does not satisfy , the problem of Model Repair is to obtain a new model M' such that M' satisfies . Moreover, the chan…