Using A Generalisation Critic to Find Bisimulations for Coinductive Proofs. - Louise A. Dennis; Alan Bundy; Ian Green (CADE, 1997)

Proof planning coinduction. - Louise A. Dennis (1998)

System Description: Embedding Verification into Microsoft Excel. - Graham Collins; Louise A. Dennis (CADE, 2000)

The PROSPER Toolkit. - Louise A. Dennis; Graham Collins; Michael Norrish; Richard J. Boulton; Konrad Slind; Graham Robinson; Michael J. C. Gordon; Thomas F. Melham (TACAS, 2000)

Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts. - Louise A. Dennis; Alan Bundy; Ian Green (Ann. Math. Artif. Intell., 2000)

Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain. - Louise A. Dennis; Alan Smaill (TPHOLs, 2001)

Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus. - Jürgen Zimmer; Louise A. Dennis (AISC, 2002)

The NumbersWithNames Program. - Simon Colton; Louise A. Dennis (AI&M, 2002)

A Comparison of Two Proof Critics: Power vs. Robustness. - Louise A. Dennis; Alan Bundy (TPHOLs, 2002)

The PROSPER toolkit. - Louise A. Dennis; Graham Collins; Michael Norrish; Richard J. Boulton; Konrad Slind; Thomas F. Melham (Int. J. Softw. Tools Technol. Transf., 2003)

An Architecture for Proof Planning Systems. - Louise A. Dennis (IJCAI, 2005)

On the Comparison of Proof Planning Systems: lambdaCLAM, Omega and IsaPlanner. - Louise A. Dennis; Mateja Jamnik; Martin Pollet (Calculemus, 2005)

Enhancing Theorem Prover Interfaces with Program Slice Information. - Louise A. Dennis (UITP@FLoC, 2006)

Language Constructs for Multi-agent Programming. - Louise A. Dennis; Michael Fisher 001; Anthony Hepple (CLIMA, 2007)

A Common Basis for Agent Organisation in BDI Languages. - Anthony Hepple; Louise A. Dennis; Michael Fisher 001 (LADS, 2007)

A Common Semantic Basis for BDI Languages. - Louise A. Dennis; Berndt Farwer; Rafael H. Bordini; Michael Fisher 001; Michael J. Wooldridge (PROMAS, 2007)

A flexible framework for verifying agent programs. - Louise A. Dennis; Berndt Farwer; Rafael H. Bordini; Michael Fisher 001 (AAMAS (3), 2008)

Automated Verification of Multi-Agent Programs. - Rafael H. Bordini; Louise A. Dennis; Berndt Farwer; Michael Fisher 001 (ASE, 2008)

Programming Verifiable Heterogeneous Agent Systems. - Louise A. Dennis; Michael Fisher 001 (ProMAS, 2008)

Model Checking Normative Agent Organisations. - Louise A. Dennis; Nick A. M. Tinnemeier; John-Jules Ch. Meyer (CLIMA, 2009)

Agent Based Approaches to Engineering Autonomous Space Software - Louise A. Dennis; Michael Fisher 001; Nicholas Lincoln; Alexei Lisitsa 001; Sandor M. Veres (FMA, 2009)

