VECoS 2018![Conflict Detection Enabled Conflict Detection Enabled](/sites/all/themes/redux/css/images/icons/conflict_enabled_icon.png)
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/