© 2017

Verification and Evaluation of Computer and Communication Systems

11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings

  • Kamel Barkaoui
  • Hanifa Boucheneb
  • Ali Mili
  • Sofiène Tahar
Conference proceedings VECoS 2017

Part of the Lecture Notes in Computer Science book series (LNCS, volume 10466)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 10466)

Table of contents

  1. Front Matter
    Pages I-XVI
  2. Peter Poplavko, Ayoub Nouri, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros
    Pages 48-63
  3. Armel Mangean, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou
    Pages 64-78
  4. Qi Yu, Libo Huang, Cheng Qian, Jianqiao Ma, Zhiying Wang
    Pages 79-91
  5. Hana Jouini, Mohamed Escheikh, Kamel Barkaoui, Tahar Ezzedine
    Pages 108-123
  6. Pierre André, Nicolas Rivière, Hélène Waeselynck
    Pages 124-138
  7. Ibtissem Seghaier, Sofiène Tahar
    Pages 139-154
  8. Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, Briag Le Nabec
    Pages 171-188
  9. Mojgan Kamali, Luigia Petre
    Pages 189-203
  10. Back Matter
    Pages 205-205

About these proceedings


​This book constitutes the proceedings of the 11th International Conference International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017.

The 13 full papers, together with 3 abstracts in this volume were carefully reviewed and selected from 35 submissions.

The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance and dependability evalu-ation in order to discuss state-of-the-art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly in
terrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and dis-tributed hardware/software systems.


artificial intelligence genetic algorithms evolutionary algorithms software engineering computer architecture test generations programming languages multiobjective optimization

Editors and affiliations

  1. 1.CNAM-CEDRICParis Cedex 03France
  2. 2.École Polytechnique de MontréalMontrealCanada
  3. 3.New Jersey Institute of TechnologyNewarkUSA
  4. 4.Concordia UniversityMontrealCanada

Bibliographic information