Mahmoud Boufaïda

According to our database, Mahmoud Boufaïda authored at least 73 papers between 1993 and 2022.

Collaborative distances:

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

2022

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

2021

Efficient Discovery of Provider Services in a Cloud-Based Supply Chain.

Souheila Boudouda, Mahmoud Boufaïda

J. Inf. Technol. Res., 2021

Conceptual Modelling of Genotype and Phenotype Information.

Mohamed Nadjib Boufenara, Mohamed Lamine Berkane, Mahmoud Boufaïda

Proceedings of the ICSIM 2021: 2021 The 4th International Conference on Software Engineering and Information Management, 2021

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

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

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

Modeling and Verification of Temporal Constraints for Web Service Composition.

Maya Souilah Benabdelhafid, Houda Boubaker, Mahmoud Boufaïda

Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2020

Using Multi-Agent Microservices for a Better Dynamic Composition of Semantic Web services.

Sara Zouad, Mahmoud Boufaïda

Proceedings of the ICAAI 2020: The 4th International Conference on Advances in Artificial Intelligence, 2020

An Agent-Oriented Methodology for Business Process Management.

Sara Zouad, Mahmoud Boufaïda

Proceedings of the Business Modeling and Software Design - 10th International Symposium, 2020

2019

Context-based interoperability of semantic web services.

Karima Mecheri, Mahmoud Boufaïda, Djamel Meslati, Labiba Souici-Meslati

Int. J. Metadata Semant. Ontologies, 2019

2018

Formal Transaction Modeling and Verification for an Adaptable Web Service Orchestration.

Sara Zatout, Maya Souilah Benabdelhafid, Mahmoud Boufaïda

Proceedings of the 2018 IEEE International Conference on Software Quality, 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

Proceedings of the Machine Learning for Networking - First International Conference, 2018

Variability Modelling for Elastic Scaling in Cloud Computing.

Mohamed Lamine Berkane, Lionel Seinturier, Mahmoud Boufaïda

Proceedings of the 13th International Conference on Software Technologies, 2018

2017

An Adaptation Architecture Dedicated to Personalized Management of Multimedia Documents.

Farida Bettou, Mahmoud Boufaïda

Int. J. Multim. Data Eng. Manag., 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

Analysing timed compatibility of web service choreography.

Maya Souilah Benabdelhafid, Béatrice Bérard, Mahmoud Boufaïda

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

Using Event B to Specify Context Awareness for Service Discovery in Pervasive Environments.

Karima Belgharbi, Mahmoud Boufaïda

Int. J. Ambient Comput. Intell., 2017

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

A Collaboration Model: A Service Selection Mechanism to Support Companies' Interoperability.

Meriem Kermani, Mahmoud Boufaïda

Int. J. e Collab., 2016

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

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

Integrating Multi-View Model and Agent Paradigm in the Supply Chain Design.

Souheila Boudouda, Mahmoud Boufaïda

Int. J. Agent Technol. Syst., 2015

An architecture using formal interaction protocols for business process integration in e-government.

Assia Tebib, Mahmoud Boufaïda

Electron. Gov. an Int. J., 2015

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

A Model to Specify Inter-company Cooperation.

Meriem Kermani, Mahmoud Boufaïda, Emmanuel Paviot-Adet

Proceedings of the WEBIST 2014, 2014

Decision Tree and Agent-Based Approach to Specify Inter-Company Cooperation Using Offline Services Composition.

Meriem Kermani, Mahmoud Boufaïda, Emmanuel Paviot-Adet

Proceedings of the Enterprise Interoperability VI: Interoperability for Agility, 2014

Web services discovery in P2P networks based on clustering.

Amira Benghida, Mahmoud Boufaïda

Proceedings of the 1st International Conference on Information and Communication Technologies for Disaster Management, 2014

A Context-Oriented Approach for the Adaptation of Service Compositions.

Karima Belgharbi, Mahmoud Boufaïda

Proceedings of the 3rd International Conference on Context-Aware Systems and Applications, 2014

Towards a Distributed Landmarks based Approach for the Localization and Discovery of Things on the Internet.

Karima Belgharbi, Mahmoud Boufaïda

Proceedings of the 5th International Conference on Ambient Systems, 2014

