English
Related papers

Related papers: Foundational Analysis of Safety Engineering Requir…

200 papers

Automated feature engineering (AFE) enables AI systems to autonomously construct high-utility representations from raw tabular data. However, existing AFE methods rely on statistical heuristics, yielding brittle features that fail under…

Artificial Intelligence · Computer Science 2026-02-19 Arun Vignesh Malarkkan , Wangyang Ying , Yanjie Fu

Context. Developing secure and reliable software remains a key challenge in software engineering (SE). The ever-evolving technological landscape offers both opportunities and threats, creating a dynamic space where chaos and order compete.…

Software Engineering · Computer Science 2025-01-10 Matteo Esposito

The utility of tabular data for tasks ranging from model training to large-scale data analysis is often constrained by privacy concerns or regulatory hurdles. While existing data generation methods, particularly those based on Generative…

Machine Learning · Computer Science 2025-10-29 Tu Anh Hoang Nguyen , Dang Nguyen , Tri-Nhan Vo , Thuc Duy Le , Sunil Gupta

In the international standard for system and software engineering ISO/IEC/IEEE 15288: 2015, the output of the stakeholder needs and the business or mission analysis technical processes are transformed into a technical view of the system by…

Software Engineering · Computer Science 2023-02-14 Siyuan Ji , Charles E. Dickerson , Michael Wilkinson

[Background] The rapidly changing business environments in which many companies operate is challenging traditional Requirements Engineering (RE) approaches. This gave rise to agile approaches for RE. Security, at the same time, is an…

Software Engineering · Computer Science 2018-06-06 H. Villamizar , M. Kalinowski , M. Viana , D. Méndez Fernández

Evaluating the safety of AI Systems is a pressing concern for organizations deploying them. In addition to the societal damage done by the lack of fairness of those systems, deployers are concerned about the legal repercussions and the…

The verification and validation of automated driving systems at SAE levels 4 and 5 is a multi-faceted challenge for which classical statistical considerations become infeasible. For this, contemporary approaches suggest a decomposition into…

Artificial Intelligence · Computer Science 2022-10-28 Tjark Koopmann , Christian Neurohr , Lina Putze , Lukas Westhofen , Roman Gansch , Ahmad Adee

In high-stakes domains like legal question-answering, the accuracy and trustworthiness of generative AI systems are of paramount importance. This work presents a comprehensive benchmark of various methods to assess the groundedness of…

Computation and Language · Computer Science 2024-10-14 Dietrich Trautmann , Natalia Ostapuk , Quentin Grail , Adrian Alan Pol , Guglielmo Bonifazi , Shang Gao , Martin Gajek

The advancement of automated vehicles introduces complex safety challenges, particularly in dynamic and unpredictable environments where AI-enabled perception systems must operate reliably. Ensuring compliance with safety standards such as…

[Context] Artificial intelligence (AI) components used in building software solutions have substantially increased in recent years. However, many of these solutions focus on technical aspects and ignore critical human-centered aspects.…

Software Engineering · Computer Science 2023-05-22 Khlood Ahmad , Mohamed Abdelrazek , Chetan Arora , Arbind Agrahari Baniya , Muneera Bano , John Grundy

Multi-Sensor Fusion (MSF) based perception systems have been the foundation in supporting many industrial applications and domains, such as self-driving cars, robotic arms, and unmanned aerial vehicles. Over the past few years, the fast…

Software Engineering · Computer Science 2023-08-30 Xinyu Gao , Zhijie Wang , Yang Feng , Lei Ma , Zhenyu Chen , Baowen Xu

Systems analysis students increasingly use Generative AI, yet current pedagogy lacks systematic approaches for teaching responsible AI orchestration that fosters critical thinking whilst meeting educational outcomes. Students risk accepting…

Human-Computer Interaction · Computer Science 2025-11-25 Mahmoud Elkhodr , Ergun Gide

Risk thresholds provide a measure of the level of risk exposure that a society or individual is willing to withstand, ultimately shaping how we determine the safety of technological systems. Against the backdrop of the Cold War, the first…

Computers and Society · Computer Science 2025-04-22 Heidy Khlaaf , Sarah Myers West

Training vision models to detect workplace hazards accurately requires realistic images of unsafe conditions that could lead to accidents. However, acquiring such datasets is difficult because capturing accident-triggering scenarios as they…

Artificial Intelligence · Computer Science 2025-11-19 Sanjay Acharjee , Abir Khan Ratul , Diego Patino , Md Nazmus Sakib

The rapid progression of generative AI (GenAI) technologies has heightened concerns regarding the misuse of AI-generated imagery. To address this issue, robust detection methods have emerged as particularly compelling, especially in…

Graphics · Computer Science 2025-04-07 Hongfei Cai , Chi Liu , Sheng Shen , Youyang Qu , Peng Gui

Recommender systems in multi-behavior domains, such as advertising and e-commerce, aim to guide users toward high-value but inherently sparse conversions. Leveraging auxiliary behaviors (e.g., clicks, likes, shares) is therefore essential.…

Information Retrieval · Computer Science 2025-11-06 Zhefan Wang , Guokai Yan , Jinbei Yu , Siyu Gu , Jingyan Chen , Peng Jiang , Zhiqiang Guo , Min Zhang

Verification and validation of autonomous driving (AD) systems and components is of increasing importance, as such technology increases in real-world prevalence. Safety-critical scenario generation is a key approach to robustify AD policies…

Robotics · Computer Science 2025-07-15 Benjamin Stoler , Ingrid Navarro , Jonathan Francis , Jean Oh

While Retrieval-Augmented Generation (RAG) mitigates hallucination and knowledge staleness in Large Language Models (LLMs), existing frameworks often falter on complex, multi-hop queries that require synthesizing information from disparate…

Computation and Language · Computer Science 2025-10-28 Mohammad Aghajani Asl , Majid Asgari-Bidhendi , Behrooz Minaei-Bidgoli

Generative artificial intelligence (AI) is rapidly transforming medical imaging by enabling capabilities such as data synthesis, image enhancement, modality translation, and spatiotemporal modeling. This review presents a comprehensive and…

Image and Video Processing · Electrical Eng. & Systems 2025-08-14 Xuanru Zhou , Cheng Li , Shuqiang Wang , Ye Li , Tao Tan , Hairong Zheng , Shanshan Wang

Industrial recommender systems have been growing increasingly complex, may involve \emph{diverse domains} such as e-commerce products and user-generated contents, and can comprise \emph{a myriad of tasks} such as retrieval, ranking,…

Information Retrieval · Computer Science 2022-05-20 Zeyu Cui , Jianxin Ma , Chang Zhou , Jingren Zhou , Hongxia Yang