Mahmoud Boufaïda
According to our database1,
Mahmoud Boufaïda
authored at least 73 papers
between 1993 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
1
1
3
1
4
2
4
1
1
2
1
1
1
2
1
1
1
1
3
3
5
3
3
3
4
2
2
2
1
3
3
1
1
2
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Modelling elastic scaling of cloud with energy-efficiency: Application to smart-university.
J. King Saud Univ. Comput. Inf. Sci., 2022
2021
J. Inf. Technol. Res., 2021
Proceedings of the ICSIM 2021: 2021 The 4th International Conference on Software Engineering and Information Management, 2021
2020
Int. J. Web Serv. Res., 2020
Int. J. Web Eng. Technol., 2020
Int. J. Organ. Collect. Intell., 2020
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.
Proceedings of the ICAAI 2020: The 4th International Conference on Advances in Artificial Intelligence, 2020
Proceedings of the Business Modeling and Software Design - 10th International Symposium, 2020
2019
Int. J. Metadata Semant. Ontologies, 2019
2018
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
Proceedings of the 13th International Conference on Software Technologies, 2018
2017
An Adaptation Architecture Dedicated to Personalized Management of Multimedia Documents.
Int. J. Multim. Data Eng. Manag., 2017
An Evolutive Component-Based Method for Agile Development of Service Oriented Architectures.
Int. J. Inf. Syst. Serv. Sect., 2017
Int. J. Crit. Comput. Based Syst., 2017
Using Event B to Specify Context Awareness for Service Discovery in Pervasive Environments.
Int. J. Ambient Comput. Intell., 2017
2016
Int. J. Inf. Technol. Web Eng., 2016
A Collaboration Model: A Service Selection Mechanism to Support Companies' Interoperability.
Int. J. e Collab., 2016
2015
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.
Int. J. E Bus. Res., 2015
Int. J. Agent Technol. Syst., 2015
An architecture using formal interaction protocols for business process integration in e-government.
Electron. Gov. an Int. J., 2015
2014
Int. J. Space Based Situated Comput., 2014
Decision Tree and Agent-Based Approach to Specify Inter-Company Cooperation Using Offline Services Composition.
Proceedings of the Enterprise Interoperability VI: Interoperability for Agility, 2014
Proceedings of the 1st International Conference on Information and Communication Technologies for Disaster Management, 2014
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
2013
An Adaptation Architecture of Multimedia Documents for Management of the Quality of Service.
Proceedings of the ICEIS 2013, 2013
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
2012
Using Interaction Protocols to Model E-Business Applications: A π-calculus based Approach.
Proceedings of the Enterprise Interoperability V, 2012
Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012
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.
Int. J. Bus. Intell. Data Min., 2011
Intell. Inf. Manag., 2011
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011
Proceedings of the Digital Information Processing and Communications, 2011
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.
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
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
2009
Int. J. Inf. Syst. Supply Chain Manag., 2009
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
2008
Formalisation and verification of interaction protocols for business process integration: a Petri net approach.
Int. J. Simul. Process. Model., 2008
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
2007
The Viewpoint Mechanism for Object-oriented Databases Modelling, Distribution and Evolution.
J. Comput. Inf. Technol., 2007
A Specification and Validation Approach for Business Process Integration based on Web Services and Agents.
Proceedings of the Modelling, 2007
Proceedings of the Enterprise Interoperability II, 2007
2006
Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW 2006), 2006
2005
Knowl. Inf. Syst., 2005
Data Sci. J., 2005
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
Proceedings of the Business Process Management Workshops, 2005
2004
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.
Proceedings of the On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, 2004
Proceedings of the EMISA 2004, 2004
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.
Proceedings of the ICEIS 2003, 2003
2001
Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001
2000
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
1999
A multi-layered architecture for managing graphical interfaces and tutoring mixed-strategy dialogues.
Softw. Pract. Exp., 1999
1998
Proceedings of the 5th International Workshop on Knowledge Represenation Meets Databases (KRDB '98): Innovative Application Programming and Query Interfaces, 1998
1996
1993
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
Proceedings of the ACM 21th Conference on Computer Science, 1993