PCP-based Solution for Resource Sharing in Reconfigurable Timed Net Condition/Event Systems. - Mohamed Oussama Ben Salem; Olfa Mosbahi; Mohamed Khalgui (ADECS @ Petri Nets, 2014)

ZiZo: Modeling, Simulation and Verification of Reconfigurable Real-time Control Tasks Sharing Adaptive Resources - Application to the Medical Project BROS. - Mohamed Oussama Ben Salem; Olfa Mosbahi; Mohamed Khalgui; Georg Frey (HEALTHINF, 2015)

BROS - A New Robotic Platform for the Treatment of Supracondylar Humerus Fracture. - Mohamed Oussama Ben Salem; Olfa Mosbahi; Mohamed Khalgui; Georg Frey (HEALTHINF, 2015)

Towards a Safer and More Optimal Treatment of the Supracondylar Humerus Fracture. - Mohamed Oussama Ben Salem; Olfa Mosbahi; Mohamed Khalgui; Georg Frey (BIOSTEC (Selected Papers), 2015)

Transformation from R-UML to R-TNCES: New Formal Solution for Verification of Flexible Control Systems. - Mohamed Oussama Ben Salem; Olfa Mosbahi; Mohamed Khalgui; Georg Frey (ICSOFT-PT, 2015)

R-UML: An UML Profile for Verification of Flexible Control Systems. - Mohamed Oussama Ben Salem; Olfa Mosbahi; Mohamed Khalgui; Georg Frey (ICSOFT (Selected Papers), 2015)

BROMETH: methodology to develop safe reconfigurable medical robotic systems: application on pediatric supracondylar humeral fracture. - Mohamed Oussama Ben Salem (2017)

R-TNCES State Space Generation Using Ontology-Based Method on a Distributed Cloud-Based Architecture. - Chams Eddine Choucha; Mohamed Oussama Ben Salem; Mohamed Khalgui; Laid Kahloul; Naïma Souâd Ougouti (ICSOFT (Selected Papers), 2020)

On the Improvement of R-TNCESs Verification using Distributed Cloud-based Architecture. - Chams Eddine Choucha; Mohamed Oussama Ben Salem; Mohamed Khalgui; Laid Kahloul; Naïma Souâd Ougouti (ICSOFT, 2020)