Ahmed Hammad

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 9

Top Topics

Modelling Language

Activity Diagrams

Top Venues

Innov. Syst. Softw. Eng.

Publications

Mai Ghazal, Fatemeh Parvaneh, Ahmed Hammad, Yasser Mohamed
Simulation Modeling For Sustainable Construction: A Case Study To Highlight The Social Aspect. WSC (2023)
Perla Tannoury, Samir Chouali, Ahmed Hammad
Joint Use of SysML and Reo to Specify and Verify the Compatibility of CPS Components. FACS (2023)
Perla Tannoury, Samir Chouali, Ahmed Hammad
Model Driven Approach to Design an Automotive CPS with SysReo Language. MobiWac (2022)
Amel Berrachedi, Malika Ioualalen, Ahmed Hammad
Towards the Formal Modeling Methodology of WSN through the Transformation of SysML into DSPNs. SIMULTECH (2021)
Messaoud Rahim, Malika Boukala-Ioualalen, Ahmed Hammad
Hierarchical Colored Petri Nets for the Verification of SysML Designs- Activity-Based Slicing Approach. CSA (2020)
Hamida Bouaziz, Samir Chouali, Ahmed Hammad, Hassan Mountassir
SysML model-driven approach to verify blocks compatibility. Int. J. Comput. Aided Eng. Technol. 11 (2) (2019)
Mohamed Azim Mohamed, Abeer T. Khalil, Ahmed Hammad
An energy-efficient wireless sensor network routing protocol powered by ambient energy harvesting. Int. J. Wirel. Mob. Comput. 14 (4) (2018)
Messaoud Rahim, Ahmed Hammad, Malika Ioualalen
A methodology for verifying SysML requirements using activity diagrams. Innov. Syst. Softw. Eng. 13 (1) (2017)
Hamida Bouaziz, Samir Chouali, Ahmed Hammad, Hassan Mountassir
A Model-Driven Approach to Adapt SysML Blocks. ICIST (2016)
Messaoud Rahim, Ahmed Kheldoun, Malika Boukala-Ioualalen, Ahmed Hammad
Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams. IET Softw. 9 (5) (2015)
Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux
A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing. ICFEM (2015)
Hamida Bouaziz, Samir Chouali, Ahmed Hammad, Hassan Mountassir
SysML Blocks Adaptation. ICFEM (2015)
Hamida Bouaziz, Samir Chouali, Ahmed Hammad, Hassan Mountassir
Exploitation de la Hiérarchie pour la Vérification de la Compatibilité des Blocs SysML. CAL (2015)
Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux
Tooled Process for Early Validation of SysML Models Using Modelica Simulation. FSEN (2015)
Messaoud Rahim, Ahmed Hammad, Malika Boukala-Ioualalen
Towards the Formal Verification of SysML Specifications: Translation of Activity Diagrams into Modular Petri Nets. ACIT-CSI (2015)
Jean-Marie Gauthier, Dominique Gendreau, Ahmed Hammad, Fabrice Bouquet
Modeling and simulation of modular complex system: Application to air-jet conveyor. AIM (2014)
Messaoud Rahim, Malika Boukala-Ioualalen, Ahmed Hammad
Petri Nets Based Approach for Modular Verification of SysML Requirements on Activity Diagrams. PNSE @ Petri Nets (2014)
Abbas Abdulhameed, Ahmed Hammad, Hassan Mountassir, Bruno Tatibouët
An Approach based on SysML and SystemC to Simulate Complex Systems. MODELSWARD (2014)
Samir Chouali, Ahmed Hammad, Hassan Mountassir
Assembling Components using SysML with Non-Functional Requirements. Electron. Notes Theor. Comput. Sci. 295 (2013)
Ahmed Hammad, Hassan Mountassir, Samir Chouali
An approach combining SysML and modelica for modelling and validate wireless sensor networks. SESoS (2013)
Messaoud Rahim, Ahmed Hammad, Malika Ioualalen
Modular and Distributed Verification of SysML Activity Diagrams. MODELSWARD (2013)
Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux
Verification and Validation of Meta-model based Transformation from SysML to VHDL-AMS. MODELSWARD (2013)
Ahmed Hammad, Hassan Mountassir, Samir Chouali
Combining SysML and Modelica to Verify the Wireless Sensor Networks Energy Consumption. MODELSWARD (2013)
Samir Chouali, Ahmed Hammad
Formal verification of components assembly based on SysML and interface automata. Innov. Syst. Softw. Eng. 7 (4) (2011)
Régine Laleau, Farida Semmak, Abderrahman Matoussi, Dorian Petit, Ahmed Hammad, Bruno Tatibouët
A first attempt to combine SysML requirements diagrams and B. Innov. Syst. Softw. Eng. 6 (1-2) (2010)
Benaouda Nacéra, Hervé Guyennet, Ahmed Hammad, Mostefai Mohammed
A new two level hierarchy structuring for node partitioning in ad hoc networks. SAC (2010)
Ahmed Hammad, Hassan Mountassir
Verification of Real-Time Systems: Application to the Transportation Domain. NTMS (2009)
Mohammed Al Achhab, Ahmed Hammad, Hassan Mountassir
Verifying LTL Properties on Hierarchical Systems: Application to Aircraft Autopilot. ISoLA (2006)
Bruno Tatibouët, Antoine Requet, Jean-Christophe Voisinet, Ahmed Hammad
Java Card Code Generation from B Specifications. ICFEM (2003)
Ahmed Hammad, Bruno Tatibouët, Jean-Christophe Voisinet, Weiping Wu
From a B Specification to UML StateChart Diagrams. ICFEM (2002)