Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Verification and Evaluation of Computer and Communication Systems

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

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Kamel Barkaoui

    1. CNAM-CEDRIC, Paris Cedex 03, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Hanifa Boucheneb

    1. École Polytechnique de Montréal, Montreal, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Ali Mili

    1. New Jersey Institute of Technology, Newark, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Sofiène Tahar

    1. Concordia University, Montreal, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: VECoS 2017.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (13 papers)

  1. Front Matter

    Pages I-XVI
    Download chapter PDF

  2. Formal Probabilistic Analysis of a Virtual Fixture Control Algorithm for a Surgical Robot

    • Muhammad Saad Ayub, Osman Hasan
    Pages 1-16

  3. Performance Analysis of Multi-services Call Admission Control in Cellular Network Using Probabilistic Model Checking

    • Sana Younes, Momtez Benmbarek
    Pages 17-32

  4. Application of Generalized Stochastic Petri Nets to Performance Modeling of the RF Communication in Sensor Networks

    • Sedda Hakmi, Ouiza Lekadir, Djamil Aïssani
    Pages 33-47

  5. Regression-Based Statistical Bounds on Software Execution Time

    • Peter Poplavko, Ayoub Nouri, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros
    Pages 48-63

  6. WCET Analysis by Model Checking for a Processor with Dynamic Branch Prediction

    • Armel Mangean, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou
    Pages 64-78

  7. Factor-Based C-AMAT Analysis for Memory Optimization

    • Qi Yu, Libo Huang, Cheng Qian, Jianqiao Ma, Zhiying Wang
    Pages 79-91

  8. An Experimental Comparison of Two Approaches for Diagnosability Analysis of Discrete Event Systems - A Railway Case-Study

    • Abderraouf Boussif, Mohamed Ghazel
    Pages 92-107

  9. Mobility Load Balancing over Intra-frequency Heterogeneous Networks Using Handover Adaptation

    • Hana Jouini, Mohamed Escheikh, Kamel Barkaoui, Tahar Ezzedine
    Pages 108-123

  10. A Toolset for Mobile Systems Testing

    • Pierre André, Nicolas Rivière, Hélène Waeselynck
    Pages 124-138

  11. Intertwined Global Optimization Based Reachability Analysis

    • Ibtissem Seghaier, Sofiène Tahar
    Pages 139-154

  12. Analyzing Distributed Pi-Calculus Systems by Using the Rewriting Engine Maude

    • Bogdan Aman, Gabriel Ciobanu
    Pages 155-170

  13. TT-BIP: Using Correct-by-Design BIP Approach for Modelling Real-Time System with Time-Triggered Paradigm

    • Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, Briag Le Nabec
    Pages 171-188

  14. Uppaal vs Event-B for Modelling Optimised Link State Routing

    • Mojgan Kamali, Luigia Petre
    Pages 189-203

  15. Back Matter

    Pages 205-205
    Download chapter PDF
Back to top

Other volumes

  1. Verification and Evaluation of Computer and Communication Systems

Keywords

About this book

​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.


Editors and Affiliations

  • CNAM-CEDRIC, Paris Cedex 03, France

    Kamel Barkaoui

  • École Polytechnique de Montréal, Montreal, Canada

    Hanifa Boucheneb

  • New Jersey Institute of Technology, Newark, USA

    Ali Mili

  • Concordia University, Montreal, Canada

    Sofiène Tahar

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation