Papers results

Affiliation name: Constantine 2 University

Total results: 17
Author with most papers: Faiza Belala

Towards Formal Modeling and Verification of Context-Aware Systems.

Authors:	Taha Abdelmoutaleb Cherfia , Faiza Belala , Kamel Barkaoui
Affiliation:	Constantine 2 University, Constantine, Algeria
Published in:	Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2014, Bejaïa, Algeria, September 29-30, 2014.
DOI:	Not available
Year:	2014

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

Authors:	Taha Abdelmoutaleb Cherfia , Faiza Belala
Affiliation:	Constantine 2 University, Constantine, Algeria
Published in:	Software Architecture - 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings
DOI:	https://doi.org/10.1007/978-3-642-39031-9_34
Year:	2013

Robust hybrid wrapper/filter biomarker discovery from gene expression data based on generalised island model.

Authors:	Anouar Boucheham , Mohamed Batouche , Souham Meshoul
Affiliation:	Constantine 2 University, Constantine, Algeria
Published in:	Int. J. Comput. Biol. Drug Des. journal
DOI:	https://doi.org/10.1504/IJCBDD.2015.072075
Year:	2015

A bigraphical model for specifying cloud-based elastic systems and their behaviour.

Authors:	Hamza Sahli , Nabil Hameurlain , Faiza Belala
Affiliation:	Constantine 2 University, Constantine, Algeria
Published in:	Int. J. Parallel Emergent Distributed Syst. journal
DOI:	https://doi.org/10.1080/17445760.2016.1188927
Year:	2017

A multi-agent security framework for cloud data storage.

Authors:	Oussama Arki , Abdelhafid Zitouni , Ahmed Taki Eddine Dib
Affiliation:	Constantine 2 University, Constantine, Algeria
Published in:	Multiagent Grid Syst. journal
DOI:	https://doi.org/10.3233/MGS-180296
Year:	2018

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

Authors:	Taha Abdelmoutaleb Cherfia , Kamel Barkaoui , Faiza Belala
Affiliation:	Constantine 2 University, Constantine, Algeria
Published in:	12th IEEE International Conference on Embedded and Ubiquitous Computing, EUC 2014, Milano, Italy, August 26-28, 2014
DOI:	http://doi.ieeecomputersociety.org/10.1109/EUC.2014.53
Year:	2014

Formal verification of cloud systems elasticity.

Authors:	Hamza Sahli , Faïza Belala , Chafia Bouanaka
Affiliation:	Constantine 2 University, Constantine, Algeria
Published in:	IJCCBS journal
DOI:	https://doi.org/10.1504/IJCCBS.2016.081809
Year:	2016

Model checking of Multi Agent System architectures using BigMC.

Authors:	Ahmed Taki Eddine Dib , Zaïdi Sahnoun
Affiliation:	Constantine 2 University, Constantine, Algeria
Published in:	2015 Federated Conference on Computer Science and Information Systems, FedCSIS 2015, Lódz, Poland, September 13-16, 2015
DOI:	https://doi.org/10.15439/2015F300
Year:	2015

Model-Checking Cloud Systems Using BigMC.

Authors:	Hamza Sahli , Faiza Belala , Chafia Bouanaka
Affiliation:	Constantine 2 University, Constantine, Algeria
Published in:	Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2014, Bejaïa, Algeria, September 29-30, 2014.
DOI:	Not available
Year:	2014

A multi-agent based approach for modelling context-aware systems.

Authors:	Ali Sahnoun , Ahmed Taki Eddine Dib , Ramdane Maamri
Affiliation:	Constantine 2 University, Constantine, Algeria
Published in:	Multiagent Grid Syst. journal
DOI:	https://doi.org/10.3233/MGS-170276
Year:	2017

An Ensemble of Cooperative Parallel Metaheuristics for Gene Selection in Cancer Classification.

Authors:	Anouar Boucheham , Mohamed Batouche , Souham Meshoul
Affiliation:	Constantine 2 University, Constantine, Algeria
Published in:	Bioinformatics and Biomedical Engineering - Third International Conference, IWBBIO 2015, Granada, Spain, April 15-17, 2015. Proceedings, Part II
DOI:	https://doi.org/10.1007/978-3-319-16480-9_30
Year:	2015

Hybrid Wrapper/Filter Gene Selection Using an Ensemble of Classifiers and PSO Algorithm.

Authors:	Anouar Boucheham , Mohamed Batouche
Affiliation:	Constantine 2 University, Constantine, Algeria
Published in:	Int. J. of Applied Metaheuristic Computing journal
DOI:	https://doi.org/10.4018/IJAMC.2017040102
Year:	2017

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

Authors:	Taha Abdelmoutaleb Cherfia , Faïza Belala
Affiliation:	Constantine 2 University, Constantine, Algeria
Published in:	IJARAS journal
DOI:	https://doi.org/10.4018/ijaras.2014100101
Year:	2014

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

Authors:	Taha Abdelmoutaleb Cherfia , Faïza Belala , Kamel Barkaoui
Affiliation:	Constantine 2 University, Constantine, Algeria
Published in:	IJCCBS journal
DOI:	https://doi.org/10.1504/IJCCBS.2016.081808
Year:	2016

Towards a Formal Model for Cloud Computing Elasticity.

Authors:	Hamza Sahli , Chafia Bouanaka , Ahmed Taki Eddine Dib
Affiliation:	Constantine 2 University, Constantine, Algeria
Published in:	2014 IEEE 23rd International WETICE Conference, WETICE 2014, Parma, Italy, 23-25 June, 2014
DOI:	http://doi.ieeecomputersociety.org/10.1109/WETICE.2014.18
Year:	2014

A BRS-Based Approach to Model and Verify Cloud Systems Elasticity.

Authors:	Hamza Sahli , Faiza Belala , Chafia Bouanaka
Affiliation:	Constantine 2 University, Constantine, Algeria
Published in:	1st International Conference on Cloud Forward: From Distributed to Complete Computing, October 6-8, 2015, Pisa, Italy.
DOI:	https://doi.org/10.1016/j.procs.2015.09.221
Year:	2015

Specification and verification of reconfigurable multi-agent system architectures.

Authors:	Ahmed Taki Eddine Dib , Kamel Barkaoui , Zaïdi Sahnoun
Affiliation:	Constantine 2 University, Constantine, Algeria
Published in:	Multiagent Grid Syst. journal
DOI:	https://doi.org/10.3233/MGS-160246
Year:	2016