activity
20092014
most citedModeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness

2 citations · 4 across the 5 of their papers we have counts for

collaborators
Showing 2011Show all

1 paper · 1 filter

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…