Mohamed Oussama Ben Salem

ORCID

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 7

Top Venues

HEALTHINF

ICSOFT (Selected Papers)

ICSOFT

ADECS @ Petri Nets

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Chams Eddine Choucha, Mohamed Oussama Ben Salem, Mohamed Khalgui, Laïd Kahloul, Naïma Souâd Ougouti
On the Improvement of R-TNCESs Verification using Distributed Cloud-based Architecture. ICSOFT (2020)
Chams Eddine Choucha, Mohamed Oussama Ben Salem, Mohamed Khalgui, Laïd Kahloul, Naïma Souâd Ougouti
R-TNCES State Space Generation Using Ontology-Based Method on a Distributed Cloud-Based Architecture. ICSOFT (Selected Papers) (2020)
Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
Towards a Safer and More Optimal Treatment of the Supracondylar Humerus Fracture. BIOSTEC (Selected Papers) (2015)
Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
ZiZo: Modeling, Simulation and Verification of Reconfigurable Real-time Control Tasks Sharing Adaptive Resources - Application to the Medical Project BROS. HEALTHINF (2015)
Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
BROS - A New Robotic Platform for the Treatment of Supracondylar Humerus Fracture. HEALTHINF (2015)
Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
Transformation from R-UML to R-TNCES: New Formal Solution for Verification of Flexible Control Systems. ICSOFT-PT (2015)
Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
R-UML: An UML Profile for Verification of Flexible Control Systems. ICSOFT (Selected Papers) (2015)
Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui
PCP-based Solution for Resource Sharing in Reconfigurable Timed Net Condition/Event Systems. ADECS @ Petri Nets (2014)

Mohamed Oussama Ben Salem.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mohamed Oussama Ben Salem