Home › Researcher directory › Youcef Hammal
Youcef Hammal
Affiliation : University of Sciences and Technology Houari Boumediene
- 39Publications (affiliation in Algeria)
- 44Total publications
- 368Citations
- 9h-index
Research profile
Youcef Hammal has 39 indexed publications (2005–2026). Their work appears mainly in “IEEE Symposium on Computers and Communications (ISCC)”, “HAL” and “Journal of Computational Science”. Their most cited article, “Towards an efficient and a more accurate web service selection using MCDM methods” (2017), has been cited 120 times. 4 of these publications date from the last three years of activity. Their work is co-authored with at least 12 researchers, including institutions in France.
Is this you? Get your research seen
Create your free DzCademia profile and add your articles: they will show up more easily on Google and in AI assistants like ChatGPT, so more people can read and cite your work.
Create my free profile Add my publicationsResearch areas
- Formal Methods in Verification
- Model-Driven Software Engineering Techniques
- Business Process Modeling and Analysis
- Service-Oriented Architecture and Web Services
- Petri Nets in System Modeling
Publications (39)
- Consistency Checking of Functional and Non‐Functional Requirements in Self‐Adapting Systems
- A New Approach for Checking the Consistency and Coherence of Self-adapting Software
- ReD-FAN-MiD: Generating a Reference Dataset for Misbehavior Detection in FANETs
- CSP Based Formal Specification of a Resource Allocation for Large-Scale Fog Computing
- An Efficient Resource Allocation Technique in a Fog Computing Environment
- Automata-Based Approach to Manage Self-Adaptive Component-Based Architectures
- Automata-Based Approach to Manage Self-Adaptive Component-Based
- An Efficient Authenticated Group Key Agreement Protocol for Dynamic UAV Fleets in Untrusted Environments
- A CSP-Based Approach for Managing the Dynamic Reconfiguration of Software Architecture
- Dealing with value constraints in decision making using MCDM methods
- Formal techniques for consistency checking of orchestrations of semantic Web services
- ISOCOV: a new MCDM method to handle value constraints in Web service selection
- Formal Approach for Compatibility Checking of Orchestrations of Composite Semantic Web Services
- Formal specification and validation of refinement from WS-CDL to BPEL
- Dealing with a non green behaviour in WSN
- ATL Based Refinement of WS-CDL Choreography into BPEL Processes
- An approach for the dynamic reconfiguration of software architecture
- Towards an efficient and a more accurate web service selection using MCDM methods
- DoS detection in WSNs: Energy‐efficient methods for selecting monitoring nodes
- Formal Specification and Analysis of a Cross-Layer Overlay P2P Construction Protocol over MANETs
- An efficient approach for Web service selection
- Formal Modeling of Greedy Nodes in 802.15.4 WSN
- Formal modeling and analysis of greedy behaviors in IEEE 802.11 protocols
- Fair Election of Monitoring Nodes in WSNs
- Time Petri Nets for performance evaluation of composite web services architectures
- Fair Election of Monitoring Nodes in WSNs
- Formal modeling and verification of an enhanced variant of the IEEE 802.11 CSMA/CA protocol
- Timed automata based modeling and verification of denial of service attacks in wireless sensor networks
- Fair Election of Monitoring Nodes in WSNs
- Formal modeling and checking of an enhanced variant of the IEEE 802.11 CSMA/CA protocol
- Reactive semantics for component based Petri nets
- A formal methodology for semantics and time consistency checking of UML dynamic diagrams
- Behavioral Subtyping Relations for Timed Components
- A Formal Methodology for Semantics and Time Consistency Checking of UML Dynamic Diagrams
- A TPN Based Framework for the Specification of Real Time Embedded Systems
- A modular state exploration and compatibility checking of UML dynamic diagrams
- Behavioral Compatibility of Active Components
- Branching Time Semantics for UML 2.0 Sequence Diagrams
- A Formal Semantics of UML StateCharts by Means of Timed Petri Nets
Publication venues
- IEEE Symposium on Computers and Communications (ISCC) × 6
- HAL × 3
- Journal of Computational Science × 3
- Lecture notes in networks and systems × 2
- Globecom × 2
- Communications in computer and information science × 2
Publications per year
- 20261
- 20253
- 20231
- 20222
- 20212
- 20202
- 20193
- 20183
- 20173
- 20161
Collaborations
Partner institutions : Université Paris-Est Créteil · Paris-Est Sup
Co-authors’ countries : France
Co-authors
- Abdelkrim Abdelli
- Abdelfetah Saadi
- Khadidja Salah Mansour
- Walid Serrai
- Anfal Ayad
- Khaled Zeraouilia
- Lydia Yaker
- Abderazzak Henni
- Mehdi Lerari
- Ayoub Hammal
- Manel Seddiki
- Abdelkarim Abdelli
Bibliographic data from OpenAlex (open database).
Why choose Dzcademia?
Profiles, articles and conference contributions: give your research a structured public presence. Integrated metadata help search engines and AI assistants identify your work and understand its references.
Comment with Google
Sign in with Google to comment directly on this page.