Accueil › Annuaire des chercheurs › Amel Berrachedi

Amel Berrachedi

Affiliation : Hassiba Benbouali University of Chlef

• 5Publications (affiliation algérienne)
• 7Publications au total
• 33Citations
• 3Indice h

OpenAlex

Domaines de recherche

• Petri Nets in System Modeling
• Energy Efficient Wireless Sensor Networks
• Formal Methods in Verification
• Model-Driven Software Engineering Techniques
• Systems Engineering Methodologies and Applications

Publications (5)

• Explicit Energy Quantification in Wireless Sensor Networks Using Petri Nets
  2026 · International Conference on Model-Based Software and Systems Engineering (MODELSWARD)
• 11th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2021)
  2023 · HAL · cité 19 fois
• SysML and Petri Nets Based Methodology for Analysis and Performance Evaluation in WSNs
  2023 · Lecture notes in networks and systems · cité 1 fois
• Towards the Formal Modeling Methodology of WSN through the Transformation of SysML into DSPNs
  2021 · International Conference on Simulation and Modeling Methodologies, Technologies and Applications · cité 3 fois
• Validation of a SysML based design for wireless sensor networks
  2017 · AIP conference proceedings · cité 1 fois

Revues de publication

• International Conference on Model-Based Software and Systems Engineering (MODELSWARD) × 1
• HAL × 1
• Lecture notes in networks and systems × 1
• International Conference on Simulation and Modeling Methodologies, Technologies and Applications × 1
• AIP conference proceedings × 1

Publications par année

• 20261
• 20232
• 20211
• 20171

Collaborations

Établissements partenaires : University of Sciences and Technology Houari Boumediene

Co-auteurs

• Malika Ioualalen
• Messaoud Rahim

Données bibliographiques issues d’OpenAlex (base ouverte).