Conference Information
VECoS 2023: International Conference on Verification and Evaluation of Computer and Communication Systems
http://vecos-world.org/2023/Submission Date: |
2023-05-29 Extended |
Notification Date: |
2023-06-26 |
Conference Date: |
2023-10-18 |
Location: |
Marrakech, Morocco |
Years: |
16 |
Viewed: 15291 Tracked: 5 Attend: 2
Call For Papers
Background VECoS 2023 will follow a hybrid conference with the in-person event taking place on 18-20 October 2023 at Marrakech, Morocco. 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 and VECoS 2021 as a virtual conference due to COVID'19. 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 2023-05-15
Related Conferences
Related Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
c | Journal of Computer Information Systems | 0.822 | IACIS | 0887-4417 |
ACM Transactions on Modeling and Performance Evaluation of Computing Systems | ACM | 2376-3639 | ||
International journal of VLSI Design & Communication Systems | AIRCC | 0976-1527 | ||
c | Computer Communications | 3.167 | Elsevier | 0140-3664 |
Computer Communication Review | ACM | 0146-4833 | ||
Computer Physics Communications | 4.390 | Elsevier | 0010-4655 | |
Journal of Construction Engineering | Hindawi | 2356-7295 | ||
International Journal of Computer Networks & Communications | AIRCC | 0975-2293 | ||
International Journal of Computers Communications & Control | 1.585 | Agora University | 1841-9836 | |
International Journal of Communication Systems | 1.278 | Wiley-Blackwell | 1074-5351 |
Full Name | Impact Factor | Publisher |
---|---|---|
Journal of Computer Information Systems | 0.822 | IACIS |
ACM Transactions on Modeling and Performance Evaluation of Computing Systems | ACM | |
International journal of VLSI Design & Communication Systems | AIRCC | |
Computer Communications | 3.167 | Elsevier |
Computer Communication Review | ACM | |
Computer Physics Communications | 4.390 | Elsevier |
Journal of Construction Engineering | Hindawi | |
International Journal of Computer Networks & Communications | AIRCC | |
International Journal of Computers Communications & Control | 1.585 | Agora University |
International Journal of Communication Systems | 1.278 | Wiley-Blackwell |
Recommendation