Youcef Hammal

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