From a B Specification to UML StateChart Diagrams. - Ahmed Hammad; Bruno Tatibouët; Jean-Christophe Voisinet; Weiping Wu (ICFEM, 2002)

Java Card Code Generation from B Specifications. - Bruno Tatibouët; Antoine Requet; Jean-Christophe Voisinet; Ahmed Hammad (ICFEM, 2003)

Verifying LTL Properties on Hierarchical Systems: Application to Aircraft Autopilot. - Mohammed Al Achhab; Ahmed Hammad; Hassan Mountassir (ISoLA, 2006)

Verification of Real-Time Systems: Application to the Transportation Domain. - Ahmed Hammad; Hassan Mountassir (NTMS, 2009)

A new two level hierarchy structuring for node partitioning in ad hoc networks. - Benaouda Nacéra; Hervé Guyennet; Ahmed Hammad; Mostefai Mohammed (SAC, 2010)

A first attempt to combine SysML requirements diagrams and B. - Régine Laleau; Farida Semmak; Abderrahman Matoussi; Dorian Petit; Ahmed Hammad; Bruno Tatibouët (Innov. Syst. Softw. Eng., 2010)

Formal verification of components assembly based on SysML and interface automata. - Samir Chouali; Ahmed Hammad (Innov. Syst. Softw. Eng., 2011)

Assembling Components using SysML with Non-Functional Requirements. - Samir Chouali; Ahmed Hammad; Hassan Mountassir (FESCA, 2012)

An approach combining SysML and modelica for modelling and validate wireless sensor networks. - Ahmed Hammad; Hassan Mountassir; Samir Chouali (SESoS, 2013)

Verification and Validation of Meta-model based Transformation from SysML to VHDL-AMS. - Jean-Marie Gauthier; Fabrice Bouquet; Ahmed Hammad; Fabien Peureux (MODELSWARD, 2013)

Combining SysML and Modelica to Verify the Wireless Sensor Networks Energy Consumption. - Ahmed Hammad; Hassan Mountassir; Samir Chouali (MODELSWARD, 2013)

Modular and Distributed Verification of SysML Activity Diagrams. - Messaoud Rahim; Ahmed Hammad; Malika Ioualalen (MODELSWARD, 2013)

Modeling and simulation of modular complex system: Application to air-jet conveyor. - Jean-Marie Gauthier; Dominique Gendreau; Ahmed Hammad; Fabrice Bouquet (AIM, 2014)

Petri Nets Based Approach for Modular Verification of SysML Requirements on Activity Diagrams. - Messaoud Rahim; Malika Boukala-Ioualalen; Ahmed Hammad (PNSE @ Petri Nets, 2014)

An Approach based on SysML and SystemC to Simulate Complex Systems. - Abbas Abdulhameed; Ahmed Hammad; Hassan Mountassir; Bruno Tatibouët (MODELSWARD, 2014)

Towards the Formal Verification of SysML Specifications: Translation of Activity Diagrams into Modular Petri Nets. - Messaoud Rahim; Ahmed Hammad; Malika Boukala-Ioualalen (ACIT-CSI, 2015)

Exploitation de la Hiérarchie pour la Vérification de la Compatibilité des Blocs SysML. - Hamida Bouaziz; Samir Chouali; Ahmed Hammad; Hassan Mountassir (CAL, 2015)

Tooled Process for Early Validation of SysML Models Using Modelica Simulation. - Jean-Marie Gauthier; Fabrice Bouquet; Ahmed Hammad; Fabien Peureux (FSEN, 2015)

SysML Blocks Adaptation. - Hamida Bouaziz; Samir Chouali; Ahmed Hammad; Hassan Mountassir (ICFEM, 2015)

A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing. - Jean-Marie Gauthier; Fabrice Bouquet; Ahmed Hammad; Fabien Peureux (ICFEM, 2015)

Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams. - Messaoud Rahim; Ahmed Kheldoun; Malika Boukala-Ioualalen; Ahmed Hammad (IET Softw., 2015)

A Model-Driven Approach to Adapt SysML Blocks. - Hamida Bouaziz; Samir Chouali; Ahmed Hammad; Hassan Mountassir (ICIST, 2016)

A methodology for verifying SysML requirements using activity diagrams. - Messaoud Rahim; Ahmed Hammad; Malika Ioualalen (Innov. Syst. Softw. Eng., 2017)

Contributions à la modélisation et à la validation des systèmes complexes. (Contributions to the modeling and validation of complex systems). - Ahmed Hammad (2018)

An energy-efficient wireless sensor network routing protocol powered by ambient energy harvesting. - Mohamed Azim Mohamed; Abeer Twakol Khalil; Ahmed Hammad (Int. J. Wirel. Mob. Comput., 2018)

SysML model-driven approach to verify blocks compatibility. - Hamida Bouaziz; Samir Chouali; Ahmed Hammad; Hassan Mountassir (Int. J. Comput. Aided Eng. Technol., 2019)

Hierarchical Colored Petri Nets for the Verification of SysML Designs- Activity-Based Slicing Approach. - Messaoud Rahim; Malika Boukala-Ioualalen; Ahmed Hammad (CSA, 2020)

Towards the Formal Modeling Methodology of WSN through the Transformation of SysML into DSPNs. - Amel Berrachedi; Malika Ioualalen; Ahmed Hammad (SIMULTECH, 2021)

Model Driven Approach to Design an Automotive CPS with SysReo Language. - Perla Tannoury; Samir Chouali; Ahmed Hammad (MobiWac, 2022)

Joint Use of SysML and Reo to Specify and Verify the Compatibility of CPS Components. - Perla Tannoury; Samir Chouali; Ahmed Hammad (FACS, 2023)

Simulation Modeling For Sustainable Construction: A Case Study To Highlight The Social Aspect. - Mai Ghazal; Fatemeh Parvaneh; Ahmed Hammad; Yasser Mohamed (WSC, 2023)

Integrating SysML and Timed Reo for Modeling Interactions in Cyber-Physical Systems Components. - Perla Tannoury; Ahmed Hammad (ICSOFT, 2024)

Methodological Approach to Model and Validate CPS. - Perla Tannoury; Ahmed Hammad (SIMULTECH, 2024)

Integrating SysML and Timed Reo to Model and Verify Cyber-Physical Systems Interactions with Timing Constraints. - Perla Tannoury; Ahmed Hammad (VECoS, 2024)

Fuzzy Requirements Verification in SysML v2: Direct Modeling and Scenario-Based Analysis for Cyber-Physical Systems. - Adel Khelifati; Malika Boukala-Ioualalen; Ahmed Hammad (ICSOFT, 2025)

Combining SysML V2 and BIP to Model and Verify CPS Interactions. - Adel Khelifati; Ahmed Hammad; Malika Boukala-Ioualalen (ICSOFT, 2025)