Clare Dixon

According to our database1, Clare Dixon authored at least 90 papers between 1993 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
Modal Resolution: Proofs, Layers, and Refinements.
ACM Trans. Comput. Log., 2019

Formal Specification and Verification of Autonomous Robotic Systems: A Survey.
ACM Comput. Surv., 2019

Modular Verification of Autonomous Space Robotics.
CoRR, 2019

Analysing Security Protocols Using Scenario Based Simulation.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2019

Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages.
Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

A Summary of Formal Specification and Verification of Autonomous Robotic Systems.
Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

2018
Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks.
ECEASST, 2018

Multi-Scale Verification of Distributed Synchronisation.
CoRR, 2018

The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators.
Proceedings of the Formal Methods and Software Engineering, 2018

Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics.
Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018), 2018

Clarification of Ambiguity for the Simple Authentication and Security Layer.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017
Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems.
Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking.
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

KSP: A Resolution-based Prover for Multimodal K, Abridged Report.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

CRutoN: Automatic Verification of a Robotic Assistant's Behaviours.
Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017

Theorem Proving for Metric Temporal Logic over the Naturals.
Proceedings of the Automated Deduction - CADE 26, 2017

2016
Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study.
IEEE Trans. Human-Machine Systems, 2016

An Assurance-based Approach to Verification and Validation of Human-Robot Teams.
CoRR, 2016

Probabilistic Model Checking of Ant-Based Positionless Swarming.
Proceedings of the Towards Autonomous Robotic Systems - 17th Annual Conference, 2016

: A Resolution-Based Prover for Multimodal K.
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2015
Predicting "springback" using 3D surface representation techniques: A case study in sheet metal forming.
Expert Syst. Appl., 2015

A Modal-Layered Resolution Calculus for K.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015

Ordered Resolution for Coalition Logic.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015

2014
A resolution calculus for the branching-time temporal logic CTL.
ACM Trans. Comput. Log., 2014

A resolution-based calculus for Coalition Logic.
J. Log. Comput., 2014

A Resolution Prover for Coalition Logic.
Proceedings of the Proceedings 2nd International Workshop on Strategic Reasoning, 2014

"The Fridge Door is Open"-Temporal Verification of a Robotic Assistant's Behaviours.
Proceedings of the Advances in Autonomous Robotics Systems - 15th Annual Conference, 2014

Clausal Resolution for Modal Logics of Confluence.
Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

On and On the Temporal Way.
Proceedings of the HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014

Formal Verification of an Autonomous Personal Robotic Assistant.
Proceedings of the 2014 AAAI Spring Symposia, 2014

2013
Deductive temporal reasoning with constraints.
J. Applied Logic, 2013

Predicting Features in Complex 3D Surfaces Using a Point Series Representation: A Case Study in Sheet Metal Forming.
Proceedings of the Advanced Data Mining and Applications, 9th International Conference, 2013

2012
Analysing robot swarm behaviour via probabilistic model checking.
Robotics and Autonomous Systems, 2012

Towards temporal verification of swarm robotic systems.
Robotics and Autonomous Systems, 2012

Labelled Tableaux for Temporal Logic with Cardinality Constraints.
Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012

Identification of Correlations Between 3D Surfaces Using Data Mining Techniques: Predicting Springback in Sheet Metal Forming.
Proceedings of the Research and Development in Intelligent Systems XXIX, 2012

Finding Correlations between 3-D Surfaces: A Study in Asymmetric Incremental Sheet Forming.
Proceedings of the Machine Learning and Data Mining in Pattern Recognition, 2012

Verifying Brahms Human-Robot Teamwork Models.
Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

2011
Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems.
Proceedings of the Towards Autonomous Robotic Systems - 12th Annual Conference, 2011

A misuse-based network Intrusion Detection System using Temporal Logic and stream processing.
Proceedings of the 5th International Conference on Network and System Security, 2011

A Formal Semantics for Brahms.
Proceedings of the Computational Logic in Multi-Agent Systems, 2011

2010
CTL-RP: A computation tree logic resolution prover.
AI Commun., 2010

CTL-Like Fragments of a Temporal Logic of Robustness.
Proceedings of the TIME 2010, 2010

Formal Verification of Probabilistic Swarm Behaviours.
Proceedings of the Swarm Intelligence - 7th International Conference, 2010

2009
Deductive verification of simple foraging robotic behaviours.
Int. J. Intelligent Computing and Cybernetics, 2009

