Conference Information
VECoS 2024: International Conference on Verification and Evaluation of Computer and Communication Systems
https://www.vecos-world.org/2024/
Submission Date:
2024-06-10
Notification Date:
2024-07-15
Conference Date:
2024-10-16
Location:
Djerba, Tunisia
Years:
17
Viewed: 17383   Tracked: 5   Attend: 2

Call For Papers
Background

VECoS 2024 is planned as a physical, in-person event to be held October 16-18, 2024 in Djerba, Tunisia.  

The International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS) was created by an Euro-Med network of researchers in computer science. Its first edition VECoS 2007 took place in Algiers, VECoS 2008 in Leeds, VECoS 2009 in Rabat, VECoS 2010 in Paris, VECoS 2011 in Tunis, VECoS 2012 in Paris, VECoS 2013 in Florence, VECoS 2014 in Bejaia, VECoS 2015 in Bucharest, VECoS 2016 in Tunis, VECoS 2017 in Montreal, VECoS 2018 in Grenoble, VECoS 2019 in Porto, VECoS 2020 in Xi'an, VECoS 2021 in Beijing as a virtual conference due to COVID'19 and VECoS 2023 in Marrakech

VECoS is referenced by https://conferences-computer.science/ and ranked in category C by CORE

Scope

The VECoS conference series focuses on the analysis of computer and communication systems, where functional and extra-functional properties are inter-related. VECoS encourages the cross-fertilization between the various formal verification and evaluation approaches, methods and techniques, especially those developed for concurrent and distributed hardware/software systems.

Topics of interest include, but are not limited to:

    Abstraction techniques
    Assessment for real-time systems
    Compositional verification
    Correct-by-construction design
    Data-driven testing
    Dependability assessment techniques
    Discrete-event and hybrid systems Modeling and Simulation
    Equivalence checking
    Model-based Security assessment
    Model-checking
    Parameterized verification
    Performance and robustness evaluation
    Probabilistic verification
    QoS evaluation, planning and deployment
    RAMS (Reliability-Availability-Maintainability-Safety) assessment
    Rigorous system design
    Security protocols verification
    Supervisory control
    Verification & validation of IoT
    Verification & validation of safety-critical systems
    Worst-case execution time analysis
Last updated by Dou Sun in 2024-05-20
Related Conferences
Related Journals
CCFFull NameImpact FactorPublisherISSN
Brain InformaticsSpringer2198-4018
cComputer Communications4.500Elsevier0140-3664
IEEE Transactions on Automatic Control6.200IEEE0018-9286
cApplied Intelligence3.400Springer0924-669X
Applied Artificial Intelligence Taylor & Francis0883-9514
cIEEE Geoscience and Remote Sensing Letters4.000IEEE1545-598X
Abstract and Applied Analysis Hindawi1085-3375
Computers & Geosciences4.200Elsevier0098-3004
cInternational Journal on Semantic Web and Information Systems3.200IGI Global1552-6283
cExpert Systems3.000John Wiley & Sons1468-0394
Full NameImpact FactorPublisher
Brain InformaticsSpringer
Computer Communications4.500Elsevier
IEEE Transactions on Automatic Control6.200IEEE
Applied Intelligence3.400Springer
Applied Artificial Intelligence Taylor & Francis
IEEE Geoscience and Remote Sensing Letters4.000IEEE
Abstract and Applied Analysis Hindawi
Computers & Geosciences4.200Elsevier
International Journal on Semantic Web and Information Systems3.200IGI Global
Expert Systems3.000John Wiley & Sons
Recommendation