Brahim Djoudi

According to our database, Brahim Djoudi authored at least 5 papers between 2014 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Formal Specification of Non-Functional Properties of Context-Aware Systems.

Brahim Djoudi, Chafia Bouanaka, Nadia Zeghib

Int. J. Organ. Collect. Intell., 2022

2016

A formal framework for context-aware systems specification and verification.

Brahim Djoudi, Chafia Bouanaka, Nadia Zeghib

J. Syst. Softw., 2016

2014

Model Checking Pervasive Context-Aware Systems.

Brahim Djoudi, Chafia Bouanaka, Nadia Zeghib

Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

On Specifying and Verifying Context-aware Systems.

Brahim Djoudi, Chafia Bouanaka, Nadia Zeghib

Proceedings of the ICSOFT-PT 2014, 2014

On Specifying Reconfigurable Component-Based Systems Using Strategies.

Brahim Djoudi, Chafia Bouanaka, Nadia Zeghib

Proceedings of the Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30, 2014