Browse by People

Al-Shareefi, Farah ORCID: 0000-0002-5537-6086 (2019) Analysing Safety-Critical Systems and Security Protocols with Abstract State Machines. PhD thesis, University of Liverpool.

Al-Shareefi, Farah ORCID: 0000-0002-5537-6086, Lisitsa, Alexei and Dixon, Clare ORCID: 0000-0002-4610-9533 (2018) Clarification of Ambiguity for the Simple Authentication and Security Layer. In: 6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z, 2018, 2018-6-5 - 2018-6-8, Southampton, UK.

Zhang, Lan Clausal reasoning for branching-time logics. Doctor of Philosophy thesis, University of Liverpool.

Williams, Richard, Konev, Boris ORCID: 0000-0002-6507-0494 and Coenen, Frans ORCID: 0000-0003-1026-6649 (2015) Collaborating Low Cost Micro Aerial Vehicles: A Demonstration. TOWARDS AUTONOMOUS ROBOTIC SYSTEMS (TAROS 2015), 9287. pp. 296-302.

Webster, Matt ORCID: 0000-0002-8817-6881, Western, David, Araiza-Illan, Dejanira, Dixon, Clare ORCID: 0000-0002-4610-9533, Eder, Kerstin, Fisher, Michael and Pipe, Anthony (2020) A Corroborative Approach to Verification and Validation of Human–Robot Teams. International Journal of Robotics Research, 39 (1). pp. 73-99.

Dixon, Clare ORCID: 0000-0002-4610-9533, Konev, Boris ORCID: 0000-0002-6507-0494, Fisher, Michael and Nietiadi, Sherly (2013) Deductive temporal reasoning with constraints. JOURNAL OF APPLIED LOGIC, 11 (1). pp. 30-51.

Dixon, Clare, Fisher, Michael, Konev, Boris ORCID: 0000-0002-6507-0494 and Lisitsa, Alexei (2007) Efficient First-Order Temporal Logic for Infinite-State Systems.

Papacchini, Fabio ORCID: 0000-0002-0310-7378, Nalon, Claudia, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Dixon, Clare ORCID: 0000-0002-4610-9533 (2021) Efficient Local Reductions to Basic Modal Logic. In: Automated Deduction – CADE 28. Lecture Notes in Computer Science, 12699 . Springer International Publishing, pp. 76-92. ISBN 978-3-030-79875-8

Gainer, Paul (2020) Formal Analysis of Artificial Collectives using Parametric Markov Models. PhD thesis, University of Liverpool.

Farrell, Marie ORCID: 0000-0001-7708-3877, Mavrakis, Nikos, Ferrando, Angelo ORCID: 0000-0002-8711-4670, Dixon, Clare ORCID: 0000-0002-4610-9533 and Gao, Yang (2022) Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal. FRONTIERS IN ROBOTICS AND AI, 9. 639282-.

Luckcuck, Matt ORCID: 0000-0002-6444-9312, Farrell, Marie ORCID: 0000-0001-7708-3877, Dennis, Louise A ORCID: 0000-0003-1426-1896, Dixon, Clare ORCID: 0000-0002-4610-9533 and Fisher, Michael (2019) Formal Specification and Verification of Autonomous Robotic Systems: A Survey. ACM COMPUTING SURVEYS, 52 (5). 5-.

Webster, Matt ORCID: 0000-0002-8817-6881, Dennis, Louise A ORCID: 0000-0003-1426-1896, Dixon, Clare ORCID: 0000-0002-4610-9533, Fisher, Michael, Stocker, Richard and Sierhuis, Maarten (2020) Formal Verification of Astronaut-Rover Teams for Planetary Surface Operations. In: 2020 IEEE Aerospace Conference, 2020-3-7 - 2020-3-14.

Webster, Matt ORCID: 0000-0002-8817-6881, Salem, Maha, Dixon, Clare ORCID: 0000-0002-4610-9533, Fisher, Michael and Dautenhahn, Kerstin (2014) Formal Verification of an Autonomous Personal Robotic Assistant. In: AIAA Symposium 2014 Workshop on Formal Verification in Human Machine Systems (FVHMS 2014), USA.

Dixon, Clare, Webster, Matt ORCID: 0000-0002-8817-6881, Saunders, Joe, Fisher, Michael and Dautenhahn, Kerstin (2014) “The Fridge Door is Open”–Temporal Verification of a Robotic Assistant’s Behaviours. In: Towards Autonomous Robotic Systems (TAROS), The Library of Birmingham.

Gainer, Paul, Linker, Sven ORCID: 0000-0003-2913-7943, Dixon, Clare ORCID: 0000-0002-4610-9533, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Fisher, Michael (2017) Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking. In: 14th International Conference on Quantitative Evaluation of SysTems (QEST), 2017-9-5 - 2017-9-7, Berlin, Germany.

