Mohamed Oussama Ben Salem
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
1
Active years
2015–2020
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ICSoft | 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, Nama Soud Ougouti |
| 2020 | ICSoft | On the Improvement of R-TNCESs Verification using Distributed Cloud-based Architecture. | Chams Eddine Choucha, Mohamed Oussama Ben Salem, Mohamed Khalgui, Laid Kahloul, Nama Soud Ougouti |
| 2015 | ICSoft | 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 |
| 2015 | ICSoft | R-UML: An UML Profile for Verification of Flexible Control Systems. | Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui, Georg Frey |