Prof Clare Dixon

Professor of Computer Science

Full contact details
View graph of relations

Publications

  1. 2021
  2. Accepted/In press

    Use and Usability of Software Verification Methods to Detect Behaviour Interference when Teaching an Assistive Home Companion Robot: A Proof-of-Concept Study

    Koay, K. L., Webster, M., Dixon, C., Gainer, P., Syrdal, D., Fisher, M. & Dautenhahn, K., 27 Jun 2021, (Accepted/In press) In: Paladyn: journal of behavioral robotics.

    Research output: Contribution to journalArticlepeer-review

  3. Accepted/In press

    A Review of Verification and Validation for Space Autonomous Systems

    Cardoso, R., Kourtis, G., Dennis, L., Dixon, C., Farrell, M., Fisher, M. & Webster, M., 12 Apr 2021, (Accepted/In press) In: Journal of Current Robotics Reports.

    Research output: Contribution to journalArticlepeer-review

  4. Accepted/In press

    Efficient Local Reductions to Basic Modal Logic

    Papacchini, F., Nalon, C., Hustadt, U. & Dixon, C., 9 Apr 2021, (Accepted/In press) 28th International Conference on Automated Deduction.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  5. 2020
  6. E-pub ahead of print

    Verifying Autonomous Robots: Challenges and Reflections (Extended Abstract)

    Dixon, C., 21 Dec 2020, (E-pub ahead of print) Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY 2020).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  7. Published

    Multi-Scale Verification of Distributed Synchronisation

    Gainer, P., Linker, S., Dixon, C., Hustadt, U. & Fisher, M., 20 Sep 2020, In: Formal Methods in System Design. 55, 3, p. 171–221 51 p.

    Research output: Contribution to journalArticlepeer-review

  8. Published

    Verifying Autonomous Robots: Challenges and Reflections

    Dixon, C., 15 Sep 2020, 27th International Symposium on Temporal Representation and Reasoning (TIME 2020).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  9. E-pub ahead of print

    Exploring the Effects of Environmental Conditions and Design Choices on IoT Systems Using Formal Methods

    Webster, M., Breza, M., Dixon, C., Fisher, M. & Mccann, J., 16 Aug 2020, (E-pub ahead of print) In: Journal of Computational Science. p. 101183

    Research output: Contribution to journalArticlepeer-review

  10. Published

    Taxonomy of Trust-Relevant Failures and Mitigation Strategies

    Tolmeijer, S., Weiss, A., Hanheide, M., Lindner, F., Powers, T., Dixon, C. & Tielman, M., 23 Mar 2020, 15th ACM/IEEE International Conference on Human-Robot Interaction (HRI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  11. Published

    A Resolution-Based Theorem Prover for $${\textsf {K}}_{n}^{}$$Kn: Architecture, Refinements, Strategies and Experiments

    Nalon, C., Hustadt, U. & Dixon, C., 17 Mar 2020, In: Journal of Automated Reasoning.

    Research output: Contribution to journalArticlepeer-review

  12. Published

    Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations

    Hustadt, U., Ozaki, A. & Dixon, C., 19 Feb 2020, In: Journal of Automated Reasoning. 64, 8, p. 1553-1610 58 p.

    Research output: Contribution to journalArticlepeer-review

Previous 1 2 3 4 5 6 7 8 ...10 Next