posted by user: tahar || 11023 views || tracked by 6 users: [display]

VECoS 2017 : 11th International Conference on Verification and Evaluation of Computer and Communication Systems

FacebookTwitterLinkedInGoogle

Link: https://vecos.ensta-paristech.fr/2017/
 
When Aug 24, 2017 - Aug 25, 2017
Where Montreal, Quebec, Canada
Submission Deadline May 8, 2017
Notification Due May 29, 2017
Final Version Due Jun 12, 2017
Categories    distributed systems   verification   control   dependability
 

Call For Papers

VECoS 2017
Call for Papers
11th International Conference on Verification and Evaluation of Computer and Communication Systems
August 24-25, 2017 Montréal, Canada
https://vecos.ensta-paristech.fr/2017/

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:
o Abstraction techniques
o Certification standards for real-time systems
o Compositional verification
o Correct-by-construction design
o Dependability assessment techniques
o Equivalence checking
o Model-checking
o Parameterized verification
o Performance and robustness evaluation
o Probabilistic verification
o QoS evaluation, planning and deployment
o RAMS (Reliability Availability Maintainability Safety) assessment
o Rigorous system design
o Security protocols verification
o Simulation techniques of discrete-event and hybrid systems
o Supervisory control
o Verification & validation of IoT
o Verification & validation of safety-critical systems
o Worst-case execution time analysis

Application areas of VECoS include: adaptive systems, communication protocols, computer-supported collaborative work systems, cloud computing, cyber-physical systems, high performance computing, internet of things, logistics systems, manufactory 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 2017 will be held August 24-25 in Montréal, Canada

Important Dates
o Papers deadline: May 8, 2017 (Anywhere on Earth)
o Paper notification: May 29, 2017
o Camera-ready deadline: June 12, 2017
o Conference: August 24-25, 2017

Invited Speakers
We are very pleased to confirm the following invited speakers for VECoS 2017:
o Moura Debbabi, Concordia University, Montreal, Canada
o Michel Dagenais, Polytechnique Montreal, Canada
o Zhiwu Li, Xidian University, Xian, China

General Information on Submissions
The conference proceedings will be published in the Springer-Verlag Lecture Notes in Computer Science series. Papers must be original work and not be submitted for publication elsewhere. Papers must be submitted electronically in PDF format using easychair system and should not exceed 15 pages using the Lecture Notes in Computer Science (LNCS) format.
At least one author of each accepted paper must attend VECoS 2017 to present.

Authors of selected papers will be invited to submit extended article versions in a special issue of Innovations in Systems and Software Engineering : A NASA Journal or of International Journal of Critical Computer-Based Systems

Organization
General Chairs
Ali Mili, New Jersey Institute of Technology, Newark, NJ, USA
Sofiene Tahar, Concordia University, Montreal, Quebec, Canada

Program Chairs
Kamel Barkaoui, CNAM, Paris, France
Hanifa Boucheneb, Polytechnique Montreal, Canada

Organizing Committee Chair
Otmane Ait Mohamed, Concordia University, Montreal, Quebec, Canada

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

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

Related Resources

SPIE-Ei/Scopus-DMNLP 2025   2025 2nd International Conference on Data Mining and Natural Language Processing (DMNLP 2025)-EI Compendex&Scopus
IEEE-Ei/Scopus-ACEPE 2024   2024 IEEE Asia Conference on Advances in Electrical and Power Engineering (ACEPE 2024) -Ei Compendex
ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
SPIE-Ei/Scopus-CMLDS 2025   2025 2nd International Conference on Computing, Machine Learning and Data Science (CMLDS 2025) -EI Compendex & Scopus
ITCAU 2024   2nd International Conference on Information Technology, Control and Automation
WCSE--EI 2025   2025 The 15th International Workshop on Computer Science and Engineering (WCSE 2025)
BIBC 2024   5th International Conference on Big Data, IOT and Blockchain
I4CS 2025   25th International Conference on Innovations for Community Services
AIAT--EI 2024   2024 4th International Conference on Artificial Intelligence and Application Technologies (AIAT 2024)
ICFCC--EI 2025   2025 The 17th International Conference on Future Computer and Communication (ICFCC 2025)