-
Scenario-based verification in presence of variability using a synchronous ap...
International audience -
Impact of Feature Interaction on the Safety Analysis for Unmanned Avionics Pr...
International audience -
Detecting Feature Interaction - A Heuristic Approach
Colloque sur invitation. -
Formal modelling of services for getting a better understanding of the featur...
Colloque avec actes et comité de lecture. -
A taxonomy for triggered interactions using fair object semantics
Colloque avec actes et comité de lecture. internationale.
