| 2020 | A C-IFGSM Based Adversarial Approach for Deep Learning Based Intrusion Detection. Yingdi Wang, Yixiang Wang, Endong Tong, Wenjia Niu, Jiqiang Liu |
| 2020 | A Self-adaptive Multi-hierarchical Modular Neural Network for Complex Problems. Zhaozhao Zhang, Qiu-wan Wang, Ying-qin Zhu |
| 2020 | Accurate Strategy for Mixed Criticality Scheduling. Yasmina Abdeddaïm |
| 2020 | An Approach for Supervisor Reduction of Discrete-Event Systems. Huimin Zhang, Lei Feng, Wu Xie, Feng Yu |
| 2020 | An Evaluation of Estimation Techniques for Probabilistic Verification. Mariia Vasileva, Paolo Zuliani |
| 2020 | Coverage Analysis of Net Inscriptions in Coloured Petri Net Models. Faustin Ahishakiye, José Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz |
| 2020 | Deadlock Avoidance of Flexible Manufacturing Systems by Colored Resource-Oriented Petri Nets with Novel Colored Capacity. Zhaoyu Xiang |
| 2020 | Deep Reinforcement Learning for Solving AGVs Routing Problem. Chengxuan Lu, Jinjun Long, Zichao Xing, Weimin Wu, Yong Gu, Jiliang Luo, Yisheng Huang |
| 2020 | Formal Verification of a Certified Policy Language. Amir Eaman, Amy P. Felty |
| 2020 | Model-Based Design of Resilient Systems Using Quantitative Risk Assessment. Braham Lotfi Mediouni, Iulia Dragomir, Ayoub Nouri, Saddek Bensalem |
| 2020 | 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 |
| 2020 | Multi-robot Path Planning Using Petri Nets. Hongbin Zhang, Jiliang Luo, Jinjun Long, Yisheng Huang, Weimin Wu |
| 2020 | Multi-scale Risk Assessment Model of Network Security Based on LSTM. Yinfei Lv, Huorong Ren, Xuefeng Gao, Tong Sun, Haopeng Zhang, Xinyu Guo |
| 2020 | ON/OFF Control Trajectory Computation for Steady State Reaching in Batches Petri Nets. Ruotian Liu, Rabah Ammour, Leonardo Brenner, Isabel Demongodin |
| 2020 | Research on Vehicle Detection Based on Visual Convolution Network Optimization. Nanyan Liu, Jingyang You |
| 2020 | The Modeling and Simulation on SRM Drive System Using Variable-Proportional-Desaturation PI Regulator. Zihan Wei, Mi Zhao, Changxin Fu |
| 2020 | Towards Efficient Partial Order Techniques for Time Petri Nets. Kuangze Wang, Hanifa Boucheneb, Kamel Barkaoui, ZhiWu Li |
| 2020 | Towards a Generic Framework for Formal Verification and Performance Analysis of Real-Time Scheduling Algorithms. Salwa Habbachi, ZhiWu Li, Mohamed Khalgui |
| 2020 | Vehicle Scheduling Problem in Terminals: A Review. Pei Wang |
| 2020 | Verification and Evaluation of Computer and Communication Systems - 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings Belgacem Ben Hedia, Yu-Fang Chen, Gaiyun Liu, Zhenhua Yu |
| 2020 | Weighted Lightweight Image Retrieval Method Based on Linear Regression. Lina Zhang, Xiangqin Zheng, Xuan Dang, Jiehui Zhang |