Louise Dennis

Cited by

	All	Since 2020
Citations	4055	2490
h-index	32	25
i10-index	77	50

580

290

145

435

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202515 14 19 24 22 34 38 42 45 51 87 73 45 55 84 88 148 137 202 286 312 514 488 569 492 111

Public access

View all

65 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Michael FisherProfessor of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Dr Matt Webster, PhDComputer ScientistVerified email at liverpool.ac.uk
Clare DixonUniversity of ManchesterVerified email at manchester.ac.uk
Marie FarrellThe University of ManchesterVerified email at manchester.ac.uk
Marija SlavkovikProfessor in Artificial Intelligence, University of BergenVerified email at infomedia.uib.no
Rafael C. CardosoLecturer at the University of AberdeenVerified email at manchester.ac.uk
Matt LuckcuckAssistant Professor of Computer Science, University of NottinghamVerified email at nottingham.ac.uk
Alexei LisitsaUniversity of LiverpoolVerified email at liverpool.ac.uk
Angelo FerrandoAssistant Professor at the University of Modena and Reggio EmiliaVerified email at unimore.it
Rafael H. BordiniSchool of Technology, PUCRSVerified email at pucrs.br
Gleifer Vaz AlvesProfessor of Computer Science, Federal University of Technology - Parana, UTFPRVerified email at utfpr.edu.br
Joe CollenetteVerified email at manchester.ac.uk
Maryam KamaliUniversity of LiverpoolVerified email at liverpool.ac.uk
Serena BoothBrown UniversityVerified email at brown.edu
Joanna OlszewskaAsst. Prof., University of the West of Scotland, UKVerified email at ieee.org
Naomi JacobsLancaster UniversityVerified email at lancaster.ac.uk
Viviana MascardiAssociate Professor, University of Genova, ItalyVerified email at unige.it
Matteo BaldoniProfessor in Computer Science, Università degli Studi di Torino, Dipartimento di InformaticaVerified email at di.unito.it
Tom MelhamProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Robert H. WorthamVisiting Researcher in Robotics & Autonomous Systems, University of BathVerified email at bath.ac.uk

Louise Dennis

Department of Computer Science, University of Manchester

Verified email at manchester.ac.uk - Homepage

Verification Model Checking Autonomous Systems Agent Programming Languages Machine Ethics


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Formal specification and verification of autonomous robotic systems: A survey M Luckcuck, M Farrell, LA Dennis, C Dixon, M Fisher ACM Computing Surveys (CSUR) 52 (5), 100, 2019	366	2019
Formal verification of ethical choices in autonomous systems L Dennis, M Fisher, M Slavkovik, M Webster Robotics and Autonomous Systems 77, 1-14, 2016	279	2016
Model checking agent programming languages LA Dennis, M Fisher, MP Webster, RH Bordini Automated software engineering 19, 5-63, 2012	202	2012
Formal verification of autonomous vehicle platooning M Kamali, LA Dennis, O McAree, M Fisher, SM Veres Science of Computer Programming 148, 88-106, 2017	187	2017
Verifying autonomous systems M Fisher, L Dennis, M Webster Communications of the ACM 56 (9), 84-93, 2013	183	2013
Ethics by Design: necessity or curse? V Dignum, M Baldoni, C Baroglio, M Caon, R Chatila, A Dennis Louise, ... 2018 AAAI/ACM Conference on AI, Ethics, and Society (AIES'18), 60-66, 2018	142	2018
Practical verification of decision-making in agent-based autonomous systems LA Dennis, M Fisher, NK Lincoln, A Lisitsa, SM Veres Automated Software Engineering 23, 305-359, 2016	130	2016
The PROSPER toolkit LA Dennis, G Collins, M Norrish, R Boulton, K Slind, G Robinson, ... International Conference on Tools and Algorithms for the Construction and …, 2000	108	2000
IEEE P7001: A Proposed Standard on Transparency AFT Winfield, S Booth, LA Dennis, T Egawa, H Hastie, N Jacobs, ... Frontiers in Robotics and AI, 225, 2021	105	2021
Towards moral autonomous systems V Charisi, L Dennis, M Fisher, R Lieck, A Matthias, M Slavkovik, ... arXiv preprint arXiv:1703.04741, 2017	105	2017
On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots P Bremner, LA Dennis, M Fisher, AF Winfield Proceedings of the IEEE 107 (3), 541-561, 2019	88	2019
Gwendolen: A BDI language for verifiable agents LA Dennis, B Farwer Proceedings of the AISB 2008 Symposium on Logic and the Simulation of …, 2008	85	2008
Towards Verifiably Ethical Robot Behaviour. LA Dennis, M Fisher, AFT Winfield AAAI Workshop: AI and Ethics, 2015	80	2015
Automated verification of multi-agent programs RH Bordini, LA Dennis, B Farwer, M Fisher 2008 23rd IEEE/ACM International Conference on Automated Software …, 2008	71	2008
A common semantic basis for BDI languages LA Dennis, B Farwer, RH Bordini, M Fisher, M Wooldridge Programming Multi-Agent Systems: 5th International Workshop, ProMAS 2007 …, 2008	70	2008
Predicting the metabolic energy costs of bipedalism using evolutionary robotics WI Sellers, LA Dennis, RH Crompton Journal of Experimental Biology 206 (7), 1127-1136, 2003	66	2003
An Overview of Verification and Validation Challenges for Inspection Robots M Fisher, RC Cardoso, EC Collins, C Dadswell, LA Dennis, C Dixon, ... Robotics 10 (2), 67, 2021	57	2021
Evaluating alternative gait strategies using evolutionary robotics WI Sellers, LA Dennis, W W‐J, RH Crompton Journal of anatomy 204 (5), 343-351, 2004	57	2004
Verifiable self-aware agent-based autonomous systems LA Dennis, M Fisher Proceedings of the IEEE 108 (7), 1011-1026, 2020	52	2020
Engineering Multi-Agent Systems: State of Affairs and the Road Ahead V Mascardi, D Weyns, A Ricci, CB Earle, A Casals, M Challenger, ...	52*

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors