7 citations · 21 across the 11 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2012★ 2 cited
Distributed Priority Synthesis and its Applications
Chih-Hong Cheng, Saddek Bensalem, Rongjie Yan +3
Given a set of interacting components with non-deterministic variable update and given safety requirements, the goal of priority synthesis is to restrict, by means of priorities, t…
cs.LO2011
Algorithms for Synthesizing Priorities in Component-based Systems
Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen +5
We present algorithms to synthesize component-based systems that are safe and deadlock-free using priorities, which define stateless-precedence between enabled actions. Our core me…