Abbas Abdulhameed

Combining SysML and SystemC to Simulate and Verify Complex Systems. (Utilisation conjointé de SysML et systemC pour simmuler et vérifier les systèmes complexes)

Abbas Abdulhameed, Abbas Abdulhameed, 2016 .

An Approach Combining Simulation and Verification for SysML using SystemC and Uppaal

Abbas Abdulhameed, Bruno Tatibouët, Hassan Mountassir, 2014 .

An approach based on SysML and SystemC to simulate complex systems

Abbas Abdulhameed, Ahmed Hammad, Hassan Mountassir, 2014, 2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD).

An approach to verify SysML functional requirements using Promela/SPIN

Abbas Abdulhameed, Ahmed Hammad, Hassan Mountassir, 2015, 2015 12th International Symposium on Programming and Systems (ISPS).