Situated Planning and Resources in the Design of an Intelligent Tutorial. - Mahmoud Boufaïda; Patrick Barril (ACM Conference on Computer Science, 1993)

Class Cooperation in a Dedicated Object System: The Force Authoring Environment. - Patrick Barril; Mahmoud Boufaïda; Jean-François Brette (TOOLS (10), 1993)

What courseware dedicated to computer science? - Mahmoud Boufaïda (ACM SIGCSE Bull., 1996)

On Extending a Semantic Data Model with some Aspects of Rules and Objects. - Mahmoud Boufaïda; Zizette Boufriche-Boufaïda (KRDB, 1998)

A multi-layered architecture for managing graphical interfaces and tutoring mixed-strategy dialogues. - Mahmoud Boufaïda; Patrick Barril (Softw. Pract. Exp., 1999)

Multimedia Information Systems: Towards a Design Methodology Based on Spatio-Temporal Relations, Petri Nets, and ECA Rules. - Sabine Boufenara; Zizette Boufriche-Boufaïda; Mahmoud Boufaïda; Denis Poitrenaud (ADVIS, 2000)

Inter-Agent Cooperation Supported by XML and CORBA in Heterogeneous Information Systems. - Nacereddine Zarour; Mahmoud Boufaïda; Lionel Seinturier; Pascal Estraillier (DNIS, 2000)

Integration of the viewpoint mechanism in federated databases. - Fouzia Benchikha; Mahmoud Boufaïda; Lionel Seinturier (SAC, 2001)

Using Information Technologies for Managing Cooperative Information Agent-Based Systems. - Nacereddine Zarour; Mahmoud Boufaïda; Lionel Seinturier (ICEIS (1), 2003)

A Federated Agent-Based Solution for Developing Cooperative E-Business Applications. - Mahmoud Brahimi; Mahmoud Boufaïda; Lionel Seinturier (DEXA Workshops, 2004)

A Generic Multi-Agent Architecture for the Virtual Enterprise. - Kamel Boukhelfa; Mahmoud Boufaïda (EMISA, 2004)

From the Analysis of Cooperation Within Organizational Environments to the Design of Cooperative Information Systems: An Agent-Based Approach. - Djamel Benmerzoug; Zizette Boufriche-Boufaïda; Mahmoud Boufaïda (OTM Workshops, 2004)

A Negotiation Framework For Organizational Information Systems. - Nacereddine Zarour; Mahmoud Boufaïda; Lionel Seinturier (Int. J. Inf. Technol. Decis. Mak., 2004)

Inter-agent Communications During the Virtual Enterprise Creation. - Kamel Boukhelfa; Mahmoud Boufaïda (Business Process Management Workshops, 2005)

Extending Object Oriented Databases to Support the Viewpoint Mechanism. - Fouzia Benchikha; Mahmoud Boufaïda (ICEIS (1), 2005)

An architecture for the interoperability of workflow models. - Salah Hamri; Mahmoud Boufaïda; Nacer Boudjlida (IHIS, 2005)

Viewpoints: a framework for object oriented database modelling and distribution. - Fouzia Benchikha; Mahmoud Boufaïda; Lionel Seinturier (Data Sci. J., 2005)

Supporting virtual enterprise systems using agent coordination. - Nacereddine Zarour; Mahmoud Boufaïda; Lionel Seinturier; Pascal Estraillier (Knowl. Inf. Syst., 2005)

Integrating Web Services within Cooperative Multi Agent Architecture. - Mahmoud Brahimi; Mahmoud Boufaïda; Lionel Seinturier (AICT/ICIW, 2006)

An Approach for Building an OWL Ontology for Workflow Interoperability. - Salah Hamri; Nacer Boudjlida; Mahmoud Boufaïda (IESA, 2007)

A Specification and Validation Approach for Business Process Integration based on Web Services and Agents. - Djamel Benmerzoug; Mahmoud Boufaïda; Fabrice Kordon (MSVVEIS, 2007)

The Viewpoint Mechanism for Object-oriented Databases Modelling, Distribution and Evolution. - Fouzia Benchikha; Mahmoud Boufaïda (J. Comput. Inf. Technol., 2007)

A Petri-Net Based Formalisation of Interaction Protocols Applied to Business Process Integration. - Djamel Benmerzoug; Fabrice Kordon; Mahmoud Boufaïda (CIAO! / EOMAS, 2008)

Contract-Based Approach to Analyze Software Components. - Abdelhafid Zitouni; Lionel Seinturier; Mahmoud Boufaïda (ICECCS, 2008)

Formalisation and verification of interaction protocols for business process integration: a Petri net approach. - Djamel Benmerzoug; Fabrice Kordon; Mahmoud Boufaïda (Int. J. Simul. Process. Model., 2008)

