default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID16th VECoS 2023: Marrakech, Morocco
- Belgacem Ben Hedia
, Yassine Maleh, Moez Krichen:
Verification and Evaluation of Computer and Communication Systems - 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings. Lecture Notes in Computer Science 14368, Springer 2024, ISBN 978-3-031-49736-0 - Johan Arcile, Raymond R. Devillers, Hanna Klaudel:
Factorization of the State Space Construction for Cyclic Systems with Data. 1-14 - Frédéric Loulergue, Ali Ed-Dbali:
Verified High Performance Computing: The SyDPaCC Approach. 15-29 - Wiem Taktak, Mohamed Escheikh, Kamel Barkaoui:
A QoE Driven DRL Approach for Network Slicing Based on SFC Orchestration in SDN/NFV Enabled Networks. 30-44 - Salwa Habbachi, Imene Ben Hafaiedh, Zhiwu Li, Moez Krichen:
On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation. 45-59 - Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi:
An Enhanced Interface-Based Probabilistic Compositional Verification Approach. 60-75 - Fateh Boudardara, Abderraouf Boussif, Mohamed Ghazel:
A Sound Abstraction Method Towards Efficient Neural Networks Verification. 76-89 - Ikram Garfatta, Nour Elhouda Souid, Kaïs Klai:
Towards Formal Verification of Node RED-Based IoT Applications. 90-104 - Hugo Beguinet, Céline Chevalier, Thomas Ricosset, Hugo Senet:
Formal Verification of a Post-quantum Signal Protocol with Tamarin. 105-121 - Abdeslam Rehaimi, Yassine Sadqi, Yassine Maleh:
A Comparative Study of Online Cybersecurity Training Platforms. 122-134 - Afef Jmal Maâlej, Mariam Lahami:
White-Box Mutation Testing of Smart Contracts: A Quick Review. 135-148 - Mariem Fourati, Amel Meddeb-Makhlouf, Faouzi Zarai:
Blockchain-Based Trust Management for IoMT Environment. 149-162 - Moussa Amrani, Abdelkader Ouared, Pierre-Yves Schobbens:
Command & Control in UAVs Fleets: Coordinating Drones for Ground Missions in Changing Contexts. 163-177
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-11 21:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
