25 citations · 97 across the 30 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015★ 6 cited
Compositional Verification for Timed Systems Based on Automatic Invariant Generation
Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem +2
We propose a method for compositional verification to address the state space explosion problem inherent to model-checking timed systems with a large number of components. The main…
cs.FL2015
Timed Orchestration for Component-based Systems
Chih-Hong Cheng, Lacramioara Astefanoaei, Harald Ruess +2
Individual machines in flexible production lines explicitly expose capabilities at their interfaces by means of parametric skills. Given such a set of configurable machines, a line…