| Program | |
| Day 1 : October 15 | |
| 08H00 - 09H00 | Welcome & Registration |
| 09H00 - 09H30 | WAISS'24 Opening Session |
| 09H30 - 18H00 | Workshop |
| 09H30 - 10H30 | Workshop WAISS'24 Session 1 |
| 10H30 - 11H00 | Coffe break |
| 11H00 - 12H30 | Workshop WAISS'24 Session 2 |
| 12H30 - 14H00 | Lunch |
| 14H00 - 15H30 | Workshop WAISS'24 Session 3 |
| 15H30 - 16H00 | Coffe Break |
| 16H00 - 18H00 | Workshop WAISS'24 Closing Session |
| Day 2 : October 16 | |
| 08H30 - 09H00 | Welcome & Registration |
| 09H00 - 09H30 | VECoS 2024 Opening Session |
| 09H30 - 10H30 | Invited Talk (Pr Zhiwu Li) : Fault diagnosis of discrete-event systems using Petri nets |
| 10h30 - 11H00 | Coffe break |
| 11H00 - 14H30 | Session 1: Formal Verification |
| 11H00 - 11H30 | Elif Deniz, Adnan Rashid and Sofiene Tahar. Formal Verification of Coupled Transmission Lines using Theorem Proving |
| 11H30 - 12H00 | Kais Klai, Mohamed Taha Bennani, Jaime Arias, Hanen Ochi and Hadhami Elouni. Optimizing label coverage using regular expression-based linear programming |
| 12H00 - 12H30 | Ikram Garfatta, Kais Klai and Walid Gaaloul. Formal Verification of Declarative Specifications of BPs: DCR2CPN-based Approach |
| 12H30 - 14H00 | Lunch |
| 14H00 - 14H30 | Marzieh Derakhshannia, Julien Grange and Nihal Pekergin. Toward Green Data Lake Management and Analysis through a CTMC Model |
| 14H30 - 15H30 | Invited Talk (Pr Yamine Ait Ameur) : Descriptive and prescriptive system models formalised in Event-B |
| 15H30 - 18H00 | Session 2 : AI & formel methods |
| 15H30 - 16H00 | Imene Ben Hafaiedh, Amira Chouchane, Amani Elaoud, Linda Lamouchi and Mohamed Ghazel. A High Parallelization Method for Automated Formal Verification of Deep Neural Networks |
| 16H00 - 16H30 | Coffe break |
| 16H30 - 17H00 | Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer and Mohamed Ghazel. Monitoring of Neural Network Classifiers using Neuron Activation Paths |
| 17H00 - 17H30 | Marwa Zeroual, Brahim Hamid, Adedjouma Morayo and Jason Jaskolka. Formal Security Analysis of Deep Neural Network Architecture |
| 17H30 - 18H00 | Ahmed Alaoui Mdaghr, Meriem Ouederni and Lotfi Chaari. MDE in the era of Generative AI |
| Day 3 : October 17 - Social Event - Scientific discussions - Gala dinner | |
| Day 4 : October 18 | |
| 09H00 - 12H00 | Session 3 : Cybersecurity and Smart Contract |
| 09H00 - 09H30 | Nour Elhouda Oueslati, Hichem Mrabet and Abderrazek Jemai. Intrusion Detection using an enhancement Bi-LSTM Recurrent Neural Network model |
| 09H30 - 10H00 | Loïc Thierry, Brahim Hamid and Jason Jaskolka. A Formal Approach for Verifying and Validating Security Objectives in Software Architecture |
| 10H00 - 10H30 | Coffe break |
| 10H30 - 11H00 | Jintao Jia, Gaiyun Liu and Zhiwu Li. Supervisory Control of Cyber-Physical Systems Using Labeled Petri Nets Under Sensor and Actuator Attacks |
| 11H30 - 11H30 | Rim Saddem-Yagoubi, Julie Beugin and Mohamed Ghazel. ERTMS/ETCS L3: Usable Formal Models for the ``Loss of Train Integrity'' Operation Scenario |
| 11H30 - 14H00 | Lunch |
| 14H00 - 17H00 | Session 4 : Cyber-Physical Systems |
| 14H00 - 14H30 | Gara Hellal Yassmine, Lazhar Hamel and Mohamed Graiet. A Formal Approach for Scalable Applications in Constrained IoT Systems |
| 14H30 - 15H00 | Perla Tannoury and Ahmed Hammad. Integrating SysML and Timed Reo to Model and Verify Cyber-Physical Systems Interactions with Timing Constraints |
| 15H00 - 15H30 | Coffe break |
| 15H30 - 16H00 | Mohamed Aiche, Samir Ouchani and Bouarfa Hafida. A Reliable and Resource-Aware Federated Learning Solution by Decentralizing Client Selection for IoT Devices |
| 16H00 - 16H30 | Wiem Taktak, Mohamed Escheikh and Kamel Barkaoui. DRL based SFC Orchestration in SDN/NFV Environments subject to Transient Unavailability |
| 16H30 - 17H00 | Closing Session |