1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.SE2017★ 1 cited
Checking Properties along Multiple Reconfiguration Paths for Component-Based Systems
Jean-Michel Hufflen
Reconfiguration paths express sequences of successive reconfiguration operations within a component-based approach allowing dynamic reconfigurations. We use constructs from regular…
cs.SE2015★ 1 cited
Using Model-Checking Techniques for Component-Based Systems with Reconfigurations
Jean-Michel Hufflen
Within a component-based approach allowing dynamic reconfigurations, sequences of successive reconfiguration operations are expressed by means of reconfiguration paths, possibly in…