Mahmoud Boufaïda

74 papers B 3C 4Misc 1Journal 29Unranked 37

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Enhancing Distributed System Performance with an Intelligent Multi-Agent Microservices Architecture. Int. J. Interact. Mob. Technol. Sara Zouad, Mahmoud Boufaïda
2022	J	`jnl`	Modelling elastic scaling of cloud with energy-efficiency: Application to smart-university. J. King Saud Univ. Comput. Inf. Sci. Mohamed Lamine Berkane, Mahmoud Boufaïda, Nour El Houda Bouzerzour
2021	—	`conf`	Conceptual Modelling of Genotype and Phenotype Information. ICSIM Mohamed Nadjib Boufenara, Mohamed Lamine Berkane, Mahmoud Boufaïda
2021	J	`jnl`	Efficient Discovery of Provider Services in a Cloud-Based Supply Chain. J. Inf. Technol. Res. Souheila Boudouda, Mahmoud Boufaïda
2020	J	`jnl`	A Prediction Approach Based on Self-Training and Deep Learning for Biological Data. Int. J. Organ. Collect. Intell. Mohamed Nadjib Boufenara, Mahmoud Boufaïda, Mohamed Lamine Berkane
2020	J	`jnl`	A model-driven approach for the verification of an adaptive service composition. Int. J. Web Eng. Technol. Sara Zatout, Mahmoud Boufaïda, Maya Souilah Benabdelhafid, Mohamed Lamine Berkane
2020	—	`conf`	An Agent-Oriented Methodology for Business Process Management. BMSD Sara Zouad, Mahmoud Boufaïda
2020	J	`jnl`	Applying Formal Methods to SOA and SaaS Service Compositions for ERP Systems. Int. J. Web Serv. Res. Maya Souilah Benabdelhafid, Mahmoud Boufaïda
2020	B	`conf`	Modeling and Verification of Temporal Constraints for Web Service Composition. SEFM Maya Souilah Benabdelhafid, Houda Boubaker, Mahmoud Boufaïda
2020	—	`conf`	Using Multi-Agent Microservices for a Better Dynamic Composition of Semantic Web services. ICAAI Sara Zouad, Mahmoud Boufaïda
2019	J	`jnl`	Context-based interoperability of semantic web services. Int. J. Metadata Semant. Ontologies Karima Mecheri, Mahmoud Boufaïda, Djamel Meslati, Labiba Souici-Meslati
2018	—	`conf`	Formal Transaction Modeling and Verification for an Adaptable Web Service Orchestration. QRS Companion Sara Zatout, Maya Souilah Benabdelhafid, Mahmoud Boufaïda
2018	—	`conf`	Malware Detection System Based on an In-Depth Analysis of the Portable Executable Headers. MLN Mohamed Belaoued, Bouchra Guelib, Yasmine Bounaas, Abdelouahid Derhab, Mahmoud Boufaïda
2018	C	`conf`	Variability Modelling for Elastic Scaling in Cloud Computing. ICSOFT Mohamed Lamine Berkane, Lionel Seinturier, Mahmoud Boufaïda
2017	J	`jnl`	An Adaptation Architecture Dedicated to Personalized Management of Multimedia Documents. Int. J. Multim. Data Eng. Manag. Farida Bettou, Mahmoud Boufaïda
2017	J	`jnl`	An Evolutive Component-Based Method for Agile Development of Service Oriented Architectures. Int. J. Inf. Syst. Serv. Sect. Hamza Chehili, Lionel Seinturier, Mahmoud Boufaïda
2017	J	`jnl`	Analysing timed compatibility of web service choreography. Int. J. Crit. Comput. Based Syst. Maya Souilah Benabdelhafid, Béatrice Bérard, Mahmoud Boufaïda
2017	J	`jnl`	Using Event B to Specify Context Awareness for Service Discovery in Pervasive Environments. Int. J. Ambient Comput. Intell. Karima Belgharbi, Mahmoud Boufaïda
2016	J	`jnl`	A Collaboration Model: A Service Selection Mechanism to Support Companies' Interoperability. Int. J. e Collab. Meriem Kermani, Mahmoud Boufaïda
2016	J	`jnl`	An Approach Based on Service Components for Adapting Web-Oriented Applications. Int. J. Inf. Technol. Web Eng. Soumia Bendekkoum, Mahmoud Boufaïda, Lionel Seinturier
2015	J	`jnl`	An architecture using formal interaction protocols for business process integration in e-government. Electron. Gov. an Int. J. Assia Tebib, Mahmoud Boufaïda
2015	J	`jnl`	Integrating Multi-View Model and Agent Paradigm in the Supply Chain Design. Int. J. Agent Technol. Syst. Souheila Boudouda, Mahmoud Boufaïda
2015	J	`jnl`	The Need for Formal Compatibility Analysis in Web Service Choreography via an E-Commerce Application. Int. J. E Bus. Res. Maya Souilah Benabdelhafid, Mahmoud Boufaïda
2015	J	`jnl`	Using variability modelling and design patterns for self-adaptive system engineering: application to smart-home. Int. J. Web Eng. Technol. Mohamed Lamine Berkane, Lionel Seinturier, Mahmoud Boufaïda
2014	—	`conf`	A Context-Oriented Approach for the Adaptation of Service Compositions. ICCASA Karima Belgharbi, Mahmoud Boufaïda
2014	—	`conf`	A Model to Specify Inter-company Cooperation. WEBIST (1) Meriem Kermani, Mahmoud Boufaïda, Emmanuel Paviot-Adet
2014	J	`jnl`	An approach for developing an interoperability mechanism between cloud providers. Int. J. Space Based Situated Comput. Meriem Thabet, Mahmoud Boufaïda, Fabrice Kordon
2014	—	`conf`	Decision Tree and Agent-Based Approach to Specify Inter-Company Cooperation Using Offline Services Composition. I-ESA Meriem Kermani, Mahmoud Boufaïda, Emmanuel Paviot-Adet
2014	—	`conf`	Towards a Distributed Landmarks based Approach for the Localization and Discovery of Things on the Internet. ANT/SEIT Karima Belgharbi, Mahmoud Boufaïda
2014	—	`conf`	Web services discovery in P2P networks based on clustering. ICT-DM Amira Benghida, Mahmoud Boufaïda
2013	—	`conf`	An Adaptation Architecture of Multimedia Documents for Management of the Quality of Service. ICEIS (3) Farida Bettou, Mahmoud Boufaïda, Ilhem Labed
2013	—	`conf`	An Agent-Based Architecture and a Two-Phase Protocol for the Data Portability in Clouds. AINA Workshops Meriem Thabet, Mahmoud Boufaïda
2013	—	`conf`	FASOAD: A Framework for Agile Service-Oriented Architectures Development. DEXA Workshops Hamza Chehili, Lionel Seinturier, Mahmoud Boufaïda
2012	—	`conf`	A methodological approach for modeling supply chain management. ICCIT Souheila Boudouda, Mahmoud Boufaïda
2012	C	`conf`	An Agile Approach for Service-Oriented Architectures. ICSOFT Hamza Chehili, Mahmoud Boufaïda, Lionel Seinturier
2012	J	`jnl`	Data mediation towards semantic web service interoperability. Int. J. Web Sci. Karima Mecheri, Mahmoud Boufaïda, Labiba Souici-Meslati
2012	—	`conf`	Using Interaction Protocols to Model E-Business Applications: A π-calculus based Approach. I-ESA Assia Tebib, Mahmoud Boufaïda
2011	J	`jnl`	A Rule Management System for Knowledge Based Data Cleaning. Intell. Inf. Manag. Louardi Bradji, Mahmoud Boufaïda
2011	B	`conf`	An Efficient Modeling and Execution Framework for Complex Systems Development. ICECCS 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
2011	J	`jnl`	Dynamic context-aware Business Process flexibility: an artefact-based approach using process mining. Int. J. Bus. Intell. Data Min. Mounira Zerari, Mahmoud Boufaïda
2011	—	`conf`	Interoperability of Services in E-Government using Intelligent Agent, EGP. CIIA Assia Tebib, Mahmoud Boufaïda
2011	—	`conf`	Knowledge Based Data Cleaning for Data Warehouse Quality. ICDIPC (2) Louardi Bradji, Mahmoud Boufaïda
2010	—	`conf`	A distributed P2P-based architecture for semantic Web services discovery and composition. NOTERE Mohamed Gharzouli, Mahmoud Boufaïda
2010	—	`conf`	An Artifact-based Architecture for a Better Flexibility of Business Processes. ICEIS (1) Mounira Zerari, Mahmoud Boufaïda
2010	C	`conf`	Context-aware process mining framework for business process flexibility. iiWAS Mounira Zerari, Mahmoud Boufaïda
2010	—	`conf`	Specifying Components with Compositional Patterns, LOTOS and Design By Contract. SEDE Abdelhafid Zitouni, Mahmoud Boufaïda, Lionel Seinturier
2009	C	`conf`	A Generic P2P Collaborative Strategy for Discovering and Composing Semantic Web Services. ICIW Mohamed Gharzouli, Mahmoud Boufaïda
2009	J	`jnl`	Multi-Agent Architecture for Developing Cooperative E-Business Applications. Int. J. Inf. Syst. Supply Chain Manag. Mahmoud Brahimi, Lionel Seinturier, Mahmoud Boufaïda
2009	—	`conf`	Un Modèle de Transformation des Patrons de Conception de l'Orienté Objet vers l'Orienté Aspect. CIIA Mohamed Lamine Berkane, Mahmoud Boufaïda
2008	—	`conf`	A Petri-Net Based Formalisation of Interaction Protocols Applied to Business Process Integration. CIAO! / EOMAS Djamel Benmerzoug, Fabrice Kordon, Mahmoud Boufaïda
2008	B	`conf`	Contract-Based Approach to Analyze Software Components. ICECCS Abdelhafid Zitouni, Lionel Seinturier, Mahmoud Boufaïda
2008	J	`jnl`	Formalisation and verification of interaction protocols for business process integration: a Petri net approach. Int. J. Simul. Process. Model. Djamel Benmerzoug, Fabrice Kordon, Mahmoud Boufaïda
2007	—	`conf`	A Specification and Validation Approach for Business Process Integration based on Web Services and Agents. MSVVEIS Djamel Benmerzoug, Mahmoud Boufaïda, Fabrice Kordon
2007	—	`conf`	An Approach for Building an OWL Ontology for Workflow Interoperability. IESA Salah Hamri, Nacer Boudjlida, Mahmoud Boufaïda
2007	J	`jnl`	The Viewpoint Mechanism for Object-oriented Databases Modelling, Distribution and Evolution. J. Comput. Inf. Technol. Fouzia Benchikha, Mahmoud Boufaïda
2006	—	`conf`	Integrating Web Services within Cooperative Multi Agent Architecture. AICT/ICIW Mahmoud Brahimi, Mahmoud Boufaïda, Lionel Seinturier
2005	—	`conf`	An architecture for the interoperability of workflow models. IHIS Salah Hamri, Mahmoud Boufaïda, Nacer Boudjlida
2005	—	`conf`	Extending Object Oriented Databases to Support the Viewpoint Mechanism. ICEIS (1) Fouzia Benchikha, Mahmoud Boufaïda
2005	—	`conf`	Inter-agent Communications During the Virtual Enterprise Creation. Business Process Management Workshops Kamel Boukhelfa, Mahmoud Boufaïda
2005	J	`jnl`	Supporting virtual enterprise systems using agent coordination. Knowl. Inf. Syst. Nacereddine Zarour, Mahmoud Boufaïda, Lionel Seinturier, Pascal Estraillier
2005	J	`jnl`	Viewpoints: a framework for object oriented database modelling and distribution. Data Sci. J. Fouzia Benchikha, Mahmoud Boufaïda, Lionel Seinturier
2004	—	`conf`	A Federated Agent-Based Solution for Developing Cooperative E-Business Applications. DEXA Workshops Mahmoud Brahimi, Mahmoud Boufaïda, Lionel Seinturier
2004	—	`conf`	A Generic Multi-Agent Architecture for the Virtual Enterprise. EMISA Kamel Boukhelfa, Mahmoud Boufaïda
2004	J	`jnl`	A Negotiation Framework For Organizational Information Systems. Int. J. Inf. Technol. Decis. Mak. Nacereddine Zarour, Mahmoud Boufaïda, Lionel Seinturier
2004	—	`conf`	From the Analysis of Cooperation Within Organizational Environments to the Design of Cooperative Information Systems: An Agent-Based Approach. OTM Workshops Djamel Benmerzoug, Zizette Boufriche-Boufaïda, Mahmoud Boufaïda
2003	—	`conf`	Using Information Technologies for Managing Cooperative Information Agent-Based Systems. ICEIS (1) Nacereddine Zarour, Mahmoud Boufaïda, Lionel Seinturier
2001	Misc	`conf`	Integration of the viewpoint mechanism in federated databases. SAC Fouzia Benchikha, Mahmoud Boufaïda, Lionel Seinturier
2000	—	`conf`	Inter-Agent Cooperation Supported by XML and CORBA in Heterogeneous Information Systems. DNIS Nacereddine Zarour, Mahmoud Boufaïda, Lionel Seinturier, Pascal Estraillier
2000	—	`conf`	Multimedia Information Systems: Towards a Design Methodology Based on Spatio-Temporal Relations, Petri Nets, and ECA Rules. ADVIS Sabine Boufenara, Zizette Boufriche-Boufaïda, Mahmoud Boufaïda, Denis Poitrenaud
1999	J	`jnl`	A multi-layered architecture for managing graphical interfaces and tutoring mixed-strategy dialogues. Softw. Pract. Exp. Mahmoud Boufaïda, Patrick Barril
1998	—	`conf`	On Extending a Semantic Data Model with some Aspects of Rules and Objects. KRDB Mahmoud Boufaïda, Zizette Boufriche-Boufaïda
1996	J	`jnl`	What courseware dedicated to computer science? ACM SIGCSE Bull. Mahmoud Boufaïda
1993	—	`conf`	Class Cooperation in a Dedicated Object System: The Force Authoring Environment. TOOLS (10) Patrick Barril, Mahmoud Boufaïda, Jean-François Brette
1993	—	`conf`	Situated Planning and Resources in the Design of an Intelligent Tutorial. ACM Conference on Computer Science Mahmoud Boufaïda, Patrick Barril