Un Modèle de Transformation des Patrons de Conception de l'Orienté Objet vers l'Orienté Aspect. - Mohamed Lamine Berkane; Mahmoud Boufaïda (CIIA, 2009)

A Generic P2P Collaborative Strategy for Discovering and Composing Semantic Web Services. - Mohamed Gharzouli; Mahmoud Boufaïda (ICIW, 2009)

Multi-Agent Architecture for Developing Cooperative E-Business Applications. - Mahmoud Brahimi; Lionel Seinturier; Mahmoud Boufaïda (Int. J. Inf. Syst. Supply Chain Manag., 2009)

An Artifact-based Architecture for a Better Flexibility of Business Processes. - Mounira Zerari; Mahmoud Boufaïda (ICEIS (1), 2010)

Context-aware process mining framework for business process flexibility. - Mounira Zerari; Mahmoud Boufaïda (iiWAS, 2010)

A distributed P2P-based architecture for semantic Web services discovery and composition. - Mohamed Gharzouli; Mahmoud Boufaïda (NOTERE, 2010)

Specifying Components with Compositional Patterns, LOTOS and Design By Contract. - Abdelhafid Zitouni; Mahmoud Boufaïda; Lionel Seinturier (SEDE, 2010)

Interoperability of Services in E-Government using Intelligent Agent, EGP. - Assia Tebib; Mahmoud Boufaïda (CIIA, 2011)

Knowledge Based Data Cleaning for Data Warehouse Quality. - Louardi Bradji; Mahmoud Boufaïda (ICDIPC (2), 2011)

An Efficient Modeling and Execution Framework for Complex Systems Development. - Isabelle Perseil; Laurent Pautet; Jean-François Rolland; Mamoun Filali; Didier Delanote; Stefan Van Baelen; Wouter Joosen; Yolande Berbers; Frédéric Mallet; Dominique Bertrand; Sébastien Faucou; Abdelhafid Zitouni; et al. (ICECCS, 2011)

A Rule Management System for Knowledge Based Data Cleaning. - Louardi Bradji; Mahmoud Boufaïda (Intell. Inf. Manag., 2011)

Dynamic context-aware Business Process flexibility: an artefact-based approach using process mining. - Mounira Zerari; Mahmoud Boufaïda (Int. J. Bus. Intell. Data Min., 2011)

A methodological approach for modeling supply chain management. - Souheila Boudouda; Mahmoud Boufaïda (ICCIT, 2012)

An Agile Approach for Service-Oriented Architectures. - Hamza Chehili; Mahmoud Boufaïda; Lionel Seinturier (ICSOFT, 2012)

Using Interaction Protocols to Model E-Business Applications: A π-calculus based Approach. - Assia Tebib; Mahmoud Boufaïda (I-ESA, 2012)

Data mediation towards semantic web service interoperability. - Karima Mecheri; Mahmoud Boufaïda; Labiba Souici-Meslati (Int. J. Web Sci., 2012)

An Agent-Based Architecture and a Two-Phase Protocol for the Data Portability in Clouds. - Meriem Thabet; Mahmoud Boufaïda (AINA Workshops, 2013)

FASOAD: A Framework for Agile Service-Oriented Architectures Development. - Hamza Chehili; Lionel Seinturier; Mahmoud Boufaïda (DEXA Workshops, 2013)

An Adaptation Architecture of Multimedia Documents for Management of the Quality of Service. - Farida Bettou; Mahmoud Boufaïda; Ilhem Labed (ICEIS (3), 2013)

Towards a Distributed Landmarks based Approach for the Localization and Discovery of Things on the Internet. - Karima Belgharbi; Mahmoud Boufaïda (ANT/SEIT, 2014)

A Context-Oriented Approach for the Adaptation of Service Compositions. - Karima Belgharbi; Mahmoud Boufaïda (ICCASA, 2014)

Web services discovery in P2P networks based on clustering. - Amira Benghida; Mahmoud Boufaïda (ICT-DM, 2014)

Decision Tree and Agent-Based Approach to Specify Inter-Company Cooperation Using Offline Services Composition. - Meriem Kermani; Mahmoud Boufaïda; Emmanuel Paviot-Adet (I-ESA, 2014)

A Model to Specify Inter-company Cooperation. - Meriem Kermani; Mahmoud Boufaïda; Emmanuel Paviot-Adet (WEBIST (1), 2014)

An approach for developing an interoperability mechanism between cloud providers. - Meriem Thabet; Mahmoud Boufaïda; Fabrice Kordon (Int. J. Space Based Situated Comput., 2014)

An architecture using formal interaction protocols for business process integration in e-government. - Assia Tebib; Mahmoud Boufaïda (Electron. Gov. an Int. J., 2015)

Integrating Multi-View Model and Agent Paradigm in the Supply Chain Design. - Souheila Boudouda; Mahmoud Boufaïda (Int. J. Agent Technol. Syst., 2015)

The Need for Formal Compatibility Analysis in Web Service Choreography via an E-Commerce Application. - Maya Souilah Benabdelhafid; Mahmoud Boufaïda (Int. J. E Bus. Res., 2015)

Using variability modelling and design patterns for self-adaptive system engineering: application to smart-home. - Mohamed Lamine Berkane; Lionel Seinturier; Mahmoud Boufaïda (Int. J. Web Eng. Technol., 2015)

A Collaboration Model: A Service Selection Mechanism to Support Companies' Interoperability. - Meriem Kermani; Mahmoud Boufaïda (Int. J. e Collab., 2016)

An Approach Based on Service Components for Adapting Web-Oriented Applications. - Soumia Bendekkoum; Mahmoud Boufaïda; Lionel Seinturier (Int. J. Inf. Technol. Web Eng., 2016)

Using Event B to Specify Context Awareness for Service Discovery in Pervasive Environments. - Karima Belgharbi; Mahmoud Boufaïda (Int. J. Ambient Comput. Intell., 2017)

Analysing timed compatibility of web service choreography. - Maya Souilah Benabdelhafid; Béatrice Bérard; Mahmoud Boufaïda (Int. J. Crit. Comput. Based Syst., 2017)

An Evolutive Component-Based Method for Agile Development of Service Oriented Architectures. - Hamza Chehili; Lionel Seinturier; Mahmoud Boufaïda (Int. J. Inf. Syst. Serv. Sect., 2017)

An Adaptation Architecture Dedicated to Personalized Management of Multimedia Documents. - Farida Bettou; Mahmoud Boufaïda (Int. J. Multim. Data Eng. Manag., 2017)

Variability Modelling for Elastic Scaling in Cloud Computing. - Mohamed Lamine Berkane; Lionel Seinturier; Mahmoud Boufaïda (ICSOFT, 2018)

Malware Detection System Based on an In-Depth Analysis of the Portable Executable Headers. - Mohamed Belaoued; Bouchra Guelib; Yasmine Bounaas; Abdelouahid Derhab; Mahmoud Boufaïda (MLN, 2018)

Formal Transaction Modeling and Verification for an Adaptable Web Service Orchestration. - Sara Zatout; Maya Souilah Benabdelhafid; Mahmoud Boufaïda (QRS Companion, 2018)

Context-based interoperability of semantic web services. - Karima Mecheri; Mahmoud Boufaïda; Djamel Meslati; Labiba Souici-Meslati (Int. J. Metadata Semant. Ontologies, 2019)

An Agent-Oriented Methodology for Business Process Management. - Sara Zouad; Mahmoud Boufaïda (BMSD, 2020)

Using Multi-Agent Microservices for a Better Dynamic Composition of Semantic Web services. - Sara Zouad; Mahmoud Boufaïda (ICAAI, 2020)

Modeling and Verification of Temporal Constraints for Web Service Composition. - Maya Souilah Benabdelhafid; Houda Boubaker; Mahmoud Boufaïda (SEFM, 2020)

A Prediction Approach Based on Self-Training and Deep Learning for Biological Data. - Mohamed Nadjib Boufenara; Mahmoud Boufaïda; Mohamed Lamine Berkane (Int. J. Organ. Collect. Intell., 2020)

A model-driven approach for the verification of an adaptive service composition. - Sara Zatout; Mahmoud Boufaïda; Maya Souilah Benabdelhafid; Mohamed Lamine Berkane (Int. J. Web Eng. Technol., 2020)

Applying Formal Methods to SOA and SaaS Service Compositions for ERP Systems. - Maya Souilah Benabdelhafid; Mahmoud Boufaïda (Int. J. Web Serv. Res., 2020)

Conceptual Modelling of Genotype and Phenotype Information. - Mohamed Nadjib Boufenara; Mohamed Lamine Berkane; Mahmoud Boufaïda (ICSIM, 2021)

Efficient Discovery of Provider Services in a Cloud-Based Supply Chain. - Souheila Boudouda; Mahmoud Boufaïda (J. Inf. Technol. Res., 2021)

Modelling elastic scaling of cloud with energy-efficiency: Application to smart-university. - Mohamed Lamine Berkane; Mahmoud Boufaïda; Nour El Houda Bouzerzour (J. King Saud Univ. Comput. Inf. Sci., 2022)