Chams Eddine Choucha

According to our database, Chams Eddine Choucha authored at least 5 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Decentralized Federated Learning Architecture for Networked Microgrids.

Ilyes Naidji, Chams Eddine Choucha, Mohamed Ramdani

Proceedings of the 20th International Conference on Informatics in Control, 2023

2020

On the Improvement of R-TNCESs Verification using Distributed Cloud-based Architecture.

Chams Eddine Choucha, Mohamed Oussama Ben Salem, Mohamed Khalgui, Laïd Kahloul, Naïma Souâd Ougouti

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.

Chams Eddine Choucha, Mohamed Oussama Ben Salem, Mohamed Khalgui, Laïd Kahloul, Naïma Souâd Ougouti

Proceedings of the Software Technologies - 15th International Conference, 2020

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, Laïd Kahloul

Proceedings of the Software Technologies - 15th International Conference, 2020

On Decomposing Formal Verification of CTL-based Properties on IaaS Cloud Environment.

Chams Eddine Choucha, Mohamed Ramdani, Mohamed Khalgui, Laïd Kahloul

Proceedings of the 15th International Conference on Software Technologies, 2020