All Stories

  1. Construction of Consistent SysML Models Applied to the CPS

    Article • ACM Journal on Emerging Technologies in Computing Systems, December 2025, ACM (Association for Computing Machinery)

    Mr Ahmed Hammad, Adel KHELIFATI

  2. Model Driven Approach to Design an Automotive CPS with SysReo Language

    Article • October 2022, ACM (Association for Computing Machinery)

    Mr Ahmed Hammad, perla tannoury

  3. Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams

    Article • IET Software, October 2015, the Institution of Engineering and Technology (the IET)

    Mr Ahmed Hammad