Louise Dennis

Citeret af

	Alle	Siden 2020
Henvisninger	3994	2430
h-index	32	25
i10-indeks	74	46

580

290

145

435

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202515 14 19 24 22 34 38 42 45 51 87 73 45 55 84 88 148 137 201 286 294 532 489 567 481 64

Offentlig adgang

Se alle

65 artikler

2 artikler

tilgængelige

ikke tilgængelige

Baseret på krav i forbindelse med finansiering

Medforfattere

Michael FisherProfessor of Computer Science, University of ManchesterVerificeret mail på manchester.ac.uk
Dr Matt Webster, PhDComputer ScientistVerificeret mail på liverpool.ac.uk
Clare DixonUniversity of ManchesterVerificeret mail på manchester.ac.uk
Marie FarrellThe University of ManchesterVerificeret mail på manchester.ac.uk
Marija SlavkovikProfessor in Artificial Intelligence, University of BergenVerificeret mail på infomedia.uib.no
Rafael C. CardosoLecturer at the University of AberdeenVerificeret mail på manchester.ac.uk
Matt LuckcuckAssistant Professor of Computer Science, University of NottinghamVerificeret mail på nottingham.ac.uk
Alexei LisitsaUniversity of LiverpoolVerificeret mail på liverpool.ac.uk
Angelo FerrandoAssistant Professor at the University of Modena and Reggio EmiliaVerificeret mail på unimore.it
Rafael H. BordiniSchool of Technology, PUCRSVerificeret mail på pucrs.br
Gleifer Vaz AlvesProfessor of Computer Science, Federal University of Technology - Parana, UTFPRVerificeret mail på utfpr.edu.br
Maryam KamaliUniversity of LiverpoolVerificeret mail på liverpool.ac.uk
Joe CollenetteVerificeret mail på manchester.ac.uk
Viviana MascardiAssociate Professor, University of Genova, ItalyVerificeret mail på unige.it
Joanna OlszewskaAsst. Prof., University of the West of Scotland, UKVerificeret mail på ieee.org
Tom MelhamProfessor of Computer Science, University of OxfordVerificeret mail på cs.ox.ac.uk
Matteo BaldoniProfessor in Computer Science, Università degli Studi di Torino, Dipartimento di InformaticaVerificeret mail på di.unito.it
Owen McAreeLecturer, University of LiverpoolVerificeret mail på liverpool.ac.uk
Naomi JacobsLancaster UniversityVerificeret mail på lancaster.ac.uk
Emily C CollinsDame Kathleen Ollerenshaw Fellow, University of ManchesterVerificeret mail på manchester.ac.uk

Følg

Louise Dennis

Department of Computer Science, University of Manchester

Verificeret mail på manchester.ac.uk - Startside

Verification Model Checking Autonomous Systems Agent Programming Languages Machine Ethics


Titel Sortér efter henvisninger Sortér efter årstal Sortér efter titel	Citeret af Citeret af	År
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	359	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	273	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	141	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	128	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
Towards moral autonomous systems V Charisi, L Dennis, M Fisher, R Lieck, A Matthias, M Slavkovik, ... arXiv preprint arXiv:1703.04741, 2017	105	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	101	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	84	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	84	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	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	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
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, ...	51*

Systemet kan ikke foretage handlingen nu. Prøv igen senere.

Artikler 1–20

Henvisninger pr. år

Dublerede henvisninger

Flettede henvisninger

Tilføj medforfattereMedforfattere

Følg

Citeret af

Medforfattere