| 2024 | Verification and Evaluation of Computer and Communication Systems - 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings Belgacem Ben Hedia, Yassine Maleh, Moez Krichen |
| 2023 | A Comparative Study of Online Cybersecurity Training Platforms. Abdeslam Rehaimi, Yassine Sadqi, Yassine Maleh |
| 2023 | A QoE Driven DRL Approach for Network Slicing Based on SFC Orchestration in SDN/NFV Enabled Networks. Wiem Taktak, Mohamed Escheikh, Kamel Barkaoui |
| 2023 | A Sound Abstraction Method Towards Efficient Neural Networks Verification. Fateh Boudardara, Abderraouf Boussif, Mohamed Ghazel |
| 2023 | An Enhanced Interface-Based Probabilistic Compositional Verification Approach. Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi |
| 2023 | Blockchain-Based Trust Management for IoMT Environment. Mariem Fourati, Amel Meddeb-Makhlouf, Faouzi Zarai |
| 2023 | Command & Control in UAVs Fleets: Coordinating Drones for Ground Missions in Changing Contexts. Moussa Amrani, Abdelkader Ouared, Pierre-Yves Schobbens |
| 2023 | Factorization of the State Space Construction for Cyclic Systems with Data. Johan Arcile, Raymond Devillers, Hanna Klaudel |
| 2023 | Formal Verification of a Post-quantum Signal Protocol with Tamarin. Hugo Beguinet, Céline Chevalier, Thomas Ricosset, Hugo Senet |
| 2023 | On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation. Salwa Habbachi, Imene Ben Hafaiedh, ZhiWu Li, Moez Krichen |
| 2023 | Towards Formal Verification of Node RED-Based IoT Applications. Ikram Garfatta, Nour Elhouda Souid, Kaïs Klai |
| 2023 | Verified High Performance Computing: The SyDPaCC Approach. Frédéric Loulergue, Ali Ed-Dbali |
| 2023 | White-Box Mutation Testing of Smart Contracts: A Quick Review. Afef Jmal Maâlej, Mariam Lahami |