Mahmoud Boufaïda

According to our database1, Mahmoud Boufaïda authored at least 61 papers between 1993 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




Context-based interoperability of semantic web services.
IJMSO, 2019

Formal Transaction Modeling and Verification for an Adaptable Web Service Orchestration.
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.
Proceedings of the Machine Learning for Networking - First International Conference, 2018

Variability Modelling for Elastic Scaling in Cloud Computing.
Proceedings of the 13th International Conference on Software Technologies, 2018

An Adaptation Architecture Dedicated to Personalized Management of Multimedia Documents.
IJMDEM, 2017

An Evolutive Component-Based Method for Agile Development of Service Oriented Architectures.
IJISSS, 2017

Analysing timed compatibility of web service choreography.
IJCCBS, 2017

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

An Approach Based on Service Components for Adapting Web-Oriented Applications.
IJITWE, 2016

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

Using variability modelling and design patterns for self-adaptive system engineering: application to smart-home.
Int. J. Web Eng. Technol., 2015

The Need for Formal Compatibility Analysis in Web Service Choreography via an E-Commerce Application.
IJEBR, 2015

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

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

An approach for developing an interoperability mechanism between cloud providers.
IJSSC, 2014

A Model to Specify Inter-company Cooperation.
Proceedings of the WEBIST 2014, 2014

Web services discovery in P2P networks based on clustering.
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.
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.
Proceedings of the 5th International Conference on Ambient Systems, 2014

An Adaptation Architecture of Multimedia Documents for Management of the Quality of Service.
Proceedings of the ICEIS 2013, 2013

FASOAD: A Framework for Agile Service-Oriented Architectures Development.
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.
Proceedings of the 27th International Conference on Advanced Information Networking and Applications Workshops, 2013

Data mediation towards semantic web service interoperability.
IJWS, 2012

Using Interaction Protocols to Model E-Business Applications: A π-calculus based Approach.
Proceedings of the Enterprise Interoperability V, 2012

An Agile Approach for Service-Oriented Architectures.
Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012

Dynamic context-aware Business Process flexibility: an artefact-based approach using process mining.
IJBIDM, 2011

A Rule Management System for Knowledge Based Data Cleaning.
Intelligent Information Management, 2011

An Efficient Modeling and Execution Framework for Complex Systems Development.
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

Knowledge Based Data Cleaning for Data Warehouse Quality.
Proceedings of the Digital Information Processing and Communications, 2011

Interoperability of Services in E-Government using Intelligent Agent, EGP.
Proceedings of the Third International Conference on Computer Science and its Applications (CIIA'11), 2011

Specifying Components with Compositional Patterns, LOTOS and Design By Contract.
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.
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.
Proceedings of the iiWAS'2010, 2010

An Artifact-based Architecture for a Better Flexibility of Business Processes.
Proceedings of the ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 1, DISI, Funchal, Madeira, Portugal, June 8, 2010

Multi-Agent Architecture for Developing Cooperative E-Business Applications.

A Generic P2P Collaborative Strategy for Discovering and Composing Semantic Web Services.
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.
Proceedings of the 2nd Conférence Internationale sur l'Informatique et ses Applications (CIIA'09), 2009

Formalisation and verification of interaction protocols for business process integration: a Petri net approach.
IJSPM, 2008

Contract-Based Approach to Analyze Software Components.
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.
Proceedings of the Advances in Enterprise Engineering I, 2008

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

A Specification and Validation Approach for Business Process Integration based on Web Services and Agents.
Proceedings of the Modelling, 2007

An Approach for Building an OWL Ontology for Workflow Interoperability.
Proceedings of the Enterprise Interoperability II, 2007

Integrating Web Services within Cooperative Multi Agent Architecture.
Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW 2006), 2006

Supporting virtual enterprise systems using agent coordination.
Knowl. Inf. Syst., 2005

Viewpoints: a framework for object oriented database modelling and distribution.
Data Science Journal, 2005

An architecture for the interoperability of workflow models.
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.
Proceedings of the ICEIS 2005, 2005

Inter-agent Communications During the Virtual Enterprise Creation.
Proceedings of the Business Process Management Workshops, 2005

A Negotiation Framework For Organizational Information Systems.
International Journal of Information Technology and Decision Making, 2004

From the Analysis of Cooperation Within Organizational Environments to the Design of Cooperative Information Systems: An Agent-Based Approach.
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.
Proceedings of the EMISA 2004, 2004

A Federated Agent-Based Solution for Developing Cooperative E-Business Applications.
Proceedings of the 15th International Workshop on Database and Expert Systems Applications (DEXA 2004), with CD-ROM, 30 August, 2004

Using Information Technologies for Managing Cooperative Information Agent-Based Systems.
Proceedings of the ICEIS 2003, 2003

Integration of the viewpoint mechanism in federated databases.
Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001

Inter-Agent Cooperation Supported by XML and CORBA in Heterogeneous Information Systems.
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.
Proceedings of the Advances in Information Systems, First International Conference, 2000

A multi-layered architecture for managing graphical interfaces and tutoring mixed-strategy dialogues.
Softw., Pract. Exper., 1999

On Extending a Semantic Data Model with some Aspects of Rules and Objects.
Proceedings of the 5th International Workshop on Knowledge Represenation Meets Databases (KRDB '98): Innovative Application Programming and Query Interfaces, 1998

Class Cooperation in a Dedicated Object System: The Force Authoring Environment.
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.
Proceedings of the ACM 21th Conference on Computer Science, 1993