Accueil › Annuaire des chercheurs › Youcef Hammal
Youcef Hammal
Affiliation : University of Sciences and Technology Houari Boumediene
- 39Publications (affiliation algérienne)
- 44Publications au total
- 368Citations
- 9Indice h
Profil de recherche
Youcef Hammal compte 39 publications référencées (2005–2026). Ses travaux paraissent principalement dans « IEEE Symposium on Computers and Communications (ISCC) », « HAL » et « Journal of Computational Science ». Son article le plus cité, « Towards an efficient and a more accurate web service selection using MCDM methods » (2017), a été cité 120 fois. 4 de ces publications datent des trois dernières années d’activité. Ses travaux sont cosignés avec au moins 12 chercheurs, notamment dans des établissements de France.
C’est vous ? Faites connaître vos travaux
Créez gratuitement votre profil DzCademia et ajoutez vos articles : ils apparaîtront plus facilement sur Google et dans les assistants d’IA comme ChatGPT. Plus de personnes pourront vous lire et vous citer.
Créer mon profil gratuit Ajouter mes publicationsDomaines de recherche
- 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
Revues de publication
- 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 par année
- 20261
- 20253
- 20231
- 20222
- 20212
- 20202
- 20193
- 20183
- 20173
- 20161
Collaborations
Établissements partenaires : Université Paris-Est Créteil · Paris-Est Sup
Pays des co-auteurs : France
Co-auteurs
- 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
Données bibliographiques issues d’OpenAlex (base ouverte).
Pourquoi choisir Dzcademia ?
Pour donner à vos travaux plus de chances d’être découverts et recommandés par les IA. Profils, articles et communications : donnez à votre recherche une présence publique structurée. Les métadonnées intégrées aident les moteurs de recherche et les assistants IA à identifier vos travaux et à comprendre leurs références.
Commenter avec Google
Connecte-toi avec Google pour commenter directement sur cette page.