English
Related papers

Related papers: Foundational Analysis of Safety Engineering Requir…

200 papers

This paper presents the design and validation of a retrieval-based assistant that supports safety assessment, certification activities, and regulatory compliance for unmanned aircraft systems. The work is motivated by the growing complexity…

Computation and Language · Computer Science 2026-03-12 Gabriele Immordino , Andrea Vaiuso , Marcello Righi

Artificial Intelligence is increasingly introduced into systems engineering activities, particularly within requirements engineering, where quality assessment and validation remain heavily dependent on expert judgment. While recent AI tools…

Software Engineering · Computer Science 2026-04-17 Oz Levy , Ilya Dikman , Natan Levy , Michael Winokur

The rapid development of generative AI has brought value- and ethics-related risks to the forefront, making value safety a critical concern while a unified consensus remains lacking. In this work, we propose an internationally inclusive and…

Computers and Society · Computer Science 2026-01-15 Ying He , Baiyang Li , Yule Cao , Huirun Xu , Qiuxian Chen , Shu Chen , Shangsheng Ren

Generative Artificial Intelligence (AI) holds immense potential in medical applications. Numerous studies have explored the efficacy of various generative AI models within healthcare contexts, but there is a lack of a comprehensive and…

Human-Computer Interaction · Computer Science 2023-12-19 Jinghong Chen , Lingxuan Zhu , Weiming Mou , Zaoqu Liu , Quan Cheng , Anqi Lin , Jian Zhang , Peng Luo

Large Language Models have significantly advanced the field of code generation, demonstrating the ability to produce functionally correct code snippets. However, advancements in generative AI for code overlook foundational Software…

Software Engineering · Computer Science 2025-03-20 Mootez Saad , José Antonio Hernández López , Boqi Chen , Neil Ernst , Dániel Varró , Tushar Sharma

Identifying drawbacks or insufficiencies in terms of safety is important also in early development stages of safety critical systems. In industry, development artefacts such as components or units, are often reused from existing artefacts…

Software Engineering · Computer Science 2021-06-03 Kai Hoefig , Marc Zeller , Reiner Heilmann

Evaluating production LLM responses and routing requests across providers in LLM gateways requires fine-grained quality signals and operationally grounded decisions. To address this gap, we present SEAR, a schema-based evaluation and…

Databases · Computer Science 2026-03-31 Zecheng Zhang , Han Zheng , Yue Xu

The recent drive towards achieving greater autonomy and intelligence in robotics has led to high levels of complexity. Autonomous robots increasingly depend on third party off-the-shelf components and complex machine-learning techniques.…

Robotics · Computer Science 2019-04-23 Ankush Desai , Shromona Ghosh , Sanjit A. Seshia , Natarajan Shankar , Ashish Tiwari

Artificial Intelligence (AI) systems are now an integral part of multiple industries. In clinical research, AI supports automated adverse event detection in clinical trials, patient eligibility screening for protocol enrollment, and data…

Artificial Intelligence · Computer Science 2025-12-10 Laxmiraju Kandikatla , Branislav Radeljic

Cybersecurity organizations are adapting to GenAI integration through modified frameworks and hybrid operational processes, with success influenced by existing security maturity, regulatory requirements, and investments in human capital and…

Cryptography and Security · Computer Science 2025-06-17 Christopher Nott

Machine learning algorithms are increasingly influencing our decisions and interacting with us in all parts of our daily lives. Therefore, just like for power plants, highways, and myriad other engineered sociotechnical systems, we must…

Machine Learning · Statistics 2016-01-19 Kush R. Varshney

As software security threats continue to evolve, the demand for innovative ways of securing coding has tremendously grown. The integration of Generative AI (GenAI) into software development holds significant potential for improving secure…

Software Engineering · Computer Science 2025-04-29 Hathal S. Alwageed , Rafiq Ahmad Khan

High-fidelity generative models are increasingly needed in privacy-sensitive scenarios, where access to data is severely restricted due to regulatory and copyright constraints. This scarcity hampers model development--ironically, in…

Computer Vision and Pattern Recognition · Computer Science 2026-04-10 Xuemei Jia , Jiawei Du , Hui Wei , Jun Chen , Joey Tianyi Zhou , Zheng Wang

This paper investigates current software testing systems and explores how artificial intelligence, specifically Generative AI, can be integrated to enhance these systems. It begins by examining different types of AI systems and focuses on…

Software Engineering · Computer Science 2026-03-03 Tanish Singla , Qusay H. Mahmoud

Artificial intelligence (AI) permeates all fields of life, which resulted in new challenges in requirements engineering for artificial intelligence (RE4AI), e.g., the difficulty in specifying and validating requirements for AI or…

Software Engineering · Computer Science 2024-09-12 Umm-e- Habiba , Markus Haug , Justus Bogner , Stefan Wagner

The emergence of Self-Driving Laboratories (SDLs) transforms scientific discovery methodology by integrating AI with robotic automation to create closed-loop experimental systems capable of autonomous hypothesis generation, experimentation,…

Robotics · Computer Science 2026-02-18 Zihan Zhang , Haohui Que , Junhan Chang , Xin Zhang , Hao Wei , Tong Zhu

Industrial cyber-physical systems require complex distributed software to orchestrate many heterogeneous mechatronic components and control multiple physical processes. Industrial automation software is typically developed in a model-driven…

Software Engineering · Computer Science 2021-08-18 Roopak Sinha , Cheng Pang , Gerardo Santillán Martínez , Juha Kuronen , Valeriy Vyatkin

The increasing use of Machine Learning (ML) components embedded in autonomous systems -- so-called Learning-Enabled Systems (LESs) -- has resulted in the pressing need to assure their functional safety. As for traditional functional safety,…

Software Engineering · Computer Science 2023-01-16 Yi Dong , Wei Huang , Vibhav Bharti , Victoria Cox , Alec Banks , Sen Wang , Xingyu Zhao , Sven Schewe , Xiaowei Huang

The rigorous safety verification of control systems in critical applications is essential, given their increasing complexity and integration into everyday life. Simulation-based falsification approaches play a pivotal role in the safety…

Systems and Control · Electrical Eng. & Systems 2024-03-13 Joshua Yancosek , Ali Baheri

Auto Feature Engineering (AFE) plays a crucial role in developing practical machine learning pipelines by automating the transformation of raw data into meaningful features that enhance model performance. By generating features in a…

Machine Learning · Statistics 2024-10-29 Tatsuya Matsukawa , Tomohiro Shiraishi , Shuichi Nishino , Teruyuki Katsuoka , Ichiro Takeuchi
‹ Prev 1 4 5 6 7 8 10 Next ›