Youcef Hammal

Publication Activity (10 Years)

Years Active: 2005-2022
Publications (10 Years): 18

Top Topics

Denial Of Service Attacks

Sensor Networks

Top Venues

J. Comput. Sci.

Publications

Abdelfetah Saadi, Youcef Hammal, Mourad Chabane Oussalah
Automata-Based Approach to Manage Self-Adaptive Component-Based Architectures. Int. J. Softw. Innov. 10 (1) (2022)
Ayoub Hammal, Mehdi Lerari, Khaled Zeraoulia, Youcef Hammal
An Efficient Resource Allocation Technique in a Fog Computing Environment. ISDA (4) (2022)
Abdelfetah Saadi, Youcef Hammal, Mourad Chabane Oussalah
A CSP-Based Approach for Managing the Dynamic Reconfiguration of Software Architecture. Int. J. Inf. Technol. Syst. Approach 14 (1) (2021)
Youcef Hammal, Khadidja Salah-Mansour, Abdelkrim Abdelli, Lynda Mokdad
Formal techniques for consistency checking of orchestrations of semantic Web services. J. Comput. Sci. 44 (2020)
Abdelkrim Abdelli, Lynda Mokdad, Youcef Hammal
Dealing with value constraints in decision making using MCDM methods. J. Comput. Sci. 44 (2020)
Youcef Hammal, Khadidja Salah-Mansour, Abdelkrim Abdelli, Lynda Mokdad
Formal Approach for Compatibility Checking of Orchestrations of Composite Semantic Web Services. ISCC (2019)
Abdelkrim Abdelli, Youcef Hammal, Lynda Mokdad
ISOCOV: a new MCDM method to handle value constraints in Web service selection. ISCC (2019)
Khadidja Salah-Mansour, Youcef Hammal, Lynda Mokdad
Formal specification and validation of refinement from WS-CDL to BPEL. ISCC (2019)
Abdelkrim Abdelli, Lynda Mokdad, Jalel Ben-Othman, Youcef Hammal
Dealing with a non green behaviour in WSN. Simul. Model. Pract. Theory 84 (2018)
Khadidja Salah-Mansour, Youcef Hammal
ATL Based Refinement of WS-CDL Choreography into BPEL Processes. MISC (2018)
Youcef Hammal, Manel Seddiki, Mahfoud Benchaïba, Abdelkrim Abdelli
Formal Specification and Analysis of a Cross-Layer Overlay P2P Construction Protocol over MANETs. WCNC (2017)
Quentin Monnet, Lynda Mokdad, Paolo Ballarini, Youcef Hammal, Jalel Ben-Othman
DoS detection in WSNs: Energy-efficient methods for selecting monitoring nodes. Concurr. Comput. Pract. Exp. 29 (23) (2017)
Walid Serrai, Abdelkrim Abdelli, Lynda Mokdad, Youcef Hammal
Towards an efficient and a more accurate web service selection using MCDM methods. J. Comput. Sci. 22 (2017)
Walid Serrai, Abdelli Abdelkrim, Lynda Mokdad, Youcef Hammal
An efficient approach for Web service selection. ISCC (2016)
Quentin Monnet, Youcef Hammal, Lynda Mokdad, Jalel Ben-Othman
Fair Election of Monitoring Nodes in WSNs. GLOBECOM (2015)
Youcef Hammal, Jalel Ben-Othman, Lynda Mokdad, Abdelkrim Abdelli
Formal Modeling of Greedy Nodes in 802.15.4 WSN. ICT Express 1 (1) (2015)
Abdelli Abdelkrim, Walid Serrai, Lynda Mokdad, Youcef Hammal
Time Petri Nets for performance evaluation of composite web services architectures. ISCC (2015)
Lynda Mokdad, Youcef Hammal, Jalel Ben-Othman, Abdelli Abdelkrim
Formal modeling and analysis of greedy behaviors in IEEE 802.11 protocols. ICC (2015)
Youcef Hammal, Jalel Ben-Othman, Lynda Mokdad, Abdelli Abdelkrim
Formal modeling and checking of an enhanced variant of the IEEE 802.11 CSMA/CA protocol. ISCC (2014)
Youcef Hammal, Jalel Ben-Othman, Lynda Mokdad, Abdelli Abdelkrim
Formal modeling and verification of an enhanced variant of the IEEE 802.11 CSMA/CA protocol. J. Commun. Networks 16 (4) (2014)
Youcef Hammal, Quentin Monnet, Lynda Mokdad, Jalel Ben-Othman, Abdelli Abdelkrim
Timed automata based modeling and veri?cation of denial of service attacks in wireless sensor networks. Stud. Inform. Univ. 12 (1) (2014)
Youcef Hammal
Behavioral Subtyping Relations for Timed Components. FGIT-ASEA/DRBC/EL (2011)
Youcef Hammal
A Formal Methodology for Semantics and Time Consistency Checking of UML Dynamic Diagrams. FGIT-ASEA (2009)
Youcef Hammal
A modular state exploration and compatibility checking of UML dynamic diagrams. AICCSA (2008)
Youcef Hammal
Behavioral Compatibility of Active Components. SEFM (2008)
Youcef Hammal
Branching Time Semantics for UML 2.0 Sequence Diagrams. FORTE (2006)
Youcef Hammal
A Formal Semantics of UML StateCharts by Means of Timed Petri Nets. FORTE (2005)