Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Adelard | Researchclopedia

Back to institutions

Adelard

Londoncompany

116

Works

2,982

Citations

28

h-index

Top Research Topics

Safety Systems Engineering in Autonomy Software Reliability and Analysis Research Risk and Safety Analysis

Top Researchers

G. T. Fletcher Queen Mary University of London

285 works22,753 citationsh-index: 85

Recent Research

Doubt in Safety Claims is Inevitable: What is its Impact, What Can be Done About It?

Peter Bishop,Andrey Povyakalo,et al.

20250 citations

Software Testing and Debugging Techniques

Information and Cyber Security

Formal Methods in Verification

Software Engineering Research

Quality and Safety in Healthcare

Occupational Health and Safety Research

Software Engineering Techniques and Practices

Reliability and Maintenance Optimization

Model-Driven Software Engineering Techniques

Bev Littlewood City, University of London

141 works5,221 citationsh-index: 34

138 works4,953 citationsh-index: 40

Vyacheslav Kharchenko National Aerospace University – Kharkiv Aviation Institute

488 works3,244 citationsh-index: 28

Lorenzo Strigini St George's, University of London

168 works3,087 citationsh-index: 26

Peter Bishop St George's, University of London

138 works2,504 citationsh-index: 22

Models are Central to AI Assurance

Robin Bloomfield,John Rushby

20241 citations

Automating Semantic Analysis of System Assurance Cases Using Goal-Directed ASP

Anitha Murugesan,Isaac Wong,et al.

20244 citations

Confidence in Assurance 2.0 Cases

Robin Bloomfield,John Rushby

20249 citations

Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis

Srivatsan Varadarajan,Robin Bloomfield,et al.

20243 citations

CLARISSA: Foundations, Tools & Automation for Assurance Cases

Srivatsan Varadarajan,Robin Bloomfield,et al.

20237 citations