| 2025 | Engineering of Complex Computer Systems - 28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19-21, 2024, Proceedings Guangdong Bai, Fuyuki Ishikawa, Yamine Aït-Ameur, George A. Papadopoulos |
| 2024 | A Event-B-Based Approach for Schedulability Analysis For Real-Time Scheduling Algorithms through Deadlock Detection. Jiale Quan, Qin Li |
| 2024 | AccMILP: An Approach for Accelerating Neural Network Verification Based on Neuron Importance. Fei Zheng, Qingguo Xu, Zhou Lei, Huaikou Miao |
| 2024 | An Efficient Distributed Dispatching Vehicles Protocol for Intersection Traffic Control. Fang Qi, Rui Wang, Yong Guan, Xiaoyu Song |
| 2024 | An Iterative Formal Model-Driven Approach to Railway Systems Validation. Asfand Yar, Akram Idani, Yves Ledru, Simon Collart Dutilleul, Amel Mammar, Germán Vega |
| 2024 | Analyzing Excessive Permission Requests in Google Workspace Add-Ons. Liuhuo Wan, Chuan Yan, Mark Huasong Meng, Kailong Wang, Haoyu Wang |
| 2024 | AutoWeb: Automatically Inferring Web Framework Semantics via Configuration Mutation. Haining Meng, Haofeng Li, Jie Lu, Chenghang Shi, Liqing Cao, Lian Li, Lin Gao |
| 2024 | Automated Parameter Determination for Enhancing the Product Configuration System of Renault: An Experience Report. Hao Xu, Souheib Baarir, Tewfik Ziadi, Siham Essodaigui, Yves Bossu |
| 2024 | Confidentiality Management in Complex Systems Design. Michel Bourdellès, Jamal El Hachem, Salah Sadou |
| 2024 | DashChef: A Metric Recommendation Service for Online Systems Using Graph Learning. Zilong He, Tao Huang, Pengfei Chen, Ruipeng Li, Rui Wang, Zibin Zheng |
| 2024 | Formal Verification Techniques for Post-quantum Cryptography: A Systematic Review. Yuexi Xu, Zhenyuan Li, Naipeng Dong, Veronika Kuchta, Zhe Hou, Dongxi Liu |
| 2024 | Less is More: An Empirical Study of Undersampling Techniques for Technical Debt Prediction. Gichan Lee, Scott Uk-Jin Lee |
| 2024 | Modeling and Verification of Solidity Smart Contracts with the B Method. Fayçal Baba, Amel Mammar, Marc Frappier, Régine Laleau |
| 2024 | Optimal Solution Guided Branching Strategy for Neural Network Branch and Bound Verification. Xiaoyong Xue, Meng Sun |
| 2024 | QuanSafe: A DTBN-Based Framework of Quantitative Safety Analysis for AADL Models. Yiwei Zhu, Jing Liu, Haiying Sun, Wei Yin, Jiexiang Kang |
| 2024 | Reachability Analysis of Concurrent Self-modifying Code. Walid Messahel, Tayssir Touili |
| 2024 | SC-WGAN: GAN-Based Oversampling Method for Network Intrusion Detection. Wuxia Bai, Kailong Wang, Kai Chen, Shenghui Li, Bingqian Li, Ning Zhang |
| 2024 | SafePtrX: Research on Mitigation of Heap-Based Memory Safety Violations for Intel x86-64. LiLie Chen, Junyu Wu, Yuan Liu |
| 2024 | Template-Based Smart Contract Verification: A Case Study on Maritime Transportation Domain. Xufeng Zhao, Qiuyang Wei, Xue-Yang Zhu, Wenhui Zhang |
| 2024 | Test Architecture Generation by Leveraging BERT and Control and Data Flows. Guangyu Wang, Ji Wu, Haiyan Yang, Qing Sun, Tao Yue |
| 2024 | Towards Efficiently Parallelizing Patch-Space Exploration in Automated Program Repair. Omar I. Al-Bataineh |
| 2024 | Validation of RailML Using ProB. Jan Gruteser, Michael Leuschel |
| 2024 | Word2Vec-BERT-bmu:Classification of RISC-V Architecture Software Package Build Failures. Shitian Ma, Hui Li, Jiaxin Zhu, Xiaohui He, Shuyang Zhang, Junfeng Zeng |