English
Related papers

Related papers: How to Certify Machine Learning Based Safety-criti…

200 papers

Although an ever-growing number of applications employ deep learning based systems for prediction, decision-making, or state estimation, almost no certification processes have been established that would allow such systems to be deployed in…

Machine Learning · Computer Science 2024-03-25 Romeo Valentin

Context: Neural Network (NN) algorithms have been successfully adopted in a number of Safety-Critical Cyber-Physical Systems (SCCPSs). Testing and Verification (T&V) of NN-based control software in safety-critical domains are gaining…

Machine Learning · Computer Science 2020-03-23 Jin Zhang , Jingyue Li

Machine learning (ML) teams often work on a project just to realize the performance of the model is not good enough. Indeed, the success of ML-enabled systems involves aligning data with business problems, translating them into ML tasks,…

Software Engineering · Computer Science 2022-06-22 Hugo Villamizar , Marcos Kalinowski , Helio Lopes

Context: Machine Learning (ML) has become widely adopted as a component in many modern software applications. Due to the large volumes of data available, organizations want to increasingly leverage their data to extract meaningful insights…

Software Engineering · Computer Science 2023-11-02 Hira Naveed , Chetan Arora , Hourieh Khalajzadeh , John Grundy , Omar Haggag

Cloud Computing (CC) is revolutionizing the way IT resources are delivered to users, allowing them to access and manage their systems with increased cost-effectiveness and simplified infrastructure. However, with the growth of CC comes a…

Cryptography and Security · Computer Science 2024-10-28 Aptin Babaei , Parham M. Kebria , Mohsen Moradi Dalvand , Saeid Nahavandi

Artificial Intelligence (AI) or Machine Learning (ML) systems have been widely adopted as value propositions by companies in all industries in order to create or extend the services and products they offer. However, developing AI/ML systems…

Software Engineering · Computer Science 2020-11-10 Elizamary Nascimento , Anh Nguyen-Duc , Ingrid Sundbø , Tayana Conte

In recent years, the number of machine learning (ML) technologies gaining regulatory approval for healthcare has increased significantly allowing them to be placed on the market. However, the regulatory frameworks applied to them were…

Machine Learning · Computer Science 2022-09-02 Shakir Laher , Carla Brackstone , Sara Reis , An Nguyen , Sean White , Ibrahim Habli

Software engineering (SE) is a dynamic field that involves multiple phases all of which are necessary to develop sustainable software systems. Machine learning (ML), a branch of artificial intelligence (AI), has drawn a lot of attention in…

Software Engineering · Computer Science 2024-06-21 Nyaga Fred , I. O. Temkin

[Context] Machine learning (ML)-enabled systems are present in our society, driving significant digital transformations. The dynamic nature of ML development, characterized by experimental cycles and rapid changes in data, poses challenges…

Software Engineering · Computer Science 2025-06-27 Lucas Romao , Hugo Villamizar , Romeu Oliveira , Silvio Alonso , Marcos Kalinowski

Context: Machine Learning (ML) is integrated into a growing number of systems for various applications. Because the performance of an ML model is highly dependent on the quality of the data it has been trained on, there is a growing…

Machine Learning · Computer Science 2024-06-03 Pierre-Olivier Côté , Amin Nikanjam , Nafisa Ahmed , Dmytro Humeniuk , Foutse Khomh

The increasing adoption of Large Language Models (LLMs) in software engineering has sparked interest in their use for software vulnerability detection. However, the rapid development of this field has resulted in a fragmented research…

Software Engineering · Computer Science 2025-12-22 Sabrina Kaniewski , Fabian Schmidt , Markus Enzweiler , Michael Menth , Tobias Heer

Context: Systematic literature reviews (SLRs) have become standard practise as part of software engineering research, although their quality varies. To build on the reviews, both for future research and industry practice, they need to be of…

Software Engineering · Computer Science 2024-10-08 Muhammad Usman , Nauman bin Ali , Claes Wohlin

Machine learning has made remarkable advancements, but confidently utilising learning-enabled components in safety-critical domains still poses challenges. Among the challenges, it is known that a rigorous, yet practical, way of achieving…

Machine Learning · Computer Science 2024-09-21 Saddek Bensalem , Chih-Hong Cheng , Wei Huang , Xiaowei Huang , Changshun Wu , Xingyu Zhao

Extensive research on formal verification of machine learning (ML) systems indicates that learning from data alone often fails to capture underlying background knowledge. A variety of verifiers have been developed to ensure that a…

Logic in Computer Science · Computer Science 2023-11-17 Thomas Flinkow , Barak A. Pearlmutter , Rosemary Monahan

Large Language Models (LLMs) are rapidly becoming ubiquitous both as stand-alone tools and as components of current and future software systems. To enable usage of LLMs in the high-stake or safety-critical systems of 2030, they need to…

Software Engineering · Computer Science 2024-06-13 Sinclair Hudson , Sophia Jit , Boyue Caroline Hu , Marsha Chechik

Systematic Literature Reviews (SLRs) play an important role in the Evidence-Based Software Engineering scenario. With the advance of the computer science field and the growth of research publications, new evidence continuously arises. This…

Software Engineering · Computer Science 2021-08-31 Bianca Minetto Napoleão , Fabio Petrillo , Sylvain Hallé

Autonomous vehicles rely on machine learning to solve challenging tasks in perception and motion planning. However, automotive software safety standards have not fully evolved to address the challenges of machine learning safety such as…

Machine Learning · Computer Science 2019-12-23 Sina Mohseni , Mandar Pitale , Vasu Singh , Zhangyang Wang

In this discussion paper, we survey recent research surrounding robustness of machine learning models. As learning algorithms become increasingly more popular in data-driven control systems, their robustness to data uncertainty must be…

Machine Learning · Computer Science 2022-09-28 Brendon G. Anderson , Tanmay Gautam , Somayeh Sojoudi

The application of machine learning (ML) in computer systems introduces not only many benefits but also risks to society. In this paper, we develop the concept of ML governance to balance such benefits and risks, with the aim of achieving…

Cryptography and Security · Computer Science 2021-09-23 Varun Chandrasekaran , Hengrui Jia , Anvith Thudi , Adelin Travers , Mohammad Yaghini , Nicolas Papernot

Engineering successful machine learning (ML)-enabled systems poses various challenges from both a theoretical and a practical side. Among those challenges are how to effectively address unrealistic expectations of ML capabilities from…

Software Engineering · Computer Science 2023-09-18 Hugo Villamizar , Marcos Kalinowski , Helio Lopes , Daniel Mendez
‹ Prev 1 3 4 5 6 7 10 Next ›