| 2021 | Handling of Operating Modes in Contract-Based Timing Specifications. | Janis Krger, Bjrn Koopmann, Ingo Stierand, Nadra Tabassam, Martin Frnzle |
| 2021 | Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation. | Kais Klai, Chiheb Ameur Abid, Jaime Arias, Sami Evangelista |
| 2021 | SMT-Based Unbounded Model Checking for ATL. | Michal Kanski, Artur Niewiadomski, Magdalena Kacprzak, Wojciech Penczek, Wojciech Nabialek |
| 2021 | On Decentralized Monitoring. | Ylis Falcone |
| 2020 | Weighted Lightweight Image Retrieval Method Based on Linear Regression. | Lina Zhang, Xiangqin Zheng, Xuan Dang, Jiehui Zhang |
| 2020 | A Self-adaptive Multi-hierarchical Modular Neural Network for Complex Problems. | ZhaoZhao Zhang, Qiu-wan Wang, Ying-qin Zhu |
| 2020 | Multi-robot Path Planning Using Petri Nets. | Hongbin Zhang, Jiliang Luo, Jinjun Long, Yisheng Huang, Weimin Wu |
| 2020 | An Approach for Supervisor Reduction of Discrete-Event Systems. | Huimin Zhang, Lei Feng, Wu Xie, Feng Yu |
| 2020 | Deadlock Avoidance of Flexible Manufacturing Systems by Colored Resource-Oriented Petri Nets with Novel Colored Capacity. | ZhaoYu Xiang |
| 2020 | The Modeling and Simulation on SRM Drive System Using Variable-Proportional-Desaturation PI Regulator. | Zihan Wei, Mi Zhao, Changxin Fu |
| 2020 | A C-IFGSM Based Adversarial Approach for Deep Learning Based Intrusion Detection. | Yingdi Wang, Yixiang Wang, Endong Tong, Wenjia Niu, Jiqiang Liu |
| 2020 | Towards Efficient Partial Order Techniques for Time Petri Nets. | Kuangze Wang, Hanifa Boucheneb, Kamel Barkaoui, Zhiwu Li |
| 2020 | Vehicle Scheduling Problem in Terminals: A Review. | Pei Wang |
| 2020 | An Evaluation of Estimation Techniques for Probabilistic Verification. | Mariia Vasileva, Paolo Zuliani |
| 2020 | Model-Based Design of Resilient Systems Using Quantitative Risk Assessment. | Braham Lotfi Mediouni, Iulia Dragomir, Ayoub Nouri, Saddek Bensalem |
| 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 | Deep Reinforcement Learning for Solving AGVs Routing Problem. | Chengxuan Lu, Jinjun Long, Zichao Xing, Weimin Wu, Yong Gu, Jiliang Luo, Yisheng Huang |
| 2020 | Research on Vehicle Detection Based on Visual Convolution Network Optimization. | Nanyan Liu, Jingyang You |
| 2020 | ON/OFF Control Trajectory Computation for Steady State Reaching in Batches Petri Nets. | Ruotian Liu, Rabah Ammour, Leonardo Brenner, Isabel Demongodin |
| 2020 | Towards a Generic Framework for Formal Verification and Performance Analysis of Real-Time Scheduling Algorithms. | Salwa Habbachi, Zhiwu Li, Mohamed Khalgui |
| 2020 | Formal Verification of a Certified Policy Language. | Amir Eaman, Amy P. Felty |
| 2020 | Coverage Analysis of Net Inscriptions in Coloured Petri Net Models. | Faustin Ahishakiye, Jos Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz |
| 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 | Accurate Strategy for Mixed Criticality Scheduling. | Yasmina Abdeddam |
| 2019 | Importance-Based Scheduling to Manage Multiple Core Defection in Real-Time Systems. | Yves Mouafo Tchinda, Annie Choquet-Geniet, Galle Largeteau-Skapin |