Chams Eddine Choucha
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
2020–2023
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ICINCO | Decentralized Federated Learning Architecture for Networked Microgrids. | Ilyes Naidji, Chams Eddine Choucha, Mohamed Ramdani |
| 2020 | ICSoft | On Decomposing Formal Verification of CTL-based Properties on IaaS Cloud Environment. | Chams Eddine Choucha, Mohamed Ramdani, Mohamed Khalgui, Laid Kahloul |
| 2020 | ICSoft | On Improvement of Formal Verification of Reconfigurable Real-Time Systems Using TCTL and CTL-Based Properties on IaaS Cloud Environment. | Chams Eddine Choucha, Mohamed Ramdani, Mohamed Khalgui, Laid Kahloul |
| 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 |