Skip to main content
SpringerLink
Log in

Verification and Evaluation of Computer and Communication Systems

16th International Conference, VECoS 2023, Marrakech, Morocco, October 18–20, 2023, Proceedings

  • Conference proceedings
  • © 2024

Overview

Editors:
  1. Belgacem Ben Hedia

    1. CEA LIST, Gif-sur-Yvette, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Yassine Maleh

    1. Université Sultan Moulay Slimane, Beni Mellal, Morocco

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Moez Krichen

    1. Al-Baha University, Al Baha, Saudi Arabia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 14368)

Included in the following conference series:

Conference proceedings info: VECoS 2023.

  • 986 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (12 papers)

  1. Front Matter

    Pages i-xviii
    Download chapter PDF

  2. Factorization of the State Space Construction for Cyclic Systems with Data

    • Johan Arcile, Raymond Devillers, Hanna Klaudel
    Pages 1-14

  3. Verified High Performance Computing: The SyDPaCC Approach

    • Frédéric Loulergue, Ali Ed-Dbali
    Pages 15-29

  4. A QoE Driven DRL Approach for Network Slicing Based on SFC Orchestration in SDN/NFV Enabled Networks

    • Wiem Taktak, Mohamed Escheikh, Kamel Barkaoui
    Pages 30-44

  5. On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation

    • Salwa Habbachi, Imene Ben Hafaiedh, Zhiwu Li, Moez Krichen
    Pages 45-59

  6. An Enhanced Interface-Based Probabilistic Compositional Verification Approach

    • Samir Ouchani, Otmane Ait Mohamed, Mourad Debbabi
    Pages 60-75

  7. A Sound Abstraction Method Towards Efficient Neural Networks Verification

    • Fateh Boudardara, Abderraouf Boussif, Mohamed Ghazel
    Pages 76-89

  8. Towards Formal Verification of Node RED-Based IoT Applications

    • Ikram Garfatta, Nour Elhouda Souid, Kaïs Klai
    Pages 90-104

  9. Formal Verification of a Post-quantum Signal Protocol with Tamarin

    • Hugo Beguinet, Céline Chevalier, Thomas Ricosset, Hugo Senet
    Pages 105-121

  10. A Comparative Study of Online Cybersecurity Training Platforms

    • Abdeslam Rehaimi, Yassine Sadqi, Yassine Maleh
    Pages 122-134

  11. White-Box Mutation Testing of Smart Contracts: A Quick Review

    • Afef Jmal Maâlej, Mariam Lahami
    Pages 135-148

  12. Blockchain-Based Trust Management for IoMT Environment

    • Mariem Fourati, Amel Meddeb-Makhlouf, Faouzi Zarai
    Pages 149-162

  13. Command & Control in UAVs Fleets: Coordinating Drones for Ground Missions in Changing Contexts

    • Moussa Amrani, Abdelkader Ouared, Pierre-Yves Schobbens
    Pages 163-177

  14. Back Matter

    Pages 179-179
    Download chapter PDF
Back to top

Other volumes

  1. Verification and Evaluation of Computer and Communication Systems

Keywords

About this book

This book constitutes the refereed proceedings of the 16th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2023, held in Marrakech, Morocco, during October 18–20, 2023. The 12 full papers included in this book were carefully reviewed and selected from 36 submissions. 
The topics presented covered a range of subjects, including approaches to improving the scalability and efficiency of formal verification and their applications to blockchain, smart contracts and neural networks.

Editors and Affiliations

  • CEA LIST, Gif-sur-Yvette, France

    Belgacem Ben Hedia

  • Université Sultan Moulay Slimane, Beni Mellal, Morocco

    Yassine Maleh

  • Al-Baha University, Al Baha, Saudi Arabia

    Moez Krichen

Bibliographic Information

  • Book Title: Verification and Evaluation of Computer and Communication Systems

  • Book Subtitle: 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18–20, 2023, Proceedings

  • Editors: Belgacem Ben Hedia, Yassine Maleh, Moez Krichen

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-031-49737-7

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2024

  • Softcover ISBN: 978-3-031-49736-0Published: 19 December 2023

  • eBook ISBN: 978-3-031-49737-7Published: 18 December 2023

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XVIII, 179

  • Number of Illustrations: 16 b/w illustrations, 35 illustrations in colour

  • Topics: Computer Systems Organization and Communication Networks, Artificial Intelligence, Computer Communication Networks

Publish with us

Policies and ethics

Back to top

Search

Navigation