2013

An Adaptation Architecture of Multimedia Documents for Management of the Quality of Service.

Farida Bettou, Mahmoud Boufaïda, Ilhem Labed

Proceedings of the ICEIS 2013, 2013

FASOAD: A Framework for Agile Service-Oriented Architectures Development.

Hamza Chehili, Lionel Seinturier, Mahmoud Boufaïda

Proceedings of the 24th International Workshop on Database and Expert Systems Applications, 2013

An Agent-Based Architecture and a Two-Phase Protocol for the Data Portability in Clouds.

Meriem Thabet, Mahmoud Boufaïda

Proceedings of the 27th International Conference on Advanced Information Networking and Applications Workshops, 2013

2012

Data mediation towards semantic web service interoperability.

Karima Mecheri, Mahmoud Boufaïda, Labiba Souici-Meslati

Int. J. Web Sci., 2012

Using Interaction Protocols to Model E-Business Applications: A π-calculus based Approach.

Assia Tebib, Mahmoud Boufaïda

Proceedings of the Enterprise Interoperability V, 2012

An Agile Approach for Service-Oriented Architectures.

Hamza Chehili, Mahmoud Boufaïda, Lionel Seinturier

Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012

A methodological approach for modeling supply chain management.

Souheila Boudouda, Mahmoud Boufaïda

Proceedings of the International Conference on Communications and Information Technology, 2012

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 Rule Management System for Knowledge Based Data Cleaning.

Louardi Bradji, Mahmoud Boufaïda

Intell. Inf. Manag., 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, Mahmoud Boufaïda, Lionel Seinturier, Joël Champeau, Thomas Abdoul, Peter H. Feiler, Chokri Mraidha, Sébastien Gérard

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

Knowledge Based Data Cleaning for Data Warehouse Quality.

Louardi Bradji, Mahmoud Boufaïda

Proceedings of the Digital Information Processing and Communications, 2011

Interoperability of Services in E-Government using Intelligent Agent, EGP.

Assia Tebib, Mahmoud Boufaïda

Proceedings of the Third International Conference on Computer Science and its Applications (CIIA'11), 2011

2010

Specifying Components with Compositional Patterns, LOTOS and Design By Contract.

Abdelhafid Zitouni, Mahmoud Boufaïda, Lionel Seinturier

Proceedings of the ISCA 19th International Conference on Software Engineeringand Data Engineering (SEDE-2010) June 16-18, 2010

A distributed P2P-based architecture for semantic Web services discovery and composition.

Mohamed Gharzouli, Mahmoud Boufaïda

Proceedings of the NOTERE 2010, Annual International Conference on New Technologies of Distributed Systems, Touzeur, Tunisia, May 31, 2010

Context-aware process mining framework for business process flexibility.

Mounira Zerari, Mahmoud Boufaïda

Proceedings of the iiWAS'2010, 2010

An Artifact-based Architecture for a Better Flexibility of Business Processes.

Mounira Zerari, Mahmoud Boufaïda

Proceedings of the ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 1, DISI, Funchal, Madeira, Portugal, June 8, 2010

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

A Generic P2P Collaborative Strategy for Discovering and Composing Semantic Web Services.

Mohamed Gharzouli, Mahmoud Boufaïda

Proceedings of the Fourth International Conference on Internet and Web Applications and Services, 2009

Un Modèle de Transformation des Patrons de Conception de l'Orienté Objet vers l'Orienté Aspect.

Mohamed Lamine Berkane, Mahmoud Boufaïda

Proceedings of the 2nd Conférence Internationale sur l'Informatique et ses Applications (CIIA'09), 2009

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

Contract-Based Approach to Analyze Software Components.

Abdelhafid Zitouni, Lionel Seinturier, Mahmoud Boufaïda

Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

A Petri-Net Based Formalisation of Interaction Protocols Applied to Business Process Integration.

Djamel Benmerzoug, Fabrice Kordon, Mahmoud Boufaïda

Proceedings of the Advances in Enterprise Engineering I, 2008

2007

The Viewpoint Mechanism for Object-oriented Databases Modelling, Distribution and Evolution.

Fouzia Benchikha, Mahmoud Boufaïda

