Louise Dennis

Cited by

	All	Since 2020
Citations	3956	2402
h-index	31	25
i10-index	71	46

580

290

145

435

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202515 15 16 27 22 35 38 42 45 49 77 75 52 55 87 94 137 135 208 272 292 518 488 576 474 50

Public access

View all

64 articles

3 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
Maryam KamaliUniversity of LiverpoolVerified email at liverpool.ac.uk
Viviana MascardiAssociate Professor, University of Genova, ItalyVerified email at unige.it
Joe CollenetteVerified email at manchester.ac.uk
Joanna OlszewskaAsst. Prof., University of the West of Scotland, UKVerified email at ieee.org
Tom MelhamProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Matteo BaldoniProfessor in Computer Science, Università degli Studi di Torino, Dipartimento di InformaticaVerified email at di.unito.it
Owen McAreeLecturer, University of LiverpoolVerified email at liverpool.ac.uk
Naomi JacobsLancaster UniversityVerified email at lancaster.ac.uk
Emily C CollinsDame Kathleen Ollerenshaw Fellow, University of ManchesterVerified email at manchester.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	364	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	276	2016
Model checking agent programming languages LA Dennis, M Fisher, MP Webster, RH Bordini Automated software engineering 19, 5-63, 2012	198	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	185	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	137	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	129	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	110	2000
Towards moral autonomous systems V Charisi, L Dennis, M Fisher, R Lieck, A Matthias, M Slavkovik, ... arXiv preprint arXiv:1703.04741, 2017	104	2017
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	99	2021
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	85	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	82	2008
Towards Verifiably Ethical Robot Behaviour. LA Dennis, M Fisher, AFT Winfield AAAI Workshop: AI and Ethics, 2015	79	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	70	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	65	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	55	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	55	2004
Engineering Multi-Agent Systems: State of Affairs and the Road Ahead V Mascardi, D Weyns, A Ricci, CB Earle, A Casals, M Challenger, ...	51*
Verifiable self-aware agent-based autonomous systems LA Dennis, M Fisher Proceedings of the IEEE 108 (7), 1011-1026, 2020	50	2020

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