Towards the Verification of Pervasive Systems. - Myrto Arapinis; Muffy Calder; Louise A. Dennis; Michael Fisher 001; Philip D. Gray; Savas Konur; Alice Miller 001; Eike Ritter; Mark Ryan 001; Sven Schewe; Chris Unsworth; Rehana Yasmin (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

An agent based framework for adaptive control and decision making of autonomous vehicles. - Nicholas Lincoln; Sandor M. Veres; Louise A. Dennis; Michael Fisher 001; Alexei Lisitsa 001 (ALCOSP, 2010)

Declarative Abstractions for Agent Based Hybrid Control Systems. - Louise A. Dennis; Michael Fisher 001; Nicholas Lincoln; Alexei Lisitsa 001; Sandor M. Veres (DALT, 2010)

Satellite Control Using Rational Agent Programming. - Louise A. Dennis; Michael Fisher 001; Alexei Lisitsa 001; Nicholas Lincoln; Sandor M. Veres (IEEE Intell. Syst., 2010)

A Formal Semantics for Brahms. - Richard Stocker 001; Maarten Sierhuis; Louise A. Dennis; Clare Dixon; Michael Fisher 001 (CLIMA, 2011)

Plan Indexing for State-Based Plans. - Louise A. Dennis (DALT, 2011)

The Use of Embeddings to Provide a Clean Separation of Term and Annotation for Higher Order Rippling. - Louise A. Dennis; Ian Green; Alan Smaill (J. Autom. Reason., 2011)

Verifying Brahms Human-Robot Teamwork Models. - Richard Stocker 001; Louise A. Dennis; Clare Dixon; Michael Fisher 001 (JELIA, 2012)

Model checking agent programming languages. - Louise A. Dennis; Michael Fisher 001; Matthew P. Webster; Rafael H. Bordini (Autom. Softw. Eng., 2012)

Agent reasoning for norm compliance: a semantic approach. - M. Birna van Riemsdijk; Louise A. Dennis; Michael Fisher 001; Koen V. Hindriks (AAMAS, 2013)

Using Agent JPF to Build Models for Other Model Checkers. - Louise A. Dennis; Michael Fisher 001; Matthew P. Webster (CLIMA, 2013)

Ethical Choice in Unforeseen Circumstances. - Louise A. Dennis; Michael Fisher 001; Marija Slavkovik 001; Matthew P. Webster (TAROS, 2013)

Verifying autonomous systems. - Michael Fisher 001; Louise A. Dennis; Matthew P. Webster (Commun. ACM, 2013)

Autonomous Asteroid Exploration by Rational Agents. - Nick K. Lincoln; Sandor M. Veres; Louise A. Dennis; Michael Fisher 001; Alexei Lisitsa 001 (IEEE Comput. Intell. Mag., 2013)

Actions with Durations and Failures in BDI Languages. - Louise A. Dennis; Michael Fisher 001 (ECAI, 2014)

Reconfigurable Autonomy. - Louise A. Dennis; Michael Fisher 001; Jonathan M. Aitken; Sandor M. Veres; Yang Gao 002; Affan Shaukat; Guy Burroughes (Künstliche Intell., 2014)

Towards Verifiably Ethical Robot Behaviour. - Louise Abigail Dennis; Michael Fisher 001; Alan F. T. Winfield (AAAI Workshop: AI and Ethics, 2015)

A Semantic Framework for Socially Adaptive Agents: Towards strong norm compliance. - M. Birna van Riemsdijk; Louise A. Dennis; Michael Fisher 001; Koen V. Hindriks (AAMAS, 2015)

An abstract formal basis for digital crowds. - Marija Slavkovik 001; Louise A. Dennis; Michael Fisher 001 (Distributed Parallel Databases, 2015)

"How Did They Know?" - Model-Checking for Analysis of Information Leakage in Social Networks. - Louise A. Dennis; Marija Slavkovik 001; Michael Fisher 001 (COIN@AAMAS/ECAI, 2016)

Agent-Based Autonomous Systems and Abstraction Engines: Theory Meets Practice. - Louise A. Dennis; Jonathan M. Aitken; Joe Collenette; Elisa Cucco; Maryam Kamali; Owen McAree; Affan Shaukat; Katie Atkinson; Yang Gao 002; Sandor M. Veres; Michael Fisher 001 (TAROS, 2016)

Practical verification of decision-making in agent-based autonomous systems. - Louise A. Dennis; Michael Fisher 001; Nicholas Lincoln; Alexei Lisitsa 001; Sandor M. Veres (Autom. Softw. Eng., 2016)

Formal verification of ethical choices in autonomous systems. - Louise A. Dennis; Michael Fisher 001; Marija Slavkovik 001; Matt Webster (Robotics Auton. Syst., 2016)

Towards Moral Autonomous Systems. - Vicky Charisi; Louise A. Dennis; Michael Fisher 001; Robert Lieck; Andreas Matthias; Marija Slavkovik 001; Janina Sombetzki; Alan F. T. Winfield; Roman Yampolskiy (CoRR, 2017)

Formal verification of autonomous vehicle platooning. - Maryam Kamali; Louise A. Dennis; Owen McAree; Michael Fisher 001; Sandor M. Veres (Sci. Comput. Program., 2017)

Cake, Death, and Trolleys: Dilemmas as benchmarks of ethical decision-making. - Edvard P. Bjørgen; Simen Madsen; Therese S. Bjørknes; Fredrik V. Heimsæter; Robin Håvik; Morten Linderud; Per-Niklas Longberg; Louise A. Dennis; Marija Slavkovik 001 (AIES, 2018)

Ethics by Design: Necessity or Curse? - Virginia Dignum; Matteo Baldoni; Cristina Baroglio; Maurizio Caon; Raja Chatila 001; Louise A. Dennis; Gonzalo Génova; Galit Haim; Malte S. Kließ; Maite López-Sánchez; Roberto Micalizio; Juan Pavón; et al. (AIES, 2018)

Recognising Assumption Violations in Autonomous Systems Verification. - Angelo Ferrando 001; Louise A. Dennis; Davide Ancona; Michael Fisher 001; Viviana Mascardi (AAMAS, 2018)

Slicing Agent Programs for More Efficient Verification. - Michael Winikoff; Louise A. Dennis; Michael Fisher 001 (EMAS@AAMAS, 2018)

Practical Challenges in Explicit Ethical Machine Reasoning. - Louise A. Dennis; Michael Fisher 001 (ISAIM, 2018)

Verifiable Self-Certifying Autonomous Systems. - Michael Fisher 001; Emily C. Collins 001; Louise A. Dennis; Matt Luckcuck; Matt Webster; Mike Jump; Vincent Pagé; Charles Patchett; Fateme Dinmohammadi; David Flynn; Valentin Robu; Xingyu Zhao 001 (ISSRE Workshops, 2018)

Verifying and Validating Autonomous Systems: Towards an Integrated Approach. - Angelo Ferrando 001; Louise A. Dennis; Davide Ancona; Michael Fisher 001; Viviana Mascardi (RV, 2018)

Autonomous Nuclear Waste Management. - Jonathan M. Aitken; Sandor M. Veres; Affan Shaukat; Yang Gao 002; Elisa Cucco; Louise A. Dennis; Michael Fisher 001; Jeffrey A. Kuo; Thomas Robinson; Paul E. Mort (IEEE Intell. Syst., 2018)

The MCAPL Framework including the Agent Infrastructure Layer an Agent Java Pathfinder. - Louise A. Dennis (J. Open Source Softw., 2018)

Two-stage agent program verification. - Louise A. Dennis; Michael Fisher 001; Matt Webster (J. Log. Comput., 2018)

Plan Library Reconfigurability in BDI Agents. - Rafael C. Cardoso 001; Louise A. Dennis; Michael Fisher 001 (EMAS@AAMAS, 2019)

The "Why Did You Do That?" Button: Answering Why-Questions for End Users of Robotic Systems. - Vincent J. Koeman; Louise A. Dennis; Matt Webster; Michael Fisher 001; Koen V. Hindriks (EMAS@AAMAS, 2019)

Formalisation and Implementation of Road Junction Rules on an Autonomous Vehicle Modelled as an Agent. - Gleifer Vaz Alves; Louise A. Dennis; Michael Fisher 001 (FM Workshops (1), 2019)

A Summary of Formal Specification and Verification of Autonomous Robotic Systems. - Matt Luckcuck; Marie Farrell; Louise A. Dennis; Clare Dixon; Michael Fisher 001 (IFM, 2019)

Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages. - Marie Farrell; Matthew Bradbury; Michael Fisher 001; Louise A. Dennis; Clare Dixon; Hu Yuan 001; Carsten Maple (SEFM, 2019)

Events. - Louise A. Dennis (AI Matters, 2019)

Modular Verification of Autonomous Space Robotics. - Marie Farrell; Rafael C. Cardoso 001; Louise A. Dennis; Clare Dixon; Michael Fisher 001; Georgios Kourtis; Alexei Lisitsa 001; Matt Luckcuck; Matt Webster (CoRR, 2019)

A Summary of Formal Specification and Verification of Autonomous Robotic Systems. - Matt Luckcuck; Marie Farrell; Louise A. Dennis; Michael Fisher 001 (CoRR, 2019)

Formal Specification and Verification of Autonomous Robotic Systems: A Survey. - Matt Luckcuck; Marie Farrell; Louise A. Dennis; Clare Dixon; Michael Fisher 001 (ACM Comput. Surv., 2019)

On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots. - Paul Bremner; Louise A. Dennis; Michael Fisher 001; Alan F. T. Winfield (Proc. IEEE, 2019)

An Interface for Programming Verifiable Autonomous Agents in ROS. - Rafael C. Cardoso 001; Angelo Ferrando 001; Louise A. Dennis; Michael Fisher 001 (EUMAS/AT, 2020)

Model-Checking Information Diffusion in Social Networks with PRISM. - Louise A. Dennis; Marija Slavkovik 001 (EUMAS/AT, 2020)

SIGAI annual report: July 1 2019 - June 30 2020. - Sanmay Das; Nicholas Mattei; John P. Dickerson; Sven Koenig; Louise A. Dennis; Larry R. Medsker; Todd W. Neller; Iolanda Leite; Anuj Karpatne (AI Matters, 2020)

Adaptable and Verifiable BDI Reasoning. - Peter Stringer; Rafael C. Cardoso 001; Xiaowei Huang 001; Louise A. Dennis (AREA@ECAI, 2020)

Towards Compositional Verification for Modular Robotic Systems. - Rafael C. Cardoso 001; Louise A. Dennis; Marie Farrell; Michael Fisher 001; Matt Luckcuck (FMAS, 2020)

Verifiable Self-Aware Agent-Based Autonomous Systems. - Louise A. Dennis; Michael Fisher 001 (Proc. IEEE, 2020)

Computational Goals, Values and Decision-Making. - Louise A. Dennis (Sci. Eng. Ethics, 2020)

Verifiable Machine Ethics in Changing Contexts. - Louise A. Dennis; Martin Mose Bentzen; Felix Lindner 001; Michael Fisher 001 (AAAI, 2021)

Implementing Ethical Governors in BDI. - Rafael C. Cardoso 001; Angelo Ferrando 001; Louise A. Dennis; Michael Fisher 001 (EMAS@AAMAS, 2021)

Implementing Durative Actions with Failure Detection in Gwendolen. - Peter Stringer; Rafael C. Cardoso 001; Clare Dixon; Louise A. Dennis (EMAS@AAMAS, 2021)

Agile Tasking of Robotic Systems with Explicit Autonomy. - Rafael C. Cardoso 001; John L. Michaloski; Craig Schlenoff; Angelo Ferrando 001; Louise A. Dennis; Michael Fisher 001 (FLAIRS, 2021)

Integrating Formal Verification and Assurance: An Inspection Rover Case Study. - Hamza Bourbouh; Marie Farrell; Anastasia Mavridou; Irfan Sljivo; Guillaume Brat; Louise A. Dennis; Michael Fisher 001 (NFM, 2021)

No Free Lunch: Overcoming Reward Gaming in AI Safety Gridworlds. - Mariya Tsvarkaleva; Louise A. Dennis (SAFECOMP Workshops, 2021)

SIGAI annual report: July 1 2020 - June 30 2021. - Sanmay Das; Nicholas Mattei; John P. Dickerson; Sven Koenig; Louise A. Dennis; Larry R. Medsker; Todd W. Neller; Iolanda Leite; Anuj Karpatne; Alan Tsang (AI Matters, 2021)

IEEE P7001: A Proposed Standard on Transparency. - Alan F. T. Winfield; Serena Booth; Louise A. Dennis; Takashi Egawa; Helen F. Hastie; Naomi Jacobs; Roderick I. Muttram; Joanna I. Olszewska; Fahimeh Rajabiyazdi; Andreas Theodorou; Mark A. Underwood; Robert H. Wortham; et al. (Frontiers Robotics AI, 2021)

A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations. - Gleifer Vaz Alves; Louise Abigail Dennis; Michael Fisher 001 (J. Sens. Actuator Networks, 2021)

An Overview of Verification and Validation Challenges for Inspection Robots. - Michael Fisher 001; Rafael C. Cardoso 001; Emily C. Collins 001; Christopher Dadswell; Louise A. Dennis; Clare Dixon; Marie Farrell; Angelo Ferrando 001; Xiaowei Huang 001; Mike Jump; Georgios Kourtis; Alexei Lisitsa 001; et al. (Robotics, 2021)

Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems. - Angelo Ferrando 001; Louise A. Dennis; Rafael C. Cardoso 001; Michael Fisher 001; Davide Ancona; Viviana Mascardi (ACM Trans. Softw. Eng. Methodol., 2021)

Verifying Autonomous Systems. - Louise A. Dennis (IFM, 2022)

Should AI Systems in Nuclear Facilities Explain Decisions the Way Humans Do? An Interview Study. - Hazel M. Taylor; Caroline Jay; Barry Lennox; Angelo Cangelosi; Louise A. Dennis (RO-MAN, 2022)

Explaining BDI agent behaviour through dialogue. - Louise A. Dennis; Nir Oren (Auton. Agents Multi Agent Syst., 2022)

Verifiable autonomy: From theory to applications. - Louise A. Dennis; Clare Dixon; Michael Fisher 001 (AI Commun., 2022)

A Compositional Approach to Verifying Modular Robotic Systems. - Matt Luckcuck; Marie Farrell; Angelo Ferrando 001; Rafael C. Cardoso 001; Louise A. Dennis; Michael Fisher 001 (CoRR, 2022)

Advising Autonomous Cars about the Rules of the Road. - Joe Collenette; Louise A. Dennis; Michael Fisher 001 (FMAS/ASYDE@SEFM, 2022)

Markov chain model representation of information diffusion in social networks. - Louise A. Dennis; Yu Fu; Marija Slavkovik 001 (J. Log. Comput., 2022)

SIGAI Annual Report: July 1 2021 - June 30 2022. - Sanmay Das; Nicholas Mattei; John P. Dickerson; Sven Koenig; Louise A. Dennis; Larry R. Medsker; Ziyu Yao 002; Anuj Karpatne; Alan Tsang; Matt Luckcuck (AI Matters, 2022)

Conference Reports. - Louise A. Dennis (AI Matters, 2022)

Updating Action Descriptions and Plans for Cognitive Agents. - Peter Stringer; Rafael C. Cardoso 001; Clare Dixon; Michael Fisher 001; Louise A. Dennis (AAMAS, 2023)

Uncertain Machine Ethical Decisions Using Hypothetical Retrospection. - Simon Kolker; Louise A. Dennis; Ramon Fraga Pereira; Mengwei Xu (COINE, 2023)

Towards Forward Responsibility in BDI Agents. - Rafael C. Cardoso 001; Angelo Ferrando 001; Joe Collenette; Louise A. Dennis; Michael Fisher 001 (EMAS, 2023)

Adaptive Cognitive Agents: Updating Action Descriptions and Plans. - Peter Stringer; Rafael C. Cardoso 001; Clare Dixon; Michael Fisher 001; Louise A. Dennis (EUMAS, 2023)

Dialogue Explanations for Rule-Based AI Systems. - Yifan Xu; Joe Collenette; Louise A. Dennis; Clare Dixon (EXTRAAMAS, 2023)

A Vision on What Explanations of Autonomous Systems are of Interest to Lawyers. - Miriam C. Buiten; Louise A. Dennis; Maike Schwammberger (REW, 2023)

Prospective Responsibility for Multi-agent Systems. - Joe Collenette; Louise A. Dennis; Michael Fisher 001 (SGAI Conf., 2023)

Developing Multi-Agent Systems with Degrees of Neuro-Symbolic Integration [A Position Paper]. - Louise A. Dennis; Marie Farrell; Michael Fisher 001 (CoRR, 2023)

Autonomous Systems' Safety Cases for use in UK Nuclear Environments. - Christopher R. Anderson; Louise A. Dennis (AREA@ECAI, 2023)

Trustworthy Autonomous Systems Through Verifiability. - Mohammad Reza Mousavi 001; Ana Cavalcanti 001; Michael Fisher 001; Louise A. Dennis; Robert M. Hierons; Bilal Y. Kaddouh; Effie Lai-Chong Law; Robert C. Richardson; Jan Oliver Ringert; Ivan Tyukin; Jim Woodcock 001 (Computer, 2023)

A Partially Synthesized Position on the Automation of Machine Ethics. - Vivek Nallur; Louise A. Dennis; Selmer Bringsjord; Naveen Sundar Govindarajulu (Digit. Soc., 2023)

SIGAI Annual Report: July 1 2022 - August 30 2023. - Sanmay Das; Nicholas Mattei; John P. Dickerson; Sven Koenig; Louise A. Dennis; Larry R. Medsker; Ziyu Yao 002; Anuj Karpatne; Alan Tsang; Matt Luckcuck (AI Matters, 2023)

Safeguard Privacy for Minimal Data Collection with Trustworthy Autonomous Agents. - Mengwei Xu; Louise A. Dennis; Mustafa A. Mustafa (AAMAS, 2024)

Specifying Agent Ethics. - Louise A. Dennis; Michael Fisher 001 (COINE, 2024)

Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement. - Xin Quan; Marco Valentino; Louise A. Dennis; André Freitas (EACL (1), 2024)

Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving. - Xin Quan; Marco Valentino; Louise A. Dennis; André Freitas (EMNLP, 2024)

Trustworthy ROS Software Architecture for Autonomous Drones Missions: From RoboChart Modelling to ROS Implementation. - Nabil Shaukat; Shival Dubey; Bilal Y. Kaddouh; Andy Blight; Lenka Mudrich; Pedro Ribeiro 002; Hugo Araújo; Rob Richardson; Louise Abigail Dennis; Ana Lucia Caneca Cavalcanti; Mohammad Reza Mousavi 001 (MESA, 2024)

Specifying Agent Ethics (Blue Sky Ideas). - Louise A. Dennis; Michael Fisher 001 (CoRR, 2024)

Reinforcement Learning and Machine ethics:a systematic review. - Ajay Vishwanath; Louise A. Dennis; Marija Slavkovik 001 (CoRR, 2024)

Grand Challenges in the Verification of Autonomous Systems. - Kevin Leahy 001; Hamid Asgari; Louise A. Dennis; Martin S. Feather; Michael Fisher 001; Javier Ibañez-Guzmán; Brian Logan 001; Joanna I. Olszewska; Signe A. Redfield (CoRR, 2024)

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics. - Maryam Ghaffari Saadat; Angelo Ferrando 001; Louise A. Dennis; Michael Fisher 001 (FMAS@iFM, 2024)

Security-Minded Verification of Cooperative Awareness Messages. - Marie Farrell; Matthew Bradbury; Rafael C. Cardoso 001; Michael Fisher 001; Louise A. Dennis; Clare Dixon; Al Tariq Sheik; Hu Yuan 001; Carsten Maple (IEEE Trans. Dependable Secur. Comput., 2024)

Interlinked Computing in 2040: Safety, Truth, Ownership, and Accountability. - Charles Weir; Anna Dyson; Olamide Jogunola; Louise A. Dennis; Katie Paxton-Fear (Computer, 2024)

Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations. - Xin Quan; Marco Valentino; Louise A. Dennis; André Freitas (ACL (1), 2025)

Formal Verification of BDI Agents. - Thomas Wright; Louise A. Dennis; Jim Woodcock 001; Simon Foster 001 (The Combined Power of Research, Education, and Dissemination, 2025)

Towards Patterns for a Reference Assurance Case for Autonomous Inspection Robots. - Dhaminda B. Abeywickrama; Michael Fisher 001; Frederic Wheeler; Louise A. Dennis (ICSR, 2025)

Uncertain Machine Ethics Planning. - Simon Kolker; Louise A. Dennis; Ramon Fraga Pereira; Mengwei Xu (AAMAS, 2025)

Eliciting Explainability Requirements for Safety-Critical Systems: A Nuclear Case Study. - Hazel M. Taylor; Matt Luckcuck; Marie Farrell; Caroline Jay; Angelo Cangelosi; Louise A. Dennis (REFSQ, 2025)

The human factor: Addressing computing risks for critical national infrastructure towards 2040. - Charles Weir; Cecilia Loureiro-Koechlin; Lucy Hunt; Louise A. Dennis (Comput. Secur., 2025)

Autonomy and Safety Assurance in the Early Development of Robotics and Autonomous Systems. - Dhaminda B. Abeywickrama; Michael Fisher 001; Frederic Wheeler; Louise A. Dennis (CoRR, 2025)