| 2024 | Confidentiality Management in Complex Systems Design. | Michel Bourdells, Jamal El Hachem, Salah Sadou |
| 2024 | SC-WGAN: GAN-Based Oversampling Method for Network Intrusion Detection. | Wuxia Bai, Kailong Wang, Kai Chen, Shenghui Li, Bingqian Li, Ning Zhang |
| 2024 | Modeling and Verification of Solidity Smart Contracts with the B Method. | Fayal Baba, Amel Mammar, Marc Frappier, Rgine Laleau |
| 2024 | Towards Efficiently Parallelizing Patch-Space Exploration in Automated Program Repair. | Omar I. Al-Bataineh |
| 2023 | Automated Compositional Verification for Robotic State Machines using Isabelle/HOL. | Fang Yan, Simon Foster, Ibrahim Habli |
| 2023 | An Experience Report on the Optimization of the Product Configuration System of Renault | Hao Xu, Souheib Baarir, Tewfik Ziadi, Siham Essodaigui, Yves Bossu, Lom-Messan Hillah |
| 2023 | Ont4Sys: Ontology-based tool of Semantic Representation and Verification for Traceability Models. | Qian Wang, Jing Liu, John Zhang, Hui Dou, Haiying Sun, HongTao Chen, Xiaohong Chen, Jifeng He |
| 2023 | Detecting Security Vulnerabilities in Human-Machine Pair Programming with Pointer Analysis. | Pingyan Wang, Shaoying Liu |
| 2023 | Stability-aware Exploration of Design Space of Autonomous Robots for Goods Delivery. | Mauricio Byrd Victorica, Paolo Arcaini, Fuyuki Ishikawa, Hirokazu Kawamoto, Kaoru Sawai, Eiichi Muramoto |
| 2023 | Validating communication of a dynamic traffic management system. | J. J. Verbakel, Wan J. Fokkink, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda |
| 2023 | Specification and Verification of Communication Paradigms for CBSE in Event B. | Loc Thierry, Jason Jaskolka, Brahim Hamid, Jean-Paul Bodeveix |
| 2023 | Reliability Analysis of Architectural Safeguards for AI-enabled Systems. | Max Scheerer, Ralf Reussner |
| 2023 | How to select samples for active learning? Document clustering with active learning methodology. | Norbert Ropiak, Mateusz Gniewkowski, Michal Swedrowski, Michal Pogoda, Karol Gawron, Bartlomiej Bojanowski, Tomasz Walkowiak |
| 2023 | Quantitative Explainable AI For Face Recognition. | Shu Peng, Naipeng Dong, Guangdong Bai |
| 2023 | Concolic execution for RPA testing. | Ciprian Paduraru, Marina Cernat, Adelina-Nicoleta Staicu |
| 2023 | Model Checking of Intersection Traffic Control Protocols. | Yuya Noguchi, Tatsuhiro Tsuchiya |
| 2023 | Supervised Robustness-preserving Data-free Neural Network Pruning. | Mark Huasong Meng, Guangdong Bai, Sin G. Teo, Jin Song Dong |
| 2023 | Disproving XAI Myths with Formal Methods - Initial Results. | Joo Marques-Silva |
| 2023 | A Mathematical Model for Analyzing Honeynets and Their Cyber Deception Techniques. | Amir Javadpour, Forough Ja'fari, Tarik Taleb, Chafika Benzad |
| 2023 | Polyglot AST: Towards Enabling Polyglot Code Analysis. | Philmon Houdaille, Djamel Eddine Khelladi, Romain Briend, Robbert Jongeling, Benot Combemale |
| 2023 | AutoMTLSpec: Learning to Generate MTL Specifications from Natural Language Contracts. | Ning Ge, Jinwen Yang, Tianyu Yu, Wei Liu |
| 2023 | Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL. | Simon Foster, Burkhart Wolff |
| 2023 | Sports Analytics Using Probabilistic Model Checking and Deep Learning. | Jin Song Dong, Kan Jiang, Zhaoyu Liu, Chen Dong, Zhe Hou, Rajdeep Singh Hundal, Jingyu Guo, Yun Lin |
| 2023 | Utilizing Risk Number and Program Slicing to Improve Human-Machine Pair Inspection. | Yujun Dai, Shaoying Liu, Guangquan Xu, Ai Liu |
| 2023 | Challenges in testing of cyclic systems. | Ana Cavalcanti, Robert M. Hierons |