Brahim Djoudi

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 2

Top Topics

Context Aware Services

Formal Specification

Temporal Properties

Top Venues

Int. J. Organ. Collect. Intell.

J. Syst. Softw.

Publications

Brahim Djoudi, Chafia Bouanaka, Nadia Zeghib
Formal Specification of Non-Functional Properties of Context-Aware Systems. Int. J. Organ. Collect. Intell. 12 (2) (2022)
Brahim Djoudi, Chafia Bouanaka, Nadia Zeghib
A formal framework for context-aware systems specification and verification. J. Syst. Softw. 122 (2016)
Brahim Djoudi, Chafia Bouanaka, Nadia Zeghib
On Specifying Reconfigurable Component-Based Systems Using Strategies. ICCSA (1) (2014)
Brahim Djoudi, Chafia Bouanaka, Nadia Zeghib
Model Checking Pervasive Context-Aware Systems. WETICE (2014)
Brahim Djoudi, Chafia Bouanaka, Nadia Zeghib
On Specifying and Verifying Context-aware Systems. ICSOFT PT (2014)