VECoS

Keyphrases

Publications

volume 14368, 2024

Verification and Evaluation of Computer and Communication Systems - 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings VECoS 14368 (2024)

2023

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

volume 13187, 2022

Verification and Evaluation of Computer and Communication Systems - 15th International Conference, VECoS 2021, Virtual Event, November 22-23, 2021, Revised Selected Papers VECoS 13187 (2022)

2021

2020

volume 12519, 2020

Verification and Evaluation of Computer and Communication Systems - 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings VECoS 12519 (2020)

2019

volume 11847, 2019

Verification and Evaluation of Computer and Communication Systems - 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings VECoS 11847 (2019)

volume 11181, 2018

Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings VECoS 11181 (2018)