Clare Dixon

ORCID

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 47

Top Venues

University of Manchester, UK (PHD)

Education History

University of Manchester, UK

PHD

Publications

Ullrich Hustadt, Fabio Papacchini, Cláudia Nalon, Clare Dixon
Model Construction for Modal Clauses. IJCAR (2) (2024)
Cláudia Nalon, Ullrich Hustadt, Fabio Papacchini, Clare Dixon
Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic. CADE (2023)
Yifan Xu, Joe Collenette, Louise A. Dennis, Clare Dixon
Dialogue Explanations for Rule-Based AI Systems. EXTRAAMAS (2023)
Peter Stringer, Rafael C. Cardoso, Clare Dixon, Michael Fisher, Louise A. Dennis
Adaptive Cognitive Agents: Updating Action Descriptions and Plans. EUMAS (2023)
Peter Stringer, Rafael C. Cardoso, Clare Dixon, Michael Fisher, Louise A. Dennis
Updating Action Descriptions and Plans for Cognitive Agents. AAMAS (2023)
Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao
Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal. IFM (2022)
Fabio Papacchini, Cláudia Nalon, Ullrich Hustadt, Clare Dixon
Local is Best: Efficient Reductions to Modal Logic K. J. Autom. Reason. 66 (4) (2022)
Cláudia Nalon, Ullrich Hustadt, Fabio Papacchini, Clare Dixon
Local Reductions for the Modal Cube. IJCAR (2022)
Louise A. Dennis, Clare Dixon, Michael Fisher
Verifiable autonomy: From theory to applications. AI Commun. 35 (4) (2022)
Fabio Papacchini, Cláudia Nalon, Ullrich Hustadt, Clare Dixon
Correction to: Local is Best: Efficient Reductions to Modal Logic K. J. Autom. Reason. 66 (4) (2022)
Georgios Kourtis, Clare Dixon, Michael Fisher, Alexei Lisitsa
Correction: Parameterized verification of leader/follower systems via first-order temporal logic. Formal Methods Syst. Des. 60 (2) (2022)
Clare Dixon
Theorem Proving Using Clausal Resolution: From Past to Present. RP (2021)
Georgios Kourtis, Clare Dixon, Michael Fisher, Alexei P. Lisitsa
Parameterized verification of leader/follower systems via first-order temporal logic. Formal Methods Syst. Des. 58 (3) (2021)
Michael Fisher, Rafael C. Cardoso, Emily C. Collins, Christopher Dadswell, Louise A. Dennis, Clare Dixon, Marie Farrell, Angelo Ferrando, Xiaowei Huang, Mike Jump, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Shan Luo, Vincent Pagé, Fabio Papacchini, Matt Webster
An Overview of Verification and Validation Challenges for Inspection Robots. Robotics 10 (2) (2021)
Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao
Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal. Frontiers Robotics AI 8 (2021)
Fabio Papacchini, Cláudia Nalon, Ullrich Hustadt, Clare Dixon
Efficient Local Reductions to Basic Modal Logic. CADE (2021)
Peter Stringer, Rafael C. Cardoso, Clare Dixon, Louise A. Dennis
Implementing Durative Actions with Failure Detection in Gwendolen. EMAS@AAMAS (2021)
Kheng Lee Koay, Matt Webster, Clare Dixon, Paul Gainer, Dag Sverre Syrdal, Michael Fisher, Kerstin Dautenhahn
Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study. Paladyn J. Behav. Robotics 12 (1) (2021)
Clare Dixon
Verifying Autonomous Robots: Challenges and Reflections (Invited Talk). TIME (2020)
Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher
Multi-scale verification of distributed synchronisation. Formal Methods Syst. Des. 55 (3) (2020)
Matt Webster, David G. Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher, Anthony G. Pipe
A corroborative approach to verification and validation of human-robot teams. Int. J. Robotics Res. 39 (1) (2020)
Suzanne Tolmeijer, Astrid Weiss, Marc Hanheide, Felix Lindner, Thomas M. Powers, Clare Dixon, Myrthe L. Tielman
Taxonomy of Trust-Relevant Failures and Mitigation Strategies. HRI (2020)
Cláudia Nalon, Ullrich Hustadt, Clare Dixon
: Architecture, Refinements, Strategies and Experiments. J. Autom. Reason. 64 (3) (2020)
Matt Webster, Michael Breza, Clare Dixon, Michael Fisher, Julie A. McCann
Exploring the effects of environmental conditions and design choices on IoT systems using formal methods. J. Comput. Sci. 45 (2020)
Ullrich Hustadt, Ana Ozaki, Clare Dixon
Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations. J. Autom. Reason. 64 (8) (2020)
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher
Formal Specification and Verification of Autonomous Robotic Systems: A Survey. ACM Comput. Surv. 52 (5) (2019)
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher
A Summary of Formal Specification and Verification of Autonomous Robotic Systems. IFM (2019)
Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon
Analysing Security Protocols Using Scenario Based Simulation. VECoS (2019)
Marie Farrell, Rafael C. Cardoso, Louise A. Dennis, Clare Dixon, Michael Fisher, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Matt Webster
Modular Verification of Autonomous Space Robotics. CoRR (2019)
Marie Farrell, Matthew Bradbury, Michael Fisher, Louise A. Dennis, Clare Dixon, Hu Yuan, Carsten Maple
Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages. SEFM (2019)
Cláudia Nalon, Clare Dixon, Ullrich Hustadt
Modal Resolution: Proofs, Layers, and Refinements. ACM Trans. Comput. Log. 20 (4) (2019)
Matt Webster, Michael Breza, Clare Dixon, Michael Fisher, Julie A. McCann
Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 76 (2018)
Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon
Clarification of Ambiguity for the Simple Authentication and Security Layer. ABZ (2018)
Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher
Multi-Scale Verification of Distributed Synchronisation. CoRR (2018)
Ullrich Hustadt, Cláudia Nalon, Clare Dixon
Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics. PAAR@FLoC (2018)
Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher
The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. ICFEM (2018)
Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher
Formal Specification and Verification of Autonomous Robotic Systems: A Survey. CoRR (2018)
Paul Gainer, Clare Dixon, Kerstin Dautenhahn, Michael Fisher, Ullrich Hustadt, Joe Saunders, Matt Webster
CRutoN: Automatic Verification of a Robotic Assistant's Behaviours. FMICS-AVoCS (2017)
Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon
Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems. SBMF (2017)
Ullrich Hustadt, Ana Ozaki, Clare Dixon
Theorem Proving for Metric Temporal Logic over the Naturals. CADE (2017)
Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher
Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking. QEST (2017)
Cláudia Nalon, Ullrich Hustadt, Clare Dixon
KSP: A Resolution-based Prover for Multimodal K, Abridged Report. IJCAI (2017)
Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher
The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. CoRR (2017)
Matt Webster, Clare Dixon, Michael Fisher, Maha Salem, Joe Saunders, Kheng Lee Koay, Kerstin Dautenhahn, Joan Saez-Pons
Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study. IEEE Trans. Hum. Mach. Syst. 46 (2) (2016)
Matt Webster, David G. Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher, Anthony G. Pipe
An Assurance-based Approach to Verification and Validation of Human-Robot Teams. CoRR (2016)
Cláudia Nalon, Ullrich Hustadt, Clare Dixon
: A Resolution-Based Prover for Multimodal K. IJCAR (2016)
Paul Gainer, Clare Dixon, Ullrich Hustadt
Probabilistic Model Checking of Ant-Based Positionless Swarming. TAROS (2016)
Ullrich Hustadt, Paul Gainer, Clare Dixon, Cláudia Nalon, Lan Zhang
Ordered Resolution for Coalition Logic. TABLEAUX (2015)
Subhieh El-Salhi, Frans Coenen, Clare Dixon, M. Sulaiman Khan
Predicting "springback" using 3D surface representation techniques: A case study in sheet metal forming. Expert Syst. Appl. 42 (1) (2015)
Cláudia Nalon, Ullrich Hustadt, Clare Dixon
A Modal-Layered Resolution Calculus for K. TABLEAUX (2015)
Lan Zhang, Ullrich Hustadt, Clare Dixon
A resolution calculus for the branching-time temporal logic CTL. ACM Trans. Comput. Log. 15 (1) (2014)
Clare Dixon, Matthew P. Webster, Joe Saunders, Michael Fisher, Kerstin Dautenhahn
"The Fridge Door is Open"-Temporal Verification of a Robotic Assistant's Behaviours. TAROS (2014)
Matt Webster, Clare Dixon, Michael Fisher, Maha Salem, Joe Saunders, Kheng Lee Koay, Kerstin Dautenhahn
Formal Verification of an Autonomous Personal Robotic Assistant. AAAI Spring Symposia (2014)
Cláudia Nalon, João Marcos, Clare Dixon
Clausal Resolution for Modal Logics of Confluence. IJCAR (2014)
Cláudia Nalon, João Marcos, Clare Dixon
Clausal Resolution for Modal Logics of Confluence. CoRR (2014)
Cláudia Nalon, Lan Zhang, Clare Dixon, Ullrich Hustadt
A resolution-based calculus for Coalition Logic. J. Log. Comput. 24 (4) (2014)
Cláudia Nalon, Lan Zhang, Clare Dixon, Ullrich Hustadt
A Resolution Prover for Coalition Logic. SR (2014)
Subhieh El-Salhi, Frans Coenen, Clare Dixon, M. Sulaiman Khan
Predicting Features in Complex 3D Surfaces Using a Point Series Representation: A Case Study in Sheet Metal Forming. ADMA (1) (2013)
Clare Dixon, Boris Konev, Michael Fisher, Sherly Nietiadi
Deductive temporal reasoning with constraints. J. Appl. Log. 11 (1) (2013)
Richard Stocker, Louise A. Dennis, Clare Dixon, Michael Fisher
Verifying Brahms Human-Robot Teamwork Models. JELIA (2012)
Clare Dixon, Alan F. T. Winfield, Michael Fisher, Chengxiu Zeng
Towards temporal verification of swarm robotic systems. Robotics Auton. Syst. 60 (11) (2012)
Savas Konur, Clare Dixon, Michael Fisher
Analysing robot swarm behaviour via probabilistic model checking. Robotics Auton. Syst. 60 (2) (2012)
M. Sulaiman Khan, Frans Coenen, Clare Dixon, Subhieh El-Salhi
Finding Correlations between 3-D Surfaces: A Study in Asymmetric Incremental Sheet Forming. MLDM (2012)
Subhieh El-Salhi, Frans Coenen, Clare Dixon, M. Sulaiman Khan
Identification of Correlations Between 3D Surfaces Using Data Mining Techniques: Predicting Springback in Sheet Metal Forming. SGAI Conf. (2012)
Clare Dixon, Boris Konev, Renate A. Schmidt, Dmitry Tishkovsky
Labelled Tableaux for Temporal Logic with Cardinality Constraints. SYNASC (2012)
Richard Stocker, Maarten Sierhuis, Louise A. Dennis, Clare Dixon, Michael Fisher
A Formal Semantics for Brahms. CLIMA (2011)
Clare Dixon, Alan F. T. Winfield, Michael Fisher
Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems. TAROS (2011)
Abdulbasit Ahmed, Alexei Lisitsa, Clare Dixon
A misuse-based network Intrusion Detection System using Temporal Logic and stream processing. NSS (2011)
Savas Konur, Clare Dixon, Michael Fisher
Formal Verification of Probabilistic Swarm Behaviours. ANTS Conference (2010)
Lan Zhang, Ullrich Hustadt, Clare Dixon
CTL-RP: A computation tree logic resolution prover. AI Commun. 23 (2-3) (2010)
John Christopher McCabe-Dansted, Clare Dixon
CTL-Like Fragments of a Temporal Logic of Robustness. TIME (2010)
Lan Zhang, Ullrich Hustadt, Clare Dixon
A Refined Resolution Calculus for CTL. CADE (2009)
Clare Dixon, Michael Fisher, Boris Konev
Taming the Complexity of Temporal Epistemic Reasoning. FroCoS (2009)
Abdelkader Behdenna, Clare Dixon, Michael Fisher
Deductive verification of simple foraging robotic behaviours. Int. J. Intell. Comput. Cybern. 2 (4) (2009)
Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa
Practical First-Order Temporal Reasoning. TIME (2008)
Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa
Efficient First-Order Temporal Logic for Infinite-State Systems CoRR (2007)
Clare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek
Temporal Logics of Knowledge and their Applications in Security. Electron. Notes Theor. Comput. Sci. 186 (2007)
Clare Dixon, Michael Fisher, Boris Konev
Temporal Logic with Capacity Constraints. FroCoS (2007)
Cláudia Nalon, Clare Dixon
Clausal resolution for normal modal logics. J. Algorithms 62 (3-4) (2007)
Clare Dixon, Michael Fisher, Boris Konev
Tractable Temporal Reasoning. IJCAI (2007)
Clare Dixon
Using temporal logics of knowledge for specification and verification - a case study. J. Appl. Log. 4 (1) (2006)
Clare Dixon, Michael Fisher, Boris Konev
Is There a Future for Deductive Temporal Verification? TIME (2006)
Cláudia Nalon, Clare Dixon
Anti-prenexing and Prenexing for Modal Logics. JELIA (2006)
Clare Dixon, Alexander Bolotov, Michael Fisher
Alternating automata and temporal logic normal forms. Ann. Pure Appl. Log. 135 (1-3) (2005)
Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt
Mechanising first-order temporal resolution. Inf. Comput. 199 (1-2) (2005)
M. Carmen Fernández Gago, Ullrich Hustadt, Clare Dixon, Michael Fisher, Boris Konev
First-Order Temporal Verification in Practice. J. Autom. Reason. 34 (3) (2005)
Clare Dixon, Cláudia Nalon, Michael Fisher
Tableaux for Logics of Time and Knowledge with Interactions Relating to Synchrony. J. Appl. Non Class. Logics 14 (4) (2004)
Alessandro Artale, Clare Dixon, Michael Fisher, Enrico Franconi
Editorial. J. Log. Comput. 14 (1) (2004)
Cláudia Nalon, Clare Dixon, Michael Fisher
Resolution for Synchrony and No Learning. Advances in Modal Logic (2004)
Clare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek
Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols. TIME (2004)
Clare Dixon
Miss Scarlett in the Ballroom with the Lead Piping. ECAI (2004)
Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt
Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case. TIME (2003)
Clare Dixon, Cláudia Nalon, Michael Fisher
Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning. TIME (2003)
Alexander Bolotov, Michael Fisher, Clare Dixon
On the Relationship between [ohgr]-automata and Temporal Logic Normal Forms. J. Log. Comput. 12 (4) (2002)
M. Carmen Fernández Gago, Michael Fisher, Clare Dixon
Algorithms for Guiding Clausal Temporal Resolution. KI (2002)
Brandon Bennett, Clare Dixon, Michael Fisher, Ullrich Hustadt, Enrico Franconi, Ian Horrocks, Maarten de Rijke
Combinations of Modal Logics. Artif. Intell. Rev. 17 (1) (2002)
Clare Dixon, Michael Fisher, Alexander Bolotov
Clausal resolution in a logic of rational agency. Artif. Intell. 139 (1) (2002)
Michael Fisher, Clare Dixon, Martin Peim
Clausal temporal resolution. ACM Trans. Comput. Log. 2 (1) (2001)
Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek
Reasoning about agents in the KARO framework. TIME (2001)
Alexander Bolotov, Clare Dixon
Resolution for Branching Time Temporal Logics: Applying the Temporal Resolution Rule. TIME (2000)

Clare Dixon

Publication Activity (10 Years)

Top Topics

Top Venues