activity
20102023
most citedCounterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation

3 citations · 12 across the 15 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…