Concepedia

Ahmed Hammad

AH

7

Publications

180

Citations

7

H-Index

2009

Active since

Affiliations

Université de franche-comté(Current)

University of Sciences and Technology Houari Boumediene

Franche-Comté Électronique Mécanique Thermique et Optique - Sciences et Technologies

Ahmed Hammad is an author at Université de franche-comté specializing in engineering, systems engineering, and software design.

Top concepts

EngineeringSystems EngineeringSoftware DesignFormal MethodsSystem SoftwareComputer ScienceFormal VerificationSoftware EngineeringComputer EngineeringDesign

Publications per year

2009–2023

7

Publications

7

A first attempt to combine SysML requirements diagrams and B

Régine Laleau, Farida Semmak, Abderrahman Matoussi et al. · Innovations in Systems and Software Engineering · 2009 · 65 citations

Sysml Requirements Diagrams, Software Requirement, Engineering +13

Mapping SysML to modelica to validate wireless sensor networks non-functional requirements

Samir Berrani, Ahmed Hammad, Hassan Mountassir · 2013 · 26 citations

Engineering, Verification, Software Systems +26

Formal verification of components assembly based on SysML and interface automata

Samir Chouali, Ahmed Hammad · Innovations in Systems and Software Engineering · 2011 · 22 citations

Formal Specification, Engineering, Logical Automaton +14

Transformation of SysML Structure Diagrams to VHDL-AMS

Fabrice Bouquet, Jean‐Marie Gauthier, Ahmed Hammad et al. · 2012 · 21 citations

Engineering, Block Definition Diagram, Computer Architecture +18

11th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2021)

Amel Berrachedi, Malika Ioualalen, Ahmed Hammad · HAL (Le Centre pour la Communication Scientifique Directe) · 2023 · 19 citations

Stochastic Simulation, Engineering, Direct Numerical Simulation +15

Rows per page

1–5 of 7