Taming the Complexity of Temporal Epistemic Reasoning.
Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

A Refined Resolution Calculus for CTL.
Proceedings of the Automated Deduction, 2009

2008
Practical First-Order Temporal Reasoning.
Proceedings of the 15th International Symposium on Temporal Representation and Reasoning, 2008

2007
Clausal resolution for normal modal logics.
J. Algorithms, 2007

Temporal Logics of Knowledge and their Applications in Security.
Electr. Notes Theor. Comput. Sci., 2007

Efficient First-Order Temporal Logic for Infinite-State Systems
CoRR, 2007

Tractable Temporal Reasoning.
Proceedings of the IJCAI 2007, 2007

Temporal Logic with Capacity Constraints.
Proceedings of the Frontiers of Combining Systems, 6th International Symposium, 2007

2006
Using temporal logics of knowledge for specification and verification - a case study.
J. Applied Logic, 2006

Is There a Future for Deductive Temporal Verification?
Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 2006

Anti-prenexing and Prenexing for Modal Logics.
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

2005
Theorem-Proving for Discrete Temporal Logic.
Proceedings of the Handbook of Temporal Reasoning in Artificial Intelligence, 2005

First-Order Temporal Verification in Practice.
J. Autom. Reasoning, 2005

Mechanising first-order temporal resolution.
Inf. Comput., 2005

Alternating automata and temporal logic normal forms.
Ann. Pure Appl. Logic, 2005

2004
Editorial.
J. Log. Comput., 2004

Tableaux for Logics of Time and Knowledge with Interactions Relating to Synchrony.
Journal of Applied Non-Classical Logics, 2004

Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols.
Proceedings of the 11th International Symposium on Temporal Representation and Reasoning (TIME 2004), 2004

Miss Scarlett in the Ballroom with the Lead Piping.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Resolution for Synchrony and No Learning.
Proceedings of the Advances in Modal Logic 5, 2004

2003
Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case.
Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003

Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning.
Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003

2002
On the Relationship between [ohgr]-automata and Temporal Logic Normal Forms.
J. Log. Comput., 2002

Combinations of Modal Logics.
Artif. Intell. Rev., 2002

Clausal resolution in a logic of rational agency.
Artif. Intell., 2002

Algorithms for Guiding Clausal Temporal Resolution.
Proceedings of the KI 2002: Advances in Artificial Intelligence, 2002

2001
Clausal temporal resolution.
ACM Trans. Comput. Log., 2001

Reasoning about agents in the KARO framework.
Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001

2000
Resolution-Based Proof for Multi-Modal Temporal Logics of Knowledge.
Proceedings of the Seventh International Workshop on Temporal Representation and Reasoning, 2000

Resolution for Branching Time Temporal Logics: Applying the Temporal Resolution Rule.
Proceedings of the Seventh International Workshop on Temporal Representation and Reasoning, 2000

Normal Forms and Proofs in Combined Modal and Temporal Logics.
Proceedings of the Frontiers of Combining Systems, 2000

Verification within the KARO Agent Theory.
Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

1999
Removing irrelevant information in temporal resolution proofs.
J. Exp. Theor. Artif. Intell., 1999

Clausal Resolution for CTL*.
Proceedings of the Mathematical Foundations of Computer Science 1999, 1999

1998
Resolution for Temporal Logics of Knowledge.
J. Log. Comput., 1998

A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief.
Journal of Applied Non-Classical Logics, 1998

Temporal Resolution Using a Breadth-First Search Algorithm.
Ann. Math. Artif. Intell., 1998

The Set of Support Strategy in Temporal Resolution.
Proceedings of the 5th Workshop on Temporal Representation and Reasoning, 1998

1997
Temporal Resolution: Removing Irrelevant Information.
Proceedings of the 4th International Workshop on Temporal Representation and Reasoning, 1997

Tableaux for Synchronous Systems of Knowledge and Time with Interactions.
Proceedings of the Sixth Scandinavian Conference on Artificial Intelligence, 1997

1996
Temporal Resolution: A Breadth-First Search Approach.
Proceedings of the Third International Workshop on Temporal Representation and Reasoning, 1996

A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief.
Proceedings of the Practical Reasoning, 1996

Search Strategies for Resolution in Temporal Logics.
Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1994
A Graph-Based Approach to Resolution in Temporal Logic.
Proceedings of the Temporal Logic, First International Conference, 1994

1993
A graph-based appproach to resolution in temporal logic.
PhD thesis, 1993


  Loading...