Nalon, Claudia, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Dixon, Clare ORCID: 0000-0002-4610-9533 (2016) K_SP: A Resolution-Based Prover for Multimodal K. In: International Joint Conference on Automated Reasoning, 2016-6-27 - 2016-7-2, Coimbra, Portugal.

Nalon, Claudia, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Dixon, Clare (2017) K_SP: A Resolution-based Prover for Multimodal K Abridged Report. In: 26th International Joint Conference on Artificial Intelligence (IJCAI 2017).

Nalon, Claudia, Hustadt, Ullrich ORCID: 0000-0002-0455-0267, Papacchini, Fabio ORCID: 0000-0002-0310-7378 and Dixon, Clare ORCID: 0000-0002-4610-9533 (2022) Local Reductions for the Modal Cube. In: Automated Reasoning. Lecture Notes in Computer Science, 13385 . Springer International Publishing, pp. 486-505. ISBN 978-3-031-10768-9

Papacchini, Fabio ORCID: 0000-0002-0310-7378, Nalon, Claudia, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Dixon, Clare ORCID: 0000-0002-4610-9533 (2022) Local is Best: Efficient Reductions to Modal Logic K. JOURNAL OF AUTOMATED REASONING, 66 (4). pp. 639-666.

Papacchini, Fabio ORCID: 0000-0002-0310-7378, Nalon, Claudia, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Dixon, Clare ORCID: 0000-0002-4610-9533 (2022) Local is Best: Efficient Reductions to Modal Logic K (Sep, 2022, 10.1007/s10817-022-09630-6). JOURNAL OF AUTOMATED REASONING, 66 (4). p. 1099.

Nalon, C, Dixon, Clare ORCID: 0000-0002-4610-9533 and Hustadt, U ORCID: 0000-0002-0455-0267 (2019) Modal Resolution: Proofs, Layers and Refinements. ACM Transactions on Computational Logic, 20 (4). pp. 1-38.

Nalon, Cláudia, Dixon, Clare and Hustadt, Ullrich ORCID: 0000-0002-0455-0267 (2019) Modal Resolution: Proofs, Layers, and Refinements. ACM Trans. Comput. Log., 20. 23:1-23:1.

Farrell, Marie ORCID: 0000-0001-7708-3877, Cardoso, Rafael C ORCID: 0000-0001-6666-6954, Dennis, Louise A ORCID: 0000-0003-1426-1896, Dixon, Clare ORCID: 0000-0002-4610-9533, Fisher, Michael, Kourtis, Georgios, Lisitsa, Alexei, Luckcuck, Matt ORCID: 0000-0002-6444-9312 and Webster, Matt ORCID: 0000-0002-8817-6881 (2019) Modular Verification of Autonomous Space Robotics. In: IEEE International Conference on Space Mission Challenges for Information, 2019-7-30 - 2019-8-1, Pasadena, California, USA.

Gainer, Paul, Linker, Sven ORCID: 0000-0003-2913-7943, Dixon, Clare ORCID: 0000-0002-4610-9533, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Fisher, Michael (2020) Multi-Scale Verification of Distributed Synchronisation. Formal Methods in System Design, 55 (3). pp. 171-221.

Gainer, Paul, Linker, Sven ORCID: 0000-0003-2913-7943, Dixon, Clare ORCID: 0000-0002-4610-9533, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Fisher, Michael ORCID: 0000-0002-0875-3862 (2020) Multi-scale verification of distributed synchronisation. FORMAL METHODS IN SYSTEM DESIGN.

Collapse authors list.
Fisher, Michael, Cardoso, Rafael C ORCID: 0000-0001-6666-6954, Collins, Emily C ORCID: 0000-0001-9396-536X, Dadswell, Christopher, Dennis, Louise A ORCID: 0000-0003-1426-1896, Dixon, Clare ORCID: 0000-0002-4610-9533, Farrell, Marie ORCID: 0000-0001-7708-3877, Ferrando, Angelo ORCID: 0000-0002-8711-4670, Huang, Xiaowei ORCID: 0000-0001-6267-0366, Jump, Mike ORCID: 0000-0002-1028-2334 et al (show 7 more authors) , Kourtis, Georgios, Lisitsa, Alexei, Luckcuck, Matt ORCID: 0000-0002-6444-9312, Luo, Shan ORCID: 0000-0003-4760-0372, Page, Vincent, Papacchini, Fabio ORCID: 0000-0002-0310-7378 and Webster, Matt ORCID: 0000-0002-8817-6881 (2021) An Overview of Verification and Validation Challenges for Inspection Robots. ROBOTICS, 10 (2). p. 67.

