Taha Abdelmoutaleb Cherfia

According to our database, Taha Abdelmoutaleb Cherfia authored at least 7 papers between 2013 and 2018.

Collaborative distances:

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

2018

Application of IEC 61499 to develop apps for open platforms.

Ernest Wozniak, Taha Abdelmoutaleb Cherfia, Christian Prehofer

Proceedings of the IEEE International Conference on Industrial Technology, 2018

2016

Un Framework Basé Bigraphes pour la Conception et l'Analyse des Systèmes Sensibles au Contexte. (Bigraphical Reactive Systems Based Framework for Design and Analysis of Context-Aware Systems).

Taha Abdelmoutaleb Cherfia

PhD thesis, 2016

A bigraph-based framework for specification and analysis of context-aware systems.

Taha Abdelmoutaleb Cherfia, Faïza Belala, Kamel Barkaoui

Int. J. Crit. Comput. Based Syst., 2016

2014

Bigraphical Reactive Systems Based Approaches for Modeling Context-Aware Systems.

Taha Abdelmoutaleb Cherfia, Faïza Belala

Int. J. Adapt. Resilient Auton. Syst., 2014

Towards Formal Modeling and Verification of Context-Aware Systems.

Taha Abdelmoutaleb Cherfia, Faiza Belala, Kamel Barkaoui

Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, 2014

A BRS-Based Modeling Approach for Context-Aware Systems: A Case Study of Smart Car System.

Taha Abdelmoutaleb Cherfia, Kamel Barkaoui, Faiza Belala

Proceedings of the 12th IEEE International Conference on Embedded and Ubiquitous Computing, 2014

2013

Towards a Bigraph-Based Model for Context-Aware Adaptive Systems.

Taha Abdelmoutaleb Cherfia, Faiza Belala

Proceedings of the Software Architecture - 7th European Conference, 2013