avatar


Profil

Nom: Souilah Benabdelhafid

Prénom: Maya

Domaines de compétences: Méthodes formelles, Blockchain, deep learning, Web service, Cloud, ERP et CRM, NLP,

Contacts

Publications


Titre Auteurs DOI/URL
The Need for Formal Compatibility Analysis in Web Service Choreography via an E-commerce Application. Souilah Benabdelhafid Maya
Consulter
Analysing timed compatibility of web service choreography. Souilah Benabdelhafid Maya
Consulter
Applying Formal Methods to SOA and SaaS Service Compositions for ERP Systems. Souilah Benabdelhafid Maya
Consulter
A Model-Driven Approach for the Verification of an Adaptive Service Composition. Souilah Benabdelhafid Maya
Consulter
L’AI en Algérie au temps d’une double crise sanitaire et économique, Souilah Benabdelhafid Maya
Consulter

Communications


Titre DOI/URL Type
L’e-administration au service de l’étudiant de l’ESCF de Constantine Consulter Séminaire
E-learning et e-administration : Un Framework basé sur Google Workspace for Education pour l’ESCF de Constantine Consulter Congrès
Web services and agents-based approach for a better interoperability of enterprises. In 2011 10th International Symposium on Programming and Systems Consulter Conférence
A Coalition Formation based Model for Web Service Composition. In the Second International Workshop on Advanced Information Systems for Enterprises Consulter Conférence
Modeling and Analyzing Behavioral Compatibility for Web Service Choreography : A Colored Petri Net based Approach. Consulter Conférence
Formal Transaction Modeling and Verification for an Adaptable Web Service Orchestration Consulter Conférence
Modeling and Verification of Temporal Constraints for Web Service Composition Consulter Conférence
Assimilation of ERP Systems in the Public Health Sector: a Flexible and Efficient Approach Consulter Conférence