Mohamed Oussama Ben Salem
Orcid: 0000-0002-9227-8151
According to our database1,
Mohamed Oussama Ben Salem
authored at least 9 papers
between 2014 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
On the Improvement of R-TNCESs Verification using Distributed Cloud-based Architecture.
Proceedings of the 15th International Conference on Software Technologies, 2020
R-TNCES State Space Generation Using Ontology-Based Method on a Distributed Cloud-Based Architecture.
Proceedings of the Software Technologies - 15th International Conference, 2020
2017
BROMETH: methodology to develop safe reconfigurable medical robotic systems: application on pediatric supracondylar humeral fracture.
PhD thesis, 2017
2015
Proceedings of the Software Technologies - 10th International Joint Conference, 2015
Transformation from R-UML to R-TNCES: New Formal Solution for Verification of Flexible Control Systems.
Proceedings of the ICSOFT-PT 2015, 2015
Proceedings of the Biomedical Engineering Systems and Technologies, 2015
BROS - A New Robotic Platform for the Treatment of Supracondylar Humerus Fracture.
Proceedings of the HEALTHINF 2015, 2015
ZiZo: Modeling, Simulation and Verification of Reconfigurable Real-time Control Tasks Sharing Adaptive Resources - Application to the Medical Project BROS.
Proceedings of the HEALTHINF 2015, 2015
2014
PCP-based Solution for Resource Sharing in Reconfigurable Timed Net Condition/Event Systems.
Proceedings of the ADECS 2014, 2014