الرئيسية › دليل الباحثين › Youcef Hammal

Youcef Hammal

الانتماء : University of Sciences and Technology Houari Boumediene

• 39منشورات (انتماء جزائري)
• 44مجموع المنشورات
• 368الاستشهادات
• 9مؤشر h

ORCIDOpenAlex

مجالات البحث

• 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

المنشورات (39)

• Consistency Checking of Functional and Non‐Functional Requirements in Self‐Adapting Systems
  2026 · Software Practice and Experience
• A New Approach for Checking the Consistency and Coherence of Self-adapting Software
  2025 · Information systems engineering and management
• ReD-FAN-MiD: Generating a Reference Dataset for Misbehavior Detection in FANETs
  2025 · International Conference on Pattern Analysis and Intelligent Systems (PAIS)
• CSP Based Formal Specification of a Resource Allocation for Large-Scale Fog Computing
  2025 · Proceedings - International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
• An Efficient Resource Allocation Technique in a Fog Computing Environment
  2023 · Lecture notes in networks and systems · استُشهد به 2 مرة
• Automata-Based Approach to Manage Self-Adaptive Component-Based Architectures
  2022 · International Journal of Software Innovation · استُشهد به 4 مرة
• Automata-Based Approach to Manage Self-Adaptive Component-Based
  2022 · HAL
• An Efficient Authenticated Group Key Agreement Protocol for Dynamic UAV Fleets in Untrusted Environments
  2021 · International Conference on Networking and Advanced Systems (ICNAS) · استُشهد به 7 مرة
• A CSP-Based Approach for Managing the Dynamic Reconfiguration of Software Architecture
  2021 · International Journal of Information Technologies and Systems Approach · استُشهد به 4 مرة
• Dealing with value constraints in decision making using MCDM methods
  2020 · Journal of Computational Science · استُشهد به 36 مرة
• Formal techniques for consistency checking of orchestrations of semantic Web services
  2020 · Journal of Computational Science · استُشهد به 18 مرة
• ISOCOV: a new MCDM method to handle value constraints in Web service selection
  2019 · IEEE Symposium on Computers and Communications (ISCC) · استُشهد به 9 مرة
• Formal Approach for Compatibility Checking of Orchestrations of Composite Semantic Web Services
  2019 · IEEE Symposium on Computers and Communications (ISCC) · استُشهد به 1 مرة
• Formal specification and validation of refinement from WS-CDL to BPEL
  2019 · IEEE Symposium on Computers and Communications (ISCC)
• Dealing with a non green behaviour in WSN
  2018 · Simulation Modelling Practice and Theory · استُشهد به 12 مرة
• ATL Based Refinement of WS-CDL Choreography into BPEL Processes
  2018 · Lecture notes in networks and systems · استُشهد به 3 مرة
• An approach for the dynamic reconfiguration of software architecture
  2018 · International Conference on Applied Smart Systems (ICASS) · استُشهد به 2 مرة
• Towards an efficient and a more accurate web service selection using MCDM methods
  2017 · Journal of Computational Science · استُشهد به 120 مرة
• DoS detection in WSNs: Energy‐efficient methods for selecting monitoring nodes
  2017 · Concurrency and Computation Practice and Experience · استُشهد به 5 مرة
• Formal Specification and Analysis of a Cross-Layer Overlay P2P Construction Protocol over MANETs
  2017 · IEEE Wireless Communications and Networking Conference · استُشهد به 4 مرة
• An efficient approach for Web service selection
  2016 · IEEE Symposium on Computers and Communications (ISCC) · استُشهد به 37 مرة
• Formal Modeling of Greedy Nodes in 802.15.4 WSN
  2015 · ICT Express · استُشهد به 8 مرة
• Formal modeling and analysis of greedy behaviors in IEEE 802.11 protocols
  2015 · International Conference on Communications · استُشهد به 4 مرة
• Fair Election of Monitoring Nodes in WSNs
  2015 · Globecom · استُشهد به 2 مرة
• Time Petri Nets for performance evaluation of composite web services architectures
  2015 · IEEE Symposium on Computers and Communications (ISCC) · استُشهد به 1 مرة
• Fair Election of Monitoring Nodes in WSNs
  2015 · HAL
• Formal modeling and verification of an enhanced variant of the IEEE 802.11 CSMA/CA protocol
  2014 · Journal of Communications and Networks · استُشهد به 20 مرة
• Timed automata based modeling and verification of denial of service attacks in wireless sensor networks
  2014 · HAL · استُشهد به 12 مرة
• Fair Election of Monitoring Nodes in WSNs
  2014 · Globecom · استُشهد به 2 مرة
• Formal modeling and checking of an enhanced variant of the IEEE 802.11 CSMA/CA protocol
  2014 · IEEE Symposium on Computers and Communications (ISCC)
• Reactive semantics for component based Petri nets
  2012 · International Conference on Parallel, Distributed and Grid Computing (PDGC) · استُشهد به 2 مرة
• A formal methodology for semantics and time consistency checking of UML dynamic diagrams
  2011 · Journal of the Chinese Institute of Engineers · استُشهد به 1 مرة
• Behavioral Subtyping Relations for Timed Components
  2011 · Communications in computer and information science
• A Formal Methodology for Semantics and Time Consistency Checking of UML Dynamic Diagrams
  2009 · Communications in computer and information science
• A TPN Based Framework for the Specification of Real Time Embedded Systems
  2009 · International Conference on Embedded and Multimedia Computing (EMC)
• A modular state exploration and compatibility checking of UML dynamic diagrams
  2008 · IEEE/ACS International Conference on Computer Systems and Applications (AICCSA) · استُشهد به 6 مرة
• Behavioral Compatibility of Active Components
  2008 · IEEE International Conference on Software Engineering and Formal Methods (SEFM) · استُشهد به 3 مرة
• Branching Time Semantics for UML 2.0 Sequence Diagrams
  2006 · Lecture notes in computer science · استُشهد به 24 مرة
• A Formal Semantics of UML StateCharts by Means of Timed Petri Nets
  2005 · Lecture notes in computer science · استُشهد به 18 مرة

المؤلفون المشاركون

• 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

البيانات البيبليوغرافية مصدرها OpenAlex (قاعدة مفتوحة).