Webster, MP ORCID: 0000-0002-8817-6881, Breza, Michael, Dixon, Clare, Fisher, Michael and McCann, Julie PRISM Models and Properties for Formal Verification of a Synchronisation/Dissemination Protocol. [Software]

Gainer, Paul, Linker, Sven ORCID: 0000-0003-2913-7943, Dixon, Clare ORCID: 0000-0002-4610-9533, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Fisher, Michael (2018) The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. Quantitative Evaluation of Systems, 11232. pp. 160-176.

Gainer, Paul, Linker, Sven ORCID: 0000-0003-2913-7943, Dixon, Clare, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Fisher, Michael (2018) The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. In: 20th International Conference on Formal Engineering Methods, 2018-11-12 - 2018-11-16, Griffith University, Gold Coast, Australia.

Zhang, Lan, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Dixon, Clare ORCID: 0000-0002-4610-9533 (2014) A Resolution Calculus for the Branching-Time Temporal Logic CTL. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 15 (1). pp. 1-38.

Nalon, Cláudia, Zhang, Lan, Dixon, Clare ORCID: 0000-0002-4610-9533 and Hustadt, Ullrich ORCID: 0000-0002-0455-0267 (2014) A Resolution Prover for Coalition Logic. In: 2nd International Workshop on Strategic Reasoning, Satellite workshop of ETAPS 2014.

Maple, Carsten, Bradbury, Matthew, Yuan, Hu, Farrell, Marie ORCID: 0000-0001-7708-3877, Dixon, Clare ORCID: 0000-0002-4610-9533, Fisher, Michael and Atmaca, Ugur Ilker (2020) Security-Minded Verification of Space Systems. In: 2020 IEEE Aerospace Conference, 2020-3-7 - 2020-3-14.

Luckcuck, Matt ORCID: 0000-0002-6444-9312, Farrell, Marie ORCID: 0000-0001-7708-3877, Dennis, Louise A ORCID: 0000-0003-1426-1896, Dixon, Clare ORCID: 0000-0002-4610-9533 and Fisher, Michael (2019) A Summary of Formal Specification and Verification of Autonomous Robotic Systems. In: Integrated Formal Methods.

Tolmeijer, Suzanne, Weiss, Astrid, Hanheide, Marc, Lindner, Felix, Powers, Thomas M, Dixon, Clare ORCID: 0000-0002-4610-9533 and Tielman, Myrthe L (2020) Taxonomy of Trust-Relevant Failures and Mitigation Strategies. In: International Conference on Human-Robot Interaction (HRI 2020), 2020-3-23 - 2020-3-26, Cambridge, UK.

Hustadt, Ullrich ORCID: 0000-0002-0455-0267, Ozaki, Ana and Dixon, Clare ORCID: 0000-0002-4610-9533 (2020) Theorem Proving for Pointwise Metric Temporal Logic Overthe Naturals via Translations. Journal of Automated Reasoning, 64 (8). pp. 1553-1610.

Webster, Matt ORCID: 0000-0002-8817-6881, Dixon, Clare ORCID: 0000-0002-4610-9533, Fisher, Michael, Salem, Maha, Saunders, Joe, Koay, Kheng Lee, Dautenhahn, Kerstin and Saez-Pons, Joan (2016) Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study. IEEE Transactions on Human-Machine Systems, 46 (2). pp. 186-196.

Stocker, Richard Towards the formal verification of human-agent-robot teamwork. Doctor of Philosophy thesis, University of Liverpool.

Koay, Kheng Lee, Webster, Matt, Dixon, Clare, Gainer, Paul, Syrdal, Dag, Fisher, Michael and Dautenhahn, Kerstin (2021) Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study. Paladyn, Journal of Behavioral Robotics, 12 (1). pp. 402-422.

Khan, Muhamad S, Coenen, Frans ORCID: 0000-0003-1026-6649, Dixon, Clare ORCID: 0000-0002-4610-9533, El-Salhi, Subhieh, Penalva, Mariluz and Rivero, Asun (2015) An intelligent process model: predicting springback in single point incremental forming. INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 76 (9-12). pp. 2071-2082.

Nalon, Cláudia, Zhang, Lan, Dixon, Clare ORCID: 0000-0002-4610-9533 and Hustadt, Ullrich ORCID: 0000-0002-0455-0267 (2014) A resolution-based calculus for Coalition Logic. Journal of Logic and Computation, 24 (4). pp. 883-917.

Nalon, Cláudia, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Dixon, Clare (2020) sf Kn : Architecture, Refinements, Strategies and Experiments. J. Autom. Reason., 64. pp. 461-484.