All Stories

  1. Consistency Checking of Functional and Non‐Functional Requirements in Self‐Adapting Systems

    Article • Software Practice and Experience, January 2026, Wiley

    Pr Youcef Hammal

  2. ReD-FAN-MiD: Generating a Reference Dataset for Misbehavior Detection in FANETs

    Article • April 2025, Institute of Electrical & Electronics Engineers (IEEE)

    Pr Youcef Hammal

  3. An Efficient Resource Allocation Technique in a Fog Computing Environment

    Article • January 2023, Springer Science + Business Media

    Pr Youcef Hammal

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

    Article • International Journal of Software Innovation, January 2022, IGI Global

    Pr Youcef Hammal

  5. An Efficient Authenticated Group Key Agreement Protocol for Dynamic UAV Fleets in Untrusted Environments

    Article • October 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Pr Youcef Hammal

  6. A CSP-Based Approach for Managing the Dynamic Reconfiguration of Software Architecture

    Article • International Journal of Information Technologies and Systems Approach, January 2021, IGI Global

    Pr Youcef Hammal

  7. Formal techniques for consistency checking of orchestrations of semantic Web services

    Article • Journal of Computational Science, July 2020, Elsevier

    Pr Youcef Hammal

  8. Dealing with value constraints in decision making using MCDM methods

    Article • Journal of Computational Science, July 2020, Elsevier

    Pr Youcef Hammal

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

    Article • June 2019, Institute of Electrical & Electronics Engineers (IEEE)

    Pr Youcef Hammal

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

    Article • June 2019, Institute of Electrical & Electronics Engineers (IEEE)

    Pr Youcef Hammal

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

    Article • June 2019, Institute of Electrical & Electronics Engineers (IEEE)

    Pr Youcef Hammal

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

    Article • November 2018, Springer Science + Business Media

    Pr Youcef Hammal

  13. An approach for the dynamic reconfiguration of software architecture

    Article • November 2018, Institute of Electrical & Electronics Engineers (IEEE)

    Pr Youcef Hammal

  14. Dealing with a non green behaviour in WSN

    Article • Simulation Modelling Practice and Theory, May 2018, Elsevier

    Pr Youcef Hammal

  15. DoS detection in WSNs: Energy-efficient methods for selecting monitoring nodes

    Article • Concurrency and Computation Practice and Experience, September 2017, Wiley

    Pr Youcef Hammal

  16. Towards an efficient and a more accurate web service selection using MCDM methods

    Article • Journal of Computational Science, September 2017, Elsevier

    Pr Youcef Hammal

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

    Article • March 2017, Institute of Electrical & Electronics Engineers (IEEE)

    Pr Youcef Hammal

  18. An efficient approach for Web service selection

    Article • June 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Pr Youcef Hammal

  19. Fair Election of Monitoring Nodes in WSNs

    Article • December 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Pr Youcef Hammal

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

    Article • July 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Pr Youcef Hammal

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

    Article • June 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Pr Youcef Hammal

  22. Formal Modeling of Greedy Nodes in 802.15.4 WSN

    Article • ICT Express, June 2015, Elsevier

    Pr Youcef Hammal

  23. Fair Election of Monitoring Nodes in WSNs

    Article • December 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Pr Youcef Hammal

  24. Formal modeling and verification of an enhanced variant of the IEEE 802.11 CSMA/CA protocol

    Article • Journal of Communications and Networks, August 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Pr Youcef Hammal

  25. Formal modeling and checking of an enhanced variant of the IEEE 802.11 CSMA/CA protocol

    Article • June 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Pr Youcef Hammal

  26. Reactive semantics for component based Petri nets

    Article • December 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Pr Youcef Hammal

  27. A formal methodology for semantics and time consistency checking of UML dynamic diagrams.

    Article • Journal of the Chinese Institute of Engineers, March 2011, Taylor & Francis

    Pr Youcef Hammal

  28. Behavioral Subtyping Relations for Timed Components

    Article • January 2011, Springer Science + Business Media

    Pr Youcef Hammal

  29. A TPN Based Framework for the Specification of Real Time Embedded Systems

    Article • December 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Pr Youcef Hammal

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

    Article • January 2009, Springer Science + Business Media

    Pr Youcef Hammal

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

    Article • March 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Pr Youcef Hammal

  32. Behavioral Compatibility of Active Components

    Article • January 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Pr Youcef Hammal

  33. Branching Time Semantics for UML 2.0 Sequence Diagrams

    Article • January 2006, Springer Science + Business Media

    Pr Youcef Hammal

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

    Article • January 2005, Springer Science + Business Media

    Pr Youcef Hammal