Louise A. Dennis - Publications, H-index & Citations

Louise A. Dennis

University of Manchester

26H指数

212论文数

3.0K被引数

收录论文 11

发表时间

The human factor: Addressing computing risks for critical national infrastructure towards 2040 人为因素：面向2040年关键国家基础设施的计算风险应对

Computers & Security

IF5.4

2025-04-30

PREAI

Charles Weir; Cecilia Loureiro-Koechlin; Lucy Hunt; Louise Dennis

Security-Minded Verification of Cooperative Awareness Messages

IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING

IF7.5

2024-07-01

OAAI

Farrell, Marie; Bradbury, Matthew; Cardoso, Rafael C.; Fisher, Michael; Dennis, Louise A.; Dixon, Clare; Sheik, Al Tariq; Yuan, Hu; Maple, Carsten

A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations

JOURNAL OF SENSOR AND ACTUATOR NETWORKS

IF4.2

2021-06-25

OAAI

Alves, Gleifer Vaz; Dennis, Louise; Fisher, Michael

Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2021-05-10

OAAI

Ferrando, Angelo; Dennis, Louise A.; Cardoso, Rafael C.; Fisher, Michael; Ancona, Davide; Mascardi, Viviana

Verifiable Self-Aware Agent-Based Autonomous Systems 可验证的基于自感知代理的自治系统

PROCEEDINGS OF THE IEEE

IF25.9

2020-07-01

OAAI

Dennis, Louise A.; Fisher, Michael

Formal Specification and Verification of Autonomous Robotic Systems: A Survey 自主机器人系统的正式规范和验证: 一项调查

ACM COMPUTING SURVEYS

IF28

2019-09-13

181

OAAI

Luckcuck, Matt; Farrell, Marie; Dennis, Louise A.; Dixon, Clare; Fisher, Michael

On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots 关于机器人的主动，透明和可验证的道德推理

PROCEEDINGS OF THE IEEE

IF25.9

2019-03-01

PREAI

Bremner, Paul; Dennis, Louise A.; Fisher, Michael; Winfield, Alan F.

Autonomous Nuclear Waste Management

IEEE INTELLIGENT SYSTEMS

IF6.1

2018-11-01

OAAI

Aitken, Jonathan M.; Veres, Sandor M.; Shaukat, Affan; Gao, Yang; Cucco, Elisa; Dennis, Louise A.; Fisher, Michael; Kuo, Jeffrey A.; Robinson, Thomas; Mort, Paul E.

Autonomous Asteroid Exploration by Rational Agents

IEEE COMPUTATIONAL INTELLIGENCE MAGAZINE

IF11.2

2013-11-01

PREAI

Lincoln, N. K.; Veres, S. M.; Dennis, L. A.; Fisher, M.; Lisitsa, A.

Verifying Autonomous Systems

COMMUNICATIONS OF THE ACM

IF12.2

2013-09-01

112

PREAI

Fisher, Michael; Dennis, Louise; Webster, Matt

Satellite Control Using Rational Agent Programming

IEEE INTELLIGENT SYSTEMS

IF6.1

2010-05-01

OAAI

Dennis, Louise; Fisher, Michael; Lisitsa, Alexei; Lincoln, Nicholas; Veres, Sandor

研究方向