Clare Dixon - RankMe

125 papers A* 3A 10B 10C 17Misc 2Journal 52Unranked 26

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Specification and Verification of the Alpha Swarm Algorithm using NuXMV and GROOVE. Formal Aspects Comput. Maryam Ghaffari Saadat, Clare Dixon, Michael Fisher
2025	J	`jnl`	Monodic fragments of probabilistic first-order temporal logic with bounded semantics. Theor. Comput. Sci. Georgios Kourtis, Clare Dixon, Michael Fisher
2024	—	`conf`	Model Construction for Modal Clauses. IJCAR (2) Ullrich Hustadt, Fabio Papacchini, Cláudia Nalon, Clare Dixon
2024	J	`jnl`	Parameterized Verification of Leader/Follower Systems via Arithmetic Constraints. IEEE Trans. Software Eng. Georgios Kourtis, Clare Dixon, Michael Fisher
2024	J	`jnl`	Security-Minded Verification of Cooperative Awareness Messages. IEEE Trans. Dependable Secur. Comput. Marie Farrell, Matthew Bradbury, Rafael C. Cardoso, Michael Fisher, Louise A. Dennis, Clare Dixon, Al Tariq Sheik, Hu Yuan, Carsten Maple
2023	C	`conf`	Adaptive Cognitive Agents: Updating Action Descriptions and Plans. EUMAS Peter Stringer, Rafael C. Cardoso, Clare Dixon, Michael Fisher, Louise A. Dennis
2023	A	`conf`	Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic. CADE Cláudia Nalon, Ullrich Hustadt, Fabio Papacchini, Clare Dixon
2023	—	`conf`	Dialogue Explanations for Rule-Based AI Systems. EXTRAAMAS Yifan Xu, Joe Collenette, Louise A. Dennis, Clare Dixon
2023	A	`conf`	Updating Action Descriptions and Plans for Cognitive Agents. AAMAS Peter Stringer, Rafael C. Cardoso, Clare Dixon, Michael Fisher, Louise A. Dennis
2022	J	`jnl`	Correction to: Local is Best: Efficient Reductions to Modal Logic K. J. Autom. Reason. Fabio Papacchini, Cláudia Nalon, Ullrich Hustadt, Clare Dixon
2022	J	`jnl`	Correction: Parameterized verification of leader/follower systems via first-order temporal logic. Formal Methods Syst. Des. Georgios Kourtis, Clare Dixon, Michael Fisher, Alexei Lisitsa
2022	B	`conf`	Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal. IFM Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao
2022	A	`conf`	Local Reductions for the Modal Cube. IJCAR Cláudia Nalon, Ullrich Hustadt, Fabio Papacchini, Clare Dixon
2022	J	`jnl`	Local is Best: Efficient Reductions to Modal Logic K. J. Autom. Reason. Fabio Papacchini, Cláudia Nalon, Ullrich Hustadt, Clare Dixon
2022	J	`jnl`	Verifiable autonomy: From theory to applications. AI Commun. Louise A. Dennis, Clare Dixon, Michael Fisher
2021	J	`jnl`	An Overview of Verification and Validation Challenges for Inspection Robots. Robotics 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
2021	A	`conf`	Efficient Local Reductions to Basic Modal Logic. CADE Fabio Papacchini, Cláudia Nalon, Ullrich Hustadt, Clare Dixon
2021	J	`jnl`	Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal. Frontiers Robotics AI Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao
2021	—	`conf`	Implementing Durative Actions with Failure Detection in Gwendolen. EMAS@AAMAS Peter Stringer, Rafael C. Cardoso, Clare Dixon, Louise A. Dennis
2021	J	`jnl`	Parameterized verification of leader/follower systems via first-order temporal logic. Formal Methods Syst. Des. Georgios Kourtis, Clare Dixon, Michael Fisher, Alexei P. Lisitsa
2021	—	`conf`	Theorem Proving Using Clausal Resolution: From Past to Present. RP Clare Dixon
2021	J	`jnl`	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 Kheng Lee Koay, Matt Webster, Clare Dixon, Paul Gainer, Dag Sverre Syrdal, Michael Fisher, Kerstin Dautenhahn
2020	J	`jnl`	A corroborative approach to verification and validation of human-robot teams. Int. J. Robotics Res. Matt Webster, David G. Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher, Anthony G. Pipe
2020	J	`jnl`	Exploring the effects of environmental conditions and design choices on IoT systems using formal methods. J. Comput. Sci. Matt Webster, Michael Breza, Clare Dixon, Michael Fisher, Julie A. McCann
2020	J	`jnl`	Multi-scale verification of distributed synchronisation. Formal Methods Syst. Des. Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher
2020	A*	`conf`	Taxonomy of Trust-Relevant Failures and Mitigation Strategies. HRI Suzanne Tolmeijer, Astrid Weiss, Marc Hanheide, Felix Lindner, Thomas M. Powers, Clare Dixon, Myrthe L. Tielman
2020	J	`jnl`	Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations. J. Autom. Reason. Ullrich Hustadt, Ana Ozaki, Clare Dixon
2020	C	`conf`	Verifying Autonomous Robots: Challenges and Reflections (Invited Talk). TIME Clare Dixon
2020	J	`jnl`	sf K J. Autom. Reason. Cláudia Nalon, Ullrich Hustadt, Clare Dixon
2019	B	`conf`	A Summary of Formal Specification and Verification of Autonomous Robotic Systems. IFM Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher
2019	C	`conf`	Analysing Security Protocols Using Scenario Based Simulation. VECoS Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon
2019	J	`jnl`	Formal Specification and Verification of Autonomous Robotic Systems: A Survey. ACM Comput. Surv. Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher
2019	J	`jnl`	Modal Resolution: Proofs, Layers, and Refinements. ACM Trans. Comput. Log. Cláudia Nalon, Clare Dixon, Ullrich Hustadt
2019	J	`jnl`	Modular Verification of Autonomous Space Robotics. CoRR Marie Farrell, Rafael C. Cardoso, Louise A. Dennis, Clare Dixon, Michael Fisher, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Matt Webster
2019	B	`conf`	Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages. SEFM Marie Farrell, Matthew Bradbury, Michael Fisher, Louise A. Dennis, Clare Dixon, Hu Yuan, Carsten Maple
2018	C	`conf`	Clarification of Ambiguity for the Simple Authentication and Security Layer. ABZ Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon
2018	—	`conf`	Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics. PAAR@FLoC Ullrich Hustadt, Cláudia Nalon, Clare Dixon
2018	J	`jnl`	Formal Specification and Verification of Autonomous Robotic Systems: A Survey. CoRR Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher
2018	J	`jnl`	Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Matt Webster, Michael Breza, Clare Dixon, Michael Fisher, Julie A. McCann
2018	J	`jnl`	Multi-Scale Verification of Distributed Synchronisation. CoRR Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher
2018	C	`conf`	The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. ICFEM Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher
2017	—	`conf`	Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems. SBMF Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon
2017	—	`conf`	CRutoN: Automatic Verification of a Robotic Assistant's Behaviours. FMICS-AVoCS Paul Gainer, Clare Dixon, Kerstin Dautenhahn, Michael Fisher, Ullrich Hustadt, Joe Saunders, Matt Webster
2017	—	`ed.`	Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings FroCoS Clare Dixon, Marcelo Finger
2017	—	`conf`	Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking. QEST Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher
2017	A*	`conf`	KSP: A Resolution-based Prover for Multimodal K, Abridged Report. IJCAI Cláudia Nalon, Ullrich Hustadt, Clare Dixon
2017	J	`jnl`	The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. CoRR Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher
2017	A	`conf`	Theorem Proving for Metric Temporal Logic over the Naturals. CADE Ullrich Hustadt, Ana Ozaki, Clare Dixon
2016	A	`conf`	: A Resolution-Based Prover for Multimodal K. IJCAR Cláudia Nalon, Ullrich Hustadt, Clare Dixon
2016	J	`jnl`	An Assurance-based Approach to Verification and Validation of Human-Robot Teams. CoRR Matt Webster, David G. Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher, Anthony G. Pipe
2016	—	`conf`	Probabilistic Model Checking of Ant-Based Positionless Swarming. TAROS Paul Gainer, Clare Dixon, Ullrich Hustadt
2016	J	`jnl`	Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study. IEEE Trans. Hum. Mach. Syst. Matt Webster, Clare Dixon, Michael Fisher, Maha Salem, Joe Saunders, Kheng Lee Koay, Kerstin Dautenhahn, Joan Saez-Pons
2015	B	`conf`	A Modal-Layered Resolution Calculus for K. TABLEAUX Cláudia Nalon, Ullrich Hustadt, Clare Dixon
2015	B	`conf`	Ordered Resolution for Coalition Logic. TABLEAUX Ullrich Hustadt, Paul Gainer, Clare Dixon, Cláudia Nalon, Lan Zhang
2015	J	`jnl`	Predicting "springback" using 3D surface representation techniques: A case study in sheet metal forming. Expert Syst. Appl. Subhieh El-Salhi, Frans Coenen, Clare Dixon, M. Sulaiman Khan
2015	—	`ed.`	Towards Autonomous Robotic Systems - 16th Annual Conference, TAROS 2015, Liverpool, UK, September 8-10, 2015, Proceedings TAROS Clare Dixon, Karl Tuyls
2014	—	`conf`	"The Fridge Door is Open"-Temporal Verification of a Robotic Assistant's Behaviours. TAROS Clare Dixon, Matthew P. Webster, Joe Saunders, Michael Fisher, Kerstin Dautenhahn
2014	—	`conf`	A Resolution Prover for Coalition Logic. SR Cláudia Nalon, Lan Zhang, Clare Dixon, Ullrich Hustadt
2014	J	`jnl`	A resolution calculus for the branching-time temporal logic CTL. ACM Trans. Comput. Log. Lan Zhang, Ullrich Hustadt, Clare Dixon
2014	J	`jnl`	A resolution-based calculus for Coalition Logic. J. Log. Comput. Cláudia Nalon, Lan Zhang, Clare Dixon, Ullrich Hustadt
2014	A	`conf`	Clausal Resolution for Modal Logics of Confluence. IJCAR Cláudia Nalon, João Marcos, Clare Dixon
2014	J	`jnl`	Clausal Resolution for Modal Logics of Confluence. CoRR Cláudia Nalon, João Marcos, Clare Dixon
2014	—	`conf`	Formal Verification of an Autonomous Personal Robotic Assistant. AAAI Spring Symposia Matt Webster, Clare Dixon, Michael Fisher, Maha Salem, Joe Saunders, Kheng Lee Koay, Kerstin Dautenhahn
2014	—	`ch.`	On and On the Temporal Way. HOWARD-60 Clare Dixon, Michael Fisher
2013	J	`jnl`	Deductive temporal reasoning with constraints. J. Appl. Log. Clare Dixon, Boris Konev, Michael Fisher, Sherly Nietiadi
2013	—	`conf`	Predicting Features in Complex 3D Surfaces Using a Point Series Representation: A Case Study in Sheet Metal Forming. ADMA (1) Subhieh El-Salhi, Frans Coenen, Clare Dixon, M. Sulaiman Khan
2012	J	`jnl`	Analysing robot swarm behaviour via probabilistic model checking. Robotics Auton. Syst. Savas Konur, Clare Dixon, Michael Fisher
2012	—	`conf`	Finding Correlations between 3-D Surfaces: A Study in Asymmetric Incremental Sheet Forming. MLDM M. Sulaiman Khan, Frans Coenen, Clare Dixon, Subhieh El-Salhi
2012	—	`conf`	Identification of Correlations Between 3D Surfaces Using Data Mining Techniques: Predicting Springback in Sheet Metal Forming. SGAI Conf. Subhieh El-Salhi, Frans Coenen, Clare Dixon, M. Sulaiman Khan
2012	Misc	`conf`	Labelled Tableaux for Temporal Logic with Cardinality Constraints. SYNASC Clare Dixon, Boris Konev, Renate A. Schmidt, Dmitry Tishkovsky
2012	J	`jnl`	Towards temporal verification of swarm robotic systems. Robotics Auton. Syst. Clare Dixon, Alan F. T. Winfield, Michael Fisher, Chengxiu Zeng
2012	B	`conf`	Verifying Brahms Human-Robot Teamwork Models. JELIA Richard Stocker, Louise A. Dennis, Clare Dixon, Michael Fisher
2011	—	`conf`	A Formal Semantics for Brahms. CLIMA Richard Stocker, Maarten Sierhuis, Louise A. Dennis, Clare Dixon, Michael Fisher
2011	B	`conf`	A misuse-based network Intrusion Detection System using Temporal Logic and stream processing. NSS Abdulbasit Ahmed, Alexei Lisitsa, Clare Dixon
2011	—	`conf`	Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems. TAROS Clare Dixon, Alan F. T. Winfield, Michael Fisher
2010	C	`conf`	CTL-Like Fragments of a Temporal Logic of Robustness. TIME John Christopher McCabe-Dansted, Clare Dixon
2010	J	`jnl`	CTL-RP: A computation tree logic resolution prover. AI Commun. Lan Zhang, Ullrich Hustadt, Clare Dixon
2010	—	`conf`	Formal Verification of Probabilistic Swarm Behaviours. ANTS Conference Savas Konur, Clare Dixon, Michael Fisher
2009	A	`conf`	A Refined Resolution Calculus for CTL. CADE Lan Zhang, Ullrich Hustadt, Clare Dixon
2009	J	`jnl`	Deductive verification of simple foraging robotic behaviours. Int. J. Intell. Comput. Cybern. Abdelkader Behdenna, Clare Dixon, Michael Fisher
2009	—	`conf`	Taming the Complexity of Temporal Epistemic Reasoning. FroCoS Clare Dixon, Michael Fisher, Boris Konev
2008	C	`conf`	Practical First-Order Temporal Reasoning. TIME Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa
2007	J	`jnl`	Clausal resolution for normal modal logics. J. Algorithms Cláudia Nalon, Clare Dixon
2007	J	`jnl`	Efficient First-Order Temporal Logic for Infinite-State Systems CoRR Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa
2007	—	`conf`	Temporal Logic with Capacity Constraints. FroCoS Clare Dixon, Michael Fisher, Boris Konev
2007	A*	`conf`	Tractable Temporal Reasoning. IJCAI Clare Dixon, Michael Fisher, Boris Konev
2006	B	`conf`	Anti-prenexing and Prenexing for Modal Logics. JELIA Cláudia Nalon, Clare Dixon
2006	C	`conf`	Is There a Future for Deductive Temporal Verification? TIME Clare Dixon, Michael Fisher, Boris Konev
2006	—	`conf`	Temporal Logics of Knowledge and their Applications in Security. ICS@SYNASC Clare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek
2006	J	`jnl`	Using temporal logics of knowledge for specification and verification - a case study. J. Appl. Log. Clare Dixon
2005	J	`jnl`	Alternating automata and temporal logic normal forms. Ann. Pure Appl. Log. Clare Dixon, Alexander Bolotov, Michael Fisher
2005	J	`jnl`	First-Order Temporal Verification in Practice. J. Autom. Reason. M. Carmen Fernández Gago, Ullrich Hustadt, Clare Dixon, Michael Fisher, Boris Konev
2005	J	`jnl`	Mechanising first-order temporal resolution. Inf. Comput. Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt
2005	—	`ch.`	Theorem-Proving for Discrete Temporal Logic. Handbook of Temporal Reasoning in Artificial Intelligence Mark Reynolds, Clare Dixon
2004	J	`jnl`	Editorial. J. Log. Comput. Alessandro Artale, Clare Dixon, Michael Fisher, Enrico Franconi
2004	A	`conf`	Miss Scarlett in the Ballroom with the Lead Piping. ECAI Clare Dixon
2004	B	`conf`	Resolution for Synchrony and No Learning. Advances in Modal Logic Cláudia Nalon, Clare Dixon, Michael Fisher
2004	J	`jnl`	Tableaux for Logics of Time and Knowledge with Interactions Relating to Synchrony. J. Appl. Non Class. Logics Clare Dixon, Cláudia Nalon, Michael Fisher
2004	C	`conf`	Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols. TIME Clare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek
2003	C	`conf`	Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning. TIME Clare Dixon, Cláudia Nalon, Michael Fisher
2003	C	`conf`	Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case. TIME Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt
2002	Misc	`conf`	Algorithms for Guiding Clausal Temporal Resolution. KI M. Carmen Fernández Gago, Michael Fisher, Clare Dixon
2002	J	`jnl`	Clausal resolution in a logic of rational agency. Artif. Intell. Clare Dixon, Michael Fisher, Alexander Bolotov
2002	J	`jnl`	Combinations of Modal Logics. Artif. Intell. Rev. Brandon Bennett, Clare Dixon, Michael Fisher, Ullrich Hustadt, Enrico Franconi, Ian Horrocks, Maarten de Rijke
2002	J	`jnl`	On the Relationship between [ohgr]-automata and Temporal Logic Normal Forms. J. Log. Comput. Alexander Bolotov, Michael Fisher, Clare Dixon
2001	J	`jnl`	Clausal temporal resolution. ACM Trans. Comput. Log. Michael Fisher, Clare Dixon, Martin Peim
2001	C	`conf`	Reasoning about agents in the KARO framework. TIME Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek
2000	—	`conf`	Normal Forms and Proofs in Combined Modal and Temporal Logics. FroCoS Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher
2000	C	`conf`	Resolution for Branching Time Temporal Logics: Applying the Temporal Resolution Rule. TIME Alexander Bolotov, Clare Dixon
2000	C	`conf`	Resolution-Based Proof for Multi-Modal Temporal Logics of Knowledge. TIME Clare Dixon, Michael Fisher
2000	—	`conf`	Verification within the KARO Agent Theory. FAABS Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek
1999	B	`conf`	Clausal Resolution for CTL MFCS Alexander Bolotov, Clare Dixon, Michael Fisher
1999	J	`jnl`	Clausal Temporal Resolution CoRR Michael Fisher, Clare Dixon, Martin Peim
1999	J	`jnl`	Removing irrelevant information in temporal resolution proofs. J. Exp. Theor. Artif. Intell. Clare Dixon
1998	J	`jnl`	A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief. J. Appl. Non Class. Logics Michael J. Wooldridge, Clare Dixon, Michael Fisher
1998	J	`jnl`	Resolution for Temporal Logics of Knowledge. J. Log. Comput. Clare Dixon, Michael Fisher, Michael J. Wooldridge
1998	J	`jnl`	Temporal Resolution Using a Breadth-First Search Algorithm. Ann. Math. Artif. Intell. Clare Dixon
1998	C	`conf`	The Set of Support Strategy in Temporal Resolution. TIME Clare Dixon, Michael Fisher
1997	—	`conf`	Tableaux for Synchronous Systems of Knowledge and Time with Interactions. SCAI Clare Dixon, Michael Fisher
1997	C	`conf`	Temporal Resolution: Removing Irrelevant Information. TIME Clare Dixon
1996	—	`conf`	A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief. FAPR Michael Fisher, Michael J. Wooldridge, Clare Dixon
1996	A	`conf`	Search Strategies for Resolution in Temporal Logics. CADE Clare Dixon
1996	C	`conf`	Temporal Resolution: A Breadth-First Search Approach. TIME Clare Dixon
1994	—	`conf`	A Graph-Based Approach to Resolution in Temporal Logic. ICTL Clare Dixon, Michael Fisher, Howard Barringer
1993	—	`—`	A graph-based appproach to resolution in temporal logic. Clare Dixon