Colin Paterson - Publications, H-index & Citations

Colin Paterson

university of york - uk

13H指数

49论文数

702被引数

收录论文 7

发表时间

Safety assurance of Machine Learning for autonomous systems 自主系统中机器学习的安全保障

Reliability Engineering & System Safety

IF11

2025-06-14

PREAI

Colin Paterson; Richard Hawkins; Chiara Picardi; Yan Jia; Radu Calinescu; Ibrahim Habli

Specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents☆规范，验证和验证自主代理的社会，法律，道德，移情和文化要求 ☆

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

2025-02-01

OAAI

Yaman, Sinem Getir; Ribeiro, Pedro; Cavalcanti, Ana; Calinescu, Radu; Paterson, Colin; Townsend, Beverley

Aloft: Self-Adaptive Drone Controller Testbed

proceedings of the

IF0

2024-06-07

OAAI

Imrie, Calum; Howard, Rhys; Thuremella, Divya; Proma, Nawshin Mannan; Pandey, Tejas; Lewinska, Paulina; Cannizzaro, Ricardo; Hawkins, Richard; Paterson, Colin; Kunze, Lars; Hodge, Victoria J.

Quantitative verification with adaptive uncertainty reduction

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

2022-06-01

OAAI

Alasmari, Naif; Calinescu, Radu; Paterson, Colin; Mirandola, Raffaela

Efficient Parametric Model Checking Using Domain Knowledge

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2021-06-01

OAAI

Calinescu, Radu; Paterson, Colin; Johnson, Kenneth

Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges 确保机器学习生命周期: 需求、方法和挑战

ACM COMPUTING SURVEYS

IF28

2021-05-25

106

OAAI

Ashmore, Rob; Calinescu, Radu; Paterson, Colin

Observation-Enhanced QoS Analysis of Component-Based Systems

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2020-05-01

OAAI

Paterson, Colin; Calinescu, Radu

研究方向