Events & Calendar

VECoS 2018
Sep 26, 2018 to Sep 28, 2018

Location : Grenoble, France

The 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2018) will be held on September 26-28 in Grenoble, France.

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.

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

Topics of interest to the conference include, but are not limited to:
• Abstraction techniques
• Certification standards for real-time systems
• Compositional verification
• Correct-by-construction design
• Dependability assessment techniques
• Equivalence checking
• 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
• Simulation techniques of discrete-event and hybrid systems
• Supervisory control
• Verification & validation of IoT
• Verification & validation of safety-critical systems
• Worst-case execution time analysis

Conference website:

Organizing Commitee:
Steering Committee Chair: Kamel Barkaoui, Cedric-Cnam, Paris

Scientific Commitee:
General cochairs: Saddek Bensalem, Verimag / University Grenoble Alpes Bruno Monsuez, ENSTA ParisTech. Program cochairs: Mohamad Faouzi Atig, Uppsala University Simon Bliudze, INRIA Lille

List of participants to this conference
Sep 26, 2018 to Sep 28, 2018

No participants
Email :