Youcef Hammal

According to our database, Youcef Hammal authored at least 27 papers between 2005 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

Automata-Based Approach to Manage Self-Adaptive Component-Based Architectures.

Abdelfetah Saadi, Youcef Hammal, Mourad Chabane Oussalah

Int. J. Softw. Innov., 2022

An Efficient Resource Allocation Technique in a Fog Computing Environment.

Ayoub Hammal, Mehdi Lerari, Khaled Zeraoulia, Youcef Hammal

Proceedings of the Intelligent Systems Design and Applications - 22nd International Conference on Intelligent Systems Design and Applications (ISDA 2022) Held December 12-14, 2022, 2022

2021

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

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

Dealing with value constraints in decision making using MCDM methods.

Abdelkrim Abdelli, Lynda Mokdad, Youcef Hammal

J. Comput. Sci., 2020

2019

Formal specification and validation of refinement from WS-CDL to BPEL.

Khadidja Salah-Mansour, Youcef Hammal, Lynda Mokdad

Proceedings of the 2019 IEEE Symposium on Computers and Communications, 2019

Formal Approach for Compatibility Checking of Orchestrations of Composite Semantic Web Services.

Youcef Hammal, Khadidja Salah-Mansour, Abdelkrim Abdelli, Lynda Mokdad

Proceedings of the 2019 IEEE Symposium on Computers and Communications, 2019

ISOCOV: a new MCDM method to handle value constraints in Web service selection.

Abdelkrim Abdelli, Youcef Hammal, Lynda Mokdad

Proceedings of the 2019 IEEE Symposium on Computers and Communications, 2019

2018

Dealing with a non green behaviour in WSN.

Abdelkrim Abdelli, Lynda Mokdad, Jalel Ben-Othman, Youcef Hammal

Simul. Model. Pract. Theory, 2018

ATL Based Refinement of WS-CDL Choreography into BPEL Processes.

Khadidja Salah-Mansour, Youcef Hammal

Proceedings of the Modelling and Implementation of Complex Systems, 2018

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

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

Formal Specification and Analysis of a Cross-Layer Overlay P2P Construction Protocol over MANETs.

Youcef Hammal, Manel Seddiki, Mahfoud Benchaïba, Abdelkrim Abdelli

Proceedings of the 2017 IEEE Wireless Communications and Networking Conference, 2017

2016

An efficient approach for Web service selection.

Walid Serrai, Abdelli Abdelkrim, Lynda Mokdad, Youcef Hammal

Proceedings of the IEEE Symposium on Computers and Communication, 2016

2015

Formal Modeling of Greedy Nodes in 802.15.4 WSN.

Youcef Hammal, Jalel Ben-Othman, Lynda Mokdad, Abdelkrim Abdelli

ICT Express, 2015

Time Petri Nets for performance evaluation of composite web services architectures.

Abdelli Abdelkrim, Walid Serrai, Lynda Mokdad, Youcef Hammal

Proceedings of the 2015 IEEE Symposium on Computers and Communication, 2015

Formal modeling and analysis of greedy behaviors in IEEE 802.11 protocols.

Lynda Mokdad, Youcef Hammal, Jalel Ben-Othman, Abdelli Abdelkrim

Proceedings of the 2015 IEEE International Conference on Communications, 2015

Fair Election of Monitoring Nodes in WSNs.

Quentin Monnet, Youcef Hammal, Lynda Mokdad, Jalel Ben-Othman

Proceedings of the 2015 IEEE Global Communications Conference, 2015

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

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

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

Proceedings of the IEEE Symposium on Computers and Communications, 2014

2011

Behavioral Subtyping Relations for Timed Components.

Youcef Hammal

Proceedings of the Software Engineering, Business Continuity, and Education, 2011

2009

A Formal Methodology for Semantics and Time Consistency Checking of UML Dynamic Diagrams.

Youcef Hammal

Proceedings of the Advances in Software Engineering, 2009

2008

Behavioral Compatibility of Active Components.

Youcef Hammal

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

A modular state exploration and compatibility checking of UML dynamic diagrams.

Youcef Hammal

Proceedings of the 6th ACS/IEEE International Conference on Computer Systems and Applications, 2008

2006

Branching Time Semantics for UML 2.0 Sequence Diagrams.

Youcef Hammal

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

2005

A Formal Semantics of UML StateCharts by Means of Timed Petri Nets.

Youcef Hammal

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005