| 2020 | Compiling FL | Wanwei Liu, Liangze Yin, Tun Li |
| 2020 | Computing Linear Arithmetic Representation of Reachability Relation of One-Counter Automata. | Xie Li, Taolue Chen, Zhilin Wu, Mingji Xia |
| 2020 | Randomized Refinement Checking of Timed I/O Automata. | Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman |
| 2020 | The Road Ahead for Supervisor Synthesis. | Martijn A. Goorden, Lars Moormann, Ferdie F. H. Reijnen, J. J. Verbakel, D. A. van Beek, Albert T. Hofkamp, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda, L. F. P. Etman |
| 2020 | Modelling and Implementation of Unmanned Aircraft Collision Avoidance. | Weizhi Feng, Cheng-Chao Huang, Andrea Turrini, Yong Li |
| 2020 | Graph Transformation Systems: A Semantics Based on (Stochastic) Symmetric Nets. | Lorenzo Capra |
| 2020 | Reentrancy? Yes. Reentrancy Bug? No. | Qinxiang Cao, Zhongye Wang |
| 2019 | A Verified Specification of TLSF Memory Management Allocator Using State Monads. | Yu Zhang, Yongwang Zhao, David Sann, Lei Qiao, Jinkun Zhang |
| 2019 | Improving the Analysis of GPC in Real-Time Calculus. | Yue Tang, Yuming Jiang, Nan Guan |
| 2019 | Mixed Criticality Scheduling of Probabilistic Real-Time Systems. | Jasdeep Singh, Luca Santinelli, Federico Reghenzani, Konstantinos Bletsas, David Doose, Zhishan Guo |
| 2019 | A Formal Modeling and Verification Framework for Flash Translation Layer Algorithms. | Lei Qiao, Shaofeng Li, Hua Yang, Mengfei Yang |
| 2019 | Response Time Analysis of Typed DAG Tasks for G-FP Scheduling. | Xuemei Peng, Meiling Han, Qingxu Deng |
| 2019 | Simplifying the Analysis of Software Design Variants with a Colorful Alloy. | Chong Liu, Nuno Macedo, Alcino Cunha |
| 2019 | A Bounded Model Checking Technique for Higher-Order Programs. | Yu-Yang Lin, Nikos Tzevelekos |
| 2019 | Fault Trees from Data: Efficient Learning with an Evolutionary Algorithm. | Alexis Linard, Doina Bucur, Marille Stoelinga |
| 2018 | Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement. | Teng Zhang, John Wiegley, Theophilos Giannakopoulos, Gregory Eakman, Clment Pit-Claudel, Insup Lee, Oleg Sokolsky |
| 2018 | Intelligent Software Engineering: Synergy Between AI and Software Engineering. | Tao Xie |
| 2018 | Identifying Microservices Using Functional Decomposition. | Shmuel S. Tyszberowicz, Robert Heinrich, Bo Liu, Zhiming Liu |
| 2018 | Developing A New Language to Construct Algebraic Hierarchies for Event-B. | James Snook, Michael J. Butler, Thai Son Hoang |
| 2018 | Improvement in JavaMOP by Simplifying Bchi Automaton. | Junyan Qian, Cong Chen, Wei Cao, Zhongyi Zhai, Lingzhong Zhao |
| 2018 | Towards the Existential Control of Boolean Networks: A Preliminary Report. | Soumya Paul, Jun Pang, Cui Su |
| 2018 | Automatic Support of the Generation and Maintenance of Assurance Cases. | Chung-Ling Lin, Wuwei Shen, Tao Yue, Guangyuan Li |
| 2018 | Probabilistic Analysis of Timing Constraints in Autonomous Automotive Systems Using Simulink Design Verifier. | Eun-Young Kang, Li Huang |
| 2018 | Mixed-Criticality Scheduling with Limited HI-Criticality Behaviors. | Zhishan Guo, Luca Santinelli, Kecheng Yang |
| 2018 | Interleaving-Tree Based Fine-Grained Linearizability Fault Localization. | Yang Chen, Zhenya Zhang, Peng Wu, Yu Zhang |