| 2020 | SEFM | Modeling and Verification of Temporal Constraints for Web Service Composition. | Maya Souilah Benabdelhafid, Houda Boubaker, Mahmoud Boufada |
| 2018 | ICSoft | Variability Modelling for Elastic Scaling in Cloud Computing. | Mohamed Lamine Berkane, Lionel Seinturier, Mahmoud Boufada |
| 2018 | QRS | Formal Transaction Modeling and Verification for an Adaptable Web Service Orchestration. | Sara Zatout, Maya Souilah Benabdelhafid, Mahmoud Boufada |
| 2014 | ANT | Towards a Distributed Landmarks based Approach for the Localization and Discovery of Things on the Internet. | Karima Belgharbi, Mahmoud Boufada |
| 2014 | WEBIST | A Model to Specify Inter-company Cooperation. | Meriem Kermani, Mahmoud Boufada, Emmanuel Paviot-Adet |
| 2013 | AINA | An Agent-Based Architecture and a Two-Phase Protocol for the Data Portability in Clouds. | Meriem Thabet, Mahmoud Boufada |
| 2012 | ICSoft | An Agile Approach for Service-Oriented Architectures. | Hamza Chehili, Mahmoud Boufada, Lionel Seinturier |
| 2011 | ICECCS | An Efficient Modeling and Execution Framework for Complex Systems Development. | Isabelle Perseil, Laurent Pautet, Jean-Franois Rolland, Mamoun Filali, Didier Delanote, Stefan Van Baelen, Wouter Joosen, Yolande Berbers, Frdric Mallet, Dominique Bertrand, Sbastien Faucou, Abdelhafid Zitouni, Mahmoud Boufada, Lionel Seinturier, Jol Champeau, Thomas Abdoul, Peter H. Feiler, Chokri Mraidha, Sbastien Grard |
| 2010 | IIWAS | Context-aware process mining framework for business process flexibility. | Mounira Zerari, Mahmoud Boufada |
| 2009 | ICIW | A Generic P2P Collaborative Strategy for Discovering and Composing Semantic Web Services. | Mohamed Gharzouli, Mahmoud Boufada |
| 2008 | CaiSE | A Petri-Net Based Formalisation of Interaction Protocols Applied to Business Process Integration. | Djamel Benmerzoug, Fabrice Kordon, Mahmoud Boufada |
| 2008 | ICECCS | Contract-Based Approach to Analyze Software Components. | Abdelhafid Zitouni, Lionel Seinturier, Mahmoud Boufada |
| 2005 | BPM | Inter-agent Communications During the Virtual Enterprise Creation. | Kamel Boukhelfa, Mahmoud Boufada |
| 2001 | SAC | Integration of the viewpoint mechanism in federated databases. | Fouzia Benchikha, Mahmoud Boufada, Lionel Seinturier |