| 2020 | Parametric non-interference in timed automata. | tienne Andr, Aleksander Kryukov |
| 2020 | Achieving Weight Coverage for an Autonomous Driving System with Search-based Test Generation. | Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque |
| 2020 | Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles. | Simon Foster, Mario Gleirscher, Radu Calinescu |
| 2019 | Apla Generic Constraint Matching Detection and Verification. | Zhengkang Zuo, Zhihao Liu, Changjing Wang, Zhen You, Qimin Hu |
| 2019 | Efficient Retiming of Unfolded Synchronous Dataflow Graphs. | Xue-Yang Zhu |
| 2019 | Assessing the Relation Between Hazards and Variability in Automotive Systems. | Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa |
| 2019 | Safe Inputs Approximation for Black-Box Systems. | Bai Xue, Yang Liu, Lei Ma, Xiyue Zhang, Meng Sun, Xiaofei Xie |
| 2019 | Adaptive Randomized Scheduling for Concurrency Bug Detection. | Zan Wang, Dongdi Zhang, Shuang Liu, Jun Sun, Yingquan Zhao |
| 2019 | QuickAdapt: Scalable Adaptation for Big Data Cyber Security Analytics. | Faheem Ullah, Muhammad Ali Babar |
| 2019 | Efficient Contention-Aware Scheduling of SDF Graphs on Shared Multi-Bank Memory. | Hai Nam Tran, Alexandre Honorat, Jean-Pierre Talpin, Thierry Gautier, Loc Besnard |
| 2019 | LTL Model Checking of Self Modifying Code. | Tayssir Touili, Xin Ye |
| 2019 | Modelling Hybrid Train Speed Controller using Proof and Refinement. | Paulius Stankaitis, Guillaume Dupont, Neeraj Kumar Singh, Yamine At Ameur, Alexei Iliasov, Alexander B. Romanovsky |
| 2019 | Industry-Oriented Project-Based Learning of Software Engineering. | Maria Spichkova |
| 2019 | A Formal Methods Approach to Security Requirements Specification and Verification. | Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix, Mamoun Filali |
| 2019 | Squeezing State Spaces of (Attack-Defence) Trees. | Laure Petrucci, Michal Knapik, Wojciech Penczek, Teofil Sidoruk |
| 2019 | Automatic Difficulty Management and Testing in Games using a Framework Based on Behavior Trees and Genetic Algorithms. | Ciprian Paduraru, Miruna Paduraru |
| 2019 | Recovering Software Architecture Product Lines. | Mohamed Lamine Kerdoudi, Tewfik Ziadi, Chouki Tibermacine, Salah Sadou |
| 2019 | Toward New Unit-Testing Techniques for Shared-Memory Concurrent Programs. | Sung-Shik Jongmans |
| 2019 | A Formally Verified Buddy Memory Allocation Model. | Ke Jiang, David Sann, Yongwang Zhao, Shuanglong Kan, Yang Liu |
| 2019 | EFLightPM: An Efficient and Lightweight Persistent Memory System. | Kaixin Huang, Yan Yan, Linpeng Huang |
| 2019 | Formal Verification of Dynamic and Stochastic Behaviors for Automotive Systems. | Li Huang, Tian Liang, Eun-Young Kang |
| 2019 | Joint Prediction of Multiple Vulnerability Characteristics Through Multi-Task Learning. | Xi Gong, Zhenchang Xing, Xiaohong Li, Zhiyong Feng, Zhuobing Han |
| 2019 | On the Evolution of Mobile App Complexity. | Jun Gao, Li Li, Tegawend F. Bissyand, Jacques Klein |
| 2019 | MobiDroid: A Performance-Sensitive Malware Detection System on Mobile Platform. | Ruitao Feng, Sen Chen, Xiaofei Xie, Lei Ma, Guozhu Meng, Yang Liu, Shang-Wei Lin |
| 2019 | Bi-Abductive Inference for Shape and Ordering Properties. | Christopher Curry, Quang Loc Le, Shengchao Qin |