Skip to main content
SpringerLink
Log in

Verification and Evaluation of Computer and Communication Systems

14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Belgacem Ben Hedia

    1. CEA List, DSCIN, LECA, Gif-sur-Yvette, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Yu-Fang Chen

    1. Academia Sinica, Taipei, Taiwan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Gaiyun Liu

    1. Xidian University, Xi'an, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Zhenhua Yu

    1. Xi'an University of Science and Technology, Xi’an, China

    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 12519)

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

Included in the following conference series:

Conference proceedings info: VECoS 2020.

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 (20 papers)

  1. Front Matter

    Pages i-xii
    Download chapter PDF

  2. Petri-Net, Simulation, and Scheduling

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. An Approach for Supervisor Reduction of Discrete-Event Systems

      • Huimin Zhang, Lei Feng, Wu Xie, Feng Yu
      Pages 3-14

    3. Multi-robot Path Planning Using Petri Nets

      • Hongbin Zhang, Jiliang Luo, Jinjun Long, Yisheng Huang, Weimin Wu
      Pages 15-26

    4. Deadlock Avoidance of Flexible Manufacturing Systems by Colored Resource-Oriented Petri Nets with Novel Colored Capacity

      • ZhaoYu Xiang
      Pages 27-40

    5. The Modeling and Simulation on SRM Drive System Using Variable-Proportional-Desaturation PI Regulator

      • Wei ZiHan, Zhao Mi, Fu ChangXin
      Pages 41-53

    6. Vehicle Scheduling Problem in Terminals: A Review

      • Pei Wang
      Pages 54-67

    7. Coverage Analysis of Net Inscriptions in Coloured Petri Net Models

      • Faustin Ahishakiye, José Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz
      Pages 68-83

    8. ON/OFF Control Trajectory Computation for Steady State Reaching in Batches Petri Nets

      • Ruotian Liu, Rabah Ammour, Leonardo Brenner, Isabel Demongodin
      Pages 84-99

    9. Towards Efficient Partial Order Techniques for Time Petri Nets

      • Kuangze Wang, Hanifa Boucheneb, Kamel Barkaoui, Zhiwu Li
      Pages 100-115

    10. Towards a Generic Framework for Formal Verification and Performance Analysis of Real-Time Scheduling Algorithms

      • Salwa Habbachi, Zhiwu Li, Mohamed Khalgui
      Pages 116-130

    11. Accurate Strategy for Mixed Criticality Scheduling

      • Yasmina Abdeddaïm
      Pages 131-146

  3. Formal Modeling and Verification, Testing

    1. Front Matter

      Pages 147-147
      Download chapter PDF

    2. Model-Based Design of Resilient Systems Using Quantitative Risk Assessment

      • Braham Lotfi Mediouni, Iulia Dragomir, Ayoub Nouri, Saddek Bensalem
      Pages 149-164

    3. An Evaluation of Estimation Techniques for Probabilistic Verification

      • Mariia Vasileva, Paolo Zuliani
      Pages 165-179

    4. Formal Verification of a Certified Policy Language

      • Amir Eaman, Amy Felty
      Pages 180-194

    5. Multi-path Coverage of All Final States for Model-Based Testing Theory Using Spark In-memory Design

      • Wilfried Yves Hamilton Adoni, Moez Krichen, Tarik Nahhal, Abdeltif Elbyed
      Pages 195-204

  4. Artificial Intelligence and Machine Learning

    1. Front Matter

      Pages 205-205
      Download chapter PDF

    2. A C-IFGSM Based Adversarial Approach for Deep Learning Based Intrusion Detection

      • Yingdi Wang, Yixiang Wang, Endong Tong, Wenjia Niu, Jiqiang Liu
      Pages 207-221

    3. Deep Reinforcement Learning for Solving AGVs Routing Problem

      • Chengxuan Lu, Jinjun Long, Zichao Xing, Weimin Wu, Yong Gu, Jiliang Luo et al.
      Pages 222-236
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 14th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2020, which was supposed to be held in Xi’an, China, in October 2020, but was held virtually instead.

The 19 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 60 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance, and dependability evaluation 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 interrelated. 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 distributed hardware/software systems. The papers are organized in the following topical sections: petri-net, simulation, and scheduling; formal modeling and verification, testing; and artificial intelligence and machine learning.


Editors and Affiliations

  • CEA List, DSCIN, LECA, Gif-sur-Yvette, France

    Belgacem Ben Hedia

  • Academia Sinica, Taipei, Taiwan

    Yu-Fang Chen

  • Xidian University, Xi'an, China

    Gaiyun Liu

  • Xi'an University of Science and Technology, Xi’an, China

    Zhenhua Yu

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation