Ahmed Hammad

43 papers C 16Misc 2Journal 12Unranked 12
YearRankTypeTitle / Venue / Authors
2026 J jnl
An Ontology-Based Approach for Requirements and Change Impact Analysis in SysML Designs.
SN Comput. Sci.
Messaoud Rahim, Ahmed Hammad, Pierre-Cyrille Héam, Malika Boukala-Ioualalen
2026 J jnl
Construction of Consistent SysML Models Applied to the CPS.
ACM J. Emerg. Technol. Comput. Syst.
Adel Khelifati, Malika Boukala-Ioualalen, Ahmed Hammad
2026 C conf
Explicit Energy Quantification in Wireless Sensor Networks Using Petri Nets.
MODELSWARD
Amel Berrachedi, Malika Ioualalen, Ahmed Hammad
2025 C conf
Combining SysML V2 and BIP to Model and Verify CPS Interactions.
ICSOFT
Adel Khelifati, Ahmed Hammad, Malika Boukala-Ioualalen
2025 J jnl
DLScanner: A parameter space scanner package assisted by deep learning methods.
Comput. Phys. Commun.
Ahmed Hammad, Raymundo Ramos
2025 C conf
Fuzzy Requirements Verification in SysML v2: Direct Modeling and Scenario-Based Analysis for Cyber-Physical Systems.
ICSOFT
Adel Khelifati, Malika Boukala-Ioualalen, Ahmed Hammad
2024 J jnl
DLScanner: A parameter space scanner package assisted by deep learning methods.
CoRR
Ahmed Hammad, Raymundo Ramos
2024 C conf
Integrating SysML and Timed Reo for Modeling Interactions in Cyber-Physical Systems Components.
ICSOFT
Perla Tannoury, Ahmed Hammad
2024 C conf
Integrating SysML and Timed Reo to Model and Verify Cyber-Physical Systems Interactions with Timing Constraints.
VECoS
Perla Tannoury, Ahmed Hammad
2024 C conf
Methodological Approach to Model and Validate CPS.
SIMULTECH
Perla Tannoury, Ahmed Hammad
2023 J jnl
Exploration of parameter spaces assisted by machine learning.
Comput. Phys. Commun.
Ahmed Hammad, Myeonghun Park, Raymundo Ramos, Pankaj Saha
2023 — conf
Joint Use of SysML and Reo to Specify and Verify the Compatibility of CPS Components.
FACS
Perla Tannoury, Samir Chouali, Ahmed Hammad
2023 Misc conf
Simulation Modeling For Sustainable Construction: A Case Study To Highlight The Social Aspect.
WSC
Mai Ghazal, Fatemeh Parvaneh, Ahmed Hammad, Yasser Mohamed
2022 J jnl
Exploration of Parameter Spaces Assisted by Machine Learning.
CoRR
Ahmed Hammad, Myeonghun Park, Raymundo Ramos, Pankaj Saha
2022 — conf
Model Driven Approach to Design an Automotive CPS with SysReo Language.
MobiWac
Perla Tannoury, Samir Chouali, Ahmed Hammad
2021 C conf
Towards the Formal Modeling Methodology of WSN through the Transformation of SysML into DSPNs.
SIMULTECH
Amel Berrachedi, Malika Ioualalen, Ahmed Hammad
2020 — conf
Hierarchical Colored Petri Nets for the Verification of SysML Designs- Activity-Based Slicing Approach.
CSA
Messaoud Rahim, Malika Boukala-Ioualalen, Ahmed Hammad
2019 J jnl
SysML model-driven approach to verify blocks compatibility.
Int. J. Comput. Aided Eng. Technol.
Hamida Bouaziz, Samir Chouali, Ahmed Hammad, Hassan Mountassir
2018 J jnl
An energy-efficient wireless sensor network routing protocol powered by ambient energy harvesting.
Int. J. Wirel. Mob. Comput.
Mohamed Azim Mohamed, Abeer Twakol Khalil, Ahmed Hammad
2018 — book
Contributions à la modélisation et à la validation des systèmes complexes. (Contributions to the modeling and validation of complex systems).
Ahmed Hammad
2017 J jnl
A methodology for verifying SysML requirements using activity diagrams.
Innov. Syst. Softw. Eng.
Messaoud Rahim, Ahmed Hammad, Malika Ioualalen
2016 — conf
A Model-Driven Approach to Adapt SysML Blocks.
ICIST
Hamida Bouaziz, Samir Chouali, Ahmed Hammad, Hassan Mountassir
2015 C conf
A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing.
ICFEM
Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux
2015 — conf
Exploitation de la Hiérarchie pour la Vérification de la Compatibilité des Blocs SysML.
CAL
Hamida Bouaziz, Samir Chouali, Ahmed Hammad, Hassan Mountassir
2015 J jnl
Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams.
IET Softw.
Messaoud Rahim, Ahmed Kheldoun, Malika Boukala-Ioualalen, Ahmed Hammad
2015 C conf
SysML Blocks Adaptation.
ICFEM
Hamida Bouaziz, Samir Chouali, Ahmed Hammad, Hassan Mountassir
2015 — conf
Tooled Process for Early Validation of SysML Models Using Modelica Simulation.
FSEN
Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux
2015 — conf
Towards the Formal Verification of SysML Specifications: Translation of Activity Diagrams into Modular Petri Nets.
ACIT-CSI
Messaoud Rahim, Ahmed Hammad, Malika Boukala-Ioualalen
2014 C conf
An Approach based on SysML and SystemC to Simulate Complex Systems.
MODELSWARD
Abbas Abdulhameed, Ahmed Hammad, Hassan Mountassir, Bruno Tatibouët
2014 — conf
Modeling and simulation of modular complex system: Application to air-jet conveyor.
AIM
Jean-Marie Gauthier, Dominique Gendreau, Ahmed Hammad, Fabrice Bouquet
2014 — conf
Petri Nets Based Approach for Modular Verification of SysML Requirements on Activity Diagrams.
PNSE @ Petri Nets
Messaoud Rahim, Malika Boukala-Ioualalen, Ahmed Hammad
2013 — conf
An approach combining SysML and modelica for modelling and validate wireless sensor networks.
SESoS
Ahmed Hammad, Hassan Mountassir, Samir Chouali
2013 C conf
Combining SysML and Modelica to Verify the Wireless Sensor Networks Energy Consumption.
MODELSWARD
Ahmed Hammad, Hassan Mountassir, Samir Chouali
2013 C conf
Modular and Distributed Verification of SysML Activity Diagrams.
MODELSWARD
Messaoud Rahim, Ahmed Hammad, Malika Ioualalen
2013 C conf
Verification and Validation of Meta-model based Transformation from SysML to VHDL-AMS.
MODELSWARD
Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux
2012 — conf
Assembling Components using SysML with Non-Functional Requirements.
FESCA
Samir Chouali, Ahmed Hammad, Hassan Mountassir
2011 J jnl
Formal verification of components assembly based on SysML and interface automata.
Innov. Syst. Softw. Eng.
Samir Chouali, Ahmed Hammad
2010 J jnl
A first attempt to combine SysML requirements diagrams and B.
Innov. Syst. Softw. Eng.
Régine Laleau, Farida Semmak, Abderrahman Matoussi, Dorian Petit, Ahmed Hammad, Bruno Tatibouët
2010 Misc conf
A new two level hierarchy structuring for node partitioning in ad hoc networks.
SAC
Benaouda Nacéra, Hervé Guyennet, Ahmed Hammad, Mostefai Mohammed
2009 — conf
Verification of Real-Time Systems: Application to the Transportation Domain.
NTMS
Ahmed Hammad, Hassan Mountassir
2006 C conf
Verifying LTL Properties on Hierarchical Systems: Application to Aircraft Autopilot.
ISoLA
Mohammed Al Achhab, Ahmed Hammad, Hassan Mountassir
2003 C conf
Java Card Code Generation from B Specifications.
ICFEM
Bruno Tatibouët, Antoine Requet, Jean-Christophe Voisinet, Ahmed Hammad
2002 C conf
From a B Specification to UML StateChart Diagrams.
ICFEM
Ahmed Hammad, Bruno Tatibouët, Jean-Christophe Voisinet, Weiping Wu