English
Related papers

Related papers: OntoGSN: An Ontology-Based Framework for Semantic …

200 papers

Developing industry-wide standards and ensuring producers of mission-critical systems comply with them is crucial to fostering consumer acceptance. Producers of such systems can rely on assurance cases to demonstrate to regulatory…

Software Engineering · Computer Science 2025-04-15 Oluwafemi Odu , Daniel Méndez Beltran , Emiliano Berrones Gutiérrez , Alvine B. Belle , Gerhard Yu , Melika Sherafat

Assurance Cases (ACs) are an established approach in safety engineering to argue quality claims in a structured way. In the context of quality assurance for Machine Learning (ML)-based software components, ACs are also being discussed and…

The advancement of autonomous robotic systems has led to impressive capabilities in perception, localization, mapping, and control. Yet, a fundamental gap remains: existing frameworks excel at geometric reasoning and dynamic stability but…

Robotics · Computer Science 2025-09-09 Jaehong Oh

Despite the impressive adaptability of large language models (LLMs), challenges remain in ensuring their security, transparency, and interpretability. Given their susceptibility to adversarial attacks, LLMs need to be defended with an…

Artificial Intelligence · Computer Science 2024-10-11 Tomas Bueno Momcilovic , Beat Buesser , Giulio Zizzo , Mark Purcell , Dian Balta

Environmental, Social, and Governance (ESG) metric knowledge is inherently structured, connecting industries, reporting frameworks, metric categories, metrics, and calculation models through compositional dependencies, yet in practice this…

Artificial Intelligence · Computer Science 2026-01-27 Mingqin Yu , Fethi Rabhi , Boming Xia , Zhengyi Yang , Felix Tan , Qinghua Lu

Computing becomes increasingly mobile and pervasive today; these changes imply that applications and services must be aware of and adapt to their changing contexts in highly dynamic environments. Today, building context-aware systems is a…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-03-12 Tao Gu , Xiao Hang Wang , Hung Keng Pung , Da Qing Zhang

Assurance arguments provide a clear and structured way to explain why stakeholders should trust that a system satisfies certain properties, yet widely used notations, e.g.Goal Structuring Notation (GSN), typically lack an operational…

Artificial Intelligence · Computer Science 2026-05-22 Benjamin Herd , Jessica Kelly , Jan Sabsch , Lydia Gauerhof

The growing importance of environmental, social, and governance data in regulatory and investment contexts has increased the need for accurate, interpretable, and internationally aligned representations of non-financial risks, particularly…

Computation and Language · Computer Science 2025-09-16 Tsuyoshi Iwata , Guillaume Comte , Melissa Flores , Ryoma Kondo , Ryohei Hisano

The engineering design process follows a series of standardized stages of development, which have many aspects in common with software engineering. Among these stages, the principle solution can be regarded as an analogue of the design…

Software Engineering · Computer Science 2013-12-13 Thilo Breitsprecher , Mihai Codescu , Constantin Jucovschi , Michael Kohlhase , Lutz Schröder , Sandro Wartzack

Assurance cases are used to communicate and assess confidence in critical system properties such as safety and security. Historically, assurance cases have been manually created documents, which are evaluated by system stakeholders through…

Software Engineering · Computer Science 2024-06-11 Ran Wei , Simon Foster , Haitao Mei , Fang Yan , Ruizhe Yang , Ibrahim Habli , Colin O'Halloran , Nick Tudor , Tim Kelly , Yakoub Nemouchi

Aspect-based sentiment analysis (ABSA) aims to identify aspect terms and determine their sentiment polarity. While dependency trees combined with contextual semantics provide structural cues, existing approaches often rely on dot-product…

Computation and Language · Computer Science 2026-03-10 Xinfeng Liao , Xuanqi Chen , Lianxi Wang , Jiahuan Yang , Zhuowei Chen , Ziying Rong

An assurance case is a structured argument document that justifies claims about a system's requirements or properties, which are supported by evidence. In regulated domains, these are crucial for meeting compliance and safety requirements…

Software Engineering · Computer Science 2026-05-01 Fariz Ikhwantri , Dusica Marijan

Extracting relevant and structured knowledge from large, complex technical documents within the Reliability and Maintainability (RAM) domain is labor-intensive and prone to errors. Our work addresses this challenge by presenting OntoKGen, a…

Artificial Intelligence · Computer Science 2024-12-11 Mohammad Sadeq Abolhasani , Rong Pan

Assurance cases offer a structured way to present arguments and evidence for certification of systems where safety and security are critical. However, creating and evaluating these assurance cases can be complex and challenging, even for…

Use case specifications have successfully been used for requirements description. They allow joining, in the same modeling space, the expectations of the stakeholders as well as the needs of the software engineer and analyst involved in the…

Software Engineering · Computer Science 2014-04-04 Rui Couto , António Nestor Ribeiro , José Creissac Campos

The study proposes a framework of ONTOlogy-based Group Decision Support System (ONTOGDSS) for decision process which exhibits the complex structure of decision-problem and decision-group. It is capable of reducing the complexity of problem…

Artificial Intelligence · Computer Science 2011-07-18 Junyi Chai , James N. K. Liu

Safety Case has become an integral component for safety-certification in various Cyber Physical System domains including automotive, aviation, medical devices, and military. The certification processes for these systems are stringent and…

Robotics · Computer Science 2020-03-12 Shreyas Ramakrishna , Charles Hartsell , Abhishek Dubey , Partha Pal , Gabor Karsai

System engineering has been shifting from document-centric to model-based approaches, where assets are becoming more and more digital. Although digitisation conveys several benefits, it also brings several concerns (e.g., storage and…

Software Engineering · Computer Science 2025-12-11 Arkadiusz Ryś , Lucas Lima , Joeri Exelmans , Dennis Janssens , Hans Vangheluwe

Situation awareness is a crucial cognitive skill that enables individuals to perceive, comprehend, and project the current state of their environment accurately. It involves being conscious of relevant information, understanding its…

Information Retrieval · Computer Science 2023-07-26 Sumit Sharma , Sarika Jain

Vehicles in public traffic that are equipped with Automated Driving Systems are subject to a number of expectations: Among other aspects, their behavior should be safe, conforming to the rules of the road and provide mobility to their…

Software Engineering · Computer Science 2024-11-18 Nayel Fabian Salem , Marcus Nolte , Veronica Haber , Till Menzel , Hans Steege , Robert Graubohm , Markus Maurer
‹ Prev 1 2 3 10 Next ›