arrow
BackJournal Details
E

ENGINEERING OF COMPLEX COMPUTER SYSTEMS, ICECCS 2025

IF
Papers26
Citations
Journal Papers 26
Publication Date
LiCoVer: LLM-Powered Automated OSS License Compliance Verification
delete2026-01-01
delete0
PREAI
deleteChang, Shuhao; Li, Xin; Xie, Jigang; Wu, Hao; Wang, Haijun
deleteShare
deleteSave
Contract-Based Verification of Digital Twins
delete2026-01-01
delete0
PREAI
deleteNaeem, Muhammad; Seceleanu, Cristina
deleteShare
deleteSave
RustMap: Towards Project-Scale C-to-Rust Migration via Program Analysis and LLM
delete2026-01-01
delete0
PREAI
deleteCai, Xuemeng; Liu, Jiakun; Huang, Xiping; Yu, Yijun; Wu, Haitao; Li, Chunmiao; Wang, Bo; Yusuf, Imam Nur Bani; Jiang, Lingxiao
deleteShare
deleteSave
TestCaseMig: LLM-Driven Test Case Migration for Evolving Codebases
delete2026-01-01
delete0
PREAI
deleteAxi, Wuhe; Li, Xin; Xie, Jigang; Li, Xitao; Wang, Haijun
deleteShare
deleteSave
Empowering Embodied Agents with Semantic Intelligence
delete2026-01-01
delete0
PREAI
deleteTang, Wenbing; Zhu, Meilin; Wu, Fenghua; Li, Xinfeng; Liu, Yang
deleteShare
deleteSave
Maximizing Long-Term Task Completion Ratio of 3D-UAV-Enabled Wirelessly Powered MEC System
delete2026-01-01
delete0
PREAI
deleteChen, Tixin; Shen, Guanqun; Zhu, Xinnan; Zhu, Shaojun; Zhu, Bincheng; Chi, Kaikai
deleteShare
deleteSave
A Vision for Access Control in LLM Agent Systems
delete2026-01-01
delete0
PREAI
deleteHuang, Dong; Li, Jie; Cai, Hongyi; Li, Xinfeng; Xu, Yijia; Tang, Wenbin; Zhang, Jie; Liu, Yang
deleteShare
deleteSave
Checking Linearizability of Multi-core Task Management and Scheduling System
delete2026-01-01
delete0
PREAI
deleteJia, Qiaowen; Lv, Liangjie; Yang, Yuting; Zhan, Bohua; Wu, Peng; Hao, Jifeng; Ye, Hong; Wang, Chao; Lv, Yi
deleteShare
deleteSave
Random Resampling of Training Data for Effective Verification Strategy Prediction
delete2026-01-01
delete0
PREAI
deleteChimdyalwar, Bharti; Darke, Priyanka; Venkatesh, R.; Chakraborty, Supratik
deleteShare
deleteSave