| 2025 | Verification and Evaluation of Computer and Communication Systems - 17th International Conference, VECoS 2024, Djerba, Tunisia, October 16-18, 2024, Proceedings Belgacem Ben Hedia, Mohamed Ghazel, Bruno Monsuez |
| 2024 | A Formal Approach for Verifying and Validating Security Objectives in Software Architecture. Loïc Thierry, Brahim Hamid, Jason Jaskolka |
| 2024 | A High Parallelization Method for Automated Formal Verification of Deep Neural Networks. Imene Ben Hafaiedh, Amira Chouchane, Amani Elaoud, Linda Lamouchi, Mohamed Ghazel |
| 2024 | A Reliable and Resource-Aware Federated Learning Solution by Decentralizing Client Selection for IoT Devices. Mohamed Aiche, Samir Ouchani, Hafida Bouarfa |
| 2024 | DRL Based SFC Orchestration in SDN/NFV Environments Subject to Transient Unavailability. Wiem Taktak, Mohamed Escheikh, Kamel Barkaoui |
| 2024 | ERTMS/ETCS L3: Usable Formal Models for the "Loss of Train Integrity" Operation Scenario. Rim Saddem-Yagoubi, Julie Beugin, Mohamed Ghazel |
| 2024 | Formal Security Analysis of Deep Neural Network Architecture. Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka |
| 2024 | Formal Verification of Coupled Transmission Lines using Theorem Proving. Elif Deniz, Adnan Rashid, Sofiène Tahar |
| 2024 | Formal Verification of Declarative Specifications of BPs: DCR2CPN-Based Approach. Ikram Garfatta, Kaïs Klai, Walid Gaaloul |
| 2024 | Integrating SysML and Timed Reo to Model and Verify Cyber-Physical Systems Interactions with Timing Constraints. Perla Tannoury, Ahmed Hammad |
| 2024 | Intrusion Detection Using an Enhancement Bi-LSTM Recurrent Neural Network Model. Nour Elhouda Oueslati, Hichem Mrabet, Abderrazak Jemai |
| 2024 | MDE in the Era of Generative AI. Ahmed Alaoui Mdaghri, Meriem Ouederni, Lotfi Chaâri |
| 2024 | Monitoring of Neural Network Classifiers Using Neuron Activation Paths. Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel |
| 2024 | Optimizing Label Coverage Using Regular Expression-Based Linear Programming. Kais Klai, Mohamed Taha Bennani, Jaime Arias, Hanen Ochi, Hadhami Elouni |
| 2024 | Supervisory Control of Cyber-Physical Systems Using Labeled Petri Nets Under Sensor and Actuator Attacks. Jintao Jia, Gaiyun Liu, ZhiWu Li |
| 2024 | Toward Green Data Lake Management and Analysis Through a CTMC Model. Marzieh Derakhshannia, Julien Grange, Nihal Pekergin |
| 2024 | Towards a Model for Energy-Efficient and Flexible IoT Systems. Yassmine Gara Hellal, Lazhar Hamel, Mohamed Graiet |