Concepedia

Louise A. Dennis

LA

34

Publications

2K

Citations

21

H-Index

2001

Active since

Affiliations

University of Liverpool(Current)

University of Manchester

Delft University of Technology

University of Southampton

University of the West of England

Louise A. Dennis is an author at University of Liverpool specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringAutomationVerificationFormal MethodsFormal VerificationAutomated ReasoningIntelligent SystemsAutonomous Systems

Publications per year

2001–2024

34

Publications

34

Sampling Strategies for Computer Experiments: Design and Analysis

Timothy W. Simpson, Louise A. Dennis, W. Chen · 2001 · 378 citations

Formal verification of ethical choices in autonomous systems

Louise A. Dennis, Michael Fisher, Marija Slavkovik et al. · Robotics and Autonomous Systems · 2015 · 206 citations · Full text

Model checking agent programming languages

Louise A. Dennis, Michael Fisher, Matt Webster et al. · Automated Software Engineering · 2011 · 190 citations

Engineering, Formal Modeling, Program Analysis +10

Verifying autonomous systems

Michael Fisher, Louise A. Dennis, Matt Webster · Communications of the ACM · 2013 · 117 citations · Full text

Artificial Intelligence, Engineering, Robotic Agent +16

Practical verification of decision-making in agent-based autonomous systems

Louise A. Dennis, Michael Fisher, Nicholas K. Lincoln et al. · Automated Software Engineering · 2014 · 94 citations · Full text

Rows per page

1–5 of 34