On Specifying Reconfigurable Component-Based Systems Using Strategies. - Brahim Djoudi; Chafia Bouanaka; Nadia Zeghib (ICCSA (1), 2014)

On Specifying and Verifying Context-aware Systems. - Brahim Djoudi; Chafia Bouanaka; Nadia Zeghib (ICSOFT PT, 2014)

Model Checking Pervasive Context-Aware Systems. - Brahim Djoudi; Chafia Bouanaka; Nadia Zeghib (WETICE, 2014)

A formal framework for context-aware systems specification and verification. - Brahim Djoudi; Chafia Bouanaka; Nadia Zeghib (J. Syst. Softw., 2016)

Formal Specification of Non-Functional Properties of Context-Aware Systems. - Brahim Djoudi; Chafia Bouanaka; Nadia Zeghib (Int. J. Organ. Collect. Intell., 2022)