A Formal Semantics of UML StateCharts by Means of Timed Petri Nets. - Youcef Hammal (FORTE, 2005)

Branching Time Semantics for UML 2.0 Sequence Diagrams. - Youcef Hammal (FORTE, 2006)

A modular state exploration and compatibility checking of UML dynamic diagrams. - Youcef Hammal (AICCSA, 2008)

Behavioral Compatibility of Active Components. - Youcef Hammal (SEFM, 2008)

A Formal Methodology for Semantics and Time Consistency Checking of UML Dynamic Diagrams. - Youcef Hammal (FGIT-ASEA, 2009)

Behavioral Subtyping Relations for Timed Components. - Youcef Hammal (FGIT-ASEA/DRBC/EL, 2011)

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 (ISCC, 2014)

Formal modeling and verification of an enhanced variant of the IEEE 802.11 CSMA/CA protocol. - Youcef Hammal; Jalel Ben-Othman; Lynda Mokdad; Abdelli Abdelkrim (J. Commun. Networks, 2014)

Timed automata based modeling and veri?cation of denial of service attacks in wireless sensor networks. - Youcef Hammal; Quentin Monnet; Lynda Mokdad; Jalel Ben-Othman; Abdelli Abdelkrim (Stud. Inform. Univ., 2014)

Fair Election of Monitoring Nodes in WSNs. - Quentin Monnet; Youcef Hammal; Lynda Mokdad; Jalel Ben-Othman (GLOBECOM, 2015)

Formal modeling and analysis of greedy behaviors in IEEE 802.11 protocols. - Lynda Mokdad; Youcef Hammal; Jalel Ben-Othman; Abdelli Abdelkrim (ICC, 2015)

Time Petri Nets for performance evaluation of composite web services architectures. - Abdelli Abdelkrim; Walid Serrai; Lynda Mokdad; Youcef Hammal (ISCC, 2015)

Formal Modeling of Greedy Nodes in 802.15.4 WSN. - Youcef Hammal; Jalel Ben-Othman; Lynda Mokdad; Abdelkrim Abdelli (ICT Express, 2015)

An efficient approach for Web service selection. - Walid Serrai; Abdelli Abdelkrim; Lynda Mokdad; Youcef Hammal (ISCC, 2016)

Formal Specification and Analysis of a Cross-Layer Overlay P2P Construction Protocol over MANETs. - Youcef Hammal; Manel Seddiki; Mahfoud Benchaïba; Abdelkrim Abdelli (WCNC, 2017)

DoS detection in WSNs: Energy-efficient methods for selecting monitoring nodes. - Quentin Monnet; Lynda Mokdad; Paolo Ballarini; Youcef Hammal; Jalel Ben-Othman (Concurr. Comput. Pract. Exp., 2017)

Towards an efficient and a more accurate web service selection using MCDM methods. - Walid Serrai; Abdelkrim Abdelli; Lynda Mokdad; Youcef Hammal (J. Comput. Sci., 2017)

ATL Based Refinement of WS-CDL Choreography into BPEL Processes. - Khadidja Salah-Mansour; Youcef Hammal (MISC, 2018)

Dealing with a non green behaviour in WSN. - Abdelkrim Abdelli; Lynda Mokdad; Jalel Ben-Othman; Youcef Hammal (Simul. Model. Pract. Theory, 2018)

ISOCOV: a new MCDM method to handle value constraints in Web service selection. - Abdelkrim Abdelli; Youcef Hammal; Lynda Mokdad (ISCC, 2019)

Formal Approach for Compatibility Checking of Orchestrations of Composite Semantic Web Services. - Youcef Hammal; Khadidja Salah-Mansour; Abdelkrim Abdelli; Lynda Mokdad (ISCC, 2019)

Formal specification and validation of refinement from WS-CDL to BPEL. - Khadidja Salah-Mansour; Youcef Hammal; Lynda Mokdad (ISCC, 2019)

Dealing with value constraints in decision making using MCDM methods. - Abdelkrim Abdelli; Lynda Mokdad; Youcef Hammal (J. Comput. Sci., 2020)

Formal techniques for consistency checking of orchestrations of semantic Web services. - Youcef Hammal; Khadidja Salah-Mansour; Abdelkrim Abdelli; Lynda Mokdad (J. Comput. Sci., 2020)

A CSP-Based Approach for Managing the Dynamic Reconfiguration of Software Architecture. - Abdelfetah Saadi; Youcef Hammal; Mourad Chabane Oussalah (Int. J. Inf. Technol. Syst. Approach, 2021)

An Efficient Resource Allocation Technique in a Fog Computing Environment. - Ayoub Hammal; Mehdi Lerari; Khaled Zeraoulia; Youcef Hammal (ISDA (4), 2022)

Automata-Based Approach to Manage Self-Adaptive Component-Based Architectures. - Abdelfetah Saadi; Youcef Hammal; Mourad Chabane Oussalah (Int. J. Softw. Innov., 2022)