Ahmed Hammad

Proceedings of the 11th International Conference on Simulation and Modeling Methodologies, 2021

2020

Hierarchical Colored Petri Nets for the Verification of SysML Designs- Activity-Based Slicing Approach.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computing Systems and Applications, 2020

2019

SysML model-driven approach to verify blocks compatibility.

[BibT_eX]

[DOI]

Int. J. Comput. Aided Eng. Technol., 2019

2018

An energy-efficient wireless sensor network routing protocol powered by ambient energy harvesting.

[BibT_eX]

[DOI]

Mohamed Azim Mohamed

Abeer Twakol Khalil

Int. J. Wirel. Mob. Comput., 2018

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

[BibT_eX]

[DOI]

, 2018

2017

A methodology for verifying SysML requirements using activity diagrams.

[BibT_eX]

[DOI]

Malika Ioualalen

Innov. Syst. Softw. Eng., 2017

2016

A Model-Driven Approach to Adapt SysML Blocks.

[BibT_eX]

[DOI]

Proceedings of the Information and Software Technologies - 22nd International Conference, 2016

2015

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

[BibT_eX]

[DOI]

Ahmed Kheldoun

IET Softw., 2015

A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2015

SysML Blocks Adaptation.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2015

Tooled Process for Early Validation of SysML Models Using Modelica Simulation.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015

Exploitation de la Hiérarchie pour la Vérification de la Compatibilité des Blocs SysML.

[BibT_eX]

[DOI]

Proceedings of the Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL 2015 et MODA 2015, 2015

Towards the Formal Verification of SysML Specifications: Translation of Activity Diagrams into Modular Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Applied Computing and Information Technology, 2015

2014

An Approach based on SysML and SystemC to Simulate Complex Systems.

[BibT_eX]

[DOI]

Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

Petri Nets Based Approach for Modular Verification of SysML Requirements on Activity Diagrams.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

Modeling and simulation of modular complex system: Application to air-jet conveyor.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ASME International Conference on Advanced Intelligent Mechatronics, 2014

2013

Modular and Distributed Verification of SysML Activity Diagrams.

[BibT_eX]

[DOI]

Malika Ioualalen

Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

Combining SysML and Modelica to Verify the Wireless Sensor Networks Energy Consumption.

[BibT_eX]

[DOI]

Hassan Mountassir

Samir Chouali

Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

Verification and Validation of Meta-model based Transformation from SysML to VHDL-AMS.

[BibT_eX]

[DOI]

Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

An approach combining SysML and modelica for modelling and validate wireless sensor networks.

[BibT_eX]

[DOI]