default search action

combined dblp search
author search
venue search
publication search

ask others

16th VECoS 2023: Marrakech, Morocco

> Home > Conferences and Workshops > VECoS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/vecos/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/2023
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
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/ArcileDK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/ArcileDK23
Johan Arcile, Raymond Devillers, Hanna Klaudel:
Factorization of the State Space Construction for Cyclic Systems with Data. 1-14
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/LoulergueE23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/LoulergueE23
Frédéric Loulergue, Ali Ed-Dbali:
Verified High Performance Computing: The SyDPaCC Approach. 15-29
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/TaktakEB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/TaktakEB23
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
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/HabbachiHLK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/HabbachiHLK23
Salwa Habbachi, Imene Ben Hafaiedh, Zhiwu Li, Moez Krichen:
On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation. 45-59
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/OuchaniMD23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/OuchaniMD23
Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi:
An Enhanced Interface-Based Probabilistic Compositional Verification Approach. 60-75
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/BoudardaraBG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/BoudardaraBG23
Fateh Boudardara, Abderraouf Boussif, Mohamed Ghazel:
A Sound Abstraction Method Towards Efficient Neural Networks Verification. 76-89
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/GarfattaSK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/GarfattaSK23
Ikram Garfatta, Nour Elhouda Souid, Kaïs Klai:
Towards Formal Verification of Node RED-Based IoT Applications. 90-104
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/BeguinetCRS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/BeguinetCRS23
Hugo Beguinet, Céline Chevalier, Thomas Ricosset, Hugo Senet:
Formal Verification of a Post-quantum Signal Protocol with Tamarin. 105-121
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/RehaimiSM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/RehaimiSM23
Abdeslam Rehaimi, Yassine Sadqi, Yassine Maleh:
A Comparative Study of Online Cybersecurity Training Platforms. 122-134
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/MaalejL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/MaalejL23
Afef Jmal Maâlej, Mariam Lahami:
White-Box Mutation Testing of Smart Contracts: A Quick Review. 135-148
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/FouratiMZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/FouratiMZ23
Mariem Fourati, Amel Meddeb-Makhlouf, Faouzi Zarai:
Blockchain-Based Trust Management for IoMT Environment. 149-162
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/AmraniOS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/AmraniOS23
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.