| 2026 | MODELSWARD | Explicit Energy Quantification in Wireless Sensor Networks Using Petri Nets. | Amel Berrachedi, Malika Ioualalen, Ahmed Hammad |
| 2025 | ICSoft | Fuzzy Requirements Verification in SysML v2: Direct Modeling and Scenario-Based Analysis for Cyber-Physical Systems. | Adel Khelifati, Malika Boukala-Ioualalen, Ahmed Hammad |
| 2025 | ICSoft | Combining SysML V2 and BIP to Model and Verify CPS Interactions. | Adel Khelifati, Ahmed Hammad, Malika Boukala-Ioualalen |
| 2024 | ICSoft | Integrating SysML and Timed Reo for Modeling Interactions in Cyber-Physical Systems Components. | Perla Tannoury, Ahmed Hammad |
| 2024 | SIMULTECH | Methodological Approach to Model and Validate CPS. | Perla Tannoury, Ahmed Hammad |
| 2024 | VECoS | Integrating SysML and Timed Reo to Model and Verify Cyber-Physical Systems Interactions with Timing Constraints. | Perla Tannoury, Ahmed Hammad |
| 2023 | WSC | Simulation Modeling For Sustainable Construction: A Case Study To Highlight The Social Aspect. | Mai Ghazal, Fatemeh Parvaneh, Ahmed Hammad, Yasser Mohamed |
| 2021 | SIMULTECH | Towards the Formal Modeling Methodology of WSN through the Transformation of SysML into DSPNs. | Amel Berrachedi, Malika Ioualalen, Ahmed Hammad |
| 2015 | ICFEM | SysML Blocks Adaptation. | Hamida Bouaziz, Samir Chouali, Ahmed Hammad, Hassan Mountassir |
| 2015 | ICFEM | A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing. | Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux |
| 2014 | MODELSWARD | An Approach based on SysML and SystemC to Simulate Complex Systems. | Abbas Abdulhameed, Ahmed Hammad, Hassan Mountassir, Bruno Tatibout |
| 2013 | ECOOP | An approach combining SysML and modelica for modelling and validate wireless sensor networks. | Ahmed Hammad, Hassan Mountassir, Samir Chouali |
| 2013 | MODELSWARD | Verification and Validation of Meta-model based Transformation from SysML to VHDL-AMS. | Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux |
| 2013 | MODELSWARD | Combining SysML and Modelica to Verify the Wireless Sensor Networks Energy Consumption. | Ahmed Hammad, Hassan Mountassir, Samir Chouali |
| 2013 | MODELSWARD | Modular and Distributed Verification of SysML Activity Diagrams. | Messaoud Rahim, Ahmed Hammad, Malika Ioualalen |
| 2010 | SAC | A new two level hierarchy structuring for node partitioning in ad hoc networks. | Benaouda Nacra, Herv Guyennet, Ahmed Hammad, Mostefai Mohammed |
| 2006 | ISoLA | Verifying LTL Properties on Hierarchical Systems: Application to Aircraft Autopilot. | Mohammed Al Achhab, Ahmed Hammad, Hassan Mountassir |
| 2003 | ICFEM | Java Card Code Generation from B Specifications. | Bruno Tatibout, Antoine Requet, Jean-Christophe Voisinet, Ahmed Hammad |
| 2002 | ICFEM | From a B Specification to UML StateChart Diagrams. | Ahmed Hammad, Bruno Tatibout, Jean-Christophe Voisinet, Weiping Wu |