On Specifying for Trustworthiness

doi:10.1145/3624699

Return

On Specifying for Trustworthiness

2023-12-21

Dhaminda B. Abeywickrama *

Mohammad Reza Mousavi

Bashar Nuseibeh

Subramanian Ramamoorthy

DOI：10.1145/3624699

Original request for help

Save

Abstract

Keywords:

SOFTWARE

BEHAVIOR

SAFETY

Journal

Communications of the ACM

IF:

12.2

Papers:

1.2W

Citations:

3.7W

Organization

Lancaster University

Scholars:

9.5K

Papers: 1.1W

Citations: 1.7W

bauhaus-universitat weimar

Scholars:

783

Papers: 921

Citations: 4

university of london

Scholars:

21.5W

Papers: 19.7W

Citations: 305

University of Bristol

Scholars:

3.1W

Papers: 3.0W

Citations: 5.3W

open university - uk

Scholars:

4.1K

Papers: 4.3K

Citations: 2

University of Edinburgh

Scholars:

5.2W

Papers: 4.6W

Citations: 71

View more organizations

Cited Papers

Neural representation of goal direction in the monarch butterfly brain

IF0

2022-10-18

OAAI

M. Jerome Beetz; Christian Kraus; Basil el Jundi

Save

The role of surfaces in hydrogen storage

Studies in Surface Science and Catalysis

IF0

2005-01-01

PREAI

Giuseppe Spoto; Silvia Bordiga; Jenny G. Vitillo; Gabriele Ricchiardi; Adriano Zecchina

Save

Some topological and cardinal properties of the space of permutation degree

Filomat

IF0

2022-01-01

OAAI

Ljubisa Kocinac; Farkhod Mukhamadiev; Anvar Sadullaev

Save

User Modelling Using Multimodal Information for Personalised Dressing Assistance

IEEE ACCESS

IF3.6

2020-01-01

OAAI

Gao, Yixing; Chang, Hyung Jin; Demiris, Yiannis

Save

Some Topological Properties of a Functor of Finite Degree

Lobachevskii Journal of Mathematics

IF0

2021-12-13

PREAI

R. B. Beshimov; D. T. Safarova

Save

Characterization and kinetic modeling of the drying process of yellow dextrin limonite pellets

Advanced Powder Technology

IF0

2024-05-01

PREAI

Shikang Li; Xiaolei Zhou; Lei Gao; Haoyu Fang; Yunpeng Wang; Haoli Yan

Save

Covariant functors in the category of compacta, absolute retracts, andQ-manifolds

Russian Mathematical Surveys

IF0

2007-10-16

PREAI

Vitalii V Fedorchuk

Save

In Situ Scanning Electron Microscope Observation and Finite Element Method Analysis of Delayed Hydride Cracking Propagation in Zircaloy-2 Fuel Cladding Tubes

Journal of ASTM International

IF0

2011-03-01

PREAI

Toshio Kubo; Hiroaki Muta; Shinsuke Yamanaka; Masayoshi Uno; Keizo Ogata

Save

Systematic hydrolysis of PIM-1 and electrospinning of hydrolyzed PIM-1 ultrafine fibers for an efficient removal of dye from water

Reactive and Functional Polymers

IF0

2017-12-01

OAAI

Bekir Satilmis; Peter M. Budd; Tamer Uyar

Save

Effect of a Nitrogen Doping and a Mechanical Stress on the Adsorption Capacity of Graphdiene

Physics of the Solid State

IF0

2019-04-22

PREAI

I. Yu. Dolinskii; K. S. Grishakov; V. S. Prudkovskii

Save