| 2018 | Proving Partial-Correctness and Invariance Properties of Transition-System Models. | Vlad Rusu, Gilles Grimaud, Michal Hauspie |
| 2018 | Telling Lies in Process Algebra. | Mohammad Reza Mousavi, Mahsa Varshosaz |
| 2018 | On Syntactic and Semantic Dependencies in Service-Oriented Architectures. | Diego Marmsoler |
| 2018 | An Improved LLF Scheduling for Reducing Maximum Heap Memory Consumption by Considering Laxity Time. | Yuki Machigashira, Akio Nakata |
| 2018 | Formalization and Verification of AUTOSAR OS Standard's Memory Protection. | Khanh Trinh Le, Yuki Chiba, Toshiaki Aoki |
| 2018 | Asynchronous Sessions with Implicit Functions and Messages. | Alexander Jeffery, Martin Berger |
| 2018 | Towards a Program Logic for C11 Release-Sequences. | Mengda He, Shengchao Qin, Joo F. Ferreira |
| 2018 | Modeling and Verification of NLSR Protocol using UPPAAL. | Yuan Fei, Huibiao Zhu, Xin Li |
| 2018 | A Fully Abstract Encoding for Sub Asynchronous Pi Calculus. | Wenjun Du, Zhengfeng Yang, Huibiao Zhu |
| 2018 | M-String Segmentation: A Refined Abstract Domain for String Analysis in C Programs. | Agostino Cortesi, Martina Olliaro |
| 2018 | Verifying Graph Transformations with Guarded Logics. | Jon Hal Brenas, Rachid Echahed, Martin Strecker |
| 2018 | Decomposing Models Through Dependency Graphs. | Qin Ma, Pierre Kelsen |
| 2017 | Formal specification of security guidelines for program certification. | Zeineb Zhioua, Yves Roudier, Raba Ameur-Boulifa |
| 2017 | Optimizing backbone filtering. | Yueling Zhang, Jianwen Li, Min Zhang, Geguang Pu, Fu Song |
| 2017 | A bounded multi-dimensional modal logic for autonomous cars based on local traffic and estimation. | Bingqing Xu, Qin Li |
| 2017 | Time-sensitive information flow control in timed event-B. | Chunyan Mu, Shengchao Qin |
| 2017 | A safety and liveness theory for total reversibility. | Claudio Antares Mezzina, Vasileios Koutavas |
| 2017 | On the semantics of temporal specifications of component-behavior for dynamic architectures. | Diego Marmsoler |
| 2017 | Assembly program verification for multiprocessors with relaxed memory model using SMT solver. | Pattaravut Maleehuan, Yuki Chiba, Toshiaki Aoki |
| 2017 | VMDV: A 3D visualization tool for modeling, demonstration, and verification. | Jian Liu, Ying Jiang, Yanyun Chen |
| 2017 | Modeling and reasoning about wireless networks: A graph-based calculus approach. | Shichao Liu, Ying Jiang |
| 2017 | Automatic fine-grained locking generation for shared data structures. | Haiyang Liu, Tingting Hu, Zongyan Qiu |
| 2017 | Two under-approximation techniques for 3-modal abstraction coverage of event systems: Joint effort? | Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron |
| 2017 | Formal verification of user-level real-time property patterns. | Ning Ge, Marc Pantel, Silvano Dal-Zilio |
| 2017 | Formal development process of safety-critical embedded human machine interface systems. | Ning Ge, Arnaud Dieumegard, Eric Jenn, Bruno d'Ausbourg, Yamine At Ameur |