J. Comput. Inf. Technol., 2007

A Specification and Validation Approach for Business Process Integration based on Web Services and Agents.

Djamel Benmerzoug, Mahmoud Boufaïda, Fabrice Kordon

Proceedings of the Modelling, 2007

An Approach for Building an OWL Ontology for Workflow Interoperability.

Salah Hamri, Nacer Boudjlida, Mahmoud Boufaïda

Proceedings of the Enterprise Interoperability II, 2007

2006

Integrating Web Services within Cooperative Multi Agent Architecture.

Mahmoud Brahimi, Mahmoud Boufaïda, Lionel Seinturier

Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW 2006), 2006

2005

Supporting virtual enterprise systems using agent coordination.

Nacereddine Zarour, Mahmoud Boufaïda, Lionel Seinturier, Pascal Estraillier

Knowl. Inf. Syst., 2005

Viewpoints: a framework for object oriented database modelling and distribution.

Fouzia Benchikha, Mahmoud Boufaïda, Lionel Seinturier

Data Sci. J., 2005

An architecture for the interoperability of workflow models.

Salah Hamri, Mahmoud Boufaïda, Nacer Boudjlida

Proceedings of the first international ACM workshop on Interoperability of Heterogeneous Information Systems (IHIS'05), 2005

Extending Object Oriented Databases to Support the Viewpoint Mechanism.

Fouzia Benchikha, Mahmoud Boufaïda

Proceedings of the ICEIS 2005, 2005

Inter-agent Communications During the Virtual Enterprise Creation.

Kamel Boukhelfa, Mahmoud Boufaïda

Proceedings of the Business Process Management Workshops, 2005

2004

A Negotiation Framework For Organizational Information Systems.

Nacereddine Zarour, Mahmoud Boufaïda, Lionel Seinturier

Int. J. Inf. Technol. Decis. Mak., 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

Proceedings of the On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, 2004

A Generic Multi-Agent Architecture for the Virtual Enterprise.

Kamel Boukhelfa, Mahmoud Boufaïda

Proceedings of the EMISA 2004, 2004

A Federated Agent-Based Solution for Developing Cooperative E-Business Applications.

Mahmoud Brahimi, Mahmoud Boufaïda, Lionel Seinturier

Proceedings of the 15th International Workshop on Database and Expert Systems Applications (DEXA 2004), with CD-ROM, 30 August, 2004

2003

Using Information Technologies for Managing Cooperative Information Agent-Based Systems.

Nacereddine Zarour, Mahmoud Boufaïda, Lionel Seinturier

Proceedings of the ICEIS 2003, 2003

2001

Integration of the viewpoint mechanism in federated databases.

Fouzia Benchikha, Mahmoud Boufaïda, Lionel Seinturier

Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001

2000

Inter-Agent Cooperation Supported by XML and CORBA in Heterogeneous Information Systems.

Nacereddine Zarour, Mahmoud Boufaïda, Lionel Seinturier, Pascal Estraillier

Proceedings of the Databases in Networked Information Systems, 2000

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

Proceedings of the Advances in Information Systems, First International Conference, 2000

1999

A multi-layered architecture for managing graphical interfaces and tutoring mixed-strategy dialogues.

Mahmoud Boufaïda, Patrick Barril

Softw. Pract. Exp., 1999

1998

On Extending a Semantic Data Model with some Aspects of Rules and Objects.

Mahmoud Boufaïda, Zizette Boufriche-Boufaïda

Proceedings of the 5th International Workshop on Knowledge Represenation Meets Databases (KRDB '98): Innovative Application Programming and Query Interfaces, 1998

1996

What courseware dedicated to computer science?

Mahmoud Boufaïda

ACM SIGCSE Bull., 1996

1993

Class Cooperation in a Dedicated Object System: The Force Authoring Environment.

Patrick Barril, Mahmoud Boufaïda, Jean-François Brette

Proceedings of the TOOLS 1993: 10th International Conference on Technology of Object-Oriented Languages and Systems, 1993

Situated Planning and Resources in the Design of an Intelligent Tutorial.

Mahmoud Boufaïda, Patrick Barril

Proceedings of the ACM 21th Conference on Computer Science, 1993