Chams Eddine Choucha

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 6

Top Topics

Hierarchical Architecture

Temporal Properties

Top Venues

ICSOFT (Selected Papers)

Publications

Chams Eddine Choucha, Mohamed Ridda Laouar
Enhancing Cardiac Arrest Prediction with Neural Networks. PAIS (2024)
Ilyes Naidji, Chams Eddine Choucha, Mohamed Ramdani
Decentralized Federated Learning Architecture for Networked Microgrids. ICINCO (1) (2023)
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)
Chams Eddine Choucha, Mohamed Ramdani, Mohamed Khalgui, Laïd Kahloul
On Improvement of Formal Verification of Reconfigurable Real-Time Systems Using TCTL and CTL-Based Properties on IaaS Cloud Environment. ICSOFT (Selected Papers) (2020)
Chams Eddine Choucha, Mohamed Ramdani, Mohamed Khalgui, Laïd Kahloul
On Decomposing Formal Verification of CTL-based Properties on IaaS Cloud Environment. ICSOFT (2020)