| 2025 | MASCOTS | CSP Based Formal Specification of a Resource Allocation for Large-Scale Fog Computing. | Youcef Hammal, Khaled Zeraouilia, Lynda Mokdad |
| 2022 | ISDA | An Efficient Resource Allocation Technique in a Fog Computing Environment. | Ayoub Hammal, Mehdi Lerari, Khaled Zeraoulia, Youcef Hammal |
| 2019 | ISCC | ISOCOV: a new MCDM method to handle value constraints in Web service selection. | Abdelkrim Abdelli, Youcef Hammal, Lynda Mokdad |
| 2019 | ISCC | Formal Approach for Compatibility Checking of Orchestrations of Composite Semantic Web Services. | Youcef Hammal, Khadidja Salah-Mansour, Abdelkrim Abdelli, Lynda Mokdad |
| 2019 | ISCC | Formal specification and validation of refinement from WS-CDL to BPEL. | Khadidja Salah-Mansour, Youcef Hammal, Lynda Mokdad |
| 2017 | WCNC | Formal Specification and Analysis of a Cross-Layer Overlay P2P Construction Protocol over MANETs. | Youcef Hammal, Manel Seddiki, Mahfoud Benchaba, Abdelkrim Abdelli |
| 2016 | ISCC | An efficient approach for Web service selection. | Walid Serrai, Abdelli Abdelkrim, Lynda Mokdad, Youcef Hammal |
| 2015 | GLOBECOM | Fair Election of Monitoring Nodes in WSNs. | Quentin Monnet, Youcef Hammal, Lynda Mokdad, Jalel Ben-Othman |
| 2015 | ISCC | Time Petri Nets for performance evaluation of composite web services architectures. | Abdelli Abdelkrim, Walid Serrai, Lynda Mokdad, Youcef Hammal |
| 2014 | ISCC | Formal modeling and checking of an enhanced variant of the IEEE 802.11 CSMA/CA protocol. | Youcef Hammal, Jalel Ben-Othman, Lynda Mokdad, Abdelli Abdelkrim |
| 2008 | AICCSA | A modular state exploration and compatibility checking of UML dynamic diagrams. | Youcef Hammal |
| 2008 | SEFM | Behavioral Compatibility of Active Components. | Youcef Hammal |
| 2006 | FORTE | Branching Time Semantics for UML 2.0 Sequence Diagrams. | Youcef Hammal |
| 2005 | FORTE | A Formal Semantics of UML StateCharts by Means of Timed Petri Nets. | Youcef Hammal |