Visible to the public VECoS 2018Conflict Detection Enabled

Submitted by Anonymous on Fri, 12/08/2017 - 10:41am
Sep 26, 2018 7:00 am - Sep 28, 2018 6:00 pm CEST

12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2018)

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
  • 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


Application areas of interest to VECoS include: adaptive systems, communication protocols, computer-supported collaborative work systems, cloud computing, cyber-physical systems, high-performance computing, internet of things, logistics systems, manufactoring of the future, mixed criticality systems, mobile and wireless networking, operations research, programming languages, real-time and embedded operating systems, service-oriented systems, telecommunication systems, ubiquitous systems, web services, wireless sensor networks and workflow systems.

An overview of previous VECoS conferences can be found at: https://vecos.ensta-paristech.fr/

VECoS 2018 will be held in September 26-28 in Grenoble, France.

INVITED SPEAKERS
TBC

ORGANIZATION

General Chairs

  • Saddek Bensalem, Verimag / University Grenoble Alpes, France
  • Bruno Monsuez, ENSTA ParisTech, France


Program Chairs

  • Mohamed Faouzi Atig, Uppsala University, Sweden
  • Simon Bliudze, INRIA Lille - Nord Europe, France

Publicity Chairs

  • Belgacem Ben Hedia, CEA-LIST, Saclay, France
  • Vladimir-Alexandru Paun, ENSTA ParisTech, Palaiseau, France

Local organization committee

  • Marius Bozga, Verimag / CNRS, France
  • Jacques Combaz, Verimag / CNRS, France
  • Ayoub Nouri, Verimag / University Grenoble Alpes, France

For additional information, visit the conference website:
https://vecos.ensta-paristech.fr/2018/

Event Details
Location: 
Grenoble, France
URL: 
https://vecos.ensta-paristech.fr/2018/