| 2025 | BiCoq : Bigraphs Formalisation with Coq. | Ccile Marcon, Cyril Allignol, Clia Picard, Blair Archibald, Michele Sevegnani, Xavier Thirioux |
| 2025 | Formal Modeling and Verification of Low-Level AUTOSAR OS Specifications: Towards Portability and Correctness. | Vignesh Manjunath, Tobias Scheipel, Marcel Baunach |
| 2025 | Neighbor-Based Decentralized Training Strategies for Multi-Agent Reinforcement Learning. | Nicol Malucelli, Davide Domini, Gianluca Aguzzi, Mirko Viroli |
| 2025 | SkiLLMo: Normalized ESCO Skill Extraction through Transformer Models. | Lorenzo Malandri, Fabio Mercorio, Antonio Serino |
| 2025 | Reasoning with Plausibility in Incomplete Argumentation Frameworks. | Jean-Guy Mailly |
| 2025 | Q-Edge: Leveraging Quantum Computing for Enhanced Software Engineering in Vehicular Networks. | Adriano H. O. Maia, Marcus Freire, Thiago Mello, Roberto Rodrigues Filho, Eduardo Santana de Almeida, Cssio V. S. Prazeres, Gustavo Bittencourt Figueiredo, Maycon Leone Maciel Peixoto |
| 2025 | Multicriteria File-Level Placement Policy for HPC Storage. | Hocine Mahni, Stphane Rubini, Sebastien Gougeaud, Philippe Deniel, Jalil Boukhobza |
| 2025 | A News Recommendation Framework Utilizing ChatGPT: Estimating Target Audience and News Categories. | Yoshiyuki Maekawa, Shuichiro Haruta, Yuma Dose, Takahiro Hara |
| 2025 | WMN-CDA: Contrastive Domain Adaptation for Wireless Mesh Network Configuration. | Aitian Ma, Mo Sha |
| 2025 | SimRE: A Requirements Similarity Tool for Software Product Lines. | Mara Isabel Limaylla Lunarejo, Nelly Condori-Fernndez, Miguel Rodrguez Luaces |
| 2025 | MedTiny Code Generation for Enhancing RegLang Smart Contract Reliability. | Xiaokun Luan, Yihao Zhang, Meng Sun |
| 2025 | LogSage: Log Summarization Assistant with Guided Enhancement. | Yang Lu |
| 2025 | Optimizing Compute Core Assignment for Dynamic Batch Inference in AI Inference Accelerator. | Ze-Wei Liou, Ding-Yong Hong |
| 2025 | Stealth Extension Exfiltration (SEE) Attacks: Stealing User Data without Permissions via Browser Extensions. | Chaejin Lim, Beomjin Jin, Hyoungshick Kim |
| 2025 | Leveraging Search-Based and Pre-Trained Code Language Models for Automated Program Repair. | Oebele Lijzenga, Iman Hemati Moghadam, Vadim Zaytsev |
| 2025 | An Adversarial Model with Diffusion for Robust Recommendation against Shilling Attack. | Thi-Hanh Le, Padipat Sitkrongwong, Panagiotis Andriotis, Quang-Thuy Ha, Atsuhiro Takasu |
| 2025 | Transparent Smartphone Memory Expansion. | Gyusun Lee, Jinyong Park, Jae W. Lee, Jinkyu Jeong |
| 2025 | Knowledge Distillation in RNN-Attention Models for Early Prediction of Student Performance. | Sukrit Leelaluk, Cheng Tang, Valdemar Svbensk, Atsushi Shimada |
| 2025 | Hierarchical Contrastive Learning with Multiple Augmentations for Sequential Recommendation. | Dongjun Lee, Donggeun Ko, Jaekwang Kim |
| 2025 | Exploiting Omega Network and Inexact Accumulative Parallel Counter to Enhance Energy Efficiency in Stochastic Computing. | Donghui Lee, Yongtae Kim |
| 2025 | Advancing Chronic Disease Prediction with Your First-Visit: Ensemble and Deep Learning Approaches. | Yaejin Lee, Junyeop Cha, Eunil Park |
| 2025 | Enhancing Interoperability in Controlled Environment Agriculture Systems Using Plant Electrical Signals. | Yeongyu Lee, Hongseok Oh, Moon-Sun Yeom, Myung-Min Oh, Kyungchang Jeong, Jaemin Jeong, Euijong Lee |
| 2025 | Data Distribution and Redistribution - A formal and practical Analysis of the DDS Security Standard. | Timm Lauser, Maximilian Mller, Ingmar Baumgart, Christoph Krau |
| 2025 | Context-driven Edge-based Data Sharing for Industrial IoT Data Spaces. | An Ngoc Lam, Phu Hong Nguyen, Xiang Ma |
| 2025 | My Code Is Less Secure with Gen AI: Surveying Developers' Perceptions of the Impact of Code Generation Tools on Security. | Arina Kudriavtseva, Nisar Ahmad Hotak, Olga Gadyatskaya |