default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th DSA 2025: Taicang, Sharjah, United Arab Emirates
- 12th International Conference on Dependable Systems and Their Applications, DSA 2025, Sharjah, United Arab Emirates, November 24-26, 2025. IEEE 2025, ISBN 978-1-6654-7769-7
- Min Xie:
Challenging Issues in the Dependability of Complex Intelligent Systems. xx - Mohammed Akour:
Preparing Future-Ready Software Engineers for Dependable, AI-Empowered Systems. xxii - Shaoying Liu:
Testing-Based Formal Verification for Software Dependability. xxi - Yu Zhang, Fan Chen:
Event Graph Modeling Based on Difference Detection and Relationship Mining in Dynamic Processes. 1-10 - Hongxiang Li, Yi Zhu, Mei Song, Guosheng Hao:
Fusing Semantic and Collaborative Signals for Multi-Dimensional Intent Course Recommendation. 1-13 - Peng Zhang, Wanjun Yi, Weigang Li, Henan Zhang, Junsheng Wu:
Microservice Call Chain Anomaly Detection and Root Cause Localization Method Based on Graph Neural Networks. 1-12 - Junsheng Wu, Yiwen Chang, Zeyuan Zhang, Weigang Li, Wanjun Yi:
Fault Localization Algorithm Based on Multimodal Contrastive and Causal Learning. 1-6 - Yunwei Dong, Wenxing Zhang, Chuhan Zhang:
Application of Multi-Source Knowledge Graph Construction and Fusion Technology in the Developer Community. 1-10 - Hezhe Lim, Zheng Fu, Mengmeng Yang, Kun Jiang, Diange Yang:
Sa-Trajeval: Socially-Aware Trajectory Evaluation for Multi-Modal Planning. 1-11 - Xiaofei Yue, Zhongxi Lu, Yun Zhang, Lin Zou, Hongji Yang:
Generative AI vs Human Creativity: Comparative Study on Artistic Processes, Aesthetic Depth, and Value Orientation. 1-12 - Koko Harianto, Feng-Jian Wang, Pei-Shu Huang, Zisen Zhou, Hongji Yang:
Incremental Dataflow Anomaly Detection During Deletion Activities. 1-11 - Yuanzi Xue, Yiren Gao, Wei Zheng:
A Feedback-Driven Adaptive Genetic Fuzzing Test Case Optimization Method for FPGA Communication Protocols. 7-16 - Xibing Yang, Xiao Ma, Libin Sun, Kun Yu, Wei Zheng:
A Low-Code-Based General-Purpose Test Software Development Platform. 17-25 - Zhenyang Lv, Junyou Shi:
Design of Testability Design Tool Based on MBSE. 26-33 - Abdelhak-Djamel Seriai, Hamzeh Eyal Salman, Anfel Selmadji, Rahina Oumarou Mahamane:
Microservice Identification Using Multi-Objective Genetic Algorithms. 34-43 - Jiangyun Xu, Jinbo Wang, Yunyun Ma, Chi Zhang, Yu Su:
JMFUZZ: Firmware Fuzzing Using Temporal-Aware Multi-Stream Co-Mutation. 44-54 - Gencer Erdogan, Morgan Gillette, Simeon Tverdal, Ragnhild Halvorsrud:
From Manual to Automated Cyber Risk Assessment: LLM- and RAG-Driven Multi-Agent Threat Modeling with CORAS in Healthcare Case Studies. 55-64 - Chih-Wei Hsu, W. Eric Wong, Zizhao Chen, George Dai:
AI-Based Unit Test Framework for C Code With Large Language Models. 65-73 - Liang Yan, Jingwei Shang:
Software Reliability Testing Profile Generation for Industrial Robot Based on Large Language Model. 74-83 - Tian Pan, Pan Liu, Yihao Li:
Review of Large Language Model-Based Software Fault Localization Techniques. 84-92 - Baolin Yan, Xiaotian Ai, Yuxi Ma, Lingzhong Meng, Guang Yang:
Security Threats in the Inference Phase of Large Language Models. 93-102 - Tian Pan, Mengzhen Tian, Xiao Zhao, Pan Liu, Yihao Li:
Lights, Camera, Adversarial Action! a Study of Role-Playing Prompt Effects on LLM Attack Susceptibility. 103-110 - Xiaohui Chang, Dongcheng Li, W. Eric Wong:
Large Language Models for Software Fault Localization: a Survey. 111-120 - Hyunsoo Lee
, Geunseok Yang:
AgentRepair: Multi-Agent, AST-Anchored, Retrieval-Augmented Program Repair for Cold-Start Environments. 121-132 - Jiawei Ding, Xiaohong Bao:
An Analysis Methodology for Implicit Interfaces in Safety-Critical Embedded Software: Theory and Application. 144-155 - Zhihan Xiong, Sa Meng, Shen Yao, Liang Luo:
Fault Tolerant and Intelligent Reliability Assurance in Cloud-Edge Systems. 156-162 - Yijin Wu, Bingrui Guo, Shan He, W. Eric Wong, Donghui Guo:
Reliability-Driven Scheduling in Distributed Artificial Intelligence: A Multi-Objective Deep Reinforcement Learning Framework for Aiot Applications. 163-174 - Alvi Jawad, Jason Jaskolka:
Enhancing Risk Assessment Through Contextualized Application of Systematic Impact Analysis. 175-186 - Lorenz Klampfl, Alexander Perko, Franz Wotawa:
On the Challenges of Monitoring Robust Systems. 187-194 - Chia-En Hsiang, Chin-Yu Huang, Chih-Chiang Fang:
An Empirical Study on Quantifying and Evaluating Coupling in Open Source Software. 195-206 - Dong-Meau Chang, Ye Mei, Junjie Yang:
Dynamic EEG Patterns Reflecting User Engagement and Adaptation During Human-AI Interaction. 219-226 - Yunji Ge, Yi Zhu, Mei Song, Guosheng Hao:
KICR: A Two-Stage Framework for Knowledge-Aware Collaborative Representation Learning in LLM-Based Course Recommendation. 227-239 - Devanka Pathak, Ron Herrema, Naomi Heffer, Hongji Yang:
A Framework for Brain-Based Digital Twins in Sport Motor Imagery. 240-248 - Jianfu Liang, Jun Ai, Wenliang Wei, Yutao Zhang:
Confidence Correction of Object Detection Based on Heatmap. 262-268 - Li Mai, Chen Dai, Rui Dai, Heyi Liu, Yeming Ding:
Semantic-Enhanced Image Object Detection in Unmanned Aerial Vehicle Imagery. 269-275 - Chih-Yun Chiang, Tsai-Hsuan Lin, Tse-Chuan Hsu:
Performance Comparison of YOLOv10, YOLOv11, and YOLOv12 Under Diverse Weather and Visibility Conditions. 276-283 - Ledio Jahaj, Franz Wotawa:
Evaluating the Robustness of Object Detectors Via Delta Debugging, Quickxplain, and A Combinatorial Hybrid. 284-294 - Li Mai, Chen Dai, Hongji Ma, Xin Lin, Shiwei Guo:
Challenges, Progress, and Future Directions of Visual Tracking in UAVs. 295-303 - Xiaoqi Xiao, Jianguo Zhang, Dan Xu:
A Single-Domain Generalization Method for RUL Prediction via Gradient-Guided Feature Disentanglement. 304-310 - Wenjing Zhong, Xiaohu Tu, Wei Xiong, Xinying Wang:
A Survey of Cooperative Decision-Making in Autonomous Vehicle Platooning Based on Multi-Agent Reinforcement Learning. 311-320 - Wenhui Su, Yijuan Chen:
Data to Insight: Practice and Evaluation of Runqian Reports in Library Analytics. 331-336 - Jinhua Wang, Hanghai Shi:
Empirical Study on the Development Level of Public Libraries Based on Factor Analysis and Cluster Analysis Also Discussing Regional Differences and Service Optimization Paths. 337-344 - Shiqi Tang, Minggui Song, Zhang Hu, Lingzhi Zhu:
A Novel Cross Project Defect Prediction Method Based on Data Filter. 345-353 - Ye Liang, Hongyu Sheng, Chenxi Cao:
An Evaluation Framework for Lane Detection Performance Based on Quantitative Features. 354-361 - Jiacheng Guo, Nan Ma, Qin Xia, Yiheng Han, Tingting Su:
IHPIHR: Intra-Scale Hypergraph Propagation and Inter-Scale Hypergraph Regression Network for Cross-Modal 3D Object Detection. 362-370 - Tong Wu, Yang Xu, Yajue Yang, Nan Ma, Jin Huang:
A Collision-Induced Evaluation Framework for End-to-End Autonomous Driving Model. 382-393 - Feiyang Xu, Xinjie Zhang, Xulong Jin, Tiegang Hu, Sheng Lu:
Multi-Source Information Fusion for Recognition of Typical Paved-Road Features. 394-405 - Jiabao Tan, Mengxiao Zhang, Xinjie Zhang, Hongkun Zhang, Chuck Kuok:
Hierarchical Trafficability Based Path Planning for Off-Road Vehicles. 406-417 - Yixuan Li, Zihan Wang, Yingkai Yuan, Yuhang Guan, Zhiqi Zhang:
Deep Learning Methods for Thyroid Imaging Segmentation: a Systematic Review. 418-426 - Tiantian Zeng, Shaozhi Wu, Sun Chen, Yufeng Zhao, Xingang Liu:
MM-MRN: Multi-Representation Fusion Network for Modulation Recognition. 427-434 - Yixuan Li, Yingkai Yuan, Zihan Wang, Yameng Feng, Chongguang Wu:
Individualized NIPT Timing via Regression and Dynamic Programming. 435-442 - Fan Chen, Yu Zhang, Botao Zhou, Boyang Zhang, Yi Hong:
Research on Path Planning and Simulation for Uav-Carrier Ship Collaboration Based on Deep Reinforcement Learning. 443-449 - Jing Zhou, Shanbin Zhang, Hao Long:
Research on Route Planning Method for Maritime Intelligent Platforms Based on Improved DQN. 460-467 - Kecheng Li, Siqi Gu, Zhaojun Zhu, Shan Zhou, Zhenyu Chen:
An Improved Greylag Goose Optimization Algorithm for Heterogeneous Cloud Computing Task Scheduling. 468-479 - Koki Matsui, Tatsuhiro Tsuchiya:
Selecting Nodes to Protect in Interdependent Networks using Shapley Value Analysis. 480-490 - Kai Lu, Yibo Wang, Song Zhang, Dan Zhong, Yawei Zheng:
Design of an Intelligent Curing System for Concrete in Transmission Line Engineering. 503-510 - Xuetong Ku, Weihan Hu, Zhixiong Chen, Chunping Hu, Zhaojing Wang:
Research on Vibration Analysis of Jet Aircraft and Synthesis Method of Vibration Environment Spectrum. 511-517 - Miaojun Li, Dezhuang Huang, Luqing Chen, Yifan Wu:
Materials for Rigid Wing Sails: Requirements, Architectures, and a Standardized Testing Matrix. 518-528 - Darshana Yadav, Nil Kamal Hazra, Maxim Finkelstein:
Reliability Analysis of Systems With Two-Way Dependency Between Components. 529-530 - Sa Meng, Liang Luo, Xiwei Qiu:
Research on Training and Deployment Approaches for Large Language Models Enabled by Cloud-Edge Collaboration. 531-532 - Ridwan A. Sanusi, Usman Adedeji Adeniran, Nurudeen Adedayo Adegoke, Jimoh Olawale Ajadi:
Optimized Nonlinear Random Projection for High-Dimensional Data Representation. 533-534 - Liang Luo, Sa Meng, Xiwei Qiu:
Research on the Reliability of Cloud Edge Collaboration System for AI Applications. 535-536 - Jiehan Zhou, Hanwei Zhang, Tongtong Feng, Xiuze Xia:
Dependable Embodied Intelligence: Toward Trustworthy Integration of Large Language Models and World Models. 537-539
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-04